Optimal dispersion for discrete periodic Schr\"odinger operators

David Damanik (Rice University); Giorgio Young (University of Michigan); Jake Fillman (Texas A&M University)

Optimal dispersion for discrete periodic Schr\"odinger operators

T0 review · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read Periodic discrete Schrödinger operators on Z satisfy the optimal dispersive bound ||e^{-itH}ψ||_∞ ≤ M⟨t⟩^{-1/3}||ψ||_1, matching the free lattice rate for every period.

desk verdict Optimal t^{-1/3} dispersion for all periodic discrete Schrödinger operators: a significant result with a clean new structural lemma, needing only minor fixes in the proof details. read the letter →

arxiv 2505.14475 v1 pith:LJVRLBFC submitted 2025-05-20 math.SP math-phmath.APmath.MP

David Damanik (Rice University) , Jake Fillman (Texas A&M University) , Giorgio Young (University of Michigan) This is my paper · ORCID

classification math.SPmath-phmath.APmath.MP

keywords discreteodingerperiodicschrdispersiveoperatorsoptimaladditionally

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

The paper studies particles hopping on an infinite repeating lattice, with a periodic potential. The time evolution e^{-itH} spreads a localized wave packet, and a dispersive estimate bounds the tallest remaining bump by a power of time. For the empty lattice, the decay rate is t^{-1/3}. Earlier work by Mi and Zhao proved decay for periodic potentials, but for period p the rate was t^{-1/(p+1)} when p≥3, which gets weaker as the period grows. The authors show that the free rate t^{-1/3} holds for every period.

Their proof uses Bloch-Floquet decomposition, turning the operator into a family of p×p matrices H(k) parameterized by momentum k, with band functions E_j(k). The wave packet becomes a sum of oscillatory integrals with phase t E_j(k) plus a linear term. A classical van der Corput lemma bounds such integrals by t^{-1/3} when either the second or third derivative of the phase is bounded away from zero. The key new ingredient is a structural result: for every band function, the second and third derivatives cannot both vanish at the same point. This is proved through the Marchenko-Ostrovski mapping, a Herglotz function recording the complex quasimomentum. That nondegeneracy gives a uniform constant δ>0, making the van der Corput lemma applicable on the whole Brillouin zone.

A corollary, obtained by standard contraction arguments, gives t^{-1/3} decay for the discrete nonlinear Schrödinger equation with small initial data and power nonlinearity, improving the allowable nonlinearities from σ>p+3 to σ>5.

Extended reading notes

Core claim

Theorem 1.1: If V: Z → R is periodic, there is a constant M > 0 such that ||e^{-itH_V}ψ||_∞ ≤ M⟨t⟩^{-1/3}||ψ||_1 for all t ∈ R and all ψ ∈ ℓ^1(Z). If correct, every periodic discrete Schrödinger operator on the line achieves the same dispersive decay rate as the free lattice.

Load-bearing premise

The proof depends on the band functions E_{V,j}(k), j=1,...,p, satisfying δ(V) := min_j min_k (|E''_{V,j}(k)| + |E'''_{V,j}(k)|) > 0 (Corollary 2.2). This nondegeneracy is established using the Marchenko-Ostrovski mapping Θ: the positivity of Θ' and Θ''' in the interior of the spectrum, and the nonvanishing of E''_j at open gap edges, force the second and third derivatives of each band function to never vanish simultaneously. If this premise failed, the van der Corput estimates in Section 3 would degrade and the uniform t^{-1/3} rate could fail.

Share X Bluesky LinkedIn Reddit HN

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

Punchline: the paper proves the optimal t^{-1/3} dispersive decay for every periodic discrete Schrödinger operator on Z, removing the period-dependent exponent t^{-1/(p+1)} of Mi-Zhao. The main novelty is Corollary 2.2, a uniform nondegeneracy statement for the band functions obtained through the Marchenko–Ostrovski mapping. That lemma is new and is the engine that lets a standard van der Corput argument achieve the free rate.

What’s good: the proof is coherent and essentially self-contained. The Floquet decomposition, the analysis of Θ, and the oscillatory integral estimates all fit together. The paper is clearly written and gives proper credit to the prior work. The NLS corollary with σ>5 is a clean by-product. I checked the main line of reasoning and did not find a load-bearing error.

Soft spots, in order of seriousness. First, the constant C_{V,j} in Section 3 is defined using ∫_B ||v'_j(k)||^2 dk. The text says the eigenvectors are continuous on [0,π/p] and analytic on (0,π/p), citing Kato. That alone does not guarantee square-integrability of the derivative up to the boundary. For this specific Jacobi family the dangerous singularities should not occur on the half-open interval — the branches are smooth up to the endpoints — but the paper does not show it. This is a gap in justification, not a fatal flaw; it can be fixed by a short argument that the eigenvectors are algebraic functions of e^{ik} with no branch point on the real interval, or by proving the L^2 bound directly. A referee should ask for that.

Second, the bound on ∑_j C_{V,j} appears to lose a factor of p in the endpoint-sum contribution; the explicit constant in (3.3) should carry a p max_j(...) instead of max_j(...). The rate is unaffected and the fix is trivial.

I also note the stress-test worry about the eigenvector derivative: it focuses on the same regularity issue. As written, the proof is incomplete there, but I think the gap is real and patchable, not fatal. The central theorem is very likely true.

Bottom line: this is a significant step for the subfield, the new structural lemma is worth having on its own, and the paper deserves a serious referee. I would send it to review and ask for a revision addressing the regularity justification and the constant. I’d bring it to a reading group.

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

No free parameters fitted to data; the proof is analytic and self-contained modulo standard Floquet theory. The main background inputs are standard spectral theory of periodic Jacobi matrices and the van der Corput lemma. The eigenvector regularity assumption is standard but not proved in detail in the paper.

assumptions (6)

standard math Floquet-Bloch decomposition represents H as a direct integral of p×p matrices H(k) over the Brillouin zone.
Used in Section 3 (Lemma 3.1) to express the evolution as oscillatory integrals with phases tE_j(k); standard periodic spectral theory, cf. [10, Section 7.2].
standard math The Marchenko-Ostrovski mapping Θ is a Herglotz function satisfying Δ(z) = 2 cos(pΘ(z)) on C^+.
Defined in Eq. (2.7); the paper relies on the Herglotz representation and the Stieltjes inversion formula to prove positivity of Θ' and Θ''' in Lemma 2.1.
standard math Band functions E_j are monotone on [0, π/p] with edges at k = 0 and k = π/p.
Eq. (2.5); used in Corollary 2.2 to reduce band-edge checks to endpoints.
standard math ImΘ > 0 on R\Σ and Θ extends continuously to the closed upper half-plane, with analytic extension through spectral interiors.
Used in Lemma 2.1 to convert boundary values into an integral representation for Θ'; standard properties of the quasimomentum, cf. [28].
standard math van der Corput lemma with perturbing linear phase (Lemma A.1).
Appendix A; the central oscillatory integral estimate, proved in the paper.
domain assumption One can choose eigenvectors v_j(k) continuous on [0, π/p] and analytic on (0, π/p) with ∫_B ||v_j'(k)||^2 dk finite, and the sets {k: |E_j''(k)| ≥ δ/2} have finitely many components.
Section 2 (eigenvector discussion) and Section 3 (definition of K_j^i); cited to [24] and [16, Lemma 3], but the derivative integrability near band edges is not proved in detail.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Optimal dispersion for discrete periodic Schr\"odinger operators." pith.science (2026). https://pith.science/paper/LJVRLBFC

@misc{pith2026250514475,
  author       = {Pith},
  title        = {Pith review of: Optimal dispersion for discrete periodic Schr\"odinger operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LJVRLBFC}},
  note         = {Machine review of arXiv:2505.14475}
}

read the original abstract

We prove a dispersive estimate for periodic discrete Schr\"odinger operators on the line with optimal rate of decay. Additionally, by standard methods, we deduce dispersive estimates for the discrete nonlinear Schr\"odinger equation with small initial data and suitable nonlinearity when the underlying Hamiltonian is periodic.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Sharp Polynomial Velocity Decay Bounds for Multidimensional Periodic Schr\"odinger Operators
math-ph 2025-09 conditional novelty 7.0 of 10

The group velocity and Lieb-Robinson velocity of a periodic Schrodinger operator decay as mu^{-p0+1} in the large-coupling limit, where p0 is the minimal period.
Fourier decay of equilibrium states and the Fibonacci Hamiltonian
math.DS 2025-07 conditional novelty 7.0 of 10

Power Fourier decay is proved for equilibrium states of nonlinear area-preserving Axiom A surface diffeomorphisms, giving positive lower Fourier dimension for certain C^{1+} self-conformal measures and for the Fibonac...

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · cited by 2 Pith papers

[1]

Amrein and V

W. Amrein and V. Georgescu. Characterization of bound states and scattering states in quantum mechanics. Technical report, Univ., Geneva, 19 73

work page
[2]

Asch and A

J. Asch and A. Knauf. Motion in periodic potentials. Nonlinearity, 11(1):175– 200, jan 1998

work page 1998
[3]

Bambusi and Z

D. Bambusi and Z. Zhao. Dispersive estimate for quasi-periodic S chr¨ odinger operators on 1-d lattices. Adv. Math., 366:107071, 2020

work page 2020
[4]

Boutet de Monvel and M

A. Boutet de Monvel and M. Sabri. Ballistic transport in periodic an d random media. In From Complex Analysis to Operator Theory—a Panorama , volume 291 of Oper. Theory Adv. Appl. , pages 163–216. Birkh¨ auser/Springer, Cham, 2023

work page 2023
[5]

F. S. Cataliotti, S. Burger, C. Fort, P. Maddaloni, F. Minardi, A. T rombettoni, A. Smerzi, and M. Inguscio. Josephson junction arrays with Bose- Einstein condensates. Science, 293(5531):843–846, 2001

work page 2001
[6]

F. S. Cataliotti, L. Fallani, F. Ferlaino, C. Fort, P. Maddaloni, and M . Ingus- cio. Superﬂuid current disruption in a chain of weakly coupled Bose–E instein condensates. New J. Physics , 5(1):71, 2003

work page 2003
[7]

Cuccagna

S. Cuccagna. Dispersion for Schr¨ odinger equation with periodic potential in 1d. Commun. Partial. Diﬀer. Equ. , 33(11):2064–2095, 2008

work page 2008
[8]

H. L. Cycon, R. G. Froese, W. Kirsch, and B. Simon. Schr¨ odinger Opera- tors with Application to Quantum Mechanics and Global Geome try. Texts and Monographs in Physics. Springer-Verlag, Berlin, study edition, 198 7

work page

Show all 47 references

[9]

Damanik and J

D. Damanik and J. Fillman. One-Dimensional Ergodic Schr¨ odinger Operators: I. General Theory , volume 221 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2022. 16 D. DAMANIK, J. FILLMAN, AND G. YOUNG

2022
[10]

Damanik and J

D. Damanik and J. Fillman. One-Dimensional Ergodic Schr¨ odinger Operators—II. Speciﬁc Classes , volume 249 of Graduate Studies in Mathe- matics. American Mathematical Society, Providence, RI, 2024

2024
[11]

Damanik, M

D. Damanik, M. Lukic, and W. Yessen. Quantum dynamics of perio dic and limit-periodic Jacobi and block Jacobi matrices with applications to so me quantum many body problems. Comm. Math. Phys. , 337:1535–1561, 2015

2015
[12]

Damanik, T

D. Damanik, T. Malinovitch, and G. Young. What is ballistic transpo rt? J. Spectr. Theory, Oct. 2024

2024
[13]

N. K. Efremidis, S. Sears, D. N. Christodoulides, J. W. Fleischer , and M. Segev. Discrete solitons in photorefractive optically induced photonic lattic es. Phys. Rev. E , 66(4):046602, 2002

2002
[14]

I. E. Egorova. Spectral analysis of Jacobi limit-periodic matric es. Dokl. Akad. Nauk Ukrain. SSR Ser. A , (3):7–9, 85, 1987

1987
[15]

Eisenberg, R

H. Eisenberg, R. Morandotti, Y. Silberberg, J. Arnold, G. Penn elli, and J. Aitchison. Optical discrete solitons in waveguide arrays. i. soliton forma- tion. J. Opt. Soc. Am. B , 19(12):2938–2944, 2002

2002
[16]

L. H. Eliasson. Discrete one-dimensional quasi-periodic Schr¨ o dinger operators with pure point spectrum. Acta Math. , 179(2):153–196, 1997

1997
[17]

V. Enss. Asymptotic completeness for quantum mechanical po tential scatter- ing: I. short range potentials. Comm. Math. Phys. , 61(3):285–291, 1978

1978
[18]

J. Fillman. Ballistic transport for limit-periodic Jacobi matrices wit h applica- tions to quantum many-body problems. Comm. Math. Phys. , 350:1275–1297, 2017

2017
[19]

J. Fillman. Ballistic transport for periodic Jacobi operators on Zd. In From Operator Theory to Orthogonal Polynomials, Combinatorics , and Number Theory—a Volume in Honor of Lance Littlejohn’s 70th Birthda y, volume 285 of Oper. Theory Adv. Appl. , pages 57–68. Birkh¨ auser/S...

2021
[20]

N. E. Firsova. The direct and inverse scattering problems for t he one- dimensional perturbed Hill operator. Mat. Sb. , 58(2):351, 1987

1987
[21]

Ge and I

L. Ge and I. Kachkovskiy. Ballistic transport for one-dimension al quasiperiodic Schr¨ odinger operators.Comm. Pure Appl. Math. , 76(10):2577–2612, 2023

2023
[22]

Kachkovskiy

I. Kachkovskiy. On transport properties of isotropic quasipe riodic XY spin chains. Comm. Math. Phys. , 345:659–673, 2016

2016
[23]

Kassem, A

R. Kassem, A. Sagiv, and M. Weinstein. Dispersive decay estimat es for periodic Jacobi operators on the half-line, 2025. preprint

2025
[24]

T. Kato. Perturbation Theory for Linear Operators . Classics in Mathematics. Springer, Berlin, Heidelberg, 1995

1995
[25]

Kevrekidis, K

P. Kevrekidis, K. Rasmussen, and A. Bishop. The discrete nonlin ear Schr¨ odinger equation: a survey of recent results.International Journal of Mod- ern Physics B , 15(21):2833–2900, 2001

2001
[26]

E. L. Korotyaev. Some properties of the quasimomentum of th e one- dimensional hill operator. J. Sov. Math. , 62(6):3081–3087, 1992

1992
[27]

Y. Last. Quantum dynamics and decompositions of singular cont inuous spec- tra. J. Funct. Anal. , 154:406–445, 1996

1996
[28]

Luki´ c.A First Course in Spectral Theory , volume 226 of Graduate Studies in Mathematics

M. Luki´ c.A First Course in Spectral Theory , volume 226 of Graduate Studies in Mathematics . American Mathematical Society, 2022

2022
[29]

Mi and Z

Y. Mi and Z. Zhao. Dispersive estimate for two-periodic discret e one- dimensional Schr¨ odinger operator.J. Math. Anal. Appl. , 485(1):123768, 2020. OPTIMAL DISPERSION FOR PERIODIC SCHR ¨ODINGER OPERATORS 17

2020
[30]

Mi and Z

Y. Mi and Z. Zhao. Dispersive estimates for periodic discrete on e-dimensional Schr¨ odinger operators.Proc. Am. Math. Soc , 150(1):267–277, 2022

2022
[31]

Mielke and C

A. Mielke and C. Patz. Dispersive stability of inﬁnite-dimensional H amiltonian systems on lattices. Appl. Anal. , 89(9):1493–1512, 2010

2010
[32]

Pastur and V

L. Pastur and V. Tkachenko. On the spectral theory of the o ne-dimensional Schr¨ odinger operator with limit-periodic potential (Russian).Dokl. Akad. Nauk SSSR, 279:1050–1053, 1984

1984
[33]

Pastur and V

L. Pastur and V. Tkachenko. Spectral theory of a class of on e-dimensional Schro¨dinger operators with limit-periodic potentials (Russian). Trudy Moskov. Mat. Obshch. , 51:114–168, 1988

1988
[34]

D. E. Pelinovsky and A. Stefanov. On the spectral theory and dispersive es- timates for a discrete schr¨ odinger equation in one dimension. J. Math. Phys. , 49(11), 2008

2008
[35]

Peschel, R

U. Peschel, R. Morandotti, J. M. Arnold, J. S. Aitchison, H. S. E isenberg, Y. Silberberg, T. Pertsch, and F. Lederer. Optical discrete solito ns in waveg- uide arrays. 2. dynamic properties. J. Opt. Soc. Am. B , 19(11):2637–2644, 2002

2002
[36]

D. Ruelle. A remark on bound states in potential-scattering the ory. Il Nuovo Cimento A (1965-1970) , 61(4):655–662, 1969

1965
[37]

W. Schlag. Dispersive estimates for schr¨ odinger operators: A survey. Ann. Math. Stud. , 02 2005

2005
[38]

B. Simon. Absence of ballistic motion. Comm. Math. Phys. , 149:209–212, 1990

1990
[39]

B. Simon. Szeg˝ o’s theorem and its descendants. M. B. Porter Lectures. Prince- ton University Press, Princeton, NJ, 2011. Spectral theory for L2 perturbations of orthogonal polynomials

2011
[40]

Stefanov and P

A. Stefanov and P. G. Kevrekidis. Asymptotic behaviour of sma ll solutions for the discrete nonlinear Schr¨ odinger and Klein–Gordon equations. Nonlinearity, 18(4):1841, 2005

2005
[41]

E. M. Stein and T. S. Murphy. Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals , volume 3. Princeton University Press, 1993

1993
[42]

A. A. Sukhorukov, Y. S. Kivshar, H. S. Eisenberg, and Y. Silber berg. Spatial optical solitons in waveguide arrays. IEEE J. Quantum Electron. , 39(1):31–50, 2003

2003
[43]

G. Teschl. Jacobi operators and completely integrable nonlinear latt ices, vol- ume 72 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2000

2000
[44]

G. Young. Ballistic transport for limit-periodic Schr¨ odinger ope rators in one dimension. J. Spectr. Theory , 13(2):451–489, 2023

2023
[45]

Zhang and Z

Z. Zhang and Z. Zhao. Ballistic transport and absolute continuit y of one- frequency Schr¨ odinger operators.Comm. Math. Phys. , 351:877–921, 2017

2017
[46]

Z. Zhao. Ballistic motion in one-dimensional quasi-periodic discret e Schr¨ odinger equation.Comm. Math. Phys. , 347:511–549, 2016

2016
[47]

Z. Zhao. Ballistic transport in one-dimensional quasi-periodic co ntinuous Schr¨ odinger equation.J. Diﬀer. Equ. , 262:4523–4566, 2017. 18 D. DAMANIK, J. FILLMAN, AND G. YOUNG Department of Mathematics, Rice University, Houston, TX 77 005, USA Email address : damanik@rice.edu ...

2017

Pith tools

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

[1] [1]

Amrein and V

W. Amrein and V. Georgescu. Characterization of bound states and scattering states in quantum mechanics. Technical report, Univ., Geneva, 19 73

work page

[2] [2]

Asch and A

J. Asch and A. Knauf. Motion in periodic potentials. Nonlinearity, 11(1):175– 200, jan 1998

work page 1998

[3] [3]

Bambusi and Z

D. Bambusi and Z. Zhao. Dispersive estimate for quasi-periodic S chr¨ odinger operators on 1-d lattices. Adv. Math., 366:107071, 2020

work page 2020

[4] [4]

Boutet de Monvel and M

A. Boutet de Monvel and M. Sabri. Ballistic transport in periodic an d random media. In From Complex Analysis to Operator Theory—a Panorama , volume 291 of Oper. Theory Adv. Appl. , pages 163–216. Birkh¨ auser/Springer, Cham, 2023

work page 2023

[5] [5]

F. S. Cataliotti, S. Burger, C. Fort, P. Maddaloni, F. Minardi, A. T rombettoni, A. Smerzi, and M. Inguscio. Josephson junction arrays with Bose- Einstein condensates. Science, 293(5531):843–846, 2001

work page 2001

[6] [6]

F. S. Cataliotti, L. Fallani, F. Ferlaino, C. Fort, P. Maddaloni, and M . Ingus- cio. Superﬂuid current disruption in a chain of weakly coupled Bose–E instein condensates. New J. Physics , 5(1):71, 2003

work page 2003

[7] [7]

Cuccagna

S. Cuccagna. Dispersion for Schr¨ odinger equation with periodic potential in 1d. Commun. Partial. Diﬀer. Equ. , 33(11):2064–2095, 2008

work page 2008

[8] [8]

H. L. Cycon, R. G. Froese, W. Kirsch, and B. Simon. Schr¨ odinger Opera- tors with Application to Quantum Mechanics and Global Geome try. Texts and Monographs in Physics. Springer-Verlag, Berlin, study edition, 198 7

work page