2
However, localization is generally not expected in min-
imally structured Haar random Floquet models (without
any conservation laws), in which neighboring spins are
strongly coupled with Haar random gates, and there is
no preferred local basis in which the disorder is strong. In
line with this intuition, Ref. [54] proved that local Haar
random Floquet circuits are chaotic in the limit of infinite
local Hilbert space dimension qfor each qudit (specifi-
cally, they proved that the spectral form factor derived
from the Floquet unitary exhibits random matrix the-
ory (RMT) behavior), while Ref. [49] numerically showed
thermalization even for spin 1/2 qubits. The derivation
of chaos in the spectral form factor was also extended
to random Floquet circuits with U(1) charge conserva-
tion symmetry [55], in which case the RMT behavior
sets in after a Thouless time governed by diffusive charge
transport. The U(1) Floquet calculation required ap-
pending an unconstrained qudit to a qubit whose charge
is conserved, resulting in an enlarged local Hilbert space
C2⊗Cqof dimension 2q. Once again, the limit q→ ∞
was necessary to make analytic predictions although, just
like the case without U(1) symmetry, the results were
expected to hold more generally i.e. even in the case of
q= 1.
In this work we consider thermalization dynamics in
various U(1) conserving random Floquet circuits. Sur-
prisingly, we find that the system deviates from robust
thermalization for the minimal Haar random U(1) con-
serving Floquet model with nearest neighbor gates, spin
1/2 qubits, and no additional qudits (i.e. with q= 1).
While the random-in-time Haar random U(1) conserv-
ing circuit with q= 1 is provably diffusive [18,19]—and
the same behavior was expected to occur in Floquet cir-
cuits [55]—we instead find subdiffusive behavior of con-
served charges for long times and slow thermalization dy-
namics for numerically accessible system sizes. We com-
pute various local and global metrics of quantum ther-
malization, such as level spacing statistics, the transport
of conserved charges, and the dynamics of entanglement.
While all metrics show trends that are consistent with
asymptotic thermalization for large enough system sizes
and times, numerically accessible sizes and times do not
show robust thermalization. By studying the parame-
terization of the gates, we argue that the slow dynamics
can be understood in terms of proximity of the nearest
neighbor Haar random U(1) conserving gates to localized
regimes in parameter space.
In contrast, robust thermalization is recovered by tak-
ing q > 1or, analogously, by increasing the range of gates
r, or the period T. Random circuits (with and with-
out symmetries) have come to serve as canonical mod-
els for numerically and experimentally studying quantum
dynamics. Our work informs future studies of charge
conserving Floquet circuits by showing that the mini-
mal such circuit is not robustly chaotic, and needs to be
extended in one of the ways mentioned above, i.e. by
increasing the range, the period, or q, to achieve robust
thermalization.
More generally, our work shows that the combination
of locality, symmetry, and a small local Hilbert space
can quite generically hinder thermalization and explo-
ration of the (constrained) Hilbert space. Interestingly,
it was recently pointed out [56] that local symmetric gates
cannot produce the full group of global symmetric gates
even for random-in-time systems (regardless of the range
of interactions). This is to be contrasted with the fun-
damental result in quantum computing that any global
unitary in U(N)can be arbitrarily approximated by a
sequence of 2-local gates [57,58]. Whereas the result in
[56] does not preclude the emergence of local thermaliza-
tion, it raises intriguing questions of how truly random
the global unitaries generated by local and symmetric
evolution are.
The rest of this paper is organized as follows. We be-
gin in Section II with a description of the models consid-
ered in this work. We show how to parameterize two-site
Haar random U(1) gates in two different ways: By di-
rectly constraining transition amplitudes in the unitary
gate in accordance with the symmetry, and in terms of
the generators of the Lie algebra of U(4) that commute
with the generator of the U(1) subgroup on two qubits.
The various Lie algebra coordinates, which we refer to
as "couplings", serve as important tuning knobs of the
models, controlling the interaction strength and real and
complex hopping amplitudes. We find that the minimal
nearest neighbor U(1) conserving Floquet circuit fails to
saturate to the RMT prediction at numerically accessible
system sizes, and explain this using the parameterization
of U(1) gates. We present level statistics data in Section
III, charge transport in Section IV and entanglement dy-
namics in Section V. In all cases, the minimal slowly
thermalizing model is contrasted with a robustly ther-
malizing model with larger period T > 1, longer range
interactions r > 1, or enlarged local Hilbert space q > 1.
We summarize and conclude in Section VI.
II. MODELS
A. Circuit Architecture
In this subsection, we introduce the general architec-
ture of U(1) conserving Floquet circuits considered in
this work. The circuit structure will be labeled by three
parameters: the local Hilbert space dimension 2q, the
range r, and the period T, discussed in turn below. The
unitary gates comprising the circuit are drawn from var-
ious probability distributions, which are discussed in the
next subsections.
We study periodic one-dimensional chains of length L
sites, where the degree of freedom on each site is the di-
rect product of a spin-1/2 qubit and a qudit with Hilbert
space dimension q. Thus, the local Hilbert space is
C2⊗Cq, with dimension 2q. We can label the spin state
on each site ias (↑a)ior (↓b)i, where the first label is
the spin state in the Pauli zbasis and the second label