Key claim
The equation
For a spin-
It does not, on its own, prove that the micromotion is a nontrivial Floquet loop. A zero Hamiltonian has the same endpoint and the same microscopic LSM data.
Theme
Flux insertion, LSM data, and the information lost by stroboscopic evolution.
Guiding question
Which statements follow from
and which require the complete path
Setup
Consider an even periodic chain of
generate an exact
Work in the
The drive is local and periodic,
and preserves
Two distinct inputs
The twist algebra below follows from the on-site spin representation and translation. Whether a particular drive path is topologically nontrivial is a separate dynamical question.
Analysis
Derivation: the exact twist–translation algebra
Translate the exponent of
Reindexing the sum gives
All terms in the exponent commute, so
For a spin-
Therefore, in the
If
then
The large twist shifts crystal momentum by
The familiar static flux-insertion argument adds dynamics. If a unique gapped ground state can be followed under flux insertion, the state obtained after
That conflicts with a unique symmetric gapped ground state at half-odd-integer spin per cell. Oshikawa formulated the flux-insertion version for conserved filling on a periodic lattice Commensurability, excitation gap and topology.
What is exact
The momentum-shift algebra is exact. The static conclusion also uses locality, a spectral gap, a ground state, and control of flux insertion. Keep the algebra separate from those additional steps.
For the driven system, consistent coupling to a background gauge field gives endpoint covariance
up to the chosen orientation of the flux and twist. If
then
After returning to the original gauge, the quasienergy is unchanged while the translation quantum number is shifted by
If
The twist still diagnoses the microscopic symmetry representation. It does not force a crossing inside a completely degenerate Floquet endpoint.
Scope and assumptions: endpoint, loop, and effective Hamiltonian
The one-period operator remembers only the endpoint
Two drives may have the same
Some loops can be contracted to the constant loop through local symmetry-preserving evolutions. Others cannot within the phase equivalence relation being used.
The endpoint alone cannot distinguish them. Choosing
also discards this distinction.
Classification must be named
“Nontrivial loop” is incomplete without a dimension, symmetry group, locality condition, and stability regime. Free-particle winding, MBL Floquet SPT pumps, and chiral many-body edge indices are related examples, not one universal invariant.
In two-dimensional noninteracting systems, Rudner and collaborators constructed a winding invariant for the full time evolution that detects anomalous chiral edge states even when bulk Floquet-band Chern numbers vanish Anomalous edge states and the bulk-edge correspondence.
In interacting two-dimensional bosonic systems with a localized bulk, Po and collaborators classified chiral Floquet phases by a many-body edge index Chiral Floquet Phases of Many-body Localized Bosons.
In symmetry-protected localized Floquet systems, Else and Nayak described additional dynamical phases as lower-dimensional SPT states pumped to a boundary during each period Classification of topological phases in periodically driven interacting systems.
These examples establish that
Indeed, take
Then
but its drive path is the constant loop. The microscopic LSM datum and the Floquet-loop invariant cannot be the same object.
Physical interpretation: open boundaries and defect response
A loop that returns a closed bulk to the identity may leave a nontrivial locality-preserving unitary at an open boundary. A charge pump offers the simplest picture: motion through the periodic bulk cancels after a cycle, while an open sample accumulates opposite boundary charges.
This is why opening the system can reveal information absent from the closed-system endpoint.
Background fields provide another diagnostic. For a density matrix
At equal fields, unitarity gives
Glorioso, Gromov, and Ryu used this construction to formulate many-body response invariants for selected Floquet topological systems Effective response theory for Floquet topological systems.
Crystalline caveat
Their demonstrated examples do not by themselves construct the mixed translation–
The LSM obstruction can itself be described through symmetry defects and the obstruction to gauging internal symmetry while preserving translation. A lattice formulation is developed by Seifnashri, and a broader 2026 review is given by Zou and Cheng.
Combining a crystalline LSM defect theory with a Floquet Schwinger–Keldysh response is a reasonable research program. The sources above supply its ingredients in different settings.
They do not establish the blanket theorem
Heating supplies a further limitation. A generic clean interacting Floquet system may absorb energy and fail to support a stable eigenstate phase.
Many-body localization, integrability, coupling to a suitable environment, or a long prethermal window can make dynamical classifications useful, but each option changes the assumptions.
False claim to diagnose
If
, the drive is topologically trivial and the spin chain has evaded its LSM obstruction.
The first clause confuses an endpoint with a path. The second confuses a choice of dynamics with the projective symmetry representation in each unit cell.
The corrected statement is:
makes all stroboscopic quasienergies trivial on the closed system. Microscopic LSM data remain, while micromotion topology must be tested independently.
What follows — and what does not
| Statement | Status |
|---|---|
| Exact finite-size algebra | |
| Exact consequence of that algebra | |
| The static system cannot have a unique symmetric gapped ground state. | LSM conclusion with locality and ground-state assumptions |
| The same proof forces a Floquet quasienergy gap closing. | False; quasienergy has no ground-state ordering |
| False; it fixes only the endpoint | |
| True in specified Floquet classifications | |
| The LSM twist algebra proves this particular loop is nontrivial. | False without a path or defect invariant |
| A trivial loop removes the microscopic LSM datum. | False |
| An ordinary | False in general |
| A generic clean interacting drive realizes a stable Floquet phase forever. | Not without control of heating |
Exercise
Use the periodic spin-
- Derive
by reindexing the twist exponent. - Show that
has momentum in the sector. - Prove the quasienergy relation using
. - Explain why no quasienergy crossing follows when
. - Compare the constant loop
with any loop that has the same endpoint but a nontrivial open-boundary action. Which data distinguish them?
Hint 1
After translating, isolate the boundary contribution
Hint 2
The endpoint spectrum cannot distinguish two loops that both satisfy
Oral check 1. Which result survives every change of
Oral check 2. Give one reason the static variational LSM argument cannot be copied directly to quasienergy.
Solution
Translation gives
Therefore
For spin
Gauge covariance gives
Thus the gauge-related state has the same quasienergy and shifted momentum.
When
Both
The twist–translation algebra is identical for both because it belongs to the microscopic spin representation, not to the chosen loop.
Check your understanding
Suppose two translation- and
List the data that agree and the data that differ. Which part is fixed by the LSM anomaly?
You may also reply with “deeper,” “too easy,” “too hard,” or your derivation.
Further Reading
- Commensurability, excitation gap and topology in quantum many-particle systems
- Lieb-Schultz-Mattis anomalies as obstructions to gauging symmetries
- Lieb-Schultz-Mattis Anomalies and Anomaly Matching
- Anomalous edge states and the bulk-edge correspondence for periodically driven systems
- Classification of topological phases in periodically driven interacting systems
- Chiral Floquet Phases of Many-body Localized Bosons
- Effective response theory for Floquet topological systems
Connections and next step
- Microscopic layer: the projective spin representation fixes the twist–translation algebra.
- Static layer: energy ordering and a ground-state gap turn that algebra into the LSM constraint.
- Floquet endpoint:
fixes quasienergies but discards the path taken during a cycle. - Dynamical layer: loop homotopy, boundary action, and defect response can retain micromotion topology.
- Stability layer: heating determines whether a Floquet phase is asymptotic or only prethermal.
- Next step: construct a specific symmetric loop and compute its open-chain endpoint rather than inferring it from
. - Revisit: compare the SK response here with the counting-field deformation in the July 31 entry.