Floquet Many-Body Cages

• Floquet many-body cages are exact nonergodic subspaces where stroboscopic dynamics is confined by destructive interference on small motifs of the many-body state graph.
• They are engineered via palindromic drive constructions that preserve chiral symmetry, resulting in flat quasienergy spectra at 0 or π and enabling discrete time-crystalline order.
• Experimental realizations in Rydberg-atom arrays and digital quantum processors offer pathways to probe robust nonthermal behavior and topological π modes in interacting quantum systems.

Floquet many-body cages are exact nonergodic subspaces of a driven many-body Hilbert space in which stroboscopic dynamics is confined by destructive interference on small motifs of the many-body state graph, or Fock graph. In the formulation introduced by Ben-Ami, Moessner, and Heyl, a Floquet many-body cage is a subspace $\mathcal C \subset \mathcal H$ of a periodically driven system with Floquet operator

$$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$

such that $\mathcal C$ is invariant under $U_F$, the spectrum of $U_F$ restricted to $\mathcal C$ is flat at quasienergy $\varepsilon=0$ or $\varepsilon=\pi/T$, and the corresponding Floquet eigenstates are strictly compact localized states on finite motifs of the Fock graph (Ben-Ami et al., 14 Apr 2026). The construction provides a route to robust nonergodic behavior in clean driven systems, and, when $\pi$-quasienergy cages are engineered, to spatiotemporal order identified as a Floquet-engineered discrete time crystal (Ben-Ami et al., 14 Apr 2026).

1. Definition and exact caging criterion

A Floquet many-body cage is defined by three exact conditions. First, the subspace $\mathcal C$ is invariant under the one-period unitary,

$$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$0

Second, the spectrum of $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$1 restricted to $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$2 is flat, meaning that all eigenvalues are degenerate at either $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$3 or $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$4, corresponding respectively to quasienergy $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$5 and $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$6. Third, the subspace originates from destructive interference on a small motif of the Fock graph, so that the Floquet eigenstates in $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$7 are strictly compact localized.

Equivalently, if $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$8 and $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$9 project onto the $\mathcal C$0 and $\mathcal C$1 eigenmodes of $\mathcal C$2, exact caging is expressed as

$\mathcal C$3

with $\mathcal C$4 and $\mathcal C$5 decomposing into a direct sum of finite-size, compact-support eigenstates (Ben-Ami et al., 14 Apr 2026). In this sense, Floquet many-body cages are not merely long-lived or weakly hybridized structures; they are exact Floquet eigenmodes with strictly local support in Fock space.

This definition places the phenomenon within the broader study of nonergodicity in quantum matter, but with a particularly rigid algebraic structure. The absence of dispersion out of $\mathcal C$6 is exact rather than approximate, and the localization mechanism resides in the combinatorial structure of the many-body configuration graph rather than in quenched disorder.

2. Palindromic Floquet-circuit construction and chiral symmetry

The general construction employs a palindromic, or time-reflection, circuit of $\mathcal C$7 layers,

$\mathcal C$8

with each layer

$\mathcal C$9

Each $U_F$0 is local and chiral-symmetric, meaning that there exists a unitary $U_F$1 such that

$U_F$2

In the sublattice basis this implies the block off-diagonal form

$U_F$3

The role of palindromicity is structural. In the Baker-Campbell-Hausdorff expansion of the effective Hamiltonian $U_F$4 defined by $U_F$5, all odd-order nested commutators cancel. Only even-order terms survive, and these preserve the block off-diagonal chiral form. Consequently, $U_F$6 and therefore $U_F$7 obey the same chiral symmetry (Ben-Ami et al., 14 Apr 2026).

For the Floquet unitary, the symmetry statement becomes

$U_F$8

This implies that quasienergies appear in $U_F$9 pairs, symmetric about both $U_F$0 and $U_F$1. The symmetry therefore permits unpaired eigenvalues pinned exactly at $U_F$2 or $U_F$3. The construction identifies two generic mechanisms for such unpaired modes: a sublattice imbalance with $U_F$4, and the existence of small dangling motifs, such as trees or rings, grafted onto the bulk of the Fock graph, whose eigenmodes do not overlap the connecting site. These unmixed modes form exact Floquet many-body cages (Ben-Ami et al., 14 Apr 2026).

This framework is notable because it translates standard ingredients of single-particle chiral Floquet engineering into Fock space. The relevant “lattice” is the graph of many-body configurations, and the compact localized states are many-body states rather than single-particle orbitals.

3. Mechanisms for $U_F$5 and $U_F$6 cages

For zero-quasienergy cages, the basic mechanism is inherited from static chiral bipartite graphs. If the Fock graph contains a bipartite subgraph with an excess of $U_F$7 nodes on one sublattice, or a dangling tree motif whose eigenstates vanish on the grafting node, then the corresponding states lie at $U_F$8 for each individual $U_F$9. Because the odd BCH terms cancel in the palindromic drive, these zero-energy eigenstates persist in the Floquet effective Hamiltonian $\mathcal C$0. Acting with $\mathcal C$1 on such states therefore yields eigenvalue $\mathcal C$2, so they are exact $\mathcal C$3 Floquet cages.

For $\mathcal C$4 modes, the construction augments the palindromic sequence by an additional swap layer. On a three-site tree $\mathcal C$5 one chooses

$\mathcal C$6

and tunes $\mathcal C$7 so that the unitary restricted to the two-site subspace $\mathcal C$8 becomes the swap matrix

$\mathcal C$9

In a modified sequence

$\varepsilon=0$0

a zero mode can be promoted to quasienergy $\varepsilon=0$1 if it is odd under the swap action (Ben-Ami et al., 14 Apr 2026).

The physical content of the construction is that the same compact motif can support either a $\varepsilon=0$2 mode or a $\varepsilon=0$3 mode depending on how the drive acts on the motif over one period. This yields a controlled route from exact caging to subharmonic Floquet structure. A common misconception is that the $\varepsilon=0$4-mode phenomenon requires disorder or phenomenological fine tuning; in this setting it is generated within a clean constrained many-body system by an explicit circuit design.

4. Quantum hard-disk realization in constrained bosonic systems

The worked example in (Ben-Ami et al., 14 Apr 2026) is the quantum hard-disk model, defined as $\varepsilon=0$5 hard-core bosons on an $\varepsilon=0$6 square lattice with basis states $\varepsilon=0$7 specified by occupations $\varepsilon=0$8 subject to the hard-disk, or Rydberg-blockade, constraint that no two occupied sites are at Manhattan distance $\varepsilon=0$9. The local projector enforcing the constraint is

$\varepsilon=\pi/T$0

The static Hamiltonian is

$\varepsilon=\pi/T$1

The Floquet drive is a Horizontal-Vertical palindromic circuit,

$\varepsilon=\pi/T$2

with

$\varepsilon=\pi/T$3

and

$\varepsilon=\pi/T$4

$\varepsilon=\pi/T$5

Because each of $\varepsilon=\pi/T$6 and $\varepsilon=\pi/T$7 respects chiral symmetry on the Fock graph, with the bipartite sublattice structure induced by the checkerboard coloring of configurations, and because the drive is palindromic, $\varepsilon=\pi/T$8 inherits chiral symmetry and supports zero-quasienergy cages arising from three-site dangling trees in the state graph (Ben-Ami et al., 14 Apr 2026).

The numerical signatures reported for this model are a macroscopically large, flat quasienergy band pinned at $\varepsilon=\pi/T$9 and persistent Loschmidt-echo memory

$\pi$0

with Rabi oscillations at frequencies set by gaps to other flat bands. Inserting the swap layer that flips occupations on the two ends of each tree motif yields exact $\pi$1 quasienergy cages. The resulting driven constrained system realizes a Floquet-engineered discrete time crystal in a clean setting (Ben-Ami et al., 14 Apr 2026).

The significance of the quantum hard-disk example is twofold. First, it shows that the caging mechanism survives in an interacting constrained model rather than only in effective single-particle analogues. Second, the model is explicitly motivated by platforms realizable in Rydberg atom arrays.

5. Topological structure of the $\pi$2 modes

The $\pi$3 cages admit a topological characterization through a reduction of each three-site grafted tree to an effective two-site Floquet problem analogous to the Su-Schrieffer-Heeger chain. In the reduced subspace spanned by the two end sites $\pi$4, the unitary can be written

$\pi$5

where $\pi$6 and $\pi$7 up to overall scale. After embedding into a formal Brillouin zone $\pi$8, one writes

$\pi$9

with

$\mathcal C$0

The topological invariants are the winding numbers

$\mathcal C$1

for the $\mathcal C$2 gap, and

$\mathcal C$3

for the $\mathcal C$4 gap, where $\mathcal C$5 emerges after rewriting $\mathcal C$6 in the basis that diagonalizes $\mathcal C$7. In practice the invariants reduce to

$\mathcal C$8

$\mathcal C$9

For $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$00, one obtains $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$01 and a protected $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$02 mode localized at each grafted tree, in analogy with the $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$03 edge modes of an anomalous Floquet-SSH chain (Ben-Ami et al., 14 Apr 2026).

This topological viewpoint clarifies that the $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$04 cages are not only exact compact localized Floquet eigenstates but also objects with a protected gap structure. The corresponding spatiotemporal order is therefore tied to a topological characterization of the reduced motif dynamics rather than to a phenomenological oscillation criterion alone.

6. Experimental platforms, extensions, and relation to other Floquet nonergodic subspaces

Several implementation routes are explicit. Rydberg-atom arrays realize the quantum hard-disk constraint through the blockade radius; the Horizontal-Vertical drive can be implemented by alternately shaping laser-induced hopping processes along horizontal and vertical links; and swap gates for $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$05-engineering can be realized by selective addressability of two-atom Rydberg transitions (Ben-Ami et al., 14 Apr 2026). Digital quantum processors, including superconducting and trapped-ion qubits, can simulate local constrained Hamiltonians via Trotterized gates, using palindromic sequences of two-site gates

$$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$06

together with projector-enforcing multi-qubit gates.

The generalization stated in (Ben-Ami et al., 14 Apr 2026) is broad: the palindromic-drive construction and tree-grafting caging mechanism apply equally to constrained models, including fracton models, PXP models, and lattice gauge theories, whenever the Fock graph has sparse motifs supporting compact localized eigenstates. The same source further states that one may engineer artificial gauge fields or higher-dimensional topological motifs by suitably modulating gate phases in each layer, thereby lifting the toolbox of single-particle Floquet engineering into Fock space.

A useful comparison is provided by exact Floquet quantum many-body scars under Rydberg blockade (Mizuta et al., 2020). There, a binary drive of two PXP-type Hamiltonians,

$$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$07

produces a four-dimensional invariant subspace $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$08 containing exact Floquet eigenstates that never hybridize with the bulk, while the orthogonal complement obeys Floquet-ETH and heats to infinite temperature. Observables such as the domain-wall density remain nonthermal within $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$09, with

$$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$10

(Mizuta et al., 2020). This provides a clear contrast: Floquet scars are exact finite-dimensional nonthermal subspaces embedded in an otherwise thermalizing Floquet spectrum, whereas Floquet many-body cages are exact compact localized Floquet eigenstates pinned at $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$11 or $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$12 and organized by motif-level destructive interference on the Fock graph. A plausible implication is that both phenomena belong to a wider class of constrained Floquet nonergodicity, but they are distinguished by different localization mechanisms and spectral structures.

In summary, Floquet many-body cages arise when a palindromic chiral-symmetry-preserving circuit produces exact flat quasienergy bands at $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$13 or $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$14 on sparse motifs of the many-body state graph. In the explicit constructions available so far, they combine exact compact localization, robust memory, topological $$U_F \equiv U(T)=\mathcal T \exp\!\Bigl[-i\int_0^T H(t)\,dt\Bigr]$$15 modes, and, for suitably engineered drives, discrete time-crystalline order in clean interaction-driven systems (Ben-Ami et al., 14 Apr 2026).