{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:Q7JHGBML5JDVIDVCMRNDHJTOX4","short_pith_number":"pith:Q7JHGBML","canonical_record":{"source":{"id":"1507.04976","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-07-17T14:08:10Z","cross_cats_sorted":[],"title_canon_sha256":"037d7045f3a6fd22fb7395a64438df6985905294307b6972d6f9919c3612007f","abstract_canon_sha256":"9f6ffcd5115d916f51c1530165a440a53f1377d4fa6d487f73d7712e7a2a7420"},"schema_version":"1.0"},"canonical_sha256":"87d273058bea47540ea2645a33a66ebf3197d5adc385402527cd38f8bb5ffb23","source":{"kind":"arxiv","id":"1507.04976","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.04976","created_at":"2026-05-18T01:36:42Z"},{"alias_kind":"arxiv_version","alias_value":"1507.04976v1","created_at":"2026-05-18T01:36:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.04976","created_at":"2026-05-18T01:36:42Z"},{"alias_kind":"pith_short_12","alias_value":"Q7JHGBML5JDV","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"Q7JHGBML5JDVIDVC","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"Q7JHGBML","created_at":"2026-05-18T12:29:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:Q7JHGBML5JDVIDVCMRNDHJTOX4","target":"record","payload":{"canonical_record":{"source":{"id":"1507.04976","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-07-17T14:08:10Z","cross_cats_sorted":[],"title_canon_sha256":"037d7045f3a6fd22fb7395a64438df6985905294307b6972d6f9919c3612007f","abstract_canon_sha256":"9f6ffcd5115d916f51c1530165a440a53f1377d4fa6d487f73d7712e7a2a7420"},"schema_version":"1.0"},"canonical_sha256":"87d273058bea47540ea2645a33a66ebf3197d5adc385402527cd38f8bb5ffb23","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:42.272673Z","signature_b64":"7IwIyqBeOuWrPgBovNlCC1okfiloboDpUWu0U/+OuPGU/R6clur1XPOJh2Qt6KiXutbbLQqwIF9OPp56HllWBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"87d273058bea47540ea2645a33a66ebf3197d5adc385402527cd38f8bb5ffb23","last_reissued_at":"2026-05-18T01:36:42.272065Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:42.272065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.04976","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:36:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OajKA+14S12jedK6Ctl4Z0OZewONsQJ/mt+SqQ0XPlkDbFj6xE8Q5PNi3vYgqCgUgyY9NtP3MAp+eNUn4psUBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T16:45:07.632122Z"},"content_sha256":"b93a407aaa5a8d2bb3fd24bbea0483a81a9dcec8f5556b08aa5147302b6264e8","schema_version":"1.0","event_id":"sha256:b93a407aaa5a8d2bb3fd24bbea0483a81a9dcec8f5556b08aa5147302b6264e8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:Q7JHGBML5JDVIDVCMRNDHJTOX4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the enumeration of tanglegrams and tangled chains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Frederick A Matsen IV, Matja\\v{z} Konvalinka, Sara Billey","submitted_at":"2015-07-17T14:08:10Z","abstract_excerpt":"Tanglegrams are a special class of graphs appearing in applications concerning cospeciation and coevolution in biology and computer science. They are formed by identifying the leaves of two rooted binary trees. We give an explicit formula to count the number of distinct binary rooted tanglegrams with $n$ matched vertices, along with a simple asymptotic formula and an algorithm for choosing a tanglegram uniformly at random. The enumeration formula is then extended to count the number of tangled chains of binary trees of any length. This includes a new formula for the number of binary trees with"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.04976","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:36:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ap0Zp157bG/Su1qRiDGj+7qnI3XGB1kcHJnJQgew3NKvCdvYGbfU8sozNYrsL7MU9Gl5ghG3zZdFcseYCZHmCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T16:45:07.632479Z"},"content_sha256":"f6138346800cc8d586e24661923502b2efb8e4a8fb6e7579b73fce30184a5efe","schema_version":"1.0","event_id":"sha256:f6138346800cc8d586e24661923502b2efb8e4a8fb6e7579b73fce30184a5efe"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q7JHGBML5JDVIDVCMRNDHJTOX4/bundle.json","state_url":"https://pith.science/pith/Q7JHGBML5JDVIDVCMRNDHJTOX4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q7JHGBML5JDVIDVCMRNDHJTOX4/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-20T16:45:07Z","links":{"resolver":"https://pith.science/pith/Q7JHGBML5JDVIDVCMRNDHJTOX4","bundle":"https://pith.science/pith/Q7JHGBML5JDVIDVCMRNDHJTOX4/bundle.json","state":"https://pith.science/pith/Q7JHGBML5JDVIDVCMRNDHJTOX4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q7JHGBML5JDVIDVCMRNDHJTOX4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:Q7JHGBML5JDVIDVCMRNDHJTOX4","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"9f6ffcd5115d916f51c1530165a440a53f1377d4fa6d487f73d7712e7a2a7420","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-07-17T14:08:10Z","title_canon_sha256":"037d7045f3a6fd22fb7395a64438df6985905294307b6972d6f9919c3612007f"},"schema_version":"1.0","source":{"id":"1507.04976","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.04976","created_at":"2026-05-18T01:36:42Z"},{"alias_kind":"arxiv_version","alias_value":"1507.04976v1","created_at":"2026-05-18T01:36:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.04976","created_at":"2026-05-18T01:36:42Z"},{"alias_kind":"pith_short_12","alias_value":"Q7JHGBML5JDV","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"Q7JHGBML5JDVIDVC","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"Q7JHGBML","created_at":"2026-05-18T12:29:37Z"}],"graph_snapshots":[{"event_id":"sha256:f6138346800cc8d586e24661923502b2efb8e4a8fb6e7579b73fce30184a5efe","target":"graph","created_at":"2026-05-18T01:36:42Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Tanglegrams are a special class of graphs appearing in applications concerning cospeciation and coevolution in biology and computer science. They are formed by identifying the leaves of two rooted binary trees. We give an explicit formula to count the number of distinct binary rooted tanglegrams with $n$ matched vertices, along with a simple asymptotic formula and an algorithm for choosing a tanglegram uniformly at random. The enumeration formula is then extended to count the number of tangled chains of binary trees of any length. This includes a new formula for the number of binary trees with","authors_text":"Frederick A Matsen IV, Matja\\v{z} Konvalinka, Sara Billey","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-07-17T14:08:10Z","title":"On the enumeration of tanglegrams and tangled chains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.04976","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b93a407aaa5a8d2bb3fd24bbea0483a81a9dcec8f5556b08aa5147302b6264e8","target":"record","created_at":"2026-05-18T01:36:42Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"9f6ffcd5115d916f51c1530165a440a53f1377d4fa6d487f73d7712e7a2a7420","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-07-17T14:08:10Z","title_canon_sha256":"037d7045f3a6fd22fb7395a64438df6985905294307b6972d6f9919c3612007f"},"schema_version":"1.0","source":{"id":"1507.04976","kind":"arxiv","version":1}},"canonical_sha256":"87d273058bea47540ea2645a33a66ebf3197d5adc385402527cd38f8bb5ffb23","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"87d273058bea47540ea2645a33a66ebf3197d5adc385402527cd38f8bb5ffb23","first_computed_at":"2026-05-18T01:36:42.272065Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:42.272065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7IwIyqBeOuWrPgBovNlCC1okfiloboDpUWu0U/+OuPGU/R6clur1XPOJh2Qt6KiXutbbLQqwIF9OPp56HllWBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:42.272673Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.04976","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b93a407aaa5a8d2bb3fd24bbea0483a81a9dcec8f5556b08aa5147302b6264e8","sha256:f6138346800cc8d586e24661923502b2efb8e4a8fb6e7579b73fce30184a5efe"],"state_sha256":"6db7c69d42a8c0eb2ff4489d41ea6336bf8372cf6da3172aca209ede778b7a5f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yTHtt9QfPEiVDfRYCAOIXFeaFTHkK7VhmMlrMnmhwgMEekJbdkQvZnx+pqdRyaN3JUh5ueuMyMpD9ywVwxM2DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-20T16:45:07.634595Z","bundle_sha256":"e792b65c29a5d6b3ac6b4e3b59d75aa6aac601a27a2e65316745b6760a5bc60a"}}