arxiv: 2604.14995 · v2 · submitted 2026-04-16 · 🪐 quant-ph · math.NT

Recurrence Time for Finite Quantum Systems

Chaitanya Gupta , Anthony J. Short This is my paper

Pith reviewed 2026-05-10 10:34 UTC · model grok-4.3

classification 🪐 quant-ph math.NT

keywords recurrence timefinite quantum systemsDirichlet approximation theoremunitary evolutionDiophantine approximationalmost periodic dynamics

0 comments p. Extension

The pith

Finite quantum systems have recurrence times bounded above using Dirichlet's approximation theorem on their evolution phases.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines the recurrence time of a finite quantum system as the smallest time at which every possible initial state has evolved to within a chosen distance of its starting point, while at least one state has moved a significant distance away at some earlier moment in the interval. It derives explicit upper bounds on this time for both continuous-time and discrete-time unitary evolution by reducing the problem to the task of approximating differences between real frequencies by rational numbers. The authors prove a sharpened mathematical result on such approximations and apply it to improve the bounds that follow directly from Dirichlet's theorem. A sympathetic reader would care because the result gives a concrete limit on how long one must simulate or observe a small quantum system before its dynamics are guaranteed to repeat within any chosen precision.

Core claim

For any finite-dimensional quantum system evolving unitarily, the recurrence time is finite and bounded from above. The bound follows from Dirichlet's approximation theorem applied to the phases that appear in the time-evolved states; the problem is equivalent to finding a time t such that all relevant frequency differences times t lie close to integers. A new lemma on the simultaneous approximation of differences of real numbers by rationals yields strictly tighter bounds than the classical theorem alone, and the same argument works for both continuous and discrete time.

What carries the argument

Dirichlet's approximation theorem applied to the phase differences arising from the eigenvalues of the unitary evolution operator, together with a new lemma that improves the error bound when approximating several real-number differences simultaneously by rationals.

If this is right

Recurrence times exist and remain finite for every finite-dimensional quantum system and every choice of closeness and deviation parameters.
The bounds scale with system dimension and with the required precision of return.
The same number-theoretic technique supplies bounds for discrete-time quantum maps as well as continuous-time Schrödinger evolution.
The new approximation lemma can be substituted into any other argument that relies on Dirichlet's theorem to obtain improved constants.

Where Pith is reading between the lines

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

In high-dimensional systems the derived bounds become astronomically large, which explains why recurrence is never seen in practical quantum simulations.
The same reduction to rational approximation may be used to bound other almost-periodic quantities, such as the time for a quantum state to return close to its initial entanglement structure.
The result suggests a direct link between the spectral properties of a Hamiltonian and the longest waiting time before quantum dynamics must repeat.

Load-bearing premise

The system is finite-dimensional, so its unitary evolution is almost periodic and the relevant phases can be treated with simultaneous Diophantine approximation.

What would settle it

For a two-dimensional qubit with explicitly known energy gaps, compute the smallest time t satisfying the closeness and deviation conditions for chosen epsilon and delta; if that t exceeds the paper's explicit upper bound, the claimed inequality is false.

Figures

Figures reproduced from arXiv: 2604.14995 by Anthony J. Short, Chaitanya Gupta.

read the original abstract

We study the time it takes for all states of a finite quantum system to return simultaneously to their original configuration. In particular, we define the recurrence time for a quantum system to be the time at which all time-evolved states are close to their initial configuration, and at least one state has deviated significantly during this interval. Considering finite-dimensional quantum systems evolving unitarily, we find bounds on this notion of recurrence time, for continuous time and discrete time, by using Dirichlet's approximation theorem. We show how the problem of finding a bound on recurrence time can be related to approximating the difference of real numbers by rationals. We present a mathematical result on the latter, which we then use to obtain tighter bounds on recurrence time.

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.

Desk Editor's Note private letter to a colleague

The paper's real contribution is a new lemma on approximating differences of reals by rationals that tightens the constants in recurrence-time bounds derived from Dirichlet's theorem for finite unitary systems.

read the letter

The main thing here is that they prove a new result on how well you can approximate the difference of two real numbers by rationals, then use it to get modestly better upper bounds on the time when a finite quantum system returns close to its starting point. They define recurrence time as the moment when every state is within epsilon of its initial value but at least one state has moved a noticeable distance away at some earlier time. For a d-dimensional unitary evolution the phases are almost periodic, so Dirichlet's box principle already guarantees a return time exists and is bounded by a function of d and epsilon. Their lemma improves the prefactor in that bound for both continuous and discrete time cases. That is the actual novelty; the rest is a clean application of a known number-theoretic tool to the quantum setting. The connection between the eigenphase differences and the rational approximation problem is spelled out directly, and the stress-test note finds no mismatch between the unitary dynamics, the almost-periodicity, and the cited theorem. The bounds remain explicit and depend only on dimension and the closeness parameter, which is what one expects. One minor limitation is that the improvement from the new lemma is still polynomial in d, so the practical numbers grow quickly for anything beyond very small systems; that is not a flaw in the argument but it does limit how far the result travels beyond toy models. The definition with the extra significant-deviation condition is deliberate and consistent with the claim, though it makes the guaranteed time slightly longer than a pure return-time bound would be. This is the sort of paper a reader working on quantum control, small-scale simulation, or mathematical aspects of quantum recurrence would find useful for getting concrete estimates rather than existence statements. It does not resolve open questions in many-body physics, but the new approximation lemma is a legitimate, self-contained addition that stands on its own. I would send it to a serious referee; the math is grounded enough that checking the lemma and its application is worth the time.

Referee Report

1 major / 3 minor

Summary. The paper defines a recurrence time for finite-dimensional quantum systems under unitary evolution as the time at which all time-evolved states return close to their initial configurations after at least one state has deviated significantly. It derives explicit bounds on this recurrence time for both continuous-time and discrete-time cases by applying Dirichlet's approximation theorem to the eigenphases of the unitary operator. The authors also present a new mathematical result on rational approximation of differences of real numbers and use it to obtain tighter bounds than those following from the standard theorem alone.

Significance. If the derivations hold, the work supplies concrete, dimension- and ε-dependent upper bounds on recurrence times in finite quantum systems, exploiting the almost-periodicity of unitary flows on finite-dimensional Hilbert spaces. The connection to Dirichlet's theorem is standard and appropriate; the new approximation lemma, if correct and non-trivial, may have independent value in Diophantine approximation and could tighten recurrence estimates in other almost-periodic quantum or classical settings. The results are falsifiable via explicit diagonalization of small-dimensional unitaries and provide quantitative content to the Poincaré recurrence theorem in the quantum finite case.

major comments (1)

[Section presenting the new mathematical result and its application to recurrence time] The central claim that the new approximation result yields strictly tighter bounds than the direct application of Dirichlet's theorem is load-bearing for the paper's contribution. The manuscript must therefore state the precise improvement in the constant (or the functional dependence on d and ε) and verify that the lemma's hypotheses are satisfied by the eigenphase differences arising from a generic unitary. Without an explicit comparison of the two bounds (e.g., in the statement following the lemma), it is impossible to assess whether the refinement is meaningful or merely cosmetic.

minor comments (3)

[Definition of recurrence time] The definition of recurrence time requires an explicit choice of the closeness threshold ε and the 'significant deviation' threshold; the dependence of the final bound on these parameters should be stated uniformly for both continuous and discrete cases.
[Application of Dirichlet's theorem] The statement of Dirichlet's theorem used (the box-principle form for simultaneous approximation) should be quoted or referenced with the exact constants that enter the bound, so that the improvement claimed via the new lemma can be checked numerically for small d.
[Preliminaries] Notation for the eigenfrequencies or phases (e.g., whether they are taken modulo 2π) is introduced without a dedicated paragraph; a short table or list of symbols would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive feedback. We address the single major comment below and will incorporate the requested clarifications in the revised version.

read point-by-point responses

Referee: [Section presenting the new mathematical result and its application to recurrence time] The central claim that the new approximation result yields strictly tighter bounds than the direct application of Dirichlet's theorem is load-bearing for the paper's contribution. The manuscript must therefore state the precise improvement in the constant (or the functional dependence on d and ε) and verify that the lemma's hypotheses are satisfied by the eigenphase differences arising from a generic unitary. Without an explicit comparison of the two bounds (e.g., in the statement following the lemma), it is impossible to assess whether the refinement is meaningful or merely cosmetic.

Authors: We agree that an explicit side-by-side comparison of the two bounds is needed to demonstrate that the improvement is substantive. In the revised manuscript we will add, immediately after the statement of the new lemma, a remark that (i) recalls the bound obtained from the standard Dirichlet theorem and (ii) states the tightened bound furnished by the lemma, making the improvement in the functional dependence on dimension d and accuracy ε fully explicit. Regarding the hypotheses, the lemma applies to any finite collection of real numbers; the eigenphases of a generic unitary are arbitrary (modulo 2π), so their differences satisfy the lemma’s conditions. We will include a short paragraph confirming this applicability for generic unitaries. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies external theorem and proves independent lemma

full rationale

The paper defines recurrence time via simultaneous return of all states in a finite-dimensional unitary evolution and invokes Dirichlet's approximation theorem on the eigenphases to bound the first time at which all phases are close to integer multiples of 2π after a significant excursion. It separately proves a new result on rational approximation of differences of reals and uses that lemma to tighten the constant in the bound. Neither step reduces to a self-definition, a fitted parameter renamed as prediction, or a self-citation chain; the central existence statement follows directly from the external number-theoretic tool applied to the almost-periodic vector of phases, and the lemma is an independent mathematical contribution whose proof is internal to the paper but does not presuppose the target recurrence bound.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

Based on abstract only; the approach rests on the standard assumption of unitary evolution in finite dimensions plus the specific definition of recurrence time that involves unspecified closeness parameters.

free parameters (1)

closeness threshold epsilon
The definition of 'close to their initial configuration' and 'deviated significantly' implicitly depends on a distance threshold that affects the numerical value of the bound.

axioms (1)

domain assumption Finite-dimensional Hilbert space with unitary time evolution
This guarantees the evolution operator is almost periodic, allowing Dirichlet's theorem to bound the return time.

pith-pipeline@v0.9.0 · 5409 in / 1308 out tokens · 77215 ms · 2026-05-10T10:34:29.594368+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 4 canonical work pages · 1 internal anchor

[1]

Recurrence Time for Finite Quantum Systems

studies exact recurrence for Floquet systems. An- other interesting work has linked the framework for equi- libration and recurrence together [13]. Our approach incorporates both pure and mixed states, and uses the trace distance to quantify the strength of recurrence. To bound the recurrence time, we utilise the simultaneous version of Dirichlet approx- ...

work page internal anchor Pith review Pith/arXiv arXiv 2026
[2]

Bocchieri and A

P. Bocchieri and A. Loinger, Quantum recurrence theo- rem, Physical Review107, 337 (1957)

1957
[3]

Peres, Recurrence phenomena in quantum dynamics, Physical Review Letters49, 1118 (1982)

A. Peres, Recurrence phenomena in quantum dynamics, Physical Review Letters49, 1118 (1982)

1982
[4]

Hogg and B

T. Hogg and B. A. Huberman, Recurrence phenomena in quantum dynamics, Physical Review Letters48, 711 (1982)

1982
[5]

Wallace, Recurrence theorems: a unified account, Journal of Mathematical Physics56, 10.1063/1.4907384 (2015)

D. Wallace, Recurrence theorems: a unified account, Journal of Mathematical Physics56, 10.1063/1.4907384 (2015)

work page doi:10.1063/1.4907384 2015
[6]

Bialynicki-Birula, Weyl, dirac, and maxwell equations onalatticeasunitarycellularautomata,PhysicalReview D49, 6920 (1994)

I. Bialynicki-Birula, Weyl, dirac, and maxwell equations onalatticeasunitarycellularautomata,PhysicalReview D49, 6920 (1994)

1994
[7]

Farrelly, A review of quantum cellular automata, Quantum4, 368 (2020)

T. Farrelly, A review of quantum cellular automata, Quantum4, 368 (2020)

2020
[8]

Bhattacharyya and D

K. Bhattacharyya and D. Mukherjee, On estimates of the quantum recurrence time, Journal of Chemical Physics 84, 3212 (1986)

1986
[9]

Gimeno and J

V. Gimeno and J. M. Sotoca, Upper bounds for the poincaré recurrence time in quantum mixed states, Jour- nal of Physics A: Mathematical and Theoretical50, 185302 (2017)

2017
[10]

L. C. Venuti, The recurrence time in quantum mechanics (2015), arXiv:1509.04352

work page arXiv 2015
[11]

F. A. Grünbaum, L. Velázquez, A. H. Werner, and R. F. Werner, Recurrence for discrete time unitary evo- lutions, Communications in Mathematical Physics320, 543 (2013)

2013
[12]

P.Sinkovicz, Z.Kurucz, T.Kiss,andJ.K.Asbóth,Quan- tized recurrence time in unital iterated open quantum dynamics, Physical Review A91, 042108 (2015)

2015
[13]

Anand, D

A. Anand, D. Valluri, J. Davis, and S. Ghose, Quan- tum recurrences and the arithmetic of Floquet dynamics, Quantum10, 2074 (2026)

2074
[14]

Riddell, N

J. Riddell, N. J. Pagliaroli, and Álvaro M. Alhambra, Concentration of quantum equilibration and an estimate of the recurrence time, SciPost Phys.15, 165 (2023)

2023
[15]

S. W. Schmidt,Diophantine approximation, Lecture Notes in Mathematics, Vol. 785 (Springer, 1980)

1980
[16]

Kotowski and M

M. Kotowski and M. Oszmaniec, Tight bounds on recurrence time in closed quantum systems (2026), arXiv:2601.10409

work page arXiv 2026