
4
is reflected in the non-perturbative, non-local character of
HF. The difference between UF=e−iHFTand e−iHeff T
is the thermalization process across Floquet zones visible
on times t > Γ−1.
B. Floquet thermal ensembles and nonstandard
large-Nlimits
We now discuss the featureless infinite temperature
and ladder ensembles for Floquet thermalization, the
crossover between these, and how this crossover sharp-
ens in a particular large-Nlimit.
For a system that absorbs/emits energy slowly enough,
an eigenstate of UFwith eigenvalue e−iθT will be sup-
ported on eigenstates of Heff near a “ladder” of energies
that differ in steps of ω, i.e., with energies
Eeff =θ±nω (2)
with n∈Z. However, due to the nonzero heating rate,
each of the “rungs” of the energy ladder will have an
energy uncertainty ∼Γ∼Ne−ω/ω0(see Fig. 1(c) for a
depiction). In the commonly prioritized limit of finite ω
and N→ ∞, the rate Γ grows with Nand eventually
becomes larger than ω(when N∼ωeω/ω0). For Nwell
in excess of this, the ladder is not resolvable as the width
of the rungs exceeds the spacings between rungs, and the
energy conservation (even modulo ω) is fully lost. The
resulting equilibrium is then “infinite temperature” in a
strict sense, because the relevant Floquet thermal ensem-
ble is a uniform distribution over all energy eigenstates,
as shown in Fig. 1(b).
The strict infinite-temperature property of Floquet
thermalized states (and eigenstates of UF) can break
down to various degrees when Γ ω. This can occur in
systems with finite Nand ω, or in large Nsystems where
we allow ωto scale up with Nin such a way that some
behavior characteristic of finite-size systems is retained in
the limit. For example, consider ωladder(N) = ω0log N:
If ωis scaled up with Nfaster, so that ωωladder(N),
then Γ ωat large enough N. In this regime, the distri-
butions of energy in the eigenstates of UFhave significant
weight only near a well-resolved ladder of energies with
spacing ω, as shown in Fig. 1(c). In other words, the en-
ergy defined by Heff is conserved modulo ωto a precision
of ∼Γ.
This “energy ladder” is a maximum-entropy Floquet
thermal ensemble that is distinct from “infinite tempera-
ture”, and notably it sets in already at a frequency scale
ωladder =ω0log Nthat is only weakly dependent on N.
If we consider the rescaled frequency ν=ω
ωladder(N)=
ω
ω0log N, then the crossover from the featureless infinite
temperature ensemble to the ladder ensemble happens
near ν= 1. This crossover in the rescaled variable ν
becomes sharp in the large-Nlimit as can be seen from
the behavior of Γ
ω=Ne−ω/ω0
ω=N1−ν
νω0log(N)near ν= 1: it
diverges with Nif ν < 1 and approaches zero if ν > 1.
The ladder ensemble sets in at ω∼log(N) and ex-
tends to parametrically larger frequency scalings, ω=
ωpartial(N)∼N. First consider ω∼Nα, with 0 < α < 1.
As long as α < 1, consecutive rungs on the ladder have
different energies but the same energy density as N→ ∞,
i.e., the spacing in energy density between the rungs
tends to zero. Each Floquet quasienergy θcorresponds to
populating a ladder of energies Eeff mod ω=θthat spans
across all energy densities. In particular, the ladder con-
tains a subset of rungs that have the same energy (and
entropy) density as infinite temperature in the N→ ∞
limit, E∞
eff /N =1
N2NTr[Heff ] = 0. Thus the final equilib-
rium is one where the average energy density corresponds
to infinite temperature, but the distribution of energy is
markedly distinct from the uniform distribution and in-
stead concentrated near a ladder of well-spaced energies.
Finally, we have the case of ω∝N(α= 1). In this
case, the frequency ωis extensive and corresponds to
transitions between different energy densities e; thus we
denote ∆e≡ω
Nin the rest of this paper. Since ωis exten-
sive in this case, it is not generally true that the system
thermalizes to the same average energy density as infi-
nite temperature in the N→ ∞ limit, even when it does
equilibrate across Floquet zones (Floquet thermalizes).
This is because the final energy distribution resides on a
ladder of different energy densities, and the infinite tem-
perature energy density (e= 0) is not generally one of
them (see Fig. 5for a demonstration).
This brings us to an important point: Floquet ther-
malization (also referred to as Floquet heating) refers to
reaching the appropriate equilibrium ensemble with en-
ergies distributed either according to the uniform infinite
temperature ensemble or the appropriate ladder ensem-
ble. The ladder ensemble is always a distinct ensem-
ble from infinite temperature, and need not even have
the same average energy density as infinite temperature.
Thus, Floquet thermalization does not imply that the sys-
tem thermalizes to infinite temperature, even on average.
Some comments are in order before concluding this
section. When defining the ladder ensemble, we consid-
ered energies defined according to Heff , the most optimal
quasi-local truncation of HF. In this case, the energy
defined by Heff is conserved modulo ωto a precision of
∼Γ set by the heating rate. However, if Heff is not
chosen optimally—for instance, if energy is defined with
respect to the leading term H0—then the precision is
lower and the width of the rungs is accordingly broader,
as discussed in App. A. Likewise, if we consider thermal-
ization of generic initial states (instead of eigenstates of
UF), then the energy uncertainty of the initial state also
contributes to the broadening of the rungs. A typical
product initial state has energy uncertainty ∝√N, and
hence requires ω∼Nαwith α > 1
2to resolve the rungs of
the ladder for large enough N. In this case, the crossover
from the featureless infinite temperature ensemble to the
ladder ensemble happens at ωladder(N)∼√Nand it does
not sharpen up in the large-Nlimit.
In sum, in this section we’ve discussed different Flo-