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.

Total variation cutoff for the flip-transpose top with random shuffle

Cutoff phenomenon for the warp-transpose top with random shuffle

Random Walks on the Symmetric Group: Cutoff for One-sided Transposition Shuffles

ON THE FLUCTUATION IN THE RANDOM ASSIGNMENT PROBLEM

Hitting time mixing for the random transposition walk

Limit profile for the transpose top-2 with random shuffle

Cutoff for the Biased Random Transposition Shuffle

Cutoff in total variation for the shelf shuffle

The one-sided cycle shuffles in the symmetric group algebra

A necessary and sufficient condition for double coset lumping of Markov chains on groups with an application to the random to top shuffle

Incompressibility and spectral gaps of random circuits

Emergent infinite-randomness fixed points from the extensive random bipartitions of the spin-1 Affleck-Kennedy-Lieb-Tasaki topological state

Cutoff for Contingency Table Random Walks

Mixing cutoff for simple random walks on the Chung-Lu digraph

Random walk on sparse random digraphs

Mixing of fast random walks on dynamic random permutations

Cutoff for random Cayley graphs of nilpotent groups

Non-uniform Mixing of Quantum Walks on the Symmetric Group

Infinite cycles in the interchange process in five dimensions

Limit Profile for Projections of Random Walks on Groups

Cover-time Gumbel Fluctuations in Finite-Range, Symmetric, Irreducible Random Walks on Torus