{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:VBNR2Y4TZV5HT6YFQ2TSEV7KAG","short_pith_number":"pith:VBNR2Y4T","schema_version":"1.0","canonical_sha256":"a85b1d6393cd7a79fb0586a72257ea01889fd0e40930d63932c3e5519a305840","source":{"kind":"arxiv","id":"1302.4801","version":3},"attestation_state":"computed","paper":{"title":"Proofs of the Kochen-Specker theorem based on the N-qubit Pauli group","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Mordecai Waegell, P.K. Aravind","submitted_at":"2013-02-20T03:13:52Z","abstract_excerpt":"We present a number of observables-based proofs of the Kochen-Specker (KS) theorem based on the N-qubit Pauli group for N >= 4, thus adding to the proofs that have been presented earlier for the two- and three-qubit groups. These proofs have the attractive feature that they can be presented in the form of diagrams from which they are obvious by inspection. They are also irreducible in the sense that they cannot be reduced to smaller proofs by ignoring some subset of qubits and/or observables in them. A simple algorithm is given for transforming any observables-based KS proof into a large numbe"},"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":"1302.4801","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-02-20T03:13:52Z","cross_cats_sorted":[],"title_canon_sha256":"b8d73e04507fe80ccbc27b16a6489af30dd0a452fe156b333080b8f2d33bd0d1","abstract_canon_sha256":"280823c32ade0bf204403ada629c9f3e604f2726689fd20142dca791ebe5a8fc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:16:26.880153Z","signature_b64":"lajKHRqIbivAgjXnxx/3jD29dOOF45U3AFIiXk6aQKN6buVXislxn0N5z+Qx5sgz+AQLV31ztyhz+oqS7Q34Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a85b1d6393cd7a79fb0586a72257ea01889fd0e40930d63932c3e5519a305840","last_reissued_at":"2026-05-18T03:16:26.879607Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:16:26.879607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proofs of the Kochen-Specker theorem based on the N-qubit Pauli group","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Mordecai Waegell, P.K. Aravind","submitted_at":"2013-02-20T03:13:52Z","abstract_excerpt":"We present a number of observables-based proofs of the Kochen-Specker (KS) theorem based on the N-qubit Pauli group for N >= 4, thus adding to the proofs that have been presented earlier for the two- and three-qubit groups. These proofs have the attractive feature that they can be presented in the form of diagrams from which they are obvious by inspection. They are also irreducible in the sense that they cannot be reduced to smaller proofs by ignoring some subset of qubits and/or observables in them. A simple algorithm is given for transforming any observables-based KS proof into a large numbe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4801","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1302.4801","created_at":"2026-05-18T03:16:26.879687+00:00"},{"alias_kind":"arxiv_version","alias_value":"1302.4801v3","created_at":"2026-05-18T03:16:26.879687+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4801","created_at":"2026-05-18T03:16:26.879687+00:00"},{"alias_kind":"pith_short_12","alias_value":"VBNR2Y4TZV5H","created_at":"2026-05-18T12:28:04.890932+00:00"},{"alias_kind":"pith_short_16","alias_value":"VBNR2Y4TZV5HT6YF","created_at":"2026-05-18T12:28:04.890932+00:00"},{"alias_kind":"pith_short_8","alias_value":"VBNR2Y4T","created_at":"2026-05-18T12:28:04.890932+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG","json":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG.json","graph_json":"https://pith.science/api/pith-number/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/graph.json","events_json":"https://pith.science/api/pith-number/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/events.json","paper":"https://pith.science/paper/VBNR2Y4T"},"agent_actions":{"view_html":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG","download_json":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG.json","view_paper":"https://pith.science/paper/VBNR2Y4T","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1302.4801&json=true","fetch_graph":"https://pith.science/api/pith-number/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/graph.json","fetch_events":"https://pith.science/api/pith-number/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/action/storage_attestation","attest_author":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/action/author_attestation","sign_citation":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/action/citation_signature","submit_replication":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/action/replication_record"}},"created_at":"2026-05-18T03:16:26.879687+00:00","updated_at":"2026-05-18T03:16:26.879687+00:00"}