Dominic Verdon

Testing Quantum Satisfiability

2025 · Communications in Mathematical Physics

Abstract Quantum k -SAT (the problem of determining whether a k -local Hamiltonian is frustration-free) is known to be QMA $$_1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mmultiscripts> <mml:mrow/> <mml:mn>1</mml:mn> <mml:mrow/> </mml:mmultiscripts> </mml:math> -complete for $$k\ge 3$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> …