Quantum recurrences and the arithmetic of Floquet dynamics
Pith reviewed 2026-05-18 22:58 UTC · model grok-4.3
The pith
An arithmetic framework using cyclotomic analysis of Floquet unitaries identifies all exact recurrence times in finite-dimensional quantum systems.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Exact recurrences in finite-dimensional Floquet quantum systems are fully determined by the arithmetic properties arising from the cyclotomic factorization of the eigenvalues of the time-evolution unitary operator, providing a method to enumerate all candidate times and rigorously exclude recurrences when the conditions are not met.
What carries the argument
Cyclotomic structure of the Floquet unitary's spectrum, which encodes the arithmetic conditions for state returns under periodic driving.
If this is right
- All possible exact recurrence times can be enumerated for any given finite-dimensional Floquet system.
- Hamiltonian parameters can be definitively ruled out if they do not satisfy the arithmetic conditions for recurrence.
- Rational values in the Hamiltonian do not generally guarantee the existence of exact recurrences.
- The framework works for both integrable and non-integrable Floquet models.
Where Pith is reading between the lines
- The method may help distinguish chaotic from regular dynamics through their distinct recurrence properties.
- Parameter regimes identified could be optimized for applications in quantum metrology where precise long-time control is needed.
Load-bearing premise
The spectrum of the Floquet unitary consists of roots of unity whose cyclotomic factors directly and completely determine the exact recurrence times independent of the initial state.
What would settle it
For a specific finite-dimensional Floquet system with a known unitary having non-cyclotomic eigenvalues or mismatched factors, check if the state returns exactly at the time predicted by the arithmetic framework or fails to return as ruled out.
read the original abstract
The Poincar\'e recurrence theorem shows that conservative systems in a bounded region of phase space eventually return arbitrarily close to their initial state after a finite amount of time. An analogous behavior occurs in certain quantum systems where quantum states can recur after sufficiently long unitary evolution, a phenomenon known as quantum recurrence. Periodically driven (i.e. Floquet) quantum systems in particular exhibit complex dynamics even in small dimensions, motivating the study of how interactions and Hamiltonian structure affect recurrence behavior. While most existing studies treat recurrence in an approximate, distance-based sense, here we address the problem of exact, state-independent recurrences in a broad class of finite-dimensional Floquet systems, spanning both integrable and non-integrable models. Leveraging techniques from algebraic field theory, we construct an arithmetic framework that identifies all possible recurrence times by analyzing the cyclotomic structure of the Floquet unitary's spectrum. This computationally efficient approach yields both positive results, enumerating all candidate recurrence times and definitive negative results, rigorously ruling out exact recurrences for given Hamiltonian parameters. We further prove that rational Hamiltonian parameters do not, in general, guarantee exact recurrence, revealing a subtle interplay between system parameters and long-time dynamics. Our findings sharpen the theoretical understanding of quantum recurrences, clarify their relationship to quantum chaos, and highlight parameter regimes of special interest for quantum metrology and control.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops an arithmetic framework using algebraic field theory to analyze the cyclotomic structure of the spectrum of the Floquet unitary operator in finite-dimensional quantum systems. This is used to enumerate all possible exact, state-independent recurrence times T where U^T = I and to derive negative results that rigorously exclude exact recurrence for specific Hamiltonian parameters. The authors further prove that rational parameters in the driving Hamiltonian do not guarantee recurrence in general, with discussion of implications for quantum chaos and applications in metrology and control.
Significance. If the central algebraic mapping holds, the work provides a parameter-free, computationally efficient method for determining exact recurrence times across both integrable and non-integrable finite-dimensional Floquet models. The combination of constructive enumeration of recurrence times and definitive negative results is a clear strength, as is the explicit demonstration that rationality of Hamiltonian coefficients is insufficient for recurrence. This sharpens the distinction between approximate and exact recurrences and offers falsifiable arithmetic conditions that could guide experiments in quantum control.
major comments (2)
- [§3] §3 (arithmetic framework): The central claim that cyclotomic factorization of the spectrum yields necessary and sufficient conditions for state-independent exact recurrence relies on the eigenvalues being roots of unity; the manuscript should explicitly verify in a dedicated lemma that the least common multiple of the individual eigenvalue orders equals the matrix order of U, including the case of degenerate eigenvalues.
- [Negative-results section] Negative-results section: The proof that rational Hamiltonian parameters do not guarantee recurrence is load-bearing for the paper's broader conclusions; it would be strengthened by including one concrete low-dimensional counterexample (e.g., a 2- or 3-qubit Floquet unitary with explicitly computed eigenvalues that lie on the unit circle but are not roots of unity).
minor comments (2)
- [Abstract] Abstract: The phrase 'definitive negative results' is strong; consider softening to 'rigorous exclusion' or adding a qualifier that the exclusion holds under the stated finite-dimensional and unitary assumptions.
- Notation: Ensure consistent use of U for the Floquet unitary and clarify whether the spectrum is assumed to lie exactly on the unit circle or only approximately so in numerical checks.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation and the precise suggestions that will improve the clarity and rigor of the manuscript. We address each major comment below and indicate the revisions made.
read point-by-point responses
-
Referee: [§3] §3 (arithmetic framework): The central claim that cyclotomic factorization of the spectrum yields necessary and sufficient conditions for state-independent exact recurrence relies on the eigenvalues being roots of unity; the manuscript should explicitly verify in a dedicated lemma that the least common multiple of the individual eigenvalue orders equals the matrix order of U, including the case of degenerate eigenvalues.
Authors: We agree that an explicit statement strengthens the foundation of the arithmetic framework. In the revised manuscript we have inserted a dedicated lemma (Lemma 3.1) in Section 3. The lemma proves that, for any finite-dimensional unitary U whose eigenvalues lie on the unit circle, the smallest positive integer T satisfying U^T = I is precisely the least common multiple of the multiplicative orders of the distinct eigenvalues. The argument uses the spectral theorem: U is unitarily diagonalizable, so U^k = I if and only if λ_j^k = 1 for every eigenvalue λ_j; hence T equals the LCM of the individual orders. Degenerate eigenvalues share the same order and therefore do not change the LCM. This lemma directly justifies the necessary-and-sufficient character of the cyclotomic conditions employed throughout the paper. revision: yes
-
Referee: [Negative-results section] Negative-results section: The proof that rational Hamiltonian parameters do not guarantee recurrence is load-bearing for the paper's broader conclusions; it would be strengthened by including one concrete low-dimensional counterexample (e.g., a 2- or 3-qubit Floquet unitary with explicitly computed eigenvalues that lie on the unit circle but are not roots of unity).
Authors: We accept that an explicit low-dimensional illustration will make the negative result more accessible. Although the general proof already shows that rationality of the Hamiltonian coefficients is insufficient, we have added a concrete counterexample in the revised negative-results section. The example is a two-qubit Floquet unitary generated by a driven Ising Hamiltonian with rational couplings; its eigenvalues are computed explicitly and shown to lie on the unit circle yet to possess irrational arguments, hence not roots of unity. The resulting matrix order is infinite, confirming the absence of exact recurrence. The example is presented with full eigenvalue expressions and a short numerical verification for transparency. revision: yes
Circularity Check
No significant circularity identified
full rationale
The paper constructs its arithmetic framework for exact recurrence times by mapping the spectrum of the finite-dimensional Floquet unitary to roots of unity and extracting the cyclotomic factorization to determine the matrix order (the smallest T such that U^T = I). This follows directly from standard facts in linear algebra (unitaries are normal and diagonalizable) and algebraic number theory (eigenvalues on the unit circle satisfy a cyclotomic polynomial precisely when they are roots of unity), without any reduction of the claimed results to fitted parameters, self-definitions, or self-citations. The additional statement that rational Hamiltonian parameters do not guarantee recurrence is a direct corollary of the fact that algebraic numbers of modulus 1 are roots of unity only under specific cyclotomic conditions. The derivation remains self-contained against external mathematical benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Algebraic field theory techniques apply directly to the cyclotomic factorization of eigenvalues of finite-dimensional Floquet unitaries.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanequivNat, embed_injective, embed_strictMono_of_one_lt echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
Leveraging techniques from algebraic field theory, we construct an arithmetic framework that identifies all possible recurrence times by analyzing the cyclotomic structure of the Floquet unitary's spectrum... ϕ(n) divides d![K:Q]
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking refines?
refinesRelation between the paper passage and the cited Recognition theorem.
If U is a d×d unitary matrix whose entries are in a field K, which is a finite extension of Q and is periodic with period n then ϕ(n) divides d![K:Q]
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
-
[2]
Upper bounds for the poincaré recurrence time in quantum mixed states
V. Gimeno and J. M. Sotoca, “Upper bounds for the poincaré recurrence time in quantum mixed states”, Journal of Physics A Mathematical and Theoretical50 (2017)
work page 2017
-
[3]
Second law of quantum complexity
A. R. Brown and L. Susskind, “Second law of quantum complexity”, Physical Review D97, 086015 (2018)
work page 2018
-
[4]
Time irreversibility in statistical mechanics
D. Levesque and N. Sourlas, “Time irreversibility in statistical mechanics”, Journal of Statistical Physics 192 (2025)
work page 2025
-
[5]
The poincaré recurrence time for the de sitter space with dynamical chaos
K. Ropotenko, “The poincaré recurrence time for the de sitter space with dynamical chaos”, arXiv (2025)
work page 2025
-
[6]
P. Bocchieri and A. Loinger, “Quantum recurrence theorem”, Physical Review107, 337–338 (1957)
work page 1957
-
[7]
The recurrence time in quantum mechanics
L. C. Venuti, “The recurrence time in quantum mechanics”, arXiv (2015)
work page 2015
-
[8]
Quantum thermalization through entanglement in an isolated many-body system
A. Kaufman, M. E. Tai, A. Lukin, M. Rispoli, R. Schittko, P. M. Preiss, and M. Greiner, “Quantum thermalization through entanglement in an isolated many-body system”, Science353, 794–800 (2016)
work page 2016
-
[9]
Dynamical scar states in driven fracton systems
S. Pai and M. Pretko, “Dynamical scar states in driven fracton systems”, Physical Review Letter 123, 136401 (2019)
work page 2019
-
[10]
Collapse and revival of quantum many-body scars via floquet engineering
B. Mukherjee, S. Nandy, A. Sen, D. Sen, and K. Sengupta, “Collapse and revival of quantum many-body scars via floquet engineering”, Physical Review B101, 245107 (2020)
work page 2020
-
[11]
Exact floquet quantum many-body scars under rydberg blockade
K. Mizuta, K. Takasan, and N. Kawakami, “Exact floquet quantum many-body scars under rydberg blockade”, Physical Review Research2, 033284 (2020)
work page 2020
-
[12]
Floquet topological phases with symmetry in all dimensions
R. Roy and F. Harper, “Floquet topological phases with symmetry in all dimensions”, Physical Review B 95 (2017)
work page 2017
-
[13]
K. Sacha and J. Zakrzewski, “Time crystals: a review”, Reports on Progress in Physics81, 016401 (2017)
work page 2017
-
[14]
A brief history of time crystals
V. Khemani, R. Moessner, and S. L. Sondhi, “A brief history of time crystals”, arXiv (2019)
work page 2019
-
[15]
Quantum resonance for a rotator in a nonlinear periodic field
F. M. Izrailev and D. L. Shepelyanskii, “Quantum resonance for a rotator in a nonlinear periodic field”, Theoretical and Mathematical Physics43, 553–561 (1980)
work page 1980
-
[16]
Chaos, quantum recurrences, and anderson local- ization
S. Fishman, D. R. Grempel, and R. E. Prange, “Chaos, quantum recurrences, and anderson local- ization”, Physical Review Letter49, 509–512 (1982)
work page 1982
-
[17]
M. Grifoni and P. Hänggi, “Driven quantum tunneling”, Physics Reports304, 229–354 (1998)
work page 1998
-
[18]
Sur les équations différentielles linéaires à coefficients périodiques
G. Floquet, “Sur les équations différentielles linéaires à coefficients périodiques”, Annales Scien- tifiques De L Ecole Normale Superieure12, 47–88 (1883)
-
[19]
Recurrence phenomena in quantum dynamics
T. Hogg and B. A. Huberman, “Recurrence phenomena in quantum dynamics”, Physical Review Letters 48, 711–714 (1982)
work page 1982
-
[20]
Bounds on the recurrence probability in periodically-driven quantum systems
T. Pandit, A. M. Green, C. H. Alderete, N. M. Linke, and R. Uzdin, “Bounds on the recurrence probability in periodically-driven quantum systems”, Quantum6, 682–682 (2022)
work page 2022
-
[21]
Saturation and recurrence of quantum complexity in random local quantum dynamics
M. Oszmaniec, M. Kotowski, M. Horodecki, and N. Hunter-Jones, “Saturation and recurrence of quantum complexity in random local quantum dynamics”, Physical Review X14 (2024)
work page 2024
-
[22]
Quantum recurrences in the kicked top
A. Anand, J. Davis, and S. Ghose, “Quantum recurrences in the kicked top”, Physical Review Research 6, 023120 (2024)
work page 2024
-
[23]
Enhancing quantum metrology by quantum resonance dynamics
Z. Zou, J. Gong, and W. Chen, “Enhancing quantum metrology by quantum resonance dynamics”, Physical Review Letters134 (2025). 12
work page 2025
-
[24]
H. Biswas and S. Choudhury, “The floquet central spin model: a platform to realize eternal time crystals, entanglement steering, and multiparameter metrology”, arXiv (2025)
work page 2025
-
[25]
Some studies on arithmetical chaos in classical and qauntum mechanics
J. Bolte, “Some studies on arithmetical chaos in classical and qauntum mechanics”, International Journal of Modern Physics B07, 4451–4553 (1993)
work page 1993
-
[26]
E. B. Bogomolny, B. Georgeot, M.-J. Giannoni, and C. Schmit, “Arithmetical chaos”, Physics Reports 291, 219–324 (1997)
work page 1997
-
[27]
J. Marklof, “Arithmetic quantum chaos”, Encyclopedia of mathematical physics1, 212–220 (2006)
work page 2006
-
[28]
D. S. Dummit and R. M. Foote, “Abstract algebra”, in (John Wiley & Sons, July 2003)
work page 2003
-
[29]
Classical and quantum chaos for a kicked top
F. Haake, M. Kuś, and R. Scharf, “Classical and quantum chaos for a kicked top”, Zeitschrift für Physik B Condensed Matter65, 381–395 (1987)
work page 1987
-
[30]
Entanglement and its relationship to classical dy- namics
J. B. Ruebeck, J. Lin, and A. K. Pattanayak, “Entanglement and its relationship to classical dy- namics”, Physical Review E95, 062222 (2017)
work page 2017
-
[31]
Periodicity of quantum correlations in the quantum kicked top
U. T. Bhosale and M. S. Santhanam, “Periodicity of quantum correlations in the quantum kicked top”, Physical Review E98, 052228 (2018)
work page 2018
-
[32]
S. Dogra, V. Madhok, and A. Lakshminarayan, “Quantum signatures of chaos, thermalization, and tunneling in the exactly solvable few-body kicked top”, Physical Review E99, 062217 (2019)
work page 2019
-
[33]
H. Sharma and U. T. Bhosale, “Exactly solvable dynamics and signatures of integrability in an infinite-range many-body floquet spin system”, Physical Review B109, 014412 (2024)
work page 2024
-
[34]
Exact solvability of entanglement for arbitrary initial state in an infinite-range floquet system
H. Sharma and U. T. Bhosale, “Exact solvability of entanglement for arbitrary initial state in an infinite-range floquet system”, arXiv (2024)
work page 2024
-
[35]
H. Sharma and U. T. Bhosale, “Signatures of quantum integrability and exactly solvable dynamics in an infinite-range many-body floquet spin system”, Physical Review B110, 064313 (2024)
work page 2024
-
[36]
L. C. Biedenharn, J. D. Louck, and P. A. Carruthers, Angular momentum in quantum physics: theory and application, 1st ed. (Cambridge University Press, Dec. 1984)
work page 1984
-
[37]
The church of the symmetric subspace
A. W. Harrow, “The church of the symmetric subspace”, arXiv (2013)
work page 2013
-
[38]
Quantum-classical correspondence and entanglement in periodically driven spin sys- tems
M. Kumari, “Quantum-classical correspondence and entanglement in periodically driven spin sys- tems”, Uwaterloo.ca (2019)
work page 2019
-
[39]
Atomic coherent states in quantum optics
F. T. Arecchi, E. Courtens, R. Gilmore, and H. Thomas, “Atomic coherent states in quantum optics”, Physical Review A6, 2211–2237 (1972)
work page 1972
-
[40]
C. Fleckenstein and M. Bukov, “Prethermalization and thermalization in periodically driven many- body systems away from the high-frequency limit”, Physical Review B103, L140302 (2021)
work page 2021
-
[41]
Lang, Algebra (Springer Nature, Jan
S. Lang, Algebra (Springer Nature, Jan. 2002). 13
work page 2002
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.