{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ARO4FRK7ZQX7WVGFJ5UR4NWK76","short_pith_number":"pith:ARO4FRK7","canonical_record":{"source":{"id":"2509.07835","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-09-09T15:11:45Z","cross_cats_sorted":["cs.CC","math.OA"],"title_canon_sha256":"7dee98de398505d1490383007a15c682cc23f45a267c31a704c788bd70598bfc","abstract_canon_sha256":"7d1528863b819ba7b151f7445a3e877f73ff69329154d279713071de56319eca"},"schema_version":"1.0"},"canonical_sha256":"045dc2c55fcc2ffb54c54f691e36caffb7247c0eb6dc961340cd959edffd6b4d","source":{"kind":"arxiv","id":"2509.07835","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.07835","created_at":"2026-07-05T12:07:29Z"},{"alias_kind":"arxiv_version","alias_value":"2509.07835v1","created_at":"2026-07-05T12:07:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.07835","created_at":"2026-07-05T12:07:29Z"},{"alias_kind":"pith_short_12","alias_value":"ARO4FRK7ZQX7","created_at":"2026-07-05T12:07:29Z"},{"alias_kind":"pith_short_16","alias_value":"ARO4FRK7ZQX7WVGF","created_at":"2026-07-05T12:07:29Z"},{"alias_kind":"pith_short_8","alias_value":"ARO4FRK7","created_at":"2026-07-05T12:07:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ARO4FRK7ZQX7WVGFJ5UR4NWK76","target":"record","payload":{"canonical_record":{"source":{"id":"2509.07835","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-09-09T15:11:45Z","cross_cats_sorted":["cs.CC","math.OA"],"title_canon_sha256":"7dee98de398505d1490383007a15c682cc23f45a267c31a704c788bd70598bfc","abstract_canon_sha256":"7d1528863b819ba7b151f7445a3e877f73ff69329154d279713071de56319eca"},"schema_version":"1.0"},"canonical_sha256":"045dc2c55fcc2ffb54c54f691e36caffb7247c0eb6dc961340cd959edffd6b4d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:07:29.430713Z","signature_b64":"lkl4pxrbuxUI4dXZaTd4MRuGtm7Abh4lD+7z1VaV/QS+AGk+sVhii589z/kNbmqi8dbn/Oba+gJSUl2PWtSlCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"045dc2c55fcc2ffb54c54f691e36caffb7247c0eb6dc961340cd959edffd6b4d","last_reissued_at":"2026-07-05T12:07:29.430199Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:07:29.430199Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.07835","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-07-05T12:07:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zmJzGrcZV+2aiiDUxrwFS4QBW+CYolcUOGbd5VCP2K4nK/QNdnQ3sTdxtGXciqwsxVQflDmNzjhpj/8h5H9lAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T13:48:55.007666Z"},"content_sha256":"619692852f3d02e4a9fb4378e55b16aa2a7c497c6d66f104683fa8d0bdb06a56","schema_version":"1.0","event_id":"sha256:619692852f3d02e4a9fb4378e55b16aa2a7c497c6d66f104683fa8d0bdb06a56"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ARO4FRK7ZQX7WVGFJ5UR4NWK76","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Existence and nonexistence of commutativity gadgets for entangled CSPs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","math.OA"],"primary_cat":"quant-ph","authors_text":"Eric Culf, Josse van Dobben de Bruyn, Matthijs Vernooij, Peter Zeman","submitted_at":"2025-09-09T15:11:45Z","abstract_excerpt":"Commutativity gadgets allow NP-hardness proofs for classical constraint satisfaction problems (CSPs) to be carried over to undecidability proofs for the corresponding entangled CSPs. This has been done, for instance, for NP-complete boolean CSPs and 3-colouring in the work of Culf and Mastel. For many CSPs over larger alphabets, including $k$-colouring when $k \\geq 4$, it is not known whether or not commutativity gadgets exist, or if the entangled CSP is decidable. In this paper, we study commutativity gadgets and prove the first known obstruction to their existence. We do this by extending th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.07835","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2509.07835/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"},"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-07-05T12:07:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tZe1D7OwIUAglq+NGsGkA6Hf8vbwNOrbm/oJZ+yMJVScqaaMqfIlq0teuNNEygHmveAEnSMdj5I/kHhiApEtCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T13:48:55.009558Z"},"content_sha256":"d2439ede4b515e2f760affecc5a937dc551a3da5a346d9ca946d38015e5fbc96","schema_version":"1.0","event_id":"sha256:d2439ede4b515e2f760affecc5a937dc551a3da5a346d9ca946d38015e5fbc96"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ARO4FRK7ZQX7WVGFJ5UR4NWK76/bundle.json","state_url":"https://pith.science/pith/ARO4FRK7ZQX7WVGFJ5UR4NWK76/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ARO4FRK7ZQX7WVGFJ5UR4NWK76/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-17T13:48:55Z","links":{"resolver":"https://pith.science/pith/ARO4FRK7ZQX7WVGFJ5UR4NWK76","bundle":"https://pith.science/pith/ARO4FRK7ZQX7WVGFJ5UR4NWK76/bundle.json","state":"https://pith.science/pith/ARO4FRK7ZQX7WVGFJ5UR4NWK76/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ARO4FRK7ZQX7WVGFJ5UR4NWK76/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ARO4FRK7ZQX7WVGFJ5UR4NWK76","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":"7d1528863b819ba7b151f7445a3e877f73ff69329154d279713071de56319eca","cross_cats_sorted":["cs.CC","math.OA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-09-09T15:11:45Z","title_canon_sha256":"7dee98de398505d1490383007a15c682cc23f45a267c31a704c788bd70598bfc"},"schema_version":"1.0","source":{"id":"2509.07835","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.07835","created_at":"2026-07-05T12:07:29Z"},{"alias_kind":"arxiv_version","alias_value":"2509.07835v1","created_at":"2026-07-05T12:07:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.07835","created_at":"2026-07-05T12:07:29Z"},{"alias_kind":"pith_short_12","alias_value":"ARO4FRK7ZQX7","created_at":"2026-07-05T12:07:29Z"},{"alias_kind":"pith_short_16","alias_value":"ARO4FRK7ZQX7WVGF","created_at":"2026-07-05T12:07:29Z"},{"alias_kind":"pith_short_8","alias_value":"ARO4FRK7","created_at":"2026-07-05T12:07:29Z"}],"graph_snapshots":[{"event_id":"sha256:d2439ede4b515e2f760affecc5a937dc551a3da5a346d9ca946d38015e5fbc96","target":"graph","created_at":"2026-07-05T12:07: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2509.07835/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Commutativity gadgets allow NP-hardness proofs for classical constraint satisfaction problems (CSPs) to be carried over to undecidability proofs for the corresponding entangled CSPs. This has been done, for instance, for NP-complete boolean CSPs and 3-colouring in the work of Culf and Mastel. For many CSPs over larger alphabets, including $k$-colouring when $k \\geq 4$, it is not known whether or not commutativity gadgets exist, or if the entangled CSP is decidable. In this paper, we study commutativity gadgets and prove the first known obstruction to their existence. We do this by extending th","authors_text":"Eric Culf, Josse van Dobben de Bruyn, Matthijs Vernooij, Peter Zeman","cross_cats":["cs.CC","math.OA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-09-09T15:11:45Z","title":"Existence and nonexistence of commutativity gadgets for entangled CSPs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.07835","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:619692852f3d02e4a9fb4378e55b16aa2a7c497c6d66f104683fa8d0bdb06a56","target":"record","created_at":"2026-07-05T12:07: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":"7d1528863b819ba7b151f7445a3e877f73ff69329154d279713071de56319eca","cross_cats_sorted":["cs.CC","math.OA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-09-09T15:11:45Z","title_canon_sha256":"7dee98de398505d1490383007a15c682cc23f45a267c31a704c788bd70598bfc"},"schema_version":"1.0","source":{"id":"2509.07835","kind":"arxiv","version":1}},"canonical_sha256":"045dc2c55fcc2ffb54c54f691e36caffb7247c0eb6dc961340cd959edffd6b4d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"045dc2c55fcc2ffb54c54f691e36caffb7247c0eb6dc961340cd959edffd6b4d","first_computed_at":"2026-07-05T12:07:29.430199Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:07:29.430199Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lkl4pxrbuxUI4dXZaTd4MRuGtm7Abh4lD+7z1VaV/QS+AGk+sVhii589z/kNbmqi8dbn/Oba+gJSUl2PWtSlCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T12:07:29.430713Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.07835","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:619692852f3d02e4a9fb4378e55b16aa2a7c497c6d66f104683fa8d0bdb06a56","sha256:d2439ede4b515e2f760affecc5a937dc551a3da5a346d9ca946d38015e5fbc96"],"state_sha256":"b2f05b0640c586fb94f7f2b003bd8985ea613a40e25a5f78eee6a1adccdcc62b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w0YdOoTfULRJljynOjwQ4rwMNJVUJNbuhWjfY8DzQbjFeIVer+uXZUJ8D1G4Xh/aeRv2V48GQpiu1gUSCpQOAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T13:48:55.013879Z","bundle_sha256":"b93622fc3658f1b93c2a8408e7df0e7fd8e936136885dfc238b86beaac395a27"}}