Quantum generalizations of the polynomial hierarchy with applications to QMA(2)

05/28/2018
by   Sevag Gharibian, et al.
0

The polynomial-time hierarchy (PH) has proven to be a powerful tool for providing separations in computational complexity theory (modulo standard conjectures such as PH does not collapse). Here, we study whether two quantum generalizations of PH can similarly prove separations in the quantum setting. The first generalization, QCPH, uses classical proofs, and the second, QPH, uses quantum proofs. For the former, we show quantum variants of the Karp-Lipton theorem and Toda's theorem. For the latter, we place its third level, QΣ_3, into NEXP using the Ellipsoid Method for efficiently solving semidefinite programs. These results yield two implications for QMA(2), the variant of Quantum Merlin-Arthur (QMA) with two unentangled proofs, a complexity class whose characterization has proven difficult. First, if QCPH = QPH (i.e., alternating quantifiers are sufficiently powerful so as to make classical and quantum proofs "equivalent"), then QMA(2) is in the Counting Hierarchy (specifically, in P^PP^PP). Second, unless QMA(2)=QΣ_3 (i.e., alternating quantifiers do not help in the presence of "unentanglement"), QMA(2) is strictly contained in NEXP.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/18/2023

stateQIP = statePSPACE

Complexity theory traditionally studies the hardness of solving classica...
research
06/22/2020

Efficiently generating ground states is hard for postselected quantum computation

Although quantum computing is expected to outperform universal classical...
research
08/30/2023

Efficient Approximation of Quantum Channel Fidelity Exploiting Symmetry

Determining the optimal fidelity for the transmission of quantum informa...
research
05/08/2021

Quantum Proofs of Proximity

We initiate the systematic study of QMA algorithms in the setting of pro...
research
05/08/2023

Structural Complexity of Rational Interactive Proofs

This is the full version of a paper submitted to the Computability in Eu...
research
06/23/2023

Quantum Merlin-Arthur and proofs without relative phase

We study a variant of QMA where quantum proofs have no relative phase (i...
research
06/24/2020

Un-Weyl-ing the Clifford Hierarchy

The teleportation model of quantum computation introduced by Gottesman a...

Please sign up or login with your details

Forgot password? Click here to reset