QMA (Quantum Merlin Arthur) is the class of problems which, though potentially hard to solve, have a quantum solution which can be verified efficiently using a quantum computer. It thus forms a natural quantum version of the classical complexity class NP (and its probabilistic variant MA, Merlin-Arthur games), where the verifier has only classical computational resources. In this paper, we study what happens when we restrict the quantum resources of the verifier to the bare minimum: individual measurements on single qubits received as they come, one-by-one. We find that despite this grave restriction, it is still possible to soundly verify any problem in QMA for the verifier with the minimum quantum resources possible, without using any quantum memory or multiqubit operations. We provide two independent proofs of this fact, based on measurement based quantum computation and the local Hamiltonian problem, respectively. The former construction also applies to QMA$_1$, i.e., QMA with one-sided error.
[1]
W. Marsden.
I and J
,
2012
.
[2]
David P. DiVincenzo,et al.
Quantum information and computation
,
2000,
Nature.
[3]
Physical Review
,
1965,
Nature.
[4]
Aaas News,et al.
Book Reviews
,
1893,
Buffalo Medical and Surgical Journal.
[5]
Mikhail N. Vyalyi,et al.
Classical and Quantum Computation
,
2002,
Graduate studies in mathematics.
[6]
October I.
Physical Review Letters
,
2022
.
[7]
Kevin Barraclough,et al.
I and i
,
2001,
BMJ : British Medical Journal.