{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:ZH3PYNLZR54NNHIPVZ432AEMAY","short_pith_number":"pith:ZH3PYNLZ","canonical_record":{"source":{"id":"1305.3782","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-05-16T12:41:12Z","cross_cats_sorted":[],"title_canon_sha256":"0ea0d89933ce8eacccc1bb8372e7812d18c169b1581d22e553dec2e0d2b9ae7f","abstract_canon_sha256":"70ca372e344bf1ffa964d06e4eae4c510796f019a058cba497b204c205d45a8a"},"schema_version":"1.0"},"canonical_sha256":"c9f6fc35798f78d69d0fae79bd008c06363bc4c89e5708e1d6682f342e4275c4","source":{"kind":"arxiv","id":"1305.3782","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.3782","created_at":"2026-05-18T02:40:45Z"},{"alias_kind":"arxiv_version","alias_value":"1305.3782v2","created_at":"2026-05-18T02:40:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.3782","created_at":"2026-05-18T02:40:45Z"},{"alias_kind":"pith_short_12","alias_value":"ZH3PYNLZR54N","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"ZH3PYNLZR54NNHIP","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"ZH3PYNLZ","created_at":"2026-05-18T12:28:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:ZH3PYNLZR54NNHIPVZ432AEMAY","target":"record","payload":{"canonical_record":{"source":{"id":"1305.3782","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-05-16T12:41:12Z","cross_cats_sorted":[],"title_canon_sha256":"0ea0d89933ce8eacccc1bb8372e7812d18c169b1581d22e553dec2e0d2b9ae7f","abstract_canon_sha256":"70ca372e344bf1ffa964d06e4eae4c510796f019a058cba497b204c205d45a8a"},"schema_version":"1.0"},"canonical_sha256":"c9f6fc35798f78d69d0fae79bd008c06363bc4c89e5708e1d6682f342e4275c4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:40:45.776771Z","signature_b64":"diaSBdo2D+Z9isrM5k+6J7sNHUJlnikxducdekjoGVfvSFeB7V4fOxLdcOq9Oh1+H2n2VODkk9dXRMG5Xk5CDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c9f6fc35798f78d69d0fae79bd008c06363bc4c89e5708e1d6682f342e4275c4","last_reissued_at":"2026-05-18T02:40:45.776360Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:40:45.776360Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1305.3782","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:40:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j34IWFyOlWpUV4jvkTflxe9a8e//t3m3zr00+71ql3beiwBz7fNiHSfgz3ZWROMtqZrquBJRGsI4mTjHsW1SBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T07:59:45.144418Z"},"content_sha256":"cd140331188b21084915a9572f6230e9eea2ba5b4fee90014c78f7051981852f","schema_version":"1.0","event_id":"sha256:cd140331188b21084915a9572f6230e9eea2ba5b4fee90014c78f7051981852f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:ZH3PYNLZR54NNHIPVZ432AEMAY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Projected Faces Property and Polyhedral Relations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Kanstantsin Pashkovich, Michele Conforti","submitted_at":"2013-05-16T12:41:12Z","abstract_excerpt":"Margot (1994) in his doctoral dissertation studied extended formulations of combinatorial polytopes that arise from \"smaller\" polytopes via some composition rule. He introduced the \"projected faces property\" of a polytope and showed that this property suffices to iteratively build extended formulations of composed polytopes.\n  For the composed polytopes, we show that an extended formulation of the type studied in this paper is always possible only if the smaller polytopes have the projected faces property. Therefore, this produces a characterization of the projected faces property.\n  Affinely "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.3782","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:40:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gMH7sbjHxj73+a0xwLIICod+xbx7uwoRCnGt72O//FgGjdIyEIiJDgSs0leYUCpieFrhBbcv0LRRJRpEFqAwBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T07:59:45.144773Z"},"content_sha256":"b2620f4a27968f35e4ac3ca0b2cc7793f898803df1daf675547d783196d1a6ab","schema_version":"1.0","event_id":"sha256:b2620f4a27968f35e4ac3ca0b2cc7793f898803df1daf675547d783196d1a6ab"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZH3PYNLZR54NNHIPVZ432AEMAY/bundle.json","state_url":"https://pith.science/pith/ZH3PYNLZR54NNHIPVZ432AEMAY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZH3PYNLZR54NNHIPVZ432AEMAY/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-28T07:59:45Z","links":{"resolver":"https://pith.science/pith/ZH3PYNLZR54NNHIPVZ432AEMAY","bundle":"https://pith.science/pith/ZH3PYNLZR54NNHIPVZ432AEMAY/bundle.json","state":"https://pith.science/pith/ZH3PYNLZR54NNHIPVZ432AEMAY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZH3PYNLZR54NNHIPVZ432AEMAY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:ZH3PYNLZR54NNHIPVZ432AEMAY","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":"70ca372e344bf1ffa964d06e4eae4c510796f019a058cba497b204c205d45a8a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-05-16T12:41:12Z","title_canon_sha256":"0ea0d89933ce8eacccc1bb8372e7812d18c169b1581d22e553dec2e0d2b9ae7f"},"schema_version":"1.0","source":{"id":"1305.3782","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.3782","created_at":"2026-05-18T02:40:45Z"},{"alias_kind":"arxiv_version","alias_value":"1305.3782v2","created_at":"2026-05-18T02:40:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.3782","created_at":"2026-05-18T02:40:45Z"},{"alias_kind":"pith_short_12","alias_value":"ZH3PYNLZR54N","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"ZH3PYNLZR54NNHIP","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"ZH3PYNLZ","created_at":"2026-05-18T12:28:09Z"}],"graph_snapshots":[{"event_id":"sha256:b2620f4a27968f35e4ac3ca0b2cc7793f898803df1daf675547d783196d1a6ab","target":"graph","created_at":"2026-05-18T02:40:45Z","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":"Margot (1994) in his doctoral dissertation studied extended formulations of combinatorial polytopes that arise from \"smaller\" polytopes via some composition rule. He introduced the \"projected faces property\" of a polytope and showed that this property suffices to iteratively build extended formulations of composed polytopes.\n  For the composed polytopes, we show that an extended formulation of the type studied in this paper is always possible only if the smaller polytopes have the projected faces property. Therefore, this produces a characterization of the projected faces property.\n  Affinely ","authors_text":"Kanstantsin Pashkovich, Michele Conforti","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-05-16T12:41:12Z","title":"The Projected Faces Property and Polyhedral Relations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.3782","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:cd140331188b21084915a9572f6230e9eea2ba5b4fee90014c78f7051981852f","target":"record","created_at":"2026-05-18T02:40:45Z","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":"70ca372e344bf1ffa964d06e4eae4c510796f019a058cba497b204c205d45a8a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-05-16T12:41:12Z","title_canon_sha256":"0ea0d89933ce8eacccc1bb8372e7812d18c169b1581d22e553dec2e0d2b9ae7f"},"schema_version":"1.0","source":{"id":"1305.3782","kind":"arxiv","version":2}},"canonical_sha256":"c9f6fc35798f78d69d0fae79bd008c06363bc4c89e5708e1d6682f342e4275c4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c9f6fc35798f78d69d0fae79bd008c06363bc4c89e5708e1d6682f342e4275c4","first_computed_at":"2026-05-18T02:40:45.776360Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:40:45.776360Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"diaSBdo2D+Z9isrM5k+6J7sNHUJlnikxducdekjoGVfvSFeB7V4fOxLdcOq9Oh1+H2n2VODkk9dXRMG5Xk5CDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:40:45.776771Z","signed_message":"canonical_sha256_bytes"},"source_id":"1305.3782","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cd140331188b21084915a9572f6230e9eea2ba5b4fee90014c78f7051981852f","sha256:b2620f4a27968f35e4ac3ca0b2cc7793f898803df1daf675547d783196d1a6ab"],"state_sha256":"76816e613c082374a15eb510df041035fd870794c15d19625a44269ab1b8dd22"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KVGG3Z1nvSy4JSmq/jzM2n4zYCxwAuhV16eWkmxMEjq7V9IjdmxWCkUhRMB+NOs80ULRnRXBki6srAATrZqoDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T07:59:45.146698Z","bundle_sha256":"792dd52568f79d022084b04f48a811bea4db7e97e9bbffdcc81fd8e34fe3d8fd"}}