{"id":"arxiv/2605.16249","url":"https://arxiv.org/abs/2605.16249","tags":["quant-ph","cs.CC"],"score":0,"title":"The Collapse of Unentangled Stoquastic Merlin-Arthur Proof Systems","domain":"quant-ph","source":"arxiv","authors":["William Gay","Fernando Granha Jeronimo"],"reviews":0,"subject":"quant-ph","summary":"Interference and entanglement are among the most fundamental properties of quantum mechanics. In this work, we investigate the power of interference in the role of detecting entanglement in the context of quantum Merlin-Arthur verification. In particular, we show that unentanglement gives no additional power to stoquastic Merlin-Arthur proof systems, whose restriction to a classical gate set results in entrywise non-negative acceptance operators and non-negative optimal witnesses, therein removing destructive interference from the verification process. Our results show that for any…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-15","reactions":{}}