pith. sign in

arxiv: 2508.09933 · v3 · submitted 2025-08-13 · 🪐 quant-ph · math-ph· math.MP· nlin.CD

Quantum recurrences and the arithmetic of Floquet dynamics

Pith reviewed 2026-05-18 22:58 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MPnlin.CD
keywords quantum recurrenceFloquet systemscyclotomic structurearithmetic frameworkexact state-independent recurrenceunitary evolutionquantum chaosperiodically driven systems
0
0 comments X

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.

The paper develops an arithmetic framework rooted in algebraic field theory to determine exact, state-independent recurrence times for periodically driven quantum systems. By examining the cyclotomic structure in the spectrum of the Floquet unitary, it can list all possible recurrence times and prove when no such recurrence is possible for specific parameters. This applies across integrable and non-integrable models and demonstrates that rational Hamiltonian parameters alone do not ensure exact recurrences. The approach clarifies the connection between recurrences and quantum chaos while pointing to useful regimes for control applications.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [§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.
  2. [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)
  1. [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.
  2. 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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

Based on abstract only; no free parameters or invented entities are described. The framework rests on the applicability of algebraic field theory to the spectrum of unitary operators in finite dimensions.

axioms (1)
  • domain assumption Algebraic field theory techniques apply directly to the cyclotomic factorization of eigenvalues of finite-dimensional Floquet unitaries.
    Invoked when constructing the arithmetic framework that identifies recurrence times.

pith-pipeline@v0.9.0 · 5780 in / 1227 out tokens · 37638 ms · 2026-05-18T22:58:25.487983+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

41 extracted references · 41 canonical work pages

  1. [1]

    Avant-propos

    H. Poincaré, “Avant-propos”, Acta Mathematica13, VII–XII (1890). 11

  2. [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)

  3. [3]

    Second law of quantum complexity

    A. R. Brown and L. Susskind, “Second law of quantum complexity”, Physical Review D97, 086015 (2018)

  4. [4]

    Time irreversibility in statistical mechanics

    D. Levesque and N. Sourlas, “Time irreversibility in statistical mechanics”, Journal of Statistical Physics 192 (2025)

  5. [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)

  6. [6]

    Quantum recurrence theorem

    P. Bocchieri and A. Loinger, “Quantum recurrence theorem”, Physical Review107, 337–338 (1957)

  7. [7]

    The recurrence time in quantum mechanics

    L. C. Venuti, “The recurrence time in quantum mechanics”, arXiv (2015)

  8. [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)

  9. [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)

  10. [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)

  11. [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)

  12. [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)

  13. [13]

    Time crystals: a review

    K. Sacha and J. Zakrzewski, “Time crystals: a review”, Reports on Progress in Physics81, 016401 (2017)

  14. [14]

    A brief history of time crystals

    V. Khemani, R. Moessner, and S. L. Sondhi, “A brief history of time crystals”, arXiv (2019)

  15. [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)

  16. [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)

  17. [17]

    Driven quantum tunneling

    M. Grifoni and P. Hänggi, “Driven quantum tunneling”, Physics Reports304, 229–354 (1998)

  18. [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. [19]

    Recurrence phenomena in quantum dynamics

    T. Hogg and B. A. Huberman, “Recurrence phenomena in quantum dynamics”, Physical Review Letters 48, 711–714 (1982)

  20. [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)

  21. [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)

  22. [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)

  23. [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

  24. [24]

    The floquet central spin model: a platform to realize eternal time crystals, entanglement steering, and multiparameter metrology

    H. Biswas and S. Choudhury, “The floquet central spin model: a platform to realize eternal time crystals, entanglement steering, and multiparameter metrology”, arXiv (2025)

  25. [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)

  26. [26]

    Arithmetical chaos

    E. B. Bogomolny, B. Georgeot, M.-J. Giannoni, and C. Schmit, “Arithmetical chaos”, Physics Reports 291, 219–324 (1997)

  27. [27]

    Arithmetic quantum chaos

    J. Marklof, “Arithmetic quantum chaos”, Encyclopedia of mathematical physics1, 212–220 (2006)

  28. [28]

    Abstract algebra

    D. S. Dummit and R. M. Foote, “Abstract algebra”, in (John Wiley & Sons, July 2003)

  29. [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)

  30. [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)

  31. [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)

  32. [32]

    Quantum signatures of chaos, thermalization, and tunneling in the exactly solvable few-body kicked top

    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)

  33. [33]

    Exactly solvable dynamics and signatures of integrability in an infinite-range many-body floquet spin system

    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)

  34. [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)

  35. [35]

    Signatures of quantum integrability and exactly solvable dynamics in an infinite-range many-body floquet spin system

    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)

  36. [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)

  37. [37]

    The church of the symmetric subspace

    A. W. Harrow, “The church of the symmetric subspace”, arXiv (2013)

  38. [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)

  39. [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)

  40. [40]

    Prethermalization and thermalization in periodically driven many- body systems away from the high-frequency limit

    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)

  41. [41]

    Lang, Algebra (Springer Nature, Jan

    S. Lang, Algebra (Springer Nature, Jan. 2002). 13