{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:DZ6ROPCKLYOYFPSV56LZMX2WYX","short_pith_number":"pith:DZ6ROPCK","canonical_record":{"source":{"id":"2512.08554","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DM","submitted_at":"2025-12-09T12:55:04Z","cross_cats_sorted":[],"title_canon_sha256":"a9f139527419fda055850df181af8d3879b6c890c124ad23138eadd554ee961c","abstract_canon_sha256":"67c9a6c5f647cae10df565fe20050dc64d791d9885aabb0a4da5acb7289e9bd8"},"schema_version":"1.0"},"canonical_sha256":"1e7d173c4a5e1d82be55ef97965f56c5cdb1cbc1f86b928b12d068dfbb4fac3b","source":{"kind":"arxiv","id":"2512.08554","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2512.08554","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"arxiv_version","alias_value":"2512.08554v4","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.08554","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"pith_short_12","alias_value":"DZ6ROPCKLYOY","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"pith_short_16","alias_value":"DZ6ROPCKLYOYFPSV","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"pith_short_8","alias_value":"DZ6ROPCK","created_at":"2026-06-19T16:11:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:DZ6ROPCKLYOYFPSV56LZMX2WYX","target":"record","payload":{"canonical_record":{"source":{"id":"2512.08554","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DM","submitted_at":"2025-12-09T12:55:04Z","cross_cats_sorted":[],"title_canon_sha256":"a9f139527419fda055850df181af8d3879b6c890c124ad23138eadd554ee961c","abstract_canon_sha256":"67c9a6c5f647cae10df565fe20050dc64d791d9885aabb0a4da5acb7289e9bd8"},"schema_version":"1.0"},"canonical_sha256":"1e7d173c4a5e1d82be55ef97965f56c5cdb1cbc1f86b928b12d068dfbb4fac3b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:11:18.184353Z","signature_b64":"qT3MA4CJ14xxrj1dC0iO3qafSpkyxnZtsCUEndOTr24nOYdrypVZWAu7HJLSEaQLBdnCfTnvzk3JGKUvWPR7Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1e7d173c4a5e1d82be55ef97965f56c5cdb1cbc1f86b928b12d068dfbb4fac3b","last_reissued_at":"2026-06-19T16:11:18.183838Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:11:18.183838Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2512.08554","source_version":4,"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-06-19T16:11:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9sRLM7FSyUT+8IFuuWo2RB8v3fcYIUYqyk/TaByVis1LCqOomToTszK13cqqwTs/WP//B24JxO6qUpfu9ZdvCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T23:19:03.456394Z"},"content_sha256":"83549e14fdfdc7caf458efed715d22c63f3e97032db9f7f0853652ac06023aef","schema_version":"1.0","event_id":"sha256:83549e14fdfdc7caf458efed715d22c63f3e97032db9f7f0853652ac06023aef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:DZ6ROPCKLYOYFPSV56LZMX2WYX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Extended formulations for induced tree and path polytopes of chordal graphs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DM","authors_text":"Alexandre Dupont-Bouillard","submitted_at":"2025-12-09T12:55:04Z","abstract_excerpt":"In this article, we give two extended space formulations, respectively, for the induced tree and path polytopes of chordal graphs with vertex and edge variables.\n  These formulations are obtained by proving that the induced tree and path extended incidence vectors of chordal graphs form Hilbert basis. This also shows that both polytopes have the integer decomposition property in chordal graphs.\n  Whereas the formulation for the induced tree polytope is easily seen to have a compact size, the system we provide for the induced path polytope has an exponential number of inequalities.\n  We show wh"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2512.08554","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2512.08554/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-06-19T16:11:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6t8NRi6+i4z/EhVS3bykvVXpUc6VGbSQEVmIqmttNPsqBKRS/JP3y1hTlS+ZDepoB0efJj5aAnQR8AUXFpn+BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T23:19:03.456983Z"},"content_sha256":"29f6a3e93d844d3facf649d83614b5c1d8c7f16c7043ef8b463dfdc177489125","schema_version":"1.0","event_id":"sha256:29f6a3e93d844d3facf649d83614b5c1d8c7f16c7043ef8b463dfdc177489125"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX/bundle.json","state_url":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX/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-08-14T23:19:03Z","links":{"resolver":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX","bundle":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX/bundle.json","state":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:DZ6ROPCKLYOYFPSV56LZMX2WYX","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":"67c9a6c5f647cae10df565fe20050dc64d791d9885aabb0a4da5acb7289e9bd8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DM","submitted_at":"2025-12-09T12:55:04Z","title_canon_sha256":"a9f139527419fda055850df181af8d3879b6c890c124ad23138eadd554ee961c"},"schema_version":"1.0","source":{"id":"2512.08554","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2512.08554","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"arxiv_version","alias_value":"2512.08554v4","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.08554","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"pith_short_12","alias_value":"DZ6ROPCKLYOY","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"pith_short_16","alias_value":"DZ6ROPCKLYOYFPSV","created_at":"2026-06-19T16:11:18Z"},{"alias_kind":"pith_short_8","alias_value":"DZ6ROPCK","created_at":"2026-06-19T16:11:18Z"}],"graph_snapshots":[{"event_id":"sha256:29f6a3e93d844d3facf649d83614b5c1d8c7f16c7043ef8b463dfdc177489125","target":"graph","created_at":"2026-06-19T16:11:18Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2512.08554/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this article, we give two extended space formulations, respectively, for the induced tree and path polytopes of chordal graphs with vertex and edge variables.\n  These formulations are obtained by proving that the induced tree and path extended incidence vectors of chordal graphs form Hilbert basis. This also shows that both polytopes have the integer decomposition property in chordal graphs.\n  Whereas the formulation for the induced tree polytope is easily seen to have a compact size, the system we provide for the induced path polytope has an exponential number of inequalities.\n  We show wh","authors_text":"Alexandre Dupont-Bouillard","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DM","submitted_at":"2025-12-09T12:55:04Z","title":"Extended formulations for induced tree and path polytopes of chordal graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2512.08554","kind":"arxiv","version":4},"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:83549e14fdfdc7caf458efed715d22c63f3e97032db9f7f0853652ac06023aef","target":"record","created_at":"2026-06-19T16:11:18Z","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":"67c9a6c5f647cae10df565fe20050dc64d791d9885aabb0a4da5acb7289e9bd8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DM","submitted_at":"2025-12-09T12:55:04Z","title_canon_sha256":"a9f139527419fda055850df181af8d3879b6c890c124ad23138eadd554ee961c"},"schema_version":"1.0","source":{"id":"2512.08554","kind":"arxiv","version":4}},"canonical_sha256":"1e7d173c4a5e1d82be55ef97965f56c5cdb1cbc1f86b928b12d068dfbb4fac3b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1e7d173c4a5e1d82be55ef97965f56c5cdb1cbc1f86b928b12d068dfbb4fac3b","first_computed_at":"2026-06-19T16:11:18.183838Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:11:18.183838Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qT3MA4CJ14xxrj1dC0iO3qafSpkyxnZtsCUEndOTr24nOYdrypVZWAu7HJLSEaQLBdnCfTnvzk3JGKUvWPR7Cw==","signature_status":"signed_v1","signed_at":"2026-06-19T16:11:18.184353Z","signed_message":"canonical_sha256_bytes"},"source_id":"2512.08554","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:83549e14fdfdc7caf458efed715d22c63f3e97032db9f7f0853652ac06023aef","sha256:29f6a3e93d844d3facf649d83614b5c1d8c7f16c7043ef8b463dfdc177489125"],"state_sha256":"4da49641c159c95ad2cdf4f2f0f50beb2a11fa004c1d99021adaa05a9abc9888"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3XhrTrsqzWwpnDO3zfta7LAc7AVEEEHd81c5bgVM45LbI18N5iAHbnmv72QkDqot16gRHqU3BI9hehlqAYMICA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T23:19:03.462811Z","bundle_sha256":"cece2e9ac540c69e4207dab4af00245772c1e2402fd7b81a1e698bf2f93d2be0"}}