{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:OMSQYXJUQXPYFY5IGGG5V22DID","short_pith_number":"pith:OMSQYXJU","canonical_record":{"source":{"id":"1311.3255","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-11-13T19:11:11Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"4908eae69e76d22acd128f6816c37cb76cbf7104094a5793da4bd2b510678afc","abstract_canon_sha256":"1e1059f4fa1459eaa976a6f961d7c77c86e0cc0e9b7acb31611290de34777fd9"},"schema_version":"1.0"},"canonical_sha256":"73250c5d3485df82e3a8318ddaeb4340c1d27593f395ecba71a73d869b347463","source":{"kind":"arxiv","id":"1311.3255","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.3255","created_at":"2026-05-18T02:31:36Z"},{"alias_kind":"arxiv_version","alias_value":"1311.3255v2","created_at":"2026-05-18T02:31:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.3255","created_at":"2026-05-18T02:31:36Z"},{"alias_kind":"pith_short_12","alias_value":"OMSQYXJUQXPY","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"OMSQYXJUQXPYFY5I","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"OMSQYXJU","created_at":"2026-05-18T12:27:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:OMSQYXJUQXPYFY5IGGG5V22DID","target":"record","payload":{"canonical_record":{"source":{"id":"1311.3255","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-11-13T19:11:11Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"4908eae69e76d22acd128f6816c37cb76cbf7104094a5793da4bd2b510678afc","abstract_canon_sha256":"1e1059f4fa1459eaa976a6f961d7c77c86e0cc0e9b7acb31611290de34777fd9"},"schema_version":"1.0"},"canonical_sha256":"73250c5d3485df82e3a8318ddaeb4340c1d27593f395ecba71a73d869b347463","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:31:36.109921Z","signature_b64":"uiml9q5orhMpSVWyxRSBp0Z85qgcLNEFynur0vzaIpDXfcOyJ+/wzqYHX72lwk09udv17RWNR/XCXdusXwA2AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73250c5d3485df82e3a8318ddaeb4340c1d27593f395ecba71a73d869b347463","last_reissued_at":"2026-05-18T02:31:36.109237Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:31:36.109237Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.3255","source_version":2,"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-18T02:31:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oEMM/eNlItz7fvcbhls4ujSY5u6ABVnhGZN+lA+/VVhptQDn8mXSFa3aC+r8zVvk++yk+IKqU2Ap00CnWuJODw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:45:42.209860Z"},"content_sha256":"318416d25e3f53c98699d9ffff6cb6b7761d9226ca5bb9bb0751d1736e5bd4ec","schema_version":"1.0","event_id":"sha256:318416d25e3f53c98699d9ffff6cb6b7761d9226ca5bb9bb0751d1736e5bd4ec"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:OMSQYXJUQXPYFY5IGGG5V22DID","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lower Bounds on the Sizes of Integer Programs Without Additional Variables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"math.CO","authors_text":"Stefan Weltge, Volker Kaibel","submitted_at":"2013-11-13T19:11:11Z","abstract_excerpt":"Let X be the set of integer points in some polyhedron. We investigate the smallest number of facets of any polyhedron whose set of integer points is X. This quantity, which we call the relaxation complexity of X, corresponds to the smallest number of linear inequalities of any integer program having X as the set of feasible solutions that does not use auxiliary variables. We show that the use of auxiliary variables is essential for constructing polynomial size integer programming formulations in many relevant cases. In particular, we provide asymptotically tight exponential lower bounds on the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.3255","kind":"arxiv","version":2},"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-18T02:31:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"asopwA7tVl5YnN3QASDidLx78FE3qvDISMF/KrNv8PJJU8LxAjvhTd7aUVD8l6NjpXw4gg5AzfpmtvPezzG/DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:45:42.210532Z"},"content_sha256":"8d5d5ac7b60f9e0b11b0cb8ee6e4dcdec4f4a9332d9c8870e67bb685ab2d6f9d","schema_version":"1.0","event_id":"sha256:8d5d5ac7b60f9e0b11b0cb8ee6e4dcdec4f4a9332d9c8870e67bb685ab2d6f9d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OMSQYXJUQXPYFY5IGGG5V22DID/bundle.json","state_url":"https://pith.science/pith/OMSQYXJUQXPYFY5IGGG5V22DID/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OMSQYXJUQXPYFY5IGGG5V22DID/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-26T20:45:42Z","links":{"resolver":"https://pith.science/pith/OMSQYXJUQXPYFY5IGGG5V22DID","bundle":"https://pith.science/pith/OMSQYXJUQXPYFY5IGGG5V22DID/bundle.json","state":"https://pith.science/pith/OMSQYXJUQXPYFY5IGGG5V22DID/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OMSQYXJUQXPYFY5IGGG5V22DID/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:OMSQYXJUQXPYFY5IGGG5V22DID","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":"1e1059f4fa1459eaa976a6f961d7c77c86e0cc0e9b7acb31611290de34777fd9","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-11-13T19:11:11Z","title_canon_sha256":"4908eae69e76d22acd128f6816c37cb76cbf7104094a5793da4bd2b510678afc"},"schema_version":"1.0","source":{"id":"1311.3255","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.3255","created_at":"2026-05-18T02:31:36Z"},{"alias_kind":"arxiv_version","alias_value":"1311.3255v2","created_at":"2026-05-18T02:31:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.3255","created_at":"2026-05-18T02:31:36Z"},{"alias_kind":"pith_short_12","alias_value":"OMSQYXJUQXPY","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"OMSQYXJUQXPYFY5I","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"OMSQYXJU","created_at":"2026-05-18T12:27:54Z"}],"graph_snapshots":[{"event_id":"sha256:8d5d5ac7b60f9e0b11b0cb8ee6e4dcdec4f4a9332d9c8870e67bb685ab2d6f9d","target":"graph","created_at":"2026-05-18T02:31:36Z","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":"Let X be the set of integer points in some polyhedron. We investigate the smallest number of facets of any polyhedron whose set of integer points is X. This quantity, which we call the relaxation complexity of X, corresponds to the smallest number of linear inequalities of any integer program having X as the set of feasible solutions that does not use auxiliary variables. We show that the use of auxiliary variables is essential for constructing polynomial size integer programming formulations in many relevant cases. In particular, we provide asymptotically tight exponential lower bounds on the","authors_text":"Stefan Weltge, Volker Kaibel","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-11-13T19:11:11Z","title":"Lower Bounds on the Sizes of Integer Programs Without Additional Variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.3255","kind":"arxiv","version":2},"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:318416d25e3f53c98699d9ffff6cb6b7761d9226ca5bb9bb0751d1736e5bd4ec","target":"record","created_at":"2026-05-18T02:31:36Z","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":"1e1059f4fa1459eaa976a6f961d7c77c86e0cc0e9b7acb31611290de34777fd9","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-11-13T19:11:11Z","title_canon_sha256":"4908eae69e76d22acd128f6816c37cb76cbf7104094a5793da4bd2b510678afc"},"schema_version":"1.0","source":{"id":"1311.3255","kind":"arxiv","version":2}},"canonical_sha256":"73250c5d3485df82e3a8318ddaeb4340c1d27593f395ecba71a73d869b347463","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73250c5d3485df82e3a8318ddaeb4340c1d27593f395ecba71a73d869b347463","first_computed_at":"2026-05-18T02:31:36.109237Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:31:36.109237Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uiml9q5orhMpSVWyxRSBp0Z85qgcLNEFynur0vzaIpDXfcOyJ+/wzqYHX72lwk09udv17RWNR/XCXdusXwA2AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:31:36.109921Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.3255","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:318416d25e3f53c98699d9ffff6cb6b7761d9226ca5bb9bb0751d1736e5bd4ec","sha256:8d5d5ac7b60f9e0b11b0cb8ee6e4dcdec4f4a9332d9c8870e67bb685ab2d6f9d"],"state_sha256":"dd9e11f527d58e8dbba7c290b0e7fb129d7a1640603e2122bcd20065a98b32e0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SJi0Jr1Svb7/PLtkPGZd9nvUzthRcgTIWXrjbKE4tYRqtVhzanOq9LbaIKx+TSdLL1MVgV0bKiKJsWHySqMEAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T20:45:42.213703Z","bundle_sha256":"be972f3d40709103919a86909461b8564ede52cad80ea34fcb1c0a7c77a71d00"}}