Long time behaviour of a local perturbation in the isotropic XY chain under periodic forcing

Giuseppe Genovese; Livia Corsi

REVIEW 3 major objections 5 minor 17 references

Long time behaviour of a local perturbation in the isotropic XY chain under periodic forcing

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that a periodically driven impurity in the isotropic XY spin chain synchronizes with the drive even at low non-resonant frequencies, approaching a periodic state at rate $O(1/\sqrt{t-t_0})$.

desk verdict The paper's central existence claim is not proved: Proposition 3.2 is false already for constant forcing, so the renormalized series need not converge. read the letter →

arxiv 1908.09035 v2 pith:HJWYRJRW submitted 2019-08-23 math-ph math.MP

Livia Corsi , Giuseppe Genovese This is my paper · ORCID

classification math-phmath.MP MSC 82C1037K5545D05

keywords isotropicXYchainperiodicdrivingFloquet–SchrödingerequationsynchronizationKAMrenormalisationsmalldenominatorsVolterraintegralequationslocalperturbation

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes a synchronization theorem for a quantum impurity: when the isotropic XY spin chain is driven by a periodic transverse field at one site, the long-time state of the chain locks to the driving period. The proof shows that, for any driving frequency $\omega$ whose ratio $2g/\omega$ stays a positive distance away from the integers, and for a field strength $h$ small enough relative to $\omega$, the asymptotic one-body Floquet–Schrödinger equation has a periodic solution $\psi_\infty$, and the actual finite-initial-time solution approaches it at rate $O(1/\sqrt{t-t_0})$. This covers arbitrarily low driving frequencies, the regime where the moving impurity eigenvalue can touch the continuum band and where high-frequency expansions do not apply.

What carries the argument

The key machinery is a resummed Lindstedt–Neumann series organized by 'reeds', linear rooted trees whose nodes carry Fourier mode labels $k_v$ and whose lines carry momenta $\mu_\ell$. The dangerous propagators are the functions $j_\mu(\xi)$ for $|\mu|\leq\lfloor 2\alpha\rfloor$, singular at the band points $\xi_\mu$; each singular line is split into a localized part $Lj_\mu$ and a regularized part $Rj_\mu$. Chains of resonances of degree one and two are summed exactly, replacing localized propagators by the renormalized propagator $Lj^R_\mu(\xi) = Lj_\mu(\xi)/(1 - M_\mu(\xi,\gamma)Lj_\mu(\xi))$, where $M_\mu$ is the Fourier-wrapped self-energy from those resonances. Proposition 3.2 uses sign information in the kernel to keep the denominator away from zero, and Proposition 3.3 bounds the renormalized amplitude; the two combine into the convergence condition $\gamma^3 T B^3 < 1$ and the explicit threshold $\gamma_0$ in (3.24).

What would settle it

Numerically integrate the fermionized XY chain with a single-site cosine drive $V(\phi)=\cos\phi$ at a non-resonant low frequency such as $\omega = 4g/5$ (so $2g/\omega = 5/2$) and with $h/\omega$ below the bound of Theorem 1.1; if the impurity magnetization does not become periodic with period $2\pi/\omega$, or if the approach rate is slower than $O(1/\sqrt{t-t_0})$, the synchronization claim collapses.

Watch

Extended reading notes

Core claim

The central discovery is that the highly resonant Floquet–Schrödinger equation $(1 + i h W_\infty)\psi = 1$, with the infinite-past Volterra memory operator $W_\infty$, has a genuine periodic solution of the driving frequency under the gap condition $\inf_{k\in\mathbb N}|2g/\omega - k| = \bar\epsilon > 0$ and the smallness condition $h < \gamma_0(\omega,g,V)\omega$. Moreover, the solution of the finite-initial-time equation with $W_{t_0}$ satisfies $\psi_{t_0}(x,t) = \psi_\infty(x,\omega t) + O(1/\sqrt{t-t_0})$. In plain terms, a small impurity driven at a non-resonant frequency falls into a periodic steady state synchronized with the drive, even at low frequencies where the static impurity eigenvalue crosses the continuum band; the small denominators that appear in the perturbation series are cured by a renormalisation of the series itself.

Load-bearing premise

The load-bearing premise is that the many-spin XY chain is exactly represented by the one-particle memory equation (1.4)–(1.9), and that replacing the finite-past memory operator $W_{t_0}$ by its infinite-past limit $W_\infty$ does not lose the long-time physics.

Editorial extensions

If this is right

The local state of the driven chain is asymptotically periodic with the driving period for every non-resonant frequency, including low frequencies at which a high-frequency expansion would not converge.
The approach to the synchronized state is algebraic, at rate $O(1/\sqrt{t-t_0})$, with no dependence of the exponent on the field strength.
The threshold $\gamma_0 = \gamma_0(\omega,g,V)$ is explicitly computable from eq. (3.24), so the guaranteed-synchronization regime can be checked from the parameters of the drive.
The construction covers both a nonzero mean of the forcing ($V_0 \neq 0$) and purely oscillatory forcing ($V_0 = 0$), so the phenomenon is not an artefact of a static field component.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A natural extension, not claimed in the paper, is that the same renormalized-series mechanism applies to a periodic field acting on several sites, as long as the perturbation stays of finite rank in the fermionic representation; the resonance graph then has additional node types but the same resummation step.
The explicit dependence of $\gamma_0$ on $\bar\epsilon$ suggests a quantitative prediction: the closer $2g/\omega$ comes to an integer, the weaker the field must be for synchronization, so the transition could be probed by tuning the frequency across a resonance.
The excluded case $2g/\omega \in \mathbb N$ is left open; based on the first-order divergence at $\omega=2g$ recalled in the introduction, one expects non-periodic or growing responses there rather than a synchronized steady state.
A reader could test the free-fermion consequence for the many-body state: the reduced density matrix of any finite block around the impurity should become periodic with the driving period, a statement weaker than but implied by the one-particle convergence theorem.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Dear Colleague,

I read the Corsi–Genovese preprint on the long-time behaviour of a local perturbation in the driven isotropic XY chain. The honest bottom line: the advertised existence result is not established, because the key small-denominator estimate, Proposition 3.2, is false.

What is genuinely there: the problem is well posed and the low-frequency regime is worth attacking. The mapping to a Floquet–Schrödinger equation with a memory kernel is standard from earlier work, but the resummation of degree-one and degree-two resonances in the Lindstedt series is a technically new step, and the graphical formalism is clean. The paper is also careful to state its diophantine assumption and to give explicit convergence bounds. So the framework deserves attention.

Now the flaw. For V(φ)≡V0>0, the simplest forcing, (3.8) reduces to Mμ = −iγV0 for μ≥1: the degree-two sum vanishes because V_k=0 for k≠0, and the k=0 term, even if present in the sum, has Rjμ identically zero on the localization interval. Lemma 2.2 gives Ljμ(ξ)=i/Dμ(ξ) for ξ∈(ξμ,ξμ+r). Then 1−MμLjμ = 1−γV0/Dμ(ξ). Since Dμ runs continuously from 0 at ξμ, for every γ>0 there is a point in that interval with Dμ=γV0, where the expression is zero. That contradicts Proposition 3.2's uniform lower bound of 1/2. The origin is in (4.26): the γV0 term is put in the imaginary part, but it is really a real term that can cancel the leading 1. This is not a cosmetic issue; Proposition 3.3 and the convergence of the renormalized series rely on that same lower bound. The theorem may still be true for constant V, but the proof as written does not cover even that simple case.

The synchronization half (the O(1/√t) convergence) is also only sketched, deferring to [4]; that is a secondary concern because the existence proof fails first.

Who should read this? People working on KAM/Floquet for quantum chains will find the resummation idea worth studying, and the paper is clearly written. But the central estimate is wrong, so it should not be accepted in its current form. I would recommend rejection with a path to resubmission after the small-denominator estimate is corrected.

Referee Report

3 major / 5 minor

Summary. The paper studies the isotropic XY spin chain with a transverse magnetic field that is periodic in time and localized on a single site. The many-body dynamics is reduced to a one-particle Floquet-Schrödinger equation (1.4)–(1.9), and the main result, Theorem 1.1, claims that under the Diophantine-type condition inf_k |2g/ω − k| = ε̄ > 0 and for h sufficiently small, the asymptotic equation (1 + i h W∞)ψ = 1 has a periodic solution of frequency ω, and that the finite-history solution ψ_{t0} converges to it as O(1/√(t−t0)). The proof constructs the periodic solution by writing a Lindstedt/Neumann series and resumming it via a KAM-type renormalisation: resonances of degree one and two are removed, and the renormalised propagators are controlled by Proposition 3.2 (a uniform lower bound on the resummation denominator) and Proposition 3.3 (bounds on the renormalised propagators), leading to a convergence radius for the renormalised series. The convergence half of Theorem 1.1 is supported only by a sketched appendix that imports key estimates from the authors' earlier paper [4].

Significance. If the theorem were established, it would be a significant extension of the previous work [4]: it would show that a periodically driven local impurity in a free-fermion chain synchronizes with the drive at arbitrarily low frequencies, under a non-resonance condition on 2g/ω, going beyond the standard high-frequency regime. The paper is constructive and parameter-free: the small-denominator problem is attacked with explicit resummations and quantitative bounds rather than with fitted parameters. The main limitation as it stands is that the central renormalisation estimate contains a sign error and is false in an allowed case, so the existence proof does not currently support the theorem. The convergence part is also not self-contained. These issues are load-bearing, but the overall strategy is plausible and may be repairable.

major comments (3)

[§4, Proposition 3.2 and Eq. (4.26)] The estimate (3.10) is false for V(φ) ≡ V0 > 0, a case explicitly allowed in (3.9). For this forcing, (3.8) gives Mμ(ξ) = −iγV0. For μ ≥ 1 and ξ ∈ (ξμ, ξμ+r), Lemma 2.2(vi) gives Ljμ(ξ) = i/Dμ(ξ), hence 1 − Mμ(ξ)Ljμ(ξ) = 1 − γV0/Dμ(ξ). Since Dμ(ξμ) = 0 and Dμ is continuous, for every γ > 0 there is a point in the interval with Dμ = γV0, at which the left-hand side of (3.10) is zero. This contradicts the claimed uniform lower bound of 1/2. The origin is the algebra in (4.26): combining (4.4) with the ξ ∈ (ξμ, ξμ+r) case of Lemma 4.2 gives a real part that contains −γV0/Dμ plus a contribution involving D_{μ+k}^{-1}, and an imaginary part γ²K1/Dμ, where K1 uses D_{μ−k}^{-1}; equation (4.26) instead moves γV0/Dμ into the imaginary part with the opposite sign and uses K1 in both the real and imaginary parts. Adding nonconstant Fourier modes does not repair the bound: for small |Vk|, k ≠ 0, at Dμ ≈ γV0 the γ² corrections are O(γ), not O(1), so (3.10) still cannot hold. Since (3.10) is the input for the renormalised propagator (3.11) and for the bounds (3.18)–(3.22), the convergence of the renormalised series is not proved.
[§5, Proposition 3.3] The proof of Proposition 3.3 inherits the same sign error. Equations (5.2)–(5.5) use the same rearrangement of Mμ(ξ) into real and imaginary parts as (4.26). With the correct signs, the claimed lower bounds on d(ξ) and s(ξ) in the case analysis (5.6)–(5.11) do not follow; in particular, the case distinctions rely on γV0 appearing in the imaginary part, whereas in the actual expression γV0 multiplies the real propagator jμ in a way that combines with Dμ in the real part. Consequently the bound (3.18) on LjR is not established, and the convergence-radius condition (3.22) is unsupported.
[Appendix A] Proposition 1.2, which provides the second half of Theorem 1.1, is not proved in this manuscript. The appendix is only a sketch: it explicitly treats only the case V0 = 0, it imports the crucial stationary-phase estimate (A.5) from [4, Lemma A.6], and it asserts rather than demonstrates the 'promotion by analyticity' of coefficient-wise decay after (A.7) and (A.11). The cancellation mechanism in (A.6)–(A.10) and the passage from individual Fourier coefficients to the uniform O(1/√(t−t0)) bound are exactly the points that need verification. Either a complete proof should be included, or Proposition 1.2 should be stated as a direct import from [4] with a verifiable check that its hypotheses hold in the present setting.

minor comments (5)

[§3, Eq. (3.16)] The notation V is used both for the potential and, in (3.16), for a sup-norm-type bound on its Fourier coefficients; the symbols V_{≤2α} and V_{>2α} in (3.17) are typographically close to the coefficient notation. Please use distinct symbols to avoid confusion.
[§3, Eq. (3.24)] The phrase 'Choosing ǫ = ǫ/2' appears to contain a typo; it should presumably read 'ε = ε̄/2', since the Diophantine constant is ε̄.
[Various] There are several OCR and typesetting glitches, for example '/greaterorequalslant' in the proof of Lemma 2.1 and 'deree' in Section 3; these should be cleaned up.
[References] Reference [4] is listed as Comm. Math. Phys. 35(4), 1173-1203; the volume number appears to be wrong and should be checked against the published article.
[§4, Remark 4.5] Remark 4.5 uses the expression 'V⌉2α⌉' where the notation for V_{⌈2α⌉} has not been introduced; the notation in (3.17) and Remark 4.5 should be reconciled.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the periodic solution is constructed explicitly, the small-denominator bounds are proven in the paper, and the imported self-citations are conditional lemmas rather than fitted inputs or renamed predictions.

full rationale

The paper's main new claim is the existence of a periodic solution of the asymptotic Floquet-Schrodinger equation (1.9) at low frequencies, obtained by an explicit resummation of the Neumann series. No parameter is fitted to data and no output quantity is built into the definition of an input. The renormalized propagator is derived from the series itself through the resonance resummation formula, and the decisive lower bound (3.10) is stated as Proposition 3.2 and proved from the explicit formulas for the propagators, not assumed. The self-citations to [4] are used in two places: the derivation of the effective Floquet-Schrodinger reduction (1.4)-(1.9), which is an exact mapping established in prior literature including non-overlapping classical papers [1,2], and the conditional convergence statement Proposition 1.2, which is quoted from [4, Proposition 3.1] and sketched in Appendix A with details deferred to [4]. These are parameter-free prior results with stated hypotheses, and the current existence theorem supplies the missing hypothesis needed to apply them; thus they are not a relabeling of the present conclusion and do not make the derivation circular. The skeptical objection that Proposition 3.2 may fail for constant V0 is a correctness concern about the estimates in Section 4, not a circularity concern, since a false bound is not an input disguised as an output. Overall, the derivation chain is self-contained for the existence claim once the prior reduction and convergence propositions are accepted as external mathematical facts.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No numbers are fitted to data or chosen ad hoc in a way that affects the theorem. The auxiliary scales epsilon and r in the proof are intermediate; the final smallness condition (3.24) is explicit and does not depend on them. All constants in bounds are generic. No invented entities are introduced.

assumptions (4)

domain assumption Reduction of the N-particle XY Hamiltonian (1.1) to the one-particle Floquet-Schrodinger equation (1.4) with memory term (1.5).
Imported from [1-4]; the physical synchronization conclusion is only as valid as this mapping and its thermodynamic limit.
standard math The integral identity (2.3) for j(tau) and the resulting localized propagator formulas in Lemma 2.1.
Proof cited to [4, Lemma A.3]; used to define and bound propagators.
domain assumption Decay estimates from [4, Lemma A.6] for oscillatory integrals involving J0, used in Appendix A.
The convergence part of the theorem relies on these estimates without reproduction in this preprint.
standard math Existence and uniqueness of finite-time solutions of Volterra equation (1.6) from compactness of W_{t0}.
Invoked in Section 1 with reference [5].

how reviews work

0 comments

Cite this review

Pith. "Pith review of Long time behaviour of a local perturbation in the isotropic XY chain under periodic forcing." pith.science (2026). https://pith.science/paper/HJWYRJRW

@misc{pith2026190809035,
  author       = {Pith},
  title        = {Pith review of: Long time behaviour of a local perturbation in the isotropic XY chain under periodic forcing},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HJWYRJRW}},
  note         = {Machine review of arXiv:1908.09035}
}

read the original abstract

We study the isotropic XY quantum spin chain with a time-periodic transverse magnetic field acting on a single site. The asymptotic problem can be mapped into a highly resonant Floquet-Schr\"odinger equation, for which, under a diophantine-like assumption on the frequency, we show the existence of a periodic solution. The proof is based on a KAM-type renormalisation. This in turn implies the state of the quantum spin chain to be asymptotically a periodic function synchronised with the forcing also at low frequencies.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[4]

Corsi, G

L. Corsi, G. Genovese, Periodic Driving of an Impurity in the Isotropic XY Chain , Comm. Math. Phys. 35(4), 1173-1203 (2017)

work page 2017
[1]

D. B. Abraham, E. Barouch, G. Gallavotti, A. Martin-L¨ of , Dynamics of a Local Perturbation in the XY Model. I-Approach to Equilibrium , Studies in Appl. Math. 1, 121, (1971)

work page 1971
[2]

D. B. Abraham, E. Barouch, G. Gallavotti, A. Martin-L¨ of , Dynamics of a Local Perturbation in the XY Model. II-Excitations , Studies in Appl. Math. 51, 211, (1971)

work page 1971
[3]

Genovese, On the Dynamics of XY Spin Chains with Impurities , Physica A, 434, 36, (2015)

G. Genovese, On the Dynamics of XY Spin Chains with Impurities , Physica A, 434, 36, (2015)

work page 2015
[5]

Engel and R

K.-J. Engel and R. Nagel, One Parameter Semigroups for Linear Evolution Equations , Springer New York, 2000

work page 2000
[6]

W. K. Abou Salem, J. Fr¨ ohlich. Cyclic thermodynamic processes and entropy production , J. Stat. Phys. 126.3 (2007): 431-466

work page 2007
[7]

D. A. Abanin, W. De Roeck, F. Huveneers, Exponentially slow heating in periodically driven many-bo dy systems Phys. Rev. Lett. 115.25 (2015): 256803

work page 2015
[8]

Bukov, L

M. Bukov, L. D’Alessio, A. Polkovnikov, Universal High-Frequency Behavior of Periodically Driven Sys- tems: from Dynamical Stabilization to Floquet Engineering , Adv. Phys. 64, 139-226 (2015)

work page 2015

Show all 17 references

[9]

Eckardt, E

A. Eckardt, E. Anisimovas, High-frequency approximation for periodically driven qua ntum systems from a Floquet-space perspective, New J. Phys. 17 093039 (2015)

2015
[10]

D. A. Abanin, W. De Roeck, F. Huveneers, Theory of many-body localisation periodically driven syst ems, Ann. Phys. 372 1-11, (2016)

2016
[11]

D. A. Abanin, W. De Roeck, W. W. Ho, F. Huveneers, A rigorous theory of many-body prethermalization for periodically driven and closed quantum systems , Comm. Math. Phys. 354 809-827, (2017). LONG TIME BEHA VIOUR 21

2017
[12]

Franzoi, A

L. Franzoi, A. Maspero, Reducibility for a fast driven linear Klein-Gordon equatio n, Annali di Matematica Pura ed Applicata 198, 1407-1439 (2019)

2019
[13]

J-B. Bru, W. de Siqueira Pedra, M. W estrich, Characterization of the Quasi-Stationary State of an Impurity Driven by Monochromatic Light I , Ann. H. Poincar. 13, 1305-1370, (2012)

2012
[14]

J-B. Bru, W. de Siqueira Pedra, Characterization of the Quasi-Stationary State of an Impur ity Driven by Monochromatic Light II: Microscopic Foundations Ann. H. Poincar´ e16. 6 (2015): 1429-1477

2015
[15]

Lebowitz, Hamiltonian Flows and Rigorous Results in Nonequilibrium S tatistical Mechanics , Lecture given at IUPAP Conference, University of Chigago, (1971)

J. Lebowitz, Hamiltonian Flows and Rigorous Results in Nonequilibrium S tatistical Mechanics , Lecture given at IUPAP Conference, University of Chigago, (1971)

1971
[16]

D. W. Robinson, Return to equilibrium , Comm. Math.Phys. 31 (1973), 171-189

1973
[17]

Gentile, Quasiperiodic motions in dynamical systems: review of a ren ormalization group approach , J

G. Gentile, Quasiperiodic motions in dynamical systems: review of a ren ormalization group approach , J. Math. Phys., 51 (2010), 1, 015207, 34 Dipartimento di Matematica e Fisica, Universit `a di Roma Tre, Roma, I-00146, Italy Email address : lcorsi@mat.uniroma3.it Department ...

2010

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [4]

Corsi, G

L. Corsi, G. Genovese, Periodic Driving of an Impurity in the Isotropic XY Chain , Comm. Math. Phys. 35(4), 1173-1203 (2017)

work page 2017

[2] [1]

D. B. Abraham, E. Barouch, G. Gallavotti, A. Martin-L¨ of , Dynamics of a Local Perturbation in the XY Model. I-Approach to Equilibrium , Studies in Appl. Math. 1, 121, (1971)

work page 1971

[3] [2]

D. B. Abraham, E. Barouch, G. Gallavotti, A. Martin-L¨ of , Dynamics of a Local Perturbation in the XY Model. II-Excitations , Studies in Appl. Math. 51, 211, (1971)

work page 1971

[4] [3]

Genovese, On the Dynamics of XY Spin Chains with Impurities , Physica A, 434, 36, (2015)

G. Genovese, On the Dynamics of XY Spin Chains with Impurities , Physica A, 434, 36, (2015)

work page 2015

[5] [5]

Engel and R

K.-J. Engel and R. Nagel, One Parameter Semigroups for Linear Evolution Equations , Springer New York, 2000

work page 2000

[6] [6]

W. K. Abou Salem, J. Fr¨ ohlich. Cyclic thermodynamic processes and entropy production , J. Stat. Phys. 126.3 (2007): 431-466

work page 2007

[7] [7]

D. A. Abanin, W. De Roeck, F. Huveneers, Exponentially slow heating in periodically driven many-bo dy systems Phys. Rev. Lett. 115.25 (2015): 256803

work page 2015

[8] [8]

Bukov, L

M. Bukov, L. D’Alessio, A. Polkovnikov, Universal High-Frequency Behavior of Periodically Driven Sys- tems: from Dynamical Stabilization to Floquet Engineering , Adv. Phys. 64, 139-226 (2015)

work page 2015