{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:ZLNGUA2AEXKNNGGZKMEZ37IA4Y","short_pith_number":"pith:ZLNGUA2A","canonical_record":{"source":{"id":"1307.0071","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2013-06-29T05:28:35Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"ff5a14f3775906decda3a68f590b519f9bf99c6a042aaf6f8cb7e4842965cb1d","abstract_canon_sha256":"934e1d511dfc03c0f5fd3b871003c741b9653e9e48ec34b24076c55b18e029cc"},"schema_version":"1.0"},"canonical_sha256":"cada6a034025d4d698d953099dfd00e627e3cd5181a6da7ce1707fa08a943b8f","source":{"kind":"arxiv","id":"1307.0071","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.0071","created_at":"2026-05-18T01:41:58Z"},{"alias_kind":"arxiv_version","alias_value":"1307.0071v3","created_at":"2026-05-18T01:41:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.0071","created_at":"2026-05-18T01:41:58Z"},{"alias_kind":"pith_short_12","alias_value":"ZLNGUA2AEXKN","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"ZLNGUA2AEXKNNGGZ","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"ZLNGUA2A","created_at":"2026-05-18T12:28:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:ZLNGUA2AEXKNNGGZKMEZ37IA4Y","target":"record","payload":{"canonical_record":{"source":{"id":"1307.0071","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2013-06-29T05:28:35Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"ff5a14f3775906decda3a68f590b519f9bf99c6a042aaf6f8cb7e4842965cb1d","abstract_canon_sha256":"934e1d511dfc03c0f5fd3b871003c741b9653e9e48ec34b24076c55b18e029cc"},"schema_version":"1.0"},"canonical_sha256":"cada6a034025d4d698d953099dfd00e627e3cd5181a6da7ce1707fa08a943b8f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:41:58.271098Z","signature_b64":"tFhm8f3hlJ/xxxI15By/x1K0VmF8I1PU8okDsU/QqNxCm4zaq5KI579TAq/8UUNTXNYn4imMIRpMFwSjsGwADA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cada6a034025d4d698d953099dfd00e627e3cd5181a6da7ce1707fa08a943b8f","last_reissued_at":"2026-05-18T01:41:58.270711Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:41:58.270711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1307.0071","source_version":3,"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-18T01:41:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JnqTBqnqZ30GQ3d6Fs8kgmq8E81EF8xQJcL7qVPUhZ0bNziyWW6s4N1kT95h7Mq2SVEaSaXRUlDEwoKsESwwBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T07:13:41.473013Z"},"content_sha256":"f92b68fc791ab0f51d3c1888fe79c22c17e7cc00122fc0a9891b36ebc510b481","schema_version":"1.0","event_id":"sha256:f92b68fc791ab0f51d3c1888fe79c22c17e7cc00122fc0a9891b36ebc510b481"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:ZLNGUA2AEXKNNGGZKMEZ37IA4Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Antiprismless, or: Reducing Combinatorial Equivalence to Projective Equivalence in Realizability Problems for Polytopes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.MG","authors_text":"Michael Gene Dobbins","submitted_at":"2013-06-29T05:28:35Z","abstract_excerpt":"This article exhibits a 4-dimensional combinatorial polytope that has no antiprism, answering a question posed by Bernt Lindst\\\"om. As a consequence, any realization of this combinatorial polytope has a face that it cannot rest upon without toppling over. To this end, we provide a general method for solving a broad class of realizability problems. Specifically, we show that for any semialgebraic property that faces inherit, the given property holds for some realization of every combinatorial polytope if and only if the property holds from some projective copy of every polytope. The proof uses "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.0071","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"},"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-18T01:41:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uw5n+lwnJtH53NqmdsHvsOLVMtuTR6OmOo4L9cQFqRZfG6RX51XuV51K2wmzI8z+YTgft/V9Y7kOzocaGLrdDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T07:13:41.473511Z"},"content_sha256":"b9a335c70154e8bbaedc154c2121d8dcbfcbb28d154e42db8526d273dba896e8","schema_version":"1.0","event_id":"sha256:b9a335c70154e8bbaedc154c2121d8dcbfcbb28d154e42db8526d273dba896e8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZLNGUA2AEXKNNGGZKMEZ37IA4Y/bundle.json","state_url":"https://pith.science/pith/ZLNGUA2AEXKNNGGZKMEZ37IA4Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZLNGUA2AEXKNNGGZKMEZ37IA4Y/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-23T07:13:41Z","links":{"resolver":"https://pith.science/pith/ZLNGUA2AEXKNNGGZKMEZ37IA4Y","bundle":"https://pith.science/pith/ZLNGUA2AEXKNNGGZKMEZ37IA4Y/bundle.json","state":"https://pith.science/pith/ZLNGUA2AEXKNNGGZKMEZ37IA4Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZLNGUA2AEXKNNGGZKMEZ37IA4Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:ZLNGUA2AEXKNNGGZKMEZ37IA4Y","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":"934e1d511dfc03c0f5fd3b871003c741b9653e9e48ec34b24076c55b18e029cc","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2013-06-29T05:28:35Z","title_canon_sha256":"ff5a14f3775906decda3a68f590b519f9bf99c6a042aaf6f8cb7e4842965cb1d"},"schema_version":"1.0","source":{"id":"1307.0071","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.0071","created_at":"2026-05-18T01:41:58Z"},{"alias_kind":"arxiv_version","alias_value":"1307.0071v3","created_at":"2026-05-18T01:41:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.0071","created_at":"2026-05-18T01:41:58Z"},{"alias_kind":"pith_short_12","alias_value":"ZLNGUA2AEXKN","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"ZLNGUA2AEXKNNGGZ","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"ZLNGUA2A","created_at":"2026-05-18T12:28:09Z"}],"graph_snapshots":[{"event_id":"sha256:b9a335c70154e8bbaedc154c2121d8dcbfcbb28d154e42db8526d273dba896e8","target":"graph","created_at":"2026-05-18T01:41:58Z","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":"This article exhibits a 4-dimensional combinatorial polytope that has no antiprism, answering a question posed by Bernt Lindst\\\"om. As a consequence, any realization of this combinatorial polytope has a face that it cannot rest upon without toppling over. To this end, we provide a general method for solving a broad class of realizability problems. Specifically, we show that for any semialgebraic property that faces inherit, the given property holds for some realization of every combinatorial polytope if and only if the property holds from some projective copy of every polytope. The proof uses ","authors_text":"Michael Gene Dobbins","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2013-06-29T05:28:35Z","title":"Antiprismless, or: Reducing Combinatorial Equivalence to Projective Equivalence in Realizability Problems for Polytopes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.0071","kind":"arxiv","version":3},"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:f92b68fc791ab0f51d3c1888fe79c22c17e7cc00122fc0a9891b36ebc510b481","target":"record","created_at":"2026-05-18T01:41:58Z","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":"934e1d511dfc03c0f5fd3b871003c741b9653e9e48ec34b24076c55b18e029cc","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2013-06-29T05:28:35Z","title_canon_sha256":"ff5a14f3775906decda3a68f590b519f9bf99c6a042aaf6f8cb7e4842965cb1d"},"schema_version":"1.0","source":{"id":"1307.0071","kind":"arxiv","version":3}},"canonical_sha256":"cada6a034025d4d698d953099dfd00e627e3cd5181a6da7ce1707fa08a943b8f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cada6a034025d4d698d953099dfd00e627e3cd5181a6da7ce1707fa08a943b8f","first_computed_at":"2026-05-18T01:41:58.270711Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:41:58.270711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tFhm8f3hlJ/xxxI15By/x1K0VmF8I1PU8okDsU/QqNxCm4zaq5KI579TAq/8UUNTXNYn4imMIRpMFwSjsGwADA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:41:58.271098Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.0071","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f92b68fc791ab0f51d3c1888fe79c22c17e7cc00122fc0a9891b36ebc510b481","sha256:b9a335c70154e8bbaedc154c2121d8dcbfcbb28d154e42db8526d273dba896e8"],"state_sha256":"baa924dc795a5c7477442f04439bd14fc063773347305b3d2422ddf108cf09f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jI5PpHbz35fCrNJIE0d/2QjpuJx8gZihLH+BTGLVK9ToqzP2UC6mYQrpGYgQ4mAl5JQAFcrxFbcF097pDzkPDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T07:13:41.477081Z","bundle_sha256":"ca3bc9b3a37dfcff2c616d79e331995fedb11139e867d73b479cf6c599c6af9f"}}