{"id":"arxiv/2604.01408","url":"https://arxiv.org/abs/2604.01408","tags":["quant-ph","cs.CC","math.OA"],"score":0,"title":"Quantum polymorphism characterisation of commutativity gadgets in all quantum models","domain":"quant-ph","source":"arxiv","authors":["Eric Culf","Josse van Dobben de Bruyn","Peter Zeman"],"reviews":0,"subject":"quant-ph","summary":"Commutativity gadgets provide a technique for lifting classical reductions between constraint satisfaction problems to quantum-sound reductions between the corresponding nonlocal games. We develop a general framework for commutativity gadgets in the setting of quantum homomorphisms between finite relational structures. Building on the notion of quantum homomorphism spaces, we introduce a uniform notion of commutativity gadget capturing the finite-dimensional quantum, quantum approximate, and commuting-operator models. In the robust setting, we use the weighted-algebra formalism for…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-04-01","reactions":{}}