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.

Optimality of the Howard-Vala T -gate in stabilizer quantum computation

Optimality of T-gate for generating magic resource

Implementation of Fault-tolerant Quantum Logic Gates via Optimal Control

Quantum state preparation with optimal T-count

Optimal Implementation of Quantum Gates with Two Controls

Experimental Realization of Universal Time-optimal non-Abelian Geometric Gates

Optimising quantum circuits is generally hard

Optimal control theory for a unitary operation under dissipative evolution

Non-Fault Tolerant T-Gates for the [7,1,3] Quantum Error Correction Code

Optimal Hadamard gate count for Clifford$+T$ synthesis of Pauli rotations sequences

CS-count-optimal quantum circuits for arbitrary multi-qubit unitaries

Realization of high-fidelity and robust geometric gates with time-optimal control technique in superconducting quantum circuit

Trading T gates for dirty qubits in state preparation and unitary synthesis

Optimal Control Theory for Continuous-Variable Quantum Gates

High-distance codes with transversal Clifford and $T$-gates

Convergence efficiency of quantum gates and circuits

Improved Stabilizer Estimation via Bell Difference Sampling

The Mapping and Optimization Method of Quantum Circuits for Clifford + T Gate

Experimental realization of universal high-dimensional quantum gates with ultra-high fidelity and efficiency

Shorter quantum circuits via single-qubit gate approximation

Multiqubit Toffoli Gates and Optimal Geometry with Rydberg Atoms