{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:CGD5J57SHK5L6BEC77E7LLM6AD","short_pith_number":"pith:CGD5J57S","canonical_record":{"source":{"id":"1310.3794","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-10-14T19:08:50Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"d189c29de8d96bbedd8284b71cf9aaaaedbd95403b8994e9a7d804f3207f2693","abstract_canon_sha256":"9010dc534efc6fedf197a8b6d4cc1724c63a9cc10b6f18184dfbc1d62e0b67e7"},"schema_version":"1.0"},"canonical_sha256":"1187d4f7f23ababf0482ffc9f5ad9e00e01ba1a611620e0839bd5393e328ba62","source":{"kind":"arxiv","id":"1310.3794","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.3794","created_at":"2026-05-18T03:08:06Z"},{"alias_kind":"arxiv_version","alias_value":"1310.3794v2","created_at":"2026-05-18T03:08:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.3794","created_at":"2026-05-18T03:08:06Z"},{"alias_kind":"pith_short_12","alias_value":"CGD5J57SHK5L","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CGD5J57SHK5L6BEC","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CGD5J57S","created_at":"2026-05-18T12:27:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:CGD5J57SHK5L6BEC77E7LLM6AD","target":"record","payload":{"canonical_record":{"source":{"id":"1310.3794","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-10-14T19:08:50Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"d189c29de8d96bbedd8284b71cf9aaaaedbd95403b8994e9a7d804f3207f2693","abstract_canon_sha256":"9010dc534efc6fedf197a8b6d4cc1724c63a9cc10b6f18184dfbc1d62e0b67e7"},"schema_version":"1.0"},"canonical_sha256":"1187d4f7f23ababf0482ffc9f5ad9e00e01ba1a611620e0839bd5393e328ba62","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:08:06.499683Z","signature_b64":"EyAaZFo2PjrkokYdrKqUQYAVPeTfzxGcZpkbUzEHPYh2j8ADxDCFyym8cTzC3EowjgrjHMa19kX7GI1SLqUSBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1187d4f7f23ababf0482ffc9f5ad9e00e01ba1a611620e0839bd5393e328ba62","last_reissued_at":"2026-05-18T03:08:06.498929Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:08:06.498929Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.3794","source_version":2,"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:08:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Far+RPSu77zy/dmv0wtDDn4WkrkVmlBQCMcJHJYxF/fArCBEeVLwksHvyV82iomGl2T+OJFNXXODczqhHCg1Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T16:46:36.454547Z"},"content_sha256":"563cc852bd5fb98e4773fed2a48aa57d538b478feb3ea54aeacfb49d60f3d2c0","schema_version":"1.0","event_id":"sha256:563cc852bd5fb98e4773fed2a48aa57d538b478feb3ea54aeacfb49d60f3d2c0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:CGD5J57SHK5L6BEC77E7LLM6AD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Binary Constraint System Games and Locally Commutative Reductions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"quant-ph","authors_text":"Zhengfeng Ji","submitted_at":"2013-10-14T19:08:50Z","abstract_excerpt":"A binary constraint system game is a two-player one-round non-local game defined by a system of Boolean constraints. The game has a perfect quantum strategy if and only if the constraint system has a quantum satisfying assignment [R. Cleve and R. Mittal, arXiv:1209.2729]. We show that several concepts including the quantum chromatic number and the Kochen-Specker sets that arose from different contexts fit naturally in the binary constraint system framework. The structure and complexity of the quantum satisfiability problems for these constraint systems are investigated. Combined with a new con"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.3794","kind":"arxiv","version":2},"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:08:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3vKdafto8/vqtgHqmvnGVI/xMPHVXObTkUSDAIHFCfPPqkKkkrOPNzPonY2GP+hsE7N+fEgkxQK2Zp6Fz7jyBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T16:46:36.455119Z"},"content_sha256":"ac13cfa33a1aa183072616daf769e9b86d7c8fa1fcd1b212b9d34097592c78d6","schema_version":"1.0","event_id":"sha256:ac13cfa33a1aa183072616daf769e9b86d7c8fa1fcd1b212b9d34097592c78d6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CGD5J57SHK5L6BEC77E7LLM6AD/bundle.json","state_url":"https://pith.science/pith/CGD5J57SHK5L6BEC77E7LLM6AD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CGD5J57SHK5L6BEC77E7LLM6AD/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-08-12T16:46:36Z","links":{"resolver":"https://pith.science/pith/CGD5J57SHK5L6BEC77E7LLM6AD","bundle":"https://pith.science/pith/CGD5J57SHK5L6BEC77E7LLM6AD/bundle.json","state":"https://pith.science/pith/CGD5J57SHK5L6BEC77E7LLM6AD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CGD5J57SHK5L6BEC77E7LLM6AD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:CGD5J57SHK5L6BEC77E7LLM6AD","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":"9010dc534efc6fedf197a8b6d4cc1724c63a9cc10b6f18184dfbc1d62e0b67e7","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-10-14T19:08:50Z","title_canon_sha256":"d189c29de8d96bbedd8284b71cf9aaaaedbd95403b8994e9a7d804f3207f2693"},"schema_version":"1.0","source":{"id":"1310.3794","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.3794","created_at":"2026-05-18T03:08:06Z"},{"alias_kind":"arxiv_version","alias_value":"1310.3794v2","created_at":"2026-05-18T03:08:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.3794","created_at":"2026-05-18T03:08:06Z"},{"alias_kind":"pith_short_12","alias_value":"CGD5J57SHK5L","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CGD5J57SHK5L6BEC","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CGD5J57S","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:ac13cfa33a1aa183072616daf769e9b86d7c8fa1fcd1b212b9d34097592c78d6","target":"graph","created_at":"2026-05-18T03:08:06Z","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":"A binary constraint system game is a two-player one-round non-local game defined by a system of Boolean constraints. The game has a perfect quantum strategy if and only if the constraint system has a quantum satisfying assignment [R. Cleve and R. Mittal, arXiv:1209.2729]. We show that several concepts including the quantum chromatic number and the Kochen-Specker sets that arose from different contexts fit naturally in the binary constraint system framework. The structure and complexity of the quantum satisfiability problems for these constraint systems are investigated. Combined with a new con","authors_text":"Zhengfeng Ji","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-10-14T19:08:50Z","title":"Binary Constraint System Games and Locally Commutative Reductions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.3794","kind":"arxiv","version":2},"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:563cc852bd5fb98e4773fed2a48aa57d538b478feb3ea54aeacfb49d60f3d2c0","target":"record","created_at":"2026-05-18T03:08:06Z","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":"9010dc534efc6fedf197a8b6d4cc1724c63a9cc10b6f18184dfbc1d62e0b67e7","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-10-14T19:08:50Z","title_canon_sha256":"d189c29de8d96bbedd8284b71cf9aaaaedbd95403b8994e9a7d804f3207f2693"},"schema_version":"1.0","source":{"id":"1310.3794","kind":"arxiv","version":2}},"canonical_sha256":"1187d4f7f23ababf0482ffc9f5ad9e00e01ba1a611620e0839bd5393e328ba62","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1187d4f7f23ababf0482ffc9f5ad9e00e01ba1a611620e0839bd5393e328ba62","first_computed_at":"2026-05-18T03:08:06.498929Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:08:06.498929Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EyAaZFo2PjrkokYdrKqUQYAVPeTfzxGcZpkbUzEHPYh2j8ADxDCFyym8cTzC3EowjgrjHMa19kX7GI1SLqUSBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:08:06.499683Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.3794","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:563cc852bd5fb98e4773fed2a48aa57d538b478feb3ea54aeacfb49d60f3d2c0","sha256:ac13cfa33a1aa183072616daf769e9b86d7c8fa1fcd1b212b9d34097592c78d6"],"state_sha256":"9cba76fca82784f7ddec7ded45eed21b3d6a58705a5c1a3baa0d095093611f02"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Umsu/a5/sFSqKrTy5vattNAHdBgmdCFzhcIcaHsvyTYHOG98QTCDteLriB/qrEg2HEssZTAKcb6yQLyH06S4CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T16:46:36.459594Z","bundle_sha256":"9051309282b67eb6d4b30c5221978c29c220d68ea68474107b0d843c0b732352"}}