Citations per year

202220232024243
Abstract: (Association for Computing Machinery)
We give a comprehensive characterisation of the computational power of shallow quantum circuits combined with classical computation. Specifically, for classes of search problems, we show that the following statements hold, relative to a random oracle: (a) BPPQNCBPP^{QNCBPP} ≠ BQP. This refutes Jozsa’s conjecture in the random oracle model. As a result, this gives the first instantiatable separation between the classes by replacing the oracle with a cryptographic hash function, yielding a resolution to one of Aaronson’s ten semi-grand challenges in quantum computing. (b) BPPQNC^{QNC} ⊈ QNCBPP^{BPP} and QNCBPP^{BPP} ⊈ BPPQNC^{QNC}. This shows that there is a subtle interplay between classical computation and shallow quantum computation. In fact, for the second separation, we establish that, for some problems, the ability to perform adaptive measurements in a single shallow quantum circuit, is more useful than the ability to perform polynomially many shallow quantum circuits without adaptive measurements. We also show that BPPQNC^{QNC} and BPPQNC^{QNC} are both strictly contained in BPPQNCBPP^{QNCBPP}. (c) There exists a 2-message proof of quantum depth protocol. Such a protocol allows a classical verifier to efficiently certify that a prover must be performing a computation of some minimum quantum depth. Our proof of quantum depth can be instantiated using the recent proof of quantumness construction by Yamakawa and Zhandry.
Note:
  • 113 pages (+ 9 page Appendix), 10 figures
  • computer: quantum
  • quantum circuit
  • resolution
  • quantum simulation
  • quantum random oracle model