{"id":"arxiv/2609.16490","url":"https://arxiv.org/abs/2609.16490","tags":["quant-ph","math-ph"],"score":0,"title":"A complete classification of the existence of finite-dimensional quantum solutions to inconsistent linear constraint systems","domain":"quant-ph","source":"arxiv","authors":["Markus Frembs"],"reviews":0,"subject":"quant-ph","summary":"Linear constraint systems (LCS) provide a compact algebraic language for nonlocal games and state-independent contextuality. In the binary case the Mermin--Peres square shows that inconsistent LCS can be solved by promoting variables to local Pauli operators, whereas a series of no-go results excludes analogous Pauli-, Clifford- and monomial unitary-based constructions at odd prime modulus. We first isolate the reason for this difference: for tensor-product quantum solutions, the obstruction to a classical solution of a LCS over $\\mathbb{Z}_n$ decomposes into obstruction classes carried by…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-15","reactions":{}}