{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:IELIEUI57MSP6J3CV4RF7J7NLD","short_pith_number":"pith:IELIEUI5","canonical_record":{"source":{"id":"0904.1980","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.ST","submitted_at":"2009-04-13T18:38:46Z","cross_cats_sorted":["stat.TH"],"title_canon_sha256":"49c20499d3803d2b3ef0105c8b49855ceedbc4c89a817483b3773f52c3327c92","abstract_canon_sha256":"a1eedf74e8557b56510819dd7ed5d77aec8de5ad804c389c2321cb0468122194"},"schema_version":"1.0"},"canonical_sha256":"411682511dfb24ff2762af225fa7ed58dc68cab49f4f64c15273b9d446da62f0","source":{"kind":"arxiv","id":"0904.1980","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0904.1980","created_at":"2026-05-18T04:10:47Z"},{"alias_kind":"arxiv_version","alias_value":"0904.1980v6","created_at":"2026-05-18T04:10:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0904.1980","created_at":"2026-05-18T04:10:47Z"},{"alias_kind":"pith_short_12","alias_value":"IELIEUI57MSP","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_16","alias_value":"IELIEUI57MSP6J3C","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_8","alias_value":"IELIEUI5","created_at":"2026-05-18T12:26:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:IELIEUI57MSP6J3CV4RF7J7NLD","target":"record","payload":{"canonical_record":{"source":{"id":"0904.1980","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.ST","submitted_at":"2009-04-13T18:38:46Z","cross_cats_sorted":["stat.TH"],"title_canon_sha256":"49c20499d3803d2b3ef0105c8b49855ceedbc4c89a817483b3773f52c3327c92","abstract_canon_sha256":"a1eedf74e8557b56510819dd7ed5d77aec8de5ad804c389c2321cb0468122194"},"schema_version":"1.0"},"canonical_sha256":"411682511dfb24ff2762af225fa7ed58dc68cab49f4f64c15273b9d446da62f0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:10:47.270548Z","signature_b64":"b8SZpUeaa6/1j3Xtp0AfyfjFwDRFzVBBTQDKU0coMwtBFqpP/8FCMTVDzl5zyYcK9qCX+e7scl8A5u5Q8FqmCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"411682511dfb24ff2762af225fa7ed58dc68cab49f4f64c15273b9d446da62f0","last_reissued_at":"2026-05-18T04:10:47.270140Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:10:47.270140Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0904.1980","source_version":6,"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-18T04:10:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MOFe9V0KztMaQ1ZE3HPzHAxFgiCc5kCi38o0oxSFMSeDtTu99juuDKcpKV5vlOWmrInIp1WMFqymYB142BWlCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T01:36:57.770796Z"},"content_sha256":"714c816dc96c58ec827bdf0d7b906b757881bfdc21fda91c19a1936544ed9baf","schema_version":"1.0","event_id":"sha256:714c816dc96c58ec827bdf0d7b906b757881bfdc21fda91c19a1936544ed9baf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:IELIEUI57MSP6J3CV4RF7J7NLD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Implicit inequality constraints in a binary tree model","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.TH"],"primary_cat":"math.ST","authors_text":"Jim Q. Smith, Piotr Zwiernik","submitted_at":"2009-04-13T18:38:46Z","abstract_excerpt":"In this paper we investigate the geometry of a discrete Bayesian network whose graph is a tree all of whose variables are binary and the only observed variables are those labeling its leaves. We provide the full geometric description of these models which is given by a set of polynomial equations together with a set of complementary implied inequalities induced by the positivity of probabilities on hidden variables. The phylogenetic invariants given by the equations can be useful in the construction of simple diagnostic tests. However, in this paper we point out the importance of also incorpor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0904.1980","kind":"arxiv","version":6},"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-18T04:10:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dflj6S2tIWG+ytvKZ8wqoqKQQpeaJyy4qfTTRhdLakx/N4RpD+MBpnxLgNq0EnZsGWtiLbWtygEqk/6NtGIRBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T01:36:57.771400Z"},"content_sha256":"007b08806e23d0ddb64a607db93e417d28e32bdc6afe15229429bf1c72fff809","schema_version":"1.0","event_id":"sha256:007b08806e23d0ddb64a607db93e417d28e32bdc6afe15229429bf1c72fff809"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IELIEUI57MSP6J3CV4RF7J7NLD/bundle.json","state_url":"https://pith.science/pith/IELIEUI57MSP6J3CV4RF7J7NLD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IELIEUI57MSP6J3CV4RF7J7NLD/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-26T01:36:57Z","links":{"resolver":"https://pith.science/pith/IELIEUI57MSP6J3CV4RF7J7NLD","bundle":"https://pith.science/pith/IELIEUI57MSP6J3CV4RF7J7NLD/bundle.json","state":"https://pith.science/pith/IELIEUI57MSP6J3CV4RF7J7NLD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IELIEUI57MSP6J3CV4RF7J7NLD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:IELIEUI57MSP6J3CV4RF7J7NLD","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":"a1eedf74e8557b56510819dd7ed5d77aec8de5ad804c389c2321cb0468122194","cross_cats_sorted":["stat.TH"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.ST","submitted_at":"2009-04-13T18:38:46Z","title_canon_sha256":"49c20499d3803d2b3ef0105c8b49855ceedbc4c89a817483b3773f52c3327c92"},"schema_version":"1.0","source":{"id":"0904.1980","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0904.1980","created_at":"2026-05-18T04:10:47Z"},{"alias_kind":"arxiv_version","alias_value":"0904.1980v6","created_at":"2026-05-18T04:10:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0904.1980","created_at":"2026-05-18T04:10:47Z"},{"alias_kind":"pith_short_12","alias_value":"IELIEUI57MSP","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_16","alias_value":"IELIEUI57MSP6J3C","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_8","alias_value":"IELIEUI5","created_at":"2026-05-18T12:26:00Z"}],"graph_snapshots":[{"event_id":"sha256:007b08806e23d0ddb64a607db93e417d28e32bdc6afe15229429bf1c72fff809","target":"graph","created_at":"2026-05-18T04:10:47Z","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":"In this paper we investigate the geometry of a discrete Bayesian network whose graph is a tree all of whose variables are binary and the only observed variables are those labeling its leaves. We provide the full geometric description of these models which is given by a set of polynomial equations together with a set of complementary implied inequalities induced by the positivity of probabilities on hidden variables. The phylogenetic invariants given by the equations can be useful in the construction of simple diagnostic tests. However, in this paper we point out the importance of also incorpor","authors_text":"Jim Q. Smith, Piotr Zwiernik","cross_cats":["stat.TH"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.ST","submitted_at":"2009-04-13T18:38:46Z","title":"Implicit inequality constraints in a binary tree model"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0904.1980","kind":"arxiv","version":6},"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:714c816dc96c58ec827bdf0d7b906b757881bfdc21fda91c19a1936544ed9baf","target":"record","created_at":"2026-05-18T04:10:47Z","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":"a1eedf74e8557b56510819dd7ed5d77aec8de5ad804c389c2321cb0468122194","cross_cats_sorted":["stat.TH"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.ST","submitted_at":"2009-04-13T18:38:46Z","title_canon_sha256":"49c20499d3803d2b3ef0105c8b49855ceedbc4c89a817483b3773f52c3327c92"},"schema_version":"1.0","source":{"id":"0904.1980","kind":"arxiv","version":6}},"canonical_sha256":"411682511dfb24ff2762af225fa7ed58dc68cab49f4f64c15273b9d446da62f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"411682511dfb24ff2762af225fa7ed58dc68cab49f4f64c15273b9d446da62f0","first_computed_at":"2026-05-18T04:10:47.270140Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:10:47.270140Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"b8SZpUeaa6/1j3Xtp0AfyfjFwDRFzVBBTQDKU0coMwtBFqpP/8FCMTVDzl5zyYcK9qCX+e7scl8A5u5Q8FqmCw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:10:47.270548Z","signed_message":"canonical_sha256_bytes"},"source_id":"0904.1980","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:714c816dc96c58ec827bdf0d7b906b757881bfdc21fda91c19a1936544ed9baf","sha256:007b08806e23d0ddb64a607db93e417d28e32bdc6afe15229429bf1c72fff809"],"state_sha256":"8d9f5f3155f793914550a94989161e60cd0ae47a095a2c14827775ce762927ae"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5QtYYxLwe2nsbk08VxqmqIWjl7mYjcPDSq1T2PL6N35Qg41lz0xRJc6MMhXQSSxIVRJHOw/Z51Sp7p7DNCsOAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T01:36:57.774815Z","bundle_sha256":"5003fe733f04076aa1183ba342000bd832d73fba423f4a0e94a5182ff871837d"}}