• Corpus ID: 231924481

Interactive quantum advantage with noisy, shallow Clifford circuits

@article{Grier2021InteractiveQA,
  title={Interactive quantum advantage with noisy, shallow Clifford circuits},
  author={Daniel Grier and Nathan Ju and Luke Schaeffer},
  journal={ArXiv},
  year={2021},
  volume={abs/2102.06833}
}
Recent work by Bravyi et al. constructs a relation problem that a noisy constant-depth quantum circuit (QNC) can solve with near certainty (probability 1 − o(1)), but that any bounded fan-in constant-depth classical circuit (NC) fails with some constant probability. We show that this robustness to noise can be achieved in the other low-depth quantum/classical circuit separations in this area. In particular, we show a general strategy for adding noise tolerance to the interactive protocols of… 
1 Citations

Figures from this paper

Quantum Advantage with Shallow Circuits under Arbitrary Corruption
TLDR
It is shown that even in this model, quantum circuits can still solve in constant depth computational problems that require logarithmic depth to solve with bounded fan-in classical circuits, which gives another compelling evidence of the computational power of quantum shallow circuits.

References

SHOWING 1-10 OF 22 REFERENCES
Interactive shallow Clifford circuits: Quantum advantage against NC¹ and beyond
TLDR
This work gives a two-round interactive task which is solved by a constant-depth quantum circuit, but such that any classical solution would necessarily solve -hard problems, and proves hardness results for weaker complexity classes under more restrictive circuit topologies.
Average-case quantum advantage with shallow circuits
  • F. Gall
  • Computer Science
    Computational Complexity Conference
  • 2019
TLDR
This paper constructs a computational task that can be solved on all inputs by a quantum circuit of constant depth with bounded-fanin gates (a "shallow" quantum circuit) and shows that any classical circuit solving this problem on a non-negligible fraction of the inputs must have logarithmic depth.
Quantum advantage with noisy shallow circuits
TLDR
This work constructs a relation problem which can be solved with near certainty using a noisy constant-depth quantum circuit composed of geometrically local gates in three dimensions, provided the noise rate is below a certain constant threshold value.
Exponential separation between shallow quantum circuits and unbounded fan-in shallow classical circuits
TLDR
The Parity Halving Problem is constructed by constructing a new problem in QNC^0, which is easier to work with, and it is proved that AC^0 lower bounds for this problem are proved, and that it reduces to the 2D HLF problem.
Trading Locality for Time: Certifiable Randomness from Low-Depth Circuits
TLDR
A protocol for exponential certified randomness expansion using a single quantum device and relies on the physical assumption that the adversarial device being tested implements a circuit of sub-logarithmic depth to be able to be easily verified in classical linear time.
Quantum advantage with shallow circuits
TLDR
It is shown that parallel quantum algorithms running in a constant time period are strictly more powerful than their classical counterparts; they are provably better at solving certain linear algebra problems associated with binary quadratic forms.
Constant Overhead Quantum Fault-Tolerance with Quantum Expander Codes
We prove that quantum expander codes can be combined with quantum fault-tolerance techniques to achieve constant overhead: the ratio between the total number of physical qubits required for a quantum
Classical simulation of commuting quantum computations implies collapse of the polynomial hierarchy
  • M. Bremner, R. Jozsa, D. Shepherd
  • Computer Science, Mathematics
    Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
  • 2010
TLDR
The class post-IQP of languages decided with bounded error by uniform families of IQP circuits with post-selection is introduced, and it is proved first that post- IQP equals the classical class PP, and that if the output distributions of uniform IQP circuit families could be classically efficiently sampled, then the infinite tower of classical complexity classes known as the polynomial hierarchy would collapse to its third level.
A theorem on probabilistic constant depth Computations
TLDR
Stockmeyer [St] showed that probabilistic bounded depth circuits can approximate the exact number of ones in the input with very low probability of error.
Characterizing quantum supremacy in near-term devices
A critical question for quantum computing in the near future is whether quantum devices without error correction can perform a well-defined computational task beyond the capabilities of
...
...