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.

A distribution testing oracle separation between QMA and QCMA

QMA vs. QCMA and Pseudorandomness

Toward Separating QMA from QCMA with a Classical Oracle

Classical vs Quantum Advice and Proofs under Classically-Accessible Oracle

Oracle separation of QMA and QCMA with bounded adaptivity

On the power of nonstandard quantum oracles

Oracle Separations for the Quantum-Classical Polynomial Hierarchy

Quantum Algorithm for Distribution-Free Junta Testing

Distributional Property Testing in a Quantum World

Concise and Efficient Quantum Algorithms for Distribution Closeness Testing

On the Power of Quantum Distributed Proofs

UniqueQMA vs QMA: oracle separation and eigenstate thermalization hypothesis

Finding quantum partial assignments by search-to-decision reductions

An optimal oracle separation of classical and quantum hybrid schemes

A Computational Separation Between Quantum No-cloning and No-telegraphing

Oracle Separation Between Quantum Commitments and Quantum One-wayness

CountCrypt: Quantum Cryptography between QCMA and PP

Oracle Separation between Noisy Quantum Polynomial Time and the Polynomial Hierarchy

Verifiable Quantum Advantage without Structure

An unconditional distribution learning advantage with shallow quantum circuits