Quantum Arthur-Merlin with single-qubit measurements

TL;DR

This paper proves that the class QAM remains unchanged even when the verifier is limited to single-qubit measurements, using measurement-based quantum computing techniques.

Contribution

It demonstrates the equivalence of QAM with restricted verifier measurements to the general class, introducing a new QMA-complete problem related to stabilizer testing.

Findings

QAM class is unchanged with single-qubit verifier measurements

Verifier can test graph states for measurement-based quantum computing

Introduces a new QMA-complete problem related to stabilizer tests

Abstract

We show that the class QAM does not change even if the verifier's ability is restricted to only single-qubit measurements. To show the result, we use the idea of the measurement-based quantum computing: the verifier, who can do only single-qubit measurements, can test the graph state sent from the prover and use it for his measurement-based quantum computing. We also introduce a new QMA-complete problem related to the stabilizer test.