Average-case complexity versus approximate simulation of commuting quantum computations


We use the class of commuting quantum computations known as IQP (Instantaneous Quantum Polynomial time) to strengthen the conjecture that quantum computers are hard to simulate classically. We show that, if either of two plausible average-case hardness conjectures holds, then IQP computations are hard to simulate classically up to constant additive error. One conjecture relates to the hardness of estimating the complex-temperature partition function for random instances of the Ising model; the other concerns approximating the number of zeroes of random low-degree polynomials. We observe that both conjectures can be shown to be valid in the setting of worst-case complexity. We arrive at these conjectures by deriving spin-based generalisations of the Boson Sampling problem that avoid the so-called permanent anticoncentration conjecture.
Submitted 29 Apr 2015 to Quantum Physics [quant-ph]
Published 1 May 2015
Updated 23 Sep 2015
Subjects: quant-ph cs.CC
Author comments: This version is arguably easier to read than v1. Trust us, we argued about it. 4+1+5 pages, RevTex 4.1