Existence and nonexistence of commutativity gadgets for entangled CSPs

arXiv:2509.07835 · quant-ph, cs.CC, math.OA · Submitted 2025-09-09 · Read on arXiv

quant-ph, cs.CC, math.OA

Submitted: 2025-09-09

Updated: 2026-09-22

Terminology

• Core — 16× in this paper · explained in 2 episodes
• Trace — 16× in this paper · explained in 2 episodes
• Hilbert Space — 10× in this paper · explained in 2 episodes
• No-Go Theorem — 7× in this paper · explained in 2 episodes
• Symposium on Foundations of Computer Science — 3× in this paper
• Consistency — 2× in this paper · explained in 3 episodes
• Entanglement — 2× in this paper · explained in 4 episodes
• Hypergraph — 2× in this paper · explained in 2 episodes
• Adjacency Matrix — 1× in this paper · explained in 1 episode
• Verification — 1× in this paper · explained in 2 episodes

Sources

• A quantum Frucht's theorem and quantum automorphisms of quantum Cayley graphs
• RE-completeness of entangled constraint satisfaction problems
• Free Inhomogeneous Wreath Product of Quantum Groups
• Non-local games and quantum symmetries of quantum metric spaces
• Quantum Automorphism Groups of Hypergraphs
• Binary Constraint System Games and Locally Commutative Reductions
• Almost synchronous correlations and Tomita-Takesaki theory
• Gap-preserving reductions and RE-completeness of independent set games
• Approximating the quantum value of an LCS game is RE-hard

Related papers

• Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
• Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
• Polynomial-time classical and quantum simulation of quantum impurity models
• Theory of quantum-enhanced interferometry with general Markovian light sources
• A convergent hierarchy of spectral gap certificates for qubit Hamiltonians
• Universal Bound and Phase Transition in Many-Body Fermionic Non-Gaussianity