{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:TIMED4QPUTYX4XRF6ZAROSJ75O","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":"e9ea71ed2539e15c1fdb6f13e4ce0cbcf103079a780a6ef6b79bf56a3c705e15","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2021-01-22T18:39:29Z","title_canon_sha256":"0319d2cb010ea1fd2efd05b9873eda98dc18cc880ac8be959cdfed0bc82f1b76"},"schema_version":"1.0","source":{"id":"2101.09267","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.09267","created_at":"2026-07-05T03:14:33Z"},{"alias_kind":"arxiv_version","alias_value":"2101.09267v1","created_at":"2026-07-05T03:14:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.09267","created_at":"2026-07-05T03:14:33Z"},{"alias_kind":"pith_short_12","alias_value":"TIMED4QPUTYX","created_at":"2026-07-05T03:14:33Z"},{"alias_kind":"pith_short_16","alias_value":"TIMED4QPUTYX4XRF","created_at":"2026-07-05T03:14:33Z"},{"alias_kind":"pith_short_8","alias_value":"TIMED4QP","created_at":"2026-07-05T03:14:33Z"}],"graph_snapshots":[{"event_id":"sha256:52cf5cd74e5e622fe1506f01ee0f7bb419cd8ff0ca986eeb12814bcee7b5b2b8","target":"graph","created_at":"2026-07-05T03:14:33Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2101.09267/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In the present work, we consider Zuckerberg's method for geometric convex-hull proofs introduced in [Geometric proofs for convex hull defining formulations, Operations Research Letters 44(5), 625-629 (2016)]. It has only been scarcely adopted in the literature so far, despite the great flexibility in designing algorithmic proofs for the completeness of polyhedral descriptions that it offers. We suspect that this is partly due to the rather heavy algebraic framework its original statement entails. This is why we present a much more lightweight and accessible approach to Zuckerberg's proof techn","authors_text":"Andreas B\\\"armann, Oskar Schneider","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2021-01-22T18:39:29Z","title":"Set characterizations and convex extensions for geometric convex-hull proofs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.09267","kind":"arxiv","version":1},"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:e0e24fd4efa60ad7b9c87d0e6725dc8e3cdf8065c4c21a3713a34611d09031c1","target":"record","created_at":"2026-07-05T03:14:33Z","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":"e9ea71ed2539e15c1fdb6f13e4ce0cbcf103079a780a6ef6b79bf56a3c705e15","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2021-01-22T18:39:29Z","title_canon_sha256":"0319d2cb010ea1fd2efd05b9873eda98dc18cc880ac8be959cdfed0bc82f1b76"},"schema_version":"1.0","source":{"id":"2101.09267","kind":"arxiv","version":1}},"canonical_sha256":"9a1841f20fa4f17e5e25f64117493feb913c7ac815ff007f6bb19f37900ac862","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a1841f20fa4f17e5e25f64117493feb913c7ac815ff007f6bb19f37900ac862","first_computed_at":"2026-07-05T03:14:33.238465Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:14:33.238465Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VY0cJKZJeaH9mNLBj8GEBkBy0a9c5WZV+mn5Q/k6Azhy2NA6VH0y0gubL3Zp3b73poET06e/RWl5/7vSIgsQDA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:14:33.238949Z","signed_message":"canonical_sha256_bytes"},"source_id":"2101.09267","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e0e24fd4efa60ad7b9c87d0e6725dc8e3cdf8065c4c21a3713a34611d09031c1","sha256:52cf5cd74e5e622fe1506f01ee0f7bb419cd8ff0ca986eeb12814bcee7b5b2b8"],"state_sha256":"95164344f39d5c0c9386fbbc626bdd05075c60214f2cdca8d8ea7958459563de"}