{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:DZ6ROPCKLYOYFPSV56LZMX2WYX","short_pith_number":"pith:DZ6ROPCK","schema_version":"1.0","canonical_sha256":"1e7d173c4a5e1d82be55ef97965f56c5cdb1cbc1f86b928b12d068dfbb4fac3b","source":{"kind":"arxiv","id":"2512.08554","version":4},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2512.08554","created_at":"2026-06-19T16:11:18.183914+00:00"},{"alias_kind":"arxiv_version","alias_value":"2512.08554v4","created_at":"2026-06-19T16:11:18.183914+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.08554","created_at":"2026-06-19T16:11:18.183914+00:00"},{"alias_kind":"pith_short_12","alias_value":"DZ6ROPCKLYOY","created_at":"2026-06-19T16:11:18.183914+00:00"},{"alias_kind":"pith_short_16","alias_value":"DZ6ROPCKLYOYFPSV","created_at":"2026-06-19T16:11:18.183914+00:00"},{"alias_kind":"pith_short_8","alias_value":"DZ6ROPCK","created_at":"2026-06-19T16:11:18.183914+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX","json":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX.json","graph_json":"https://pith.science/api/pith-number/DZ6ROPCKLYOYFPSV56LZMX2WYX/graph.json","events_json":"https://pith.science/api/pith-number/DZ6ROPCKLYOYFPSV56LZMX2WYX/events.json","paper":"https://pith.science/paper/DZ6ROPCK"},"agent_actions":{"view_html":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX","download_json":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX.json","view_paper":"https://pith.science/paper/DZ6ROPCK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2512.08554&json=true","fetch_graph":"https://pith.science/api/pith-number/DZ6ROPCKLYOYFPSV56LZMX2WYX/graph.json","fetch_events":"https://pith.science/api/pith-number/DZ6ROPCKLYOYFPSV56LZMX2WYX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX/action/storage_attestation","attest_author":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX/action/author_attestation","sign_citation":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX/action/citation_signature","submit_replication":"https://pith.science/pith/DZ6ROPCKLYOYFPSV56LZMX2WYX/action/replication_record"}},"created_at":"2026-06-19T16:11:18.183914+00:00","updated_at":"2026-06-19T16:11:18.183914+00:00"}