{"id":"arxiv/2609.12346","url":"https://arxiv.org/abs/2609.12346","tags":["quant-ph","cs.CC"],"score":0,"title":"The Low-Individual-Degree Test Without the Diagonal-Lines Test Is Not Quantum-Sound","domain":"quant-ph","source":"arxiv","authors":["Honghao Fu","Nengkun Yu","Tianrun Zhao"],"reviews":0,"subject":"quant-ph","summary":"To prove the quantum soundness of the classical low-individual-degree test, the authors of \\cite{JNVWY20LID} defined three subtests, namely the axis-parallel lines test, the self-consistency test, and the diagonal-lines test. An interesting question is whether the diagonal-lines test can be removed. In this paper, we show that the diagonal-lines test cannot simply be removed without another compatibility mechanism. Consequently, replacing the \"conditional linear functions\" by \"coordinate deletion functions\" in the proof of MIP*=RE, as mentioned in \\cite{JNVWY20LID}, does not by itself…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-11","reactions":{}}