The Low-Individual-Degree Test Without the Diagonal-Lines Test Is Not Quantum-Sound
The low-individual-degree test, which uses axis-parallel lines or self-consistency checks, is not quantum-sound because axis-parallel consistency alone cannot guarantee global compatibility required by quantum soundness. The paper proves that a specific example requires an explicit diagonal-lines test to achieve perfect acceptance, showing the necessity of this more robust check.