{"id":"arxiv/2609.11854","url":"https://arxiv.org/abs/2609.11854","tags":["quant-ph","cs.CC"],"score":0,"title":"PureSuperQMA(exp) = BellPureSymQMA(poly) = QMA via Dimension-Free Bosonic Argmax","domain":"quant-ph","source":"arxiv","authors":["William Gay","Fernando Granha Jeronimo","Lenny Liu","Itai Leigh","Pei Wu","Haochen Xu"],"reviews":0,"subject":"quant-ph","summary":"Pure-state consistency problems naturally lead to quantum proof systems in which a single pure witness must satisfy many acceptance constraints. The corresponding class $\\mathsf{PureSuperQMA}$ was previously known to lie between $\\mathsf{QMA}$ and $\\mathsf{QMA}(2)$, and Kamminga and Rudolph (ITCS'26) conjectured that both containments are strict. In this paper, we prove the following surprising complexity collapses $$ \\mathsf{QMA} = \\mathsf{PureSuperQMA} = \\mathsf{PureSuperQMA}(\\text{exp}) = \\mathsf{BellPureSymQMA}(\\text{poly}) $$ Here $\\mathsf{PureSuperQMA}(\\text{exp})$ allows exponentially…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}