{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:VBNR2Y4TZV5HT6YFQ2TSEV7KAG","short_pith_number":"pith:VBNR2Y4T","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"},"canonical_sha256":"a85b1d6393cd7a79fb0586a72257ea01889fd0e40930d63932c3e5519a305840","source":{"kind":"arxiv","id":"1302.4801","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4801","created_at":"2026-05-18T03:16:26Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4801v3","created_at":"2026-05-18T03:16:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4801","created_at":"2026-05-18T03:16:26Z"},{"alias_kind":"pith_short_12","alias_value":"VBNR2Y4TZV5H","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"VBNR2Y4TZV5HT6YF","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"VBNR2Y4T","created_at":"2026-05-18T12:28:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:VBNR2Y4TZV5HT6YFQ2TSEV7KAG","target":"record","payload":{"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"},"canonical_sha256":"a85b1d6393cd7a79fb0586a72257ea01889fd0e40930d63932c3e5519a305840","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"},"source_kind":"arxiv","source_id":"1302.4801","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-18T03:16:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AkTsche0s2ibd8Y7kdUDUHXP8wTdY+Rhfao26HMR10FyYhYmW+AF3dBtQbM/HDYx8liaA24Q+Fxlbm/CVlxfCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T02:41:52.267068Z"},"content_sha256":"b38eed1cf59c21609f5c9027fb861015f86e955408aaf250aa381d5b174d64e4","schema_version":"1.0","event_id":"sha256:b38eed1cf59c21609f5c9027fb861015f86e955408aaf250aa381d5b174d64e4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:VBNR2Y4TZV5HT6YFQ2TSEV7KAG","target":"graph","payload":{"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"},"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-18T03:16:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+W4HUBo+gqBQkWBk7pXntbCYafDo2GkKo6xcsEqEVhwMcLQUAPjd0ZWidhQs7szxTSC7zavoNIqraPFvHRzeCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T02:41:52.267856Z"},"content_sha256":"de3be46a7d5a6a7530f741a5f51e7420befbe3127e541363206ac41a2afdbc49","schema_version":"1.0","event_id":"sha256:de3be46a7d5a6a7530f741a5f51e7420befbe3127e541363206ac41a2afdbc49"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/bundle.json","state_url":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/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-30T02:41:52Z","links":{"resolver":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG","bundle":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/bundle.json","state":"https://pith.science/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VBNR2Y4TZV5HT6YFQ2TSEV7KAG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:VBNR2Y4TZV5HT6YFQ2TSEV7KAG","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":"280823c32ade0bf204403ada629c9f3e604f2726689fd20142dca791ebe5a8fc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-02-20T03:13:52Z","title_canon_sha256":"b8d73e04507fe80ccbc27b16a6489af30dd0a452fe156b333080b8f2d33bd0d1"},"schema_version":"1.0","source":{"id":"1302.4801","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4801","created_at":"2026-05-18T03:16:26Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4801v3","created_at":"2026-05-18T03:16:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4801","created_at":"2026-05-18T03:16:26Z"},{"alias_kind":"pith_short_12","alias_value":"VBNR2Y4TZV5H","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"VBNR2Y4TZV5HT6YF","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"VBNR2Y4T","created_at":"2026-05-18T12:28:04Z"}],"graph_snapshots":[{"event_id":"sha256:de3be46a7d5a6a7530f741a5f51e7420befbe3127e541363206ac41a2afdbc49","target":"graph","created_at":"2026-05-18T03:16:26Z","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":"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","authors_text":"Mordecai Waegell, P.K. Aravind","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-02-20T03:13:52Z","title":"Proofs of the Kochen-Specker theorem based on the N-qubit Pauli group"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4801","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:b38eed1cf59c21609f5c9027fb861015f86e955408aaf250aa381d5b174d64e4","target":"record","created_at":"2026-05-18T03:16:26Z","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":"280823c32ade0bf204403ada629c9f3e604f2726689fd20142dca791ebe5a8fc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-02-20T03:13:52Z","title_canon_sha256":"b8d73e04507fe80ccbc27b16a6489af30dd0a452fe156b333080b8f2d33bd0d1"},"schema_version":"1.0","source":{"id":"1302.4801","kind":"arxiv","version":3}},"canonical_sha256":"a85b1d6393cd7a79fb0586a72257ea01889fd0e40930d63932c3e5519a305840","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a85b1d6393cd7a79fb0586a72257ea01889fd0e40930d63932c3e5519a305840","first_computed_at":"2026-05-18T03:16:26.879607Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:26.879607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lajKHRqIbivAgjXnxx/3jD29dOOF45U3AFIiXk6aQKN6buVXislxn0N5z+Qx5sgz+AQLV31ztyhz+oqS7Q34Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:26.880153Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.4801","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b38eed1cf59c21609f5c9027fb861015f86e955408aaf250aa381d5b174d64e4","sha256:de3be46a7d5a6a7530f741a5f51e7420befbe3127e541363206ac41a2afdbc49"],"state_sha256":"fe01b2e90ee7b25a6615ac113486a8a70220c3ec793e0ebc31a42b3f6e2519c3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lFLNQKarp06RDWtEMHxp9kh5fHM+i6o4LZhcr2K7ic/VaykTofi/54Tnzj4qNb/Bk5fBLZPkbP/CuYD+eIGhAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T02:41:52.272362Z","bundle_sha256":"b7f98afc276349d0a2811118da5ebfd3a3e655a6de1d9e807e3eae64912bf29e"}}