Abstract:We consider quantum circuit models where the gates are drawn from arbitrary gate ensembles given by probabilistic distributions over certain gate sets and circuit architectures, which we call stochastic quantum circuits. Of main interest in this work is the speed of convergence of stochastic circuits with different gate ensembles and circuit architectures to unitary t-designs. A key motivation for this theory is the varying preference for different gates and circuit architectures in different practical scenarios. In particular, it provides a versatile framework for devising efficient circuits for implementing $t$-designs and relevant applications including random circuit and scrambling experiments, as well as benchmarking the performance of gates and circuit architectures. We examine various important settings in depth. A key aspect of our study is an "ironed gadget" model, which allows us to systematically evaluate and compare the convergence efficiency of entangling gates and circuit architectures. Particularly notable results include i) gadgets of two-qubit gates with KAK coefficients $\left(\frac{\pi}{4}-\frac{1}{8}\arccos(\frac{1}{5}),\frac{\pi}{8},\frac{1}{8}\arccos(\frac{1}{5})\right)$ (which we call $\chi$ gates) directly form exact 2- and 3-designs; ii) the iSWAP gate family achieves the best efficiency for convergence to 2-designs under mild conjectures with numerical evidence, even outperforming the Haar-random gate, for generic many-body circuits; iii) iSWAP + complete graph achieve the best efficiency for convergence to 2-designs among all graph circuits. A variety of numerical results are provided to complement our analysis. We also derive robustness guarantees for our analysis against gate perturbations. Additionally, we provide cursory analysis on gates with higher locality and found that the Margolus gate outperforms various other well-known gates.

Local random quantum circuits form approximate designs on arbitrary architectures

Randomized Benchmarking Using Unitary t-Design for Average Fidelity Estimation of Practical Quantum Circuit

Unitary k-designs from random number-conserving quantum circuits

Designs from Local Random Quantum Circuits with SU(d) Symmetry

Random unitaries in extremely low depth

Approximate t-designs in generic circuit architectures

Approximate Unitary $k$-Designs from Shallow, Low-Communication Circuits

More global randomness from less random local gates

Efficient Unitary T-designs from Random Sums

Efficient approximate unitary t-designs from partially invertible universal sets and their application to quantum speedup

Efficient unitary designs with a system-size independent number of non-Clifford gates

Unitary Designs from Random Symmetric Quantum Circuits

Quantum Circuits for Exact Unitary T -Designs and Applications to Higher-Order Randomized Benchmarking

Conditional t-independent spectral gap for random quantum circuits and implications for t-design depths

Exact spectral gaps of random one-dimensional quantum circuits

Efficient unitary designs and pseudorandom unitaries from permutations

Local Hamiltonian decomposition and classical simulation of parametrized quantum circuits

On the power of geometrically-local classical and quantum circuits

How to fault-tolerantly realize any quantum circuit with local operations

Incompressibility and spectral gaps of random circuits

Convergence efficiency of quantum gates and circuits