Abstract:In this work, we study distributions of unitaries generated by random quantum circuits containing only symmetry-respecting gates. We develop a unified approach applicable to all symmetry groups and obtain an equation that determines the exact design properties of such distributions. It has been recently shown that the locality of gates imposes various constraints on realizable unitaries, which in general, significantly depend on the symmetry under consideration. These constraints typically include restrictions on the relative phases between sectors with inequivalent irreducible representations of the symmetry. We call a set of symmetric gates semi-universal if they realize all unitaries that respect the symmetry, up to such restrictions. For instance, while 2-qubit gates are semi-universal for $\mathbb{Z}_2$, U(1), and SU(2) symmetries in qubit systems, SU(d) symmetry with $d\ge 3$ requires 3-qudit gates for semi-universality. Failure of semi-universality precludes the distribution generated by the random circuits from being even a 2-design for the Haar distribution over symmetry-respecting unitaries. On the other hand, when semi-universality holds, under mild conditions, satisfied by U(1) and SU(2) for example, the distribution becomes a $t$-design for $t$ growing polynomially with the number of qudits, where the degree is determined by the locality of gates. More generally, we present a simple linear equation that determines the maximum integer $t_{\max}$ for which the uniform distribution of unitaries generated by the circuits is a $t$-design for all $t\leq t_{\max}$. Notably, for U(1), SU(2) and cyclic groups, we determine the exact value of $t_{\max}$ as a function of the number of qubits and locality of the gates, and for SU(d), we determine the exact value of $t_{\max}$ for up to $4$-qudit gates.

Optimal quantum (tensor product) expanders from unitary designs

A note on quantum expanders

Efficient quantum tensor product expanders and unitary t-designs via the zigzag product

Quantum Channels from Association Schemes

Efficient Unitary T-designs from Random Sums

Efficient unitary designs and pseudorandom unitaries from permutations

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

Concentration of quantum channels with random Kraus operators via matrix Bernstein inequality

An upper bound on quantum capacity of unital channels

Non-Hermitian expander obtained with Haar distributed unitaries

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

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

Quantum convolutional channels and multiparameter families of 2-unitary matrices

A generic quantum Wielandt's inequality

Quantum state preparation with optimal T-count

Designs via Free Probability

Unitary Designs from Random Symmetric Quantum Circuits

Continuous-Variable Quantum State Designs: Theory and Applications

Almost Ramanujan Expanders from Arbitrary Expanders via Operator Amplification

Generalized group designs: overcoming the 4-design-barrier and constructing novel unitary 2-designs in arbitrary dimensions

Unextendible entanglement of quantum channels