Random quantum circuits anti-concentrate in log depth
- URL: http://arxiv.org/abs/2011.12277v2
- Date: Fri, 4 Mar 2022 21:40:25 GMT
- Title: Random quantum circuits anti-concentrate in log depth
- Authors: Alexander M. Dalzell, Nicholas Hunter-Jones, Fernando G. S. L.
Brand\~ao
- Abstract summary: We study the number of gates needed for the distribution over measurement outcomes for typical circuit instances to be anti-concentrated.
Our definition of anti-concentration is that the expected collision probability is only a constant factor larger than if the distribution were uniform.
In both the case where the gates are nearest-neighbor on a 1D ring and the case where gates are long-range, we show $O(n log(n)) gates are also sufficient.
- Score: 118.18170052022323
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We consider quantum circuits consisting of randomly chosen two-local gates
and study the number of gates needed for the distribution over measurement
outcomes for typical circuit instances to be anti-concentrated, roughly meaning
that the probability mass is not too concentrated on a small number of
measurement outcomes. Understanding the conditions for anti-concentration is
important for determining which quantum circuits are difficult to simulate
classically, as anti-concentration has been in some cases an ingredient of
mathematical arguments that simulation is hard and in other cases a necessary
condition for easy simulation. Our definition of anti-concentration is that the
expected collision probability, that is, the probability that two independently
drawn outcomes will agree, is only a constant factor larger than if the
distribution were uniform. We show that when the 2-local gates are each drawn
from the Haar measure (or any two-design), at least $\Omega(n \log(n))$ gates
(and thus $\Omega(\log(n))$ circuit depth) are needed for this condition to be
met on an $n$ qudit circuit. In both the case where the gates are
nearest-neighbor on a 1D ring and the case where gates are long-range, we show
$O(n \log(n))$ gates are also sufficient, and we precisely compute the optimal
constant prefactor for the $n \log(n)$. The technique we employ relies upon a
mapping from the expected collision probability to the partition function of an
Ising-like classical statistical mechanical model, which we manage to bound
using stochastic and combinatorial techniques.
Related papers
- KPZ scaling from the Krylov space [83.88591755871734]
Recently, a superdiffusion exhibiting the Kardar-Parisi-Zhang scaling in late-time correlators and autocorrelators has been reported.
Inspired by these results, we explore the KPZ scaling in correlation functions using their realization in the Krylov operator basis.
arXiv Detail & Related papers (2024-06-04T20:57:59Z) - The Cost of Entanglement Renormalization on a Fault-Tolerant Quantum Computer [0.042855555838080824]
We perform a detailed estimate for the prospect of using deep entanglement renormalization ansatz on a fault-tolerant quantum computer.
For probing a relatively large system size, we observe up to an order of magnitude reduction in the number of qubits.
For estimating the energy per site of $epsilon$, $mathcalOleft(fraclog Nepsilon right)$ $T$ gates and $mathcalOleft(log Nright)$ qubits suffice.
arXiv Detail & Related papers (2024-04-15T18:00:17Z) - Qubit recycling and the path counting problem [0.0]
Recently, it was shown that the qudits used in circuits of a convolutional form (e.g., Matrix Product State sand Multi-scaleanglement Renormalization Ansatz) can be reset unitarily.
We analyze the fidelity of this protocol for a family of quantum circuits that interpolates between such circuits and local quantum circuits.
arXiv Detail & Related papers (2023-01-09T23:59:41Z) - Approximate separation of quantum gates and separation experiments of
CNOT based on Particle Swarm Optimization algorithm [1.4821822452801385]
Ying conceived of using two or more small-capacity quantum computers to produce a larger-capacity quantum computing system.
Main obstacle is separating the quantum gates in the whole circuit to produce a tensor product of the local gates.
arXiv Detail & Related papers (2022-01-15T08:10:22Z) - Random quantum circuits transform local noise into global white noise [118.18170052022323]
We study the distribution over measurement outcomes of noisy random quantum circuits in the low-fidelity regime.
For local noise that is sufficiently weak and unital, correlations (measured by the linear cross-entropy benchmark) between the output distribution $p_textnoisy$ of a generic noisy circuit instance shrink exponentially.
If the noise is incoherent, the output distribution approaches the uniform distribution $p_textunif$ at precisely the same rate.
arXiv Detail & Related papers (2021-11-29T19:26:28Z) - Average-case Speedup for Product Formulas [69.68937033275746]
Product formulas, or Trotterization, are the oldest and still remain an appealing method to simulate quantum systems.
We prove that the Trotter error exhibits a qualitatively better scaling for the vast majority of input states.
Our results open doors to the study of quantum algorithms in the average case.
arXiv Detail & Related papers (2021-11-09T18:49:48Z) - Accurate methods for the analysis of strong-drive effects in parametric
gates [94.70553167084388]
We show how to efficiently extract gate parameters using exact numerics and a perturbative analytical approach.
We identify optimal regimes of operation for different types of gates including $i$SWAP, controlled-Z, and CNOT.
arXiv Detail & Related papers (2021-07-06T02:02:54Z) - Interactive quantum advantage with noisy, shallow Clifford circuits [0.0]
We show a strategy for adding noise tolerance to the interactive protocols of Grier and Schaeffer.
A key component of this reduction is showing average-case hardness for the classical simulation tasks.
We show that is true even for quantum tasks which are $oplus$L-hard to simulate.
arXiv Detail & Related papers (2021-02-13T00:54:45Z) - Efficient classical simulation of random shallow 2D quantum circuits [104.50546079040298]
Random quantum circuits are commonly viewed as hard to simulate classically.
We show that approximate simulation of typical instances is almost as hard as exact simulation.
We also conjecture that sufficiently shallow random circuits are efficiently simulable more generally.
arXiv Detail & Related papers (2019-12-31T19:00:00Z) - Approximate unitary $t$-designs by short random quantum circuits using
nearest-neighbor and long-range gates [0.0]
We prove that $poly(t)cdot n1/D$-depth local random quantum circuits with two qudit nearest-neighbor gates are approximate $t$-designs in various measures.
We also prove that anti-concentration is possible in depth O(log(n) loglog(n) using a different model.
arXiv Detail & Related papers (2018-09-18T22:28:15Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.