---
title: Floquet Many-Body Cages
url: https://www.emergentmind.com/topics/floquet-many-body-cages
type: topic
---

# Floquet Many-Body Cages

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 [2604.13027]. 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 [2604.13027].

## 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 P_{\mathcal C}=P_{\mathcal C}U_F=P_{\mathcal C}U_F P_{\mathcal C}.
$$
Second, the spectrum of $U_F$ restricted to $\mathcal C$ is flat, meaning that all eigenvalues are degenerate at either $+1$ or $-1$, corresponding respectively to quasienergy $\varepsilon=0$ and $\varepsilon=\pi/T$. Third, the subspace originates from destructive interference on a small motif of the Fock graph, so that the Floquet eigenstates in $\mathcal C$ are strictly compact localized.

Equivalently, if $P_0$ and $P_\pi$ project onto the $\varepsilon=0$ and $\varepsilon=\pi$ eigenmodes of $U_F$, exact caging is expressed as
$$
U_F P_0 = +1 \cdot P_0,\qquad U_F P_\pi = -1 \cdot P_\pi,
$$
with $P_0$ and $P_\pi$ decomposing into a direct sum of finite-size, compact-support eigenstates [2604.13027]. 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$ 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 $2M$ layers,
$$
U_F = U_1 U_2 \cdots U_M U_M \cdots U_2 U_1,
$$
with each layer
$$
U_j = \exp[-i H_j T_j].
$$
Each $H_j$ is local and chiral-symmetric, meaning that there exists a unitary $\Gamma$ such that
$$
\Gamma H_j \Gamma = -H_j.
$$
In the sublattice basis this implies the block off-diagonal form
$$
H_j =
\begin{bmatrix}
0 & A_j \\
A_j^\dagger & 0
\end{bmatrix}.
$$

The role of palindromicity is structural. In the Baker-Campbell-Hausdorff expansion of the effective Hamiltonian $H_F$ defined by $U_F=\exp[-i H_F T_{\rm tot}]$, all odd-order nested commutators cancel. Only even-order terms survive, and these preserve the block off-diagonal chiral form. Consequently, $H_F$ and therefore $U_F$ obey the same chiral symmetry [2604.13027].

For the Floquet unitary, the symmetry statement becomes
$$
\Gamma U_F \Gamma = U_F^\dagger.
$$
This implies that quasienergies appear in $\pm \varepsilon$ pairs, symmetric about both $0$ and $\pi$. The symmetry therefore permits unpaired eigenvalues pinned exactly at $e^{i\varepsilon}=+1$ or $-1$. The construction identifies two generic mechanisms for such unpaired modes: a sublattice imbalance with $|\dim F_1-\dim F_2|>0$, 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 [2604.13027].

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 $\varepsilon=0$ and $\varepsilon=\pi/T$ 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 $| \#A-\#B |$ nodes on one sublattice, or a dangling tree motif whose eigenstates vanish on the grafting node, then the corresponding states lie at $E=0$ for each individual $H_j$. Because the odd BCH terms cancel in the palindromic drive, these zero-energy eigenstates persist in the Floquet effective Hamiltonian $H_F$. Acting with $U_F$ on such states therefore yields eigenvalue $+1$, so they are exact $\varepsilon=0$ Floquet cages.

For $\pi$ modes, the construction augments the palindromic sequence by an additional swap layer. On a three-site tree $\{\ell-c-m\}$ one chooses
$$
H_{\rm swap} = J_{\rm swap}\,P_\ell\,(a_\ell^\dagger a_m + a_m^\dagger a_\ell)\,P_m
$$
and tunes $T_{\rm swap}$ so that the unitary restricted to the two-site subspace $\{\ell,m\}$ becomes the swap matrix
$$
U_{\rm swap}\,\Pi_{\ell,m} = |m\rangle\langle \ell| + |\ell\rangle\langle m|.
$$
In a modified sequence
$$
U^* = U_{\rm swap}\,(U_1\cdots U_M U_M\cdots U_1)\,U_{\rm swap},
$$
a zero mode can be promoted to quasienergy $\pi/T$ if it is odd under the swap action [2604.13027].

The physical content of the construction is that the same compact motif can support either a $0$ mode or a $\pi$ 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 $\pi$-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 [2604.13027] is the quantum hard-disk model, defined as $N$ hard-core bosons on an $L\times L$ square lattice with basis states $|n\rangle$ specified by occupations $n_r\in\{0,1\}$ subject to the hard-disk, or Rydberg-blockade, constraint that no two occupied sites are at Manhattan distance $1$. The local projector enforcing the constraint is
$$
P_r = \prod_{r':|r-r'|=1}(1-n_{r'}).
$$
The static Hamiltonian is
$$
H_{\rm QHD} = J \sum_{\langle r,r'\rangle} P_r (a_r^\dagger a_{r'} + a_{r'}^\dagger a_r) P_{r'}.
$$

The Floquet drive is a Horizontal-Vertical palindromic circuit,
$$
U_F=U_v\!\left(\tfrac12 T_v\right)\,U_h(T_h)\,U_v\!\left(\tfrac12 T_v\right),
$$
with
$$
U_h\equiv e^{-iH_hT_h},\qquad U_v\equiv e^{-iH_vT_v},
$$
and
$$
H_h = J\sum_{\langle r,r+x\rangle}P_r(a_r^\dagger a_{r+x}+h.c.)P_{r+x},
$$
$$
H_v = J\sum_{\langle r,r+y\rangle}P_r(a_r^\dagger a_{r+y}+h.c.)P_{r+y}.
$$
Because each of $H_h$ and $H_v$ 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, $U_F$ inherits chiral symmetry and supports zero-quasienergy cages arising from three-site dangling trees in the state graph [2604.13027].

The numerical signatures reported for this model are a macroscopically large, flat quasienergy band pinned at $\varepsilon=0$ and persistent Loschmidt-echo memory
$$
L(t)=|\langle\psi(0)|U_F^t|\psi(0)\rangle|^2
$$
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$ quasienergy cages. The resulting driven constrained system realizes a Floquet-engineered discrete time crystal in a clean setting [2604.13027].

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$ modes

The $\pi$ 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 $(\ell,m)$, the unitary can be written
$$
U_{\rm eff} = e^{-i t_1 \sigma_x} e^{-i t_2 \sigma_y} e^{-i t_1 \sigma_x},
$$
where $t_1=J T_v$ and $t_2=J T_h$ up to overall scale. After embedding into a formal Brillouin zone $k\in[0,2\pi]$, one writes
$$
U_{\rm eff}(k)=n_0(k)I+i[n_x(k)\sigma_x+n_y(k)\sigma_y],
$$
with
$$
|n_0|^2+|n_x|^2+|n_y|^2=1.
$$

The topological invariants are the winding numbers
$$
\nu_0 = \oint_{k=0}^{2\pi}\frac{d\,\arg[n_x(k)+i n_y(k)]}{2\pi},
$$
for the $\varepsilon=0$ gap, and
$$
\nu_\pi = \oint_{k=0}^{2\pi}\frac{d\,\arg[n_0(k)+i n_z(k)]}{2\pi},
$$
for the $\varepsilon=\pi$ gap, where $n_z$ emerges after rewriting $U_{\rm eff}$ in the basis that diagonalizes $\Gamma$. In practice the invariants reduce to
$$
\nu_0 = \tfrac12[\operatorname{sgn}(t_2-t_1)+\operatorname{sgn}(t_2+t_1)],
$$
$$
\nu_\pi = \tfrac12[\operatorname{sgn}(t_2-t_1)-\operatorname{sgn}(t_2+t_1)].
$$
For $|T_h/T_v|>1$, one obtains $\nu_\pi=1$ and a protected $\pi$ mode localized at each grafted tree, in analogy with the $\pi$ edge modes of an anomalous Floquet-SSH chain [2604.13027].

This topological viewpoint clarifies that the $\pi$ 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 $\pi$-engineering can be realized by selective addressability of two-atom Rydberg transitions [2604.13027]. Digital quantum processors, including superconducting and trapped-ion qubits, can simulate local constrained Hamiltonians via Trotterized gates, using palindromic sequences of two-site gates
$$
G_{ij}=\exp[-i(\sigma_i^+\sigma_j^-+h.c.)T]
$$
together with projector-enforcing multi-qubit gates.

The generalization stated in [2604.13027] 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 [2004.04431]. There, a binary drive of two PXP-type Hamiltonians,
$$
U_F=e^{-iH_B T_B}e^{-iH_A T_A},
$$
produces a four-dimensional invariant subspace $\mathcal S_{\rm scar}$ 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 $\mathcal S_{\rm scar}$, with
$$
\langle\psi|D_b|\psi\rangle_{\psi\in\mathcal S}=2/3
\qquad\ne\qquad
\langle D_b\rangle_{T=\infty}=2/(\sqrt5\,\phi)\approx 0.542
$$
[2004.04431]. 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 $0$ or $\pi$ 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 $0$ or $\pi$ on sparse motifs of the many-body state graph. In the explicit constructions available so far, they combine exact compact localization, robust memory, topological $\pi$ modes, and, for suitably engineered drives, discrete time-crystalline order in clean interaction-driven systems [2604.13027].

Source: https://www.emergentmind.com/topics/floquet-many-body-cages