1: \begin{abstract}

2: Local random circuits scramble efficiently and accordingly have a range of applications in quantum information and quantum dynamics.

3: %

4: With a global $U(1)$ charge however, the scrambling ability is reduced; for example, such random circuits do not generate the entire group of number-conserving unitaries.

5: %

6: We establish two results using the statistical mechanics of $k$-fold replicated circuits.

7: %

8: First, we show that finite moments cannot distinguish the ensemble that local random circuits generate from the Haar ensemble on the entire group of number-conserving unitaries.

9: %

10: Specifically, the circuits form a $k_c$-design with $k_c = O(L^d)$ for a system in $d$ spatial dimensions with linear dimension $L$.

11: %

12: Second, for $k < k_c$, the depth $\tau$ to converge to a $k$-design scales as $\tau \gtrsim k L^{d+2}$. 

13: %

14: In contrast, without number conservation $\tau \gtrsim k L^{d}$. The convergence of the circuit ensemble is controlled by the low-energy properties of a frustration-free quantum statistical model which spontaneously breaks $k$ $U(1)$ symmetries.

15: %

16: The associated Goldstone modes are gapless and lead to the predicted scaling of $\tau$.

17: %

18: Our variational bounds hold for arbitrary spatial and qudit dimensions; we conjecture they are tight.

19: 

20: \end{abstract}

21: