Abstract:Random reversible and quantum circuits form random walks on the alternating group $\mathrm{Alt}(2^n)$ and unitary group $\mathrm{SU}(2^n)$, respectively. Known bounds on the spectral gap for the $t$-th moment of these random walks have inverse-polynomial dependence in both $n$ and $t$. We prove that the gap for random reversible circuits is $\Omega(n^{-3})$ for all $t\geq 1$, and the gap for random quantum circuits is $\Omega(n^{-3})$ for $t \leq \Theta(2^{n/2})$. These gaps are independent of $t$ in the respective regimes. We can further improve both gaps to $n^{-1}/\mathrm{polylog}(n, t)$ for $t\leq 2^{\Theta(n)}$, which is tight up to polylog factors. Our spectral gap results have a number of consequences: 1) Random reversible circuits with $\mathcal{O}(n^4 t)$ gates form multiplicative-error $t$-wise independent (even) permutations for all $t\geq 1$; for $t \leq \Theta(2^{n/6.1})$, we show that $\tilde{\mathcal{O}}(n^2 t)$ gates suffice. 2) Random quantum circuits with $\mathcal{O}(n^4 t)$ gates form multiplicative-error unitary $t$-designs for $t \leq \Theta(2^{n/2})$; for $t\leq \Theta(2^{2n/5})$, we show that $\tilde{\mathcal{O}}(n^2t)$ gates suffice. 3) The robust quantum circuit complexity of random circuits grows linearly for an exponentially long time, proving the robust Brown--Susskind conjecture [BS18,BCHJ+21]. Our spectral gap bounds are proven by reducing random quantum circuits to a more structured walk: a modification of the ``$\mathrm{PFC}$ ensemble'' from [MPSY24] together with an expander on the alternating group due to Kassabov [Kas07a], for which we give an efficient implementation using reversible circuits. In our reduction, we approximate the structured walk with local random circuits without losing the gap, which uses tools from the study of frustration-free Hamiltonians.

Faster Mixing of Higher-Dimensional Random Reversible Circuits

Pseudorandom Permutations from Random Reversible Circuits

More Efficient $k$-wise Independent Permutations from Random Reversible Circuits via log-Sobolev Inequalities

Incompressibility and spectral gaps of random circuits

Local random quantum circuits form approximate designs on arbitrary architectures

Asymptotically optimal synthesis of reversible circuits

Quantum advantage from measurement-induced entanglement in random shallow circuits

Unitary k-designs from random number-conserving quantum circuits

Random unitaries in extremely low depth

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

On the power of geometrically-local classical and quantum circuits

More global randomness from less random local gates

Approximate t-designs in generic circuit architectures

Free Independence and the Noncrossing Partition Lattice in Dual-Unitary Quantum Circuits

Anti-Concentration for the Unitary Haar Measure and Applications to Random Quantum Circuits

Tight Correlation Bounds for Circuits Between AC0 and TC0

Measurement-induced entanglement and complexity in random constant-depth 2D quantum circuits

Efficient unitary designs and pseudorandom unitaries from permutations

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

The phase/state duality in reversible circuit design

Simple Diagonal Designs with Reconfigurable Real-Time Circuits