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.

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

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

Efficient Unitary T-designs from Random Sums

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

Approximate t-designs in generic circuit architectures

Unitary Designs from Random Symmetric Quantum Circuits

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

Efficient unitary designs and pseudorandom unitaries from permutations

The Clifford Group Fails Gracefully to Be a Unitary 4-Design

Multiqubit Clifford groups are unitary 3-designs

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

Efficient approximate unitary designs from random Pauli rotations

On computational complexity of unitary and state design properties

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

A random matrix model for random approximate $t$-designs

Simple constructions of linear-depth t-designs and pseudorandom unitaries

Local random quantum circuits form approximate designs on arbitrary architectures

Random ensembles of symplectic and unitary states are indistinguishable

A random matrix model for random approximate t -designs

Unitary k-designs from random number-conserving quantum circuits

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