{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:WBPOFNQ5TYXMBGIN66VY7AWYOI","short_pith_number":"pith:WBPOFNQ5","schema_version":"1.0","canonical_sha256":"b05ee2b61d9e2ec0990df7ab8f82d8720cd009c1c83b2591147f6a791ce9246f","source":{"kind":"arxiv","id":"2310.07901","version":2},"attestation_state":"computed","paper":{"title":"Satisfiability problems and algebras of boolean constraint system games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OA"],"primary_cat":"quant-ph","authors_text":"Connor Paddock, William Slofstra","submitted_at":"2023-10-11T21:13:21Z","abstract_excerpt":"Mermin and Peres showed that there are boolean constraint systems (BCSs) which are not satisfiable, but which are satisfiable with quantum observables. This has led to a burgeoning theory of quantum satisfiability for constraint systems, connected to nonlocal games and quantum contextuality. In this theory, different types of quantum satisfying assignments can be understood as representations of the BCS algebra of the system. This theory is closely related to the theory of synchronous games and algebras, and every synchronous algebra is a BCS algebra and vice-versa. The purpose of this paper i"},"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":"2310.07901","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-10-11T21:13:21Z","cross_cats_sorted":["math.OA"],"title_canon_sha256":"d97f4344bbc31cf5df23c13c8cc2029e1f533ed45adb92f31c3786b141ede959","abstract_canon_sha256":"b60abd66fd5b37ca1f4e785888a69f6f2fdf4e1ce2a85a5d65dce5a28137e5c5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:01:10.177191Z","signature_b64":"kqf9gUYmw47JqVL+udrS8YDE5MTMCoqhYIh+JQg5EjHZzoG4uTUCZ8tJObOaIwnsorxhMsvX+WVoAYWukxrbDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b05ee2b61d9e2ec0990df7ab8f82d8720cd009c1c83b2591147f6a791ce9246f","last_reissued_at":"2026-07-05T10:01:10.176762Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:01:10.176762Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Satisfiability problems and algebras of boolean constraint system games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OA"],"primary_cat":"quant-ph","authors_text":"Connor Paddock, William Slofstra","submitted_at":"2023-10-11T21:13:21Z","abstract_excerpt":"Mermin and Peres showed that there are boolean constraint systems (BCSs) which are not satisfiable, but which are satisfiable with quantum observables. This has led to a burgeoning theory of quantum satisfiability for constraint systems, connected to nonlocal games and quantum contextuality. In this theory, different types of quantum satisfying assignments can be understood as representations of the BCS algebra of the system. This theory is closely related to the theory of synchronous games and algebras, and every synchronous algebra is a BCS algebra and vice-versa. The purpose of this paper i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.07901","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2310.07901/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":"2310.07901","created_at":"2026-07-05T10:01:10.176819+00:00"},{"alias_kind":"arxiv_version","alias_value":"2310.07901v2","created_at":"2026-07-05T10:01:10.176819+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.07901","created_at":"2026-07-05T10:01:10.176819+00:00"},{"alias_kind":"pith_short_12","alias_value":"WBPOFNQ5TYXM","created_at":"2026-07-05T10:01:10.176819+00:00"},{"alias_kind":"pith_short_16","alias_value":"WBPOFNQ5TYXMBGIN","created_at":"2026-07-05T10:01:10.176819+00:00"},{"alias_kind":"pith_short_8","alias_value":"WBPOFNQ5","created_at":"2026-07-05T10:01:10.176819+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2501.00173","citing_title":"The Aldous--Lyons Conjecture II: Undecidability","ref_index":52,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI","json":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI.json","graph_json":"https://pith.science/api/pith-number/WBPOFNQ5TYXMBGIN66VY7AWYOI/graph.json","events_json":"https://pith.science/api/pith-number/WBPOFNQ5TYXMBGIN66VY7AWYOI/events.json","paper":"https://pith.science/paper/WBPOFNQ5"},"agent_actions":{"view_html":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI","download_json":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI.json","view_paper":"https://pith.science/paper/WBPOFNQ5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2310.07901&json=true","fetch_graph":"https://pith.science/api/pith-number/WBPOFNQ5TYXMBGIN66VY7AWYOI/graph.json","fetch_events":"https://pith.science/api/pith-number/WBPOFNQ5TYXMBGIN66VY7AWYOI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI/action/storage_attestation","attest_author":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI/action/author_attestation","sign_citation":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI/action/citation_signature","submit_replication":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI/action/replication_record"}},"created_at":"2026-07-05T10:01:10.176819+00:00","updated_at":"2026-07-05T10:01:10.176819+00:00"}