Abstract:We study the long-standing open question of the power of unique witness in quantum protocols, which asks if UniqueQMA, a variant of QMA whose accepting witness space is 1-dimensional, is equal to QMA. We show a quantum oracle separation between UniqueQMA and QMA via an extension of the Aaronson-Kuperberg's QCMA vs QMA oracle separation. In particular, we show that any UniqueQMA protocol must make $\Omega(\sqrt{D})$ queries to a subspace phase oracle of unknown dimension $\leq D$ to "find" the subspace. This presents an obstacle to relativizing techniques in resolving this question (unlike its classical analogue - the Valiant-Vazirani theorem - which is essentially a black-box reduction) and suggests the need to study the structure of the ground space of local Hamiltonians in distilling a potential unique witness. Our techniques also yield a quantum oracle separation between QXC, the class characterizing quantum approximate counting, and QMA. Very few structural properties are known that place the complexity of local Hamiltonians in UniqueQMA. We expand this set of properties by showing that the ground energy of local Hamiltonians that satisfy the eigenstate thermalization hypothesis (ETH) can be estimated through a UniqueQMA protocol. Specifically, our protocol can be viewed as a quantum expander test in a low energy subspace of the Hamiltonian and verifies a unique entangled state in two copies of the subspace. This allows us to conclude that if UniqueQMA $\neq$ QMA, then QMA-hard Hamiltonians must violate ETH under adversarial perturbations (more accurately, under the quantum PCP conjecture if ETH only applies to extensive energy subspaces). Our results serve as evidence that chaotic local Hamiltonians, such as the SYK model, contain polynomial verifiable quantum states in their low energy regime and may be simpler than general local Hamiltonians if UniqueQMA $\neq$ QMA.

Quantum Merlin-Arthur and proofs without relative phase

Quantum Merlin-Arthur with an internally separable proof

PDQMA = DQMA = NEXP: QMA With Hidden Variables and Non-collapsing Measurements

Quantum Merlin-Arthur proof systems for synthesizing quantum states

QMA variants with polynomially many provers

Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements

Zero-Knowledge Proof Systems for QMA.

UniqueQMA vs QMA: oracle separation and eigenstate thermalization hypothesis

Quantum delegation with an off-the-shelf device

Short QMA(k) Proofs for SAT without Entangling Measurements

The Power of Unentangled Quantum Proofs with Non-negative Amplitudes

Succinct arguments for QMA from standard assumptions via compiled nonlocal games

QMA vs. QCMA and Pseudorandomness

Toward Separating QMA from QCMA with a Classical Oracle

A Simple Proof of PreciseQMA = PSPACE

Superposition detection and QMA with non-collapsing measurements

Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications

Classical and quantum Merlin-Arthur automata

Quantum Pseudorandomness and Classical Complexity

Experimental Verification of Group Non-Membership in Optical Circuits

A Full Characterization of Quantum Advice