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.

Spectral Independence

Spectral gap for products and a strong normal subgroup theorem

Locally Random Groups

Local spectral gap in the group of Euclidean isometries

Spectral gap and character limits in arithmetic groups

Exponential mixing and essential spectral gaps for Anosov subgroups

On the Aldous-Caputo Spectral Gap Conjecture for Hypergraphs

Spectral gap of the symmetric inclusion process

A Spectral Criterion for Haagerup Property

Effective recovery of Fourier spectra and spectral approximation by finite groups

Spectral Independence Beyond Uniqueness with. the topological method -- An extended view

Spectral gaps, critical exponents and representations of negatively curved groups

Spectral Synthesis on Varieties

The Analogue of Aldous' spectral gap conjecture for the generalized exclusion process

Spectral gaps and Fourier dimension for self-conformal sets with overlaps

Local limit theorem for random walks on symmetric spaces

Incompressibility and spectral gaps of random circuits

Spectral gap bounds on H-type groups

Moments, Random Walks, and Limits for Spectrum Approximation

Multislicing and effective equidistribution for random walks on some homogeneous spaces

The Spectral Gap of a Gaussian Quantum Markovian Generator