{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:ZTVDTE5ERGNV6ZBZVWWCVCTQ77","short_pith_number":"pith:ZTVDTE5E","schema_version":"1.0","canonical_sha256":"ccea3993a4899b5f6439adac2a8a70ffd2f664bb040e70d973cc700c6c021872","source":{"kind":"arxiv","id":"2306.13319","version":7},"attestation_state":"computed","paper":{"title":"A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CC","math.CO"],"primary_cat":"quant-ph","authors_text":"Curtis Bright, Vijay Ganesh, Zhengyu Li","submitted_at":"2023-06-23T06:42:59Z","abstract_excerpt":"One of the fundamental results in quantum foundations is the Kochen-Specker (KS) theorem, which states that any theory whose predictions agree with quantum mechanics must be contextual, i.e., a quantum observation cannot be understood as revealing a pre-existing value. The theorem hinges on the existence of a mathematical object called a KS vector system. While many KS vector systems are known, the problem of finding the minimum KS vector system in three dimensions (3D) has remained stubbornly open for over 55 years.\n  To address the minimum KS problem, we present a new verifiable proof-produc"},"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":"2306.13319","kind":"arxiv","version":7},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2023-06-23T06:42:59Z","cross_cats_sorted":["cs.CC","math.CO"],"title_canon_sha256":"19160bed61d05336506032af202b3df3c736e8751e77e4e38c8a37469c568098","abstract_canon_sha256":"2d666c6bcadbda1b9fc1d59612ea0669244ae38c91063eb354e1eaa5ffdf3fdc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:07:43.674108Z","signature_b64":"1+JzaHvWmnyvE1s1QBKaKALVjRyC0Y/PVnEdHWCN9dYM07TqggUGc8PIoGplScBIC0MsaoPC1+cxigNSdNwNAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ccea3993a4899b5f6439adac2a8a70ffd2f664bb040e70d973cc700c6c021872","last_reissued_at":"2026-07-05T09:07:43.673608Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:07:43.673608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CC","math.CO"],"primary_cat":"quant-ph","authors_text":"Curtis Bright, Vijay Ganesh, Zhengyu Li","submitted_at":"2023-06-23T06:42:59Z","abstract_excerpt":"One of the fundamental results in quantum foundations is the Kochen-Specker (KS) theorem, which states that any theory whose predictions agree with quantum mechanics must be contextual, i.e., a quantum observation cannot be understood as revealing a pre-existing value. The theorem hinges on the existence of a mathematical object called a KS vector system. While many KS vector systems are known, the problem of finding the minimum KS vector system in three dimensions (3D) has remained stubbornly open for over 55 years.\n  To address the minimum KS problem, we present a new verifiable proof-produc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.13319","kind":"arxiv","version":7},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2306.13319/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2306.13319","created_at":"2026-07-05T09:07:43.673663+00:00"},{"alias_kind":"arxiv_version","alias_value":"2306.13319v7","created_at":"2026-07-05T09:07:43.673663+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.13319","created_at":"2026-07-05T09:07:43.673663+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZTVDTE5ERGNV","created_at":"2026-07-05T09:07:43.673663+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZTVDTE5ERGNV6ZBZ","created_at":"2026-07-05T09:07:43.673663+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZTVDTE5E","created_at":"2026-07-05T09:07:43.673663+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2607.01193","citing_title":"Non-signaling assistance in prepare-and-measure scenarios with classical communication","ref_index":87,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZTVDTE5ERGNV6ZBZVWWCVCTQ77","json":"https://pith.science/pith/ZTVDTE5ERGNV6ZBZVWWCVCTQ77.json","graph_json":"https://pith.science/api/pith-number/ZTVDTE5ERGNV6ZBZVWWCVCTQ77/graph.json","events_json":"https://pith.science/api/pith-number/ZTVDTE5ERGNV6ZBZVWWCVCTQ77/events.json","paper":"https://pith.science/paper/ZTVDTE5E"},"agent_actions":{"view_html":"https://pith.science/pith/ZTVDTE5ERGNV6ZBZVWWCVCTQ77","download_json":"https://pith.science/pith/ZTVDTE5ERGNV6ZBZVWWCVCTQ77.json","view_paper":"https://pith.science/paper/ZTVDTE5E","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2306.13319&json=true","fetch_graph":"https://pith.science/api/pith-number/ZTVDTE5ERGNV6ZBZVWWCVCTQ77/graph.json","fetch_events":"https://pith.science/api/pith-number/ZTVDTE5ERGNV6ZBZVWWCVCTQ77/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZTVDTE5ERGNV6ZBZVWWCVCTQ77/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZTVDTE5ERGNV6ZBZVWWCVCTQ77/action/storage_attestation","attest_author":"https://pith.science/pith/ZTVDTE5ERGNV6ZBZVWWCVCTQ77/action/author_attestation","sign_citation":"https://pith.science/pith/ZTVDTE5ERGNV6ZBZVWWCVCTQ77/action/citation_signature","submit_replication":"https://pith.science/pith/ZTVDTE5ERGNV6ZBZVWWCVCTQ77/action/replication_record"}},"created_at":"2026-07-05T09:07:43.673663+00:00","updated_at":"2026-07-05T09:07:43.673663+00:00"}