Classical simulation of commuting quantum computations implies collapse of the polynomial hierarchy
arXiv:1005.1407 · doi:10.1098/rspa.2010.0301
Abstract
We consider quantum computations comprising only commuting gates, known as IQP computations, and provide compelling evidence that the task of sampling their output probability distributions is unlikely to be achievable by any efficient classical means. More specifically we introduce the class post-IQP of languages decided with bounded error by uniform families of IQP circuits with post-selection, and prove first that post-IQP equals the classical class PP. Using this result we show that if the output distributions of uniform IQP circuit families could be classically efficiently sampled, even up to 41% multiplicative error in the probabilities, then the infinite tower of classical complexity classes known as the polynomial hierarchy, would collapse to its third level. We mention some further results on the classical simulation properties of IQP circuit families, in particular showing that if the output distribution results from measurements on only O(log n) lines then it may in fact be classically efficiently sampled.
13 pages
References in corpus (3)
Cited by in corpus (10)
- Photonic Boson Sampling in a Tunable Circuit
- Quantum Supremacy for Simulating A Translation-Invariant Ising Spin Model
- Continuous-Variable Instantaneous Quantum Computing is hard to sample
- Diagonal quantum circuits: their computational power and applications
- Diagonal unitary entangling gates and contradiagonal quantum states
- Quantum circuits and low-degree polynomials over F_2
- The complexity of simulating constant-depth BosonSampling
- A quantum algorithm for additive approximation of Ising partition functions
- Geometries for universal quantum computation with matchgates
- Ancilla-driven instantaneous quantum polynomial time circuit for quantum supremacy