We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Quantum Physics

Title: Interactive shallow Clifford circuits: quantum advantage against NC$^1$ and beyond

Abstract: Recent work of Bravyi et al. and follow-up work by Bene Watts et al. demonstrates a quantum advantage for shallow circuits: constant-depth quantum circuits can perform a task which constant-depth classical (i.e., AC$^0$) circuits cannot. Their results have the advantage that the quantum circuit is fairly practical, and their proofs are free of hardness assumptions (e.g., factoring is classically hard, etc.). Unfortunately, constant-depth classical circuits are too weak to yield a convincing real-world demonstration of quantum advantage. We attempt to hold on to the advantages of the above results, while increasing the power of the classical model.
Our main result is a two-round interactive task which is solved by a constant-depth quantum circuit (using only Clifford gates, between neighboring qubits of a 2D grid, with Pauli measurements), but such that any classical solution would necessarily solve $\oplus$L-hard problems. This implies a more powerful class of constant-depth classical circuits (e.g., AC$^0[p]$ for any prime $p$) unconditionally cannot perform the task. Furthermore, under standard complexity-theoretic conjectures, log-depth circuits and log-space Turing machines cannot perform the task either.
Using the same techniques, we prove hardness results for weaker complexity classes under more restrictive circuit topologies. Specifically, we give QNC$^0$ interactive tasks on $2 \times n$ and $1 \times n$ grids which require classical simulations of power NC$^1$ and AC$^{0}[6]$, respectively. Moreover, these hardness results are robust to a small constant fraction of error in the classical simulation.
We use ideas and techniques from the theory of branching programs, quantum contextuality, measurement-based quantum computation, and Kilian randomization.
Comments: 54 pages
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
Cite as: arXiv:1911.02555 [quant-ph]
  (or arXiv:1911.02555v1 [quant-ph] for this version)

Submission history

From: Daniel Grier [view email]
[v1] Wed, 6 Nov 2019 18:51:31 GMT (78kb)

Link back to: arXiv, form interface, contact.