$\mathsf{QMA}={\mathsf{QMA}}_1$ with an infinite counter

Stacey Jeffery, Freek Witteveen

A long-standing open problem in quantum complexity theory is whether $\mathsf{QMA}$, the quantum analogue of $\mathsf{NP}$, is equal to ${\mathsf{QMA}}_1$, its one-sided error variant. We sho…