3 papers
quant-ph2026
PureSuperQMA(exp) = BellPureSymQMA(poly) = QMA via Dimension-Free Bosonic Argmax
William Gay, Fernando Granha Jeronimo, Lenny Liu +3
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{Pu…
math.AG2026
On quantum functionals for higher-order tensors
Alonso Botero, Matthias Christandl, Thomas C. Fraser +2
Upper and lower quantum functionals, introduced by Christandl, Vrana and Zuiddam (STOC 2018, J. Amer. Math. Soc. 2023), are families of monotone functions of tensors indexed by a w…
quant-ph2024
Quantum Merlin-Arthur with an internally separable proof
Roozbeh Bassirian, Bill Fefferman, Itai Leigh +2
We find a modification to QMA where having one quantum proof is strictly less powerful than having two unentangled proofs, assuming EXP NEXP. This gives a new route to prove…