{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:BY4ZSOM2V5RGBC3Z62WWABMODT","short_pith_number":"pith:BY4ZSOM2","canonical_record":{"source":{"id":"1707.01016","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2017-07-04T14:38:34Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"7d8d9cf1f8bbbb8c1b73ab87c0f2414df197bd91d50e614cb19d6859e45adee7","abstract_canon_sha256":"11d8ef1845ef6072dd7b21b65158dc1ebe4d803b385760fc9a7f6ecbd3f8b7fe"},"schema_version":"1.0"},"canonical_sha256":"0e3999399aaf62608b79f6ad60058e1cc7f5bd87104858ffd24fbafcebe9f31f","source":{"kind":"arxiv","id":"1707.01016","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.01016","created_at":"2026-05-18T00:19:29Z"},{"alias_kind":"arxiv_version","alias_value":"1707.01016v1","created_at":"2026-05-18T00:19:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.01016","created_at":"2026-05-18T00:19:29Z"},{"alias_kind":"pith_short_12","alias_value":"BY4ZSOM2V5RG","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"BY4ZSOM2V5RGBC3Z","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"BY4ZSOM2","created_at":"2026-05-18T12:31:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:BY4ZSOM2V5RGBC3Z62WWABMODT","target":"record","payload":{"canonical_record":{"source":{"id":"1707.01016","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2017-07-04T14:38:34Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"7d8d9cf1f8bbbb8c1b73ab87c0f2414df197bd91d50e614cb19d6859e45adee7","abstract_canon_sha256":"11d8ef1845ef6072dd7b21b65158dc1ebe4d803b385760fc9a7f6ecbd3f8b7fe"},"schema_version":"1.0"},"canonical_sha256":"0e3999399aaf62608b79f6ad60058e1cc7f5bd87104858ffd24fbafcebe9f31f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:29.883584Z","signature_b64":"xiUf6GkaneRCdXRneYzQq+9q81KBAA6Zu+tXmWXA3vheCjRb6AhdZutm0OSWXjhYloPDhEO/qXc6iavpWVz5Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0e3999399aaf62608b79f6ad60058e1cc7f5bd87104858ffd24fbafcebe9f31f","last_reissued_at":"2026-05-18T00:19:29.883033Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:29.883033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.01016","source_version":1,"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-18T00:19:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AFJL6aSOkHcULQKh6Pz+I5/gJ1Sa37khywg3d6O2pQn9Enb/T+QhrqiWfvq5iaYbwmCVlzZJ1CV5Zxnsr9iADg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T14:16:48.227221Z"},"content_sha256":"25761b4691dcae468cf2c3a2f12d665160511076b3db09865448215fce26af60","schema_version":"1.0","event_id":"sha256:25761b4691dcae468cf2c3a2f12d665160511076b3db09865448215fce26af60"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:BY4ZSOM2V5RGBC3Z62WWABMODT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A synchronous game for binary constraint systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"math.OA","authors_text":"Christopher Schafhauser, Se-Jin Kim, Vern I. Paulsen","submitted_at":"2017-07-04T14:38:34Z","abstract_excerpt":"Recently, W. Slofstra proved that the set of quantum correlations is not closed. We prove that the set of synchronous quantum correlations is not closed, which implies his result, by giving an example of a synchronous game that has a perfect quantum approximate strategy but no perfect quantum strategy. We also exhibit a graph for which the quantum independence number and the quantum approximate independence number are different. We prove new characterisations of synchronous quantum approximate correlations and synchronous quantum spatial correlations. We solve the synchronous approximation pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.01016","kind":"arxiv","version":1},"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-18T00:19:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GKf5sduz1/kuWErPNpJhJ4qEmqFMRAFFrsg90FkPkLMUkAL71xHhdw2lKsu3zFvj163LZ7qM75FH8KXYNR1DCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T14:16:48.227614Z"},"content_sha256":"928ae9e0b4c2a63a268db551a95c957c0b8d3e7802b5708ff6580ec027af7063","schema_version":"1.0","event_id":"sha256:928ae9e0b4c2a63a268db551a95c957c0b8d3e7802b5708ff6580ec027af7063"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BY4ZSOM2V5RGBC3Z62WWABMODT/bundle.json","state_url":"https://pith.science/pith/BY4ZSOM2V5RGBC3Z62WWABMODT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BY4ZSOM2V5RGBC3Z62WWABMODT/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-22T14:16:48Z","links":{"resolver":"https://pith.science/pith/BY4ZSOM2V5RGBC3Z62WWABMODT","bundle":"https://pith.science/pith/BY4ZSOM2V5RGBC3Z62WWABMODT/bundle.json","state":"https://pith.science/pith/BY4ZSOM2V5RGBC3Z62WWABMODT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BY4ZSOM2V5RGBC3Z62WWABMODT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:BY4ZSOM2V5RGBC3Z62WWABMODT","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":"11d8ef1845ef6072dd7b21b65158dc1ebe4d803b385760fc9a7f6ecbd3f8b7fe","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2017-07-04T14:38:34Z","title_canon_sha256":"7d8d9cf1f8bbbb8c1b73ab87c0f2414df197bd91d50e614cb19d6859e45adee7"},"schema_version":"1.0","source":{"id":"1707.01016","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.01016","created_at":"2026-05-18T00:19:29Z"},{"alias_kind":"arxiv_version","alias_value":"1707.01016v1","created_at":"2026-05-18T00:19:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.01016","created_at":"2026-05-18T00:19:29Z"},{"alias_kind":"pith_short_12","alias_value":"BY4ZSOM2V5RG","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"BY4ZSOM2V5RGBC3Z","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"BY4ZSOM2","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:928ae9e0b4c2a63a268db551a95c957c0b8d3e7802b5708ff6580ec027af7063","target":"graph","created_at":"2026-05-18T00:19:29Z","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":"Recently, W. Slofstra proved that the set of quantum correlations is not closed. We prove that the set of synchronous quantum correlations is not closed, which implies his result, by giving an example of a synchronous game that has a perfect quantum approximate strategy but no perfect quantum strategy. We also exhibit a graph for which the quantum independence number and the quantum approximate independence number are different. We prove new characterisations of synchronous quantum approximate correlations and synchronous quantum spatial correlations. We solve the synchronous approximation pro","authors_text":"Christopher Schafhauser, Se-Jin Kim, Vern I. Paulsen","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2017-07-04T14:38:34Z","title":"A synchronous game for binary constraint systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.01016","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:25761b4691dcae468cf2c3a2f12d665160511076b3db09865448215fce26af60","target":"record","created_at":"2026-05-18T00:19:29Z","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":"11d8ef1845ef6072dd7b21b65158dc1ebe4d803b385760fc9a7f6ecbd3f8b7fe","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2017-07-04T14:38:34Z","title_canon_sha256":"7d8d9cf1f8bbbb8c1b73ab87c0f2414df197bd91d50e614cb19d6859e45adee7"},"schema_version":"1.0","source":{"id":"1707.01016","kind":"arxiv","version":1}},"canonical_sha256":"0e3999399aaf62608b79f6ad60058e1cc7f5bd87104858ffd24fbafcebe9f31f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0e3999399aaf62608b79f6ad60058e1cc7f5bd87104858ffd24fbafcebe9f31f","first_computed_at":"2026-05-18T00:19:29.883033Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:29.883033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xiUf6GkaneRCdXRneYzQq+9q81KBAA6Zu+tXmWXA3vheCjRb6AhdZutm0OSWXjhYloPDhEO/qXc6iavpWVz5Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:29.883584Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.01016","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:25761b4691dcae468cf2c3a2f12d665160511076b3db09865448215fce26af60","sha256:928ae9e0b4c2a63a268db551a95c957c0b8d3e7802b5708ff6580ec027af7063"],"state_sha256":"be78477a82792c98c66a0e47b1a9f0352e19d848e2f27d1606016a050ffdfa10"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xpwrByTRsDIt3J1/XXzPwNSpXfHCFng8tXFIdDgsyDRNq/sgkJi6kPXyXuSJQwt43MzxRmhoMyGgHJC96JBnAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T14:16:48.230879Z","bundle_sha256":"17d6c6bd586c8faab1ab6fd155233737987c1ab3ea35c5e50004da2fc933e1a9"}}