10.1007/978-3-642-31594-7_33
Gharibian, Sevag
Sevag
Gharibian0000-0002-9992-3379
Kempe, Julia
Julia
Kempe
Hardness of Approximation for Quantum Problems
Springer Berlin Heidelberg
2012
2019-03-01T11:55:18Z
2019-03-06T22:06:19Z
conference
https://ris.uni-paderborn.de/record/8169
https://ris.uni-paderborn.de/record/8169.json
978-3-642-31594-7
1209.1055
The polynomial hierarchy plays a central role in classical complexity theory. Here, we define a quantum generalization of the polynomial hierarchy, and initiate its study. We show that not only are there natural complete problems for the second level of this quantum hierarchy, but that these problems are in fact hard to approximate. Our work thus yields the first known hardness of approximation results for a quantum complexity class. Using these techniques, we also obtain hardness of approximation for the class QCMA. Our approach is based on the use of dispersers, and is inspired by the classical results of Umans regarding hardness of approximation for the second level of the classical polynomial hierarchy (Umans 1999). We close by showing that a variant of the local Hamiltonian problem with hybrid classical-quantum ground states is complete for the second level of our quantum hierarchy.