{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2009:YZGRGEJFS2MQHHHO6ZQKXQNBYG","short_pith_number":"pith:YZGRGEJF","schema_version":"1.0","canonical_sha256":"c64d1311259699039ceef660abc1a1c1a2697ff0dec6bc5590c68de5affc6d70","source":{"kind":"arxiv","id":"0911.3712","version":3},"attestation_state":"computed","paper":{"title":"Symmetry Matters for Sizes of Extended Formulations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"math.CO","authors_text":"Dirk Oliver Theis, Kanstantsin Pashkovich, Volker Kaibel","submitted_at":"2009-11-19T07:11:43Z","abstract_excerpt":"In 1991, Yannakakis (J. Comput. System Sci., 1991) proved that no symmetric extended formulation for the matching polytope of the complete graph K_n with n nodes has a number of variables and constraints that is bounded subexponentially in n. Here, symmetric means that the formulation remains invariant under all permutations of the nodes of K_n. It was also conjectured in the paper mentioned above that \"asymmetry does not help much,\" but no corresponding result for general extended formulations has been found so far. In this paper we show that for the polytopes associated with the matchings in"},"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":"0911.3712","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2009-11-19T07:11:43Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"f0432ceaface8f79cdc2eeff1080de239c051b1e0505518082d44ef71d158f8f","abstract_canon_sha256":"6e6bed1c2d960fec2af6f248afe696adf5469fade040c76242fa6bb56e07d8cb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:10:46.106760Z","signature_b64":"U75LS6IwDYBt3G2lC5mIIt/ktM2qVUU4YN+CaGBMbuHesoPUgLRajELkk30v1Q8PBU9j/soxzszG94QLyNMMBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c64d1311259699039ceef660abc1a1c1a2697ff0dec6bc5590c68de5affc6d70","last_reissued_at":"2026-05-18T02:10:46.106018Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:10:46.106018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Symmetry Matters for Sizes of Extended Formulations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"math.CO","authors_text":"Dirk Oliver Theis, Kanstantsin Pashkovich, Volker Kaibel","submitted_at":"2009-11-19T07:11:43Z","abstract_excerpt":"In 1991, Yannakakis (J. Comput. System Sci., 1991) proved that no symmetric extended formulation for the matching polytope of the complete graph K_n with n nodes has a number of variables and constraints that is bounded subexponentially in n. Here, symmetric means that the formulation remains invariant under all permutations of the nodes of K_n. It was also conjectured in the paper mentioned above that \"asymmetry does not help much,\" but no corresponding result for general extended formulations has been found so far. In this paper we show that for the polytopes associated with the matchings in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0911.3712","kind":"arxiv","version":3},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"0911.3712","created_at":"2026-05-18T02:10:46.106148+00:00"},{"alias_kind":"arxiv_version","alias_value":"0911.3712v3","created_at":"2026-05-18T02:10:46.106148+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0911.3712","created_at":"2026-05-18T02:10:46.106148+00:00"},{"alias_kind":"pith_short_12","alias_value":"YZGRGEJFS2MQ","created_at":"2026-05-18T12:26:02.257875+00:00"},{"alias_kind":"pith_short_16","alias_value":"YZGRGEJFS2MQHHHO","created_at":"2026-05-18T12:26:02.257875+00:00"},{"alias_kind":"pith_short_8","alias_value":"YZGRGEJF","created_at":"2026-05-18T12:26:02.257875+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/YZGRGEJFS2MQHHHO6ZQKXQNBYG","json":"https://pith.science/pith/YZGRGEJFS2MQHHHO6ZQKXQNBYG.json","graph_json":"https://pith.science/api/pith-number/YZGRGEJFS2MQHHHO6ZQKXQNBYG/graph.json","events_json":"https://pith.science/api/pith-number/YZGRGEJFS2MQHHHO6ZQKXQNBYG/events.json","paper":"https://pith.science/paper/YZGRGEJF"},"agent_actions":{"view_html":"https://pith.science/pith/YZGRGEJFS2MQHHHO6ZQKXQNBYG","download_json":"https://pith.science/pith/YZGRGEJFS2MQHHHO6ZQKXQNBYG.json","view_paper":"https://pith.science/paper/YZGRGEJF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0911.3712&json=true","fetch_graph":"https://pith.science/api/pith-number/YZGRGEJFS2MQHHHO6ZQKXQNBYG/graph.json","fetch_events":"https://pith.science/api/pith-number/YZGRGEJFS2MQHHHO6ZQKXQNBYG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YZGRGEJFS2MQHHHO6ZQKXQNBYG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YZGRGEJFS2MQHHHO6ZQKXQNBYG/action/storage_attestation","attest_author":"https://pith.science/pith/YZGRGEJFS2MQHHHO6ZQKXQNBYG/action/author_attestation","sign_citation":"https://pith.science/pith/YZGRGEJFS2MQHHHO6ZQKXQNBYG/action/citation_signature","submit_replication":"https://pith.science/pith/YZGRGEJFS2MQHHHO6ZQKXQNBYG/action/replication_record"}},"created_at":"2026-05-18T02:10:46.106148+00:00","updated_at":"2026-05-18T02:10:46.106148+00:00"}