Pith. sign in

REVIEW 2 major objections 5 minor 30 references

For all δ<1 and almost every frequency, a bounded quasi-periodic potential with derivative growth |x|^δ can be removed from the 1D quantum harmonic oscillator by a unitary change of variables.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

For bounded potentials whose spatial derivative grows at most like |x|^δ with δ<1, the 1D quantum harmonic oscillator is reducible in L^2 for a Cantor set of frequencies of asymptotically full measure.

T0 review reviewed 2026-08-05 challenge →

load-bearing objection A genuine step toward Eliasson's open problem, with one local proof gap in Appendix A that is easily repaired; worth refereeing. the 2 major comments →

arxiv 2509.01484 v1 pith:HUD2V3WY submitted 2025-09-01 math.DS math.FA

On the reducibility of the 1d quantum harmonic oscillator with a quasi-periodic bounded potential

Emanuele Haus , Zhiqiang Wang This is my paper
classification math.DS math.FA MSC 35P0537K5581Q15
keywords reducibilityquantum harmonic oscillatorquasi-periodic potentialKAM theoryHermite basisdifference matrixMelnikov conditionspure point spectrum
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

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 proves that a one-dimensional quantum harmonic oscillator remains reducible when perturbed by a time-quasi-periodic potential that is only bounded, provided the potential's spatial derivative grows no faster than |x|^δ with δ<1. Reducibility means that for almost every frequency vector (in a Cantor set of asymptotically full measure), a unitary, real-analytic change of variables removes the time dependence completely, leaving a diagonal constant-coefficient equation. This matters because it relaxes a long-standing boundary: earlier results required spatial decay of the perturbation or of its derivative, while here the derivative is allowed to grow almost linearly. The proof works by moving from decay in the eigenvalues and tails of the spectrum to decay in the difference matrix of the perturbation in the Hermite basis. If the theorem is correct, the dynamics is almost-periodic, Sobolev norms stay nearly constant, and the Floquet operator has pure point spectrum for those frequencies.

Core claim

The paper's central claim (Theorem 1.1): if V is bounded and |∂_xV(x,θ)|≤C(1+|x|)^δ with δ<1, then for all small ε there is a Cantor set Π_ε⊂[0,2π)^n of asymptotically full measure such that for ω∈Π_ε the equation i∂tψ=(-∂xx+x^2+εV(x,ωt))ψ is reducible in L². A unitary, real-analytic conjugacy sends it to an autonomous diagonal equation i∂tφ=H^∞φ, H^∞=diag{λ_i^∞}, with |λ_i^∞-(2i-1)|≤Cε. The conjugacy is C¹ in ω and ε^{2/3}-close to the identity. Consequences: solutions are almost periodic, H^p norms stay within 1+Cε of their initial values, and the Floquet operator has pure point spectrum.

What carries the argument

The carrying object is the Hermite-basis matrix P(θ) of the potential and its difference matrix ΔP, entries P^{j+1}_{i+1}-P^j_i. The relevant class M_b^α consists of bounded matrices whose difference matrix decays like (i∧j)^{-α}. Lemma 2.6 shows P∈M_b^α with α=(1-δ)/2. The KAM step solves the homological equation [A,S]-i∂_tS=Ã-P+R with S in a companion class M_b^{α+}; Lemma 2.2 supplies the algebra of these classes, controlling operator norms and the diagonal decay that enters the Melnikov measure estimates.

Load-bearing premise

Everything rests on the estimate |ΔP_i^j(θ)| ≤ C(i∧j)^{(δ−1)/2} in Lemma 2.6: if the perturbation's difference matrix does not decay polynomially toward the diagonal, the small-divisor frequency conditions cannot be imposed and the KAM iteration does not close.

What would settle it

For any potential satisfying (1.2), compute the Hermite difference matrix ΔP_i^j = ∫ V(h_{i+1}h_{j+1}-h_i h_j) dx. The proof's key bound (2.6) claims this is O((i∧j)^{(δ-1)/2}); for V(x,θ)=cos(x−θ_1) it predicts O((i∧j)^{-1/2}). A numerical or analytic check that this quantity decays slower than any positive power for such a potential would falsify Lemma 2.6 and thereby the KAM mechanism.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • For every δ<1 and small ε, most frequency vectors in the parameter space make the perturbed oscillator unitarily conjugate to a diagonal autonomous equation.
  • Solutions of the Cauchy problem are almost periodic and their H^p norms for 0≤p≤2 remain within a factor 1+Cε of the initial norm for all time.
  • The associated Floquet operator has pure point spectrum on the good frequency set.
  • The eigenvalues of the reduced equation are ε-close to the unperturbed eigenvalues 2i−1, and the conjugating transformation is within Cε^{2/3} of the identity.
  • The paper notes that a logarithmic growth assumption on ∂_xV would likely suffice as well, since logarithmic decay of the difference matrix would still control the measure estimates.

Where Pith is reading between the lines

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

  • The threshold δ<1 enters only through the diagonal decay exponent α=(1-δ)/2, so the method's real requirement is polynomial diagonal decay of the difference matrix; replacing it by logarithmic decay is a natural next step, which the authors flag in Remark 1.4.
  • If the standing question about purely bounded potentials with no derivative control has a positive answer, this result suggests the mechanism will come from the difference matrix of the perturbation rather than from any decay of the potential itself.
  • One could directly test the key estimate numerically for oscillating potentials such as cos(x−ωt): Lemma 2.6 predicts |ΔP_i^j|≤C(i∧j)^{-1/2}, and checking whether this decay actually holds would probe the foundation of the KAM argument independently of the iteration.
  • The abstract reducibility theorem is stated for any diagonal operator with linearly spaced eigenvalues and controlled spacing; transferring the proof to other one-dimensional Schrödinger operators with such spectra is plausible but not carried out here.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper proves a reducibility theorem for the one-dimensional quantum harmonic oscillator with a time quasi-periodic, bounded potential whose spatial derivative grows at most like |x|^δ, δ<1. Working in the Hermite basis, the authors represent the perturbation as an infinite matrix and show that its difference matrix decays along the diagonal; a KAM iteration then conjugates the system to an autonomous diagonal equation on a Cantor set of asymptotically full measure in the frequency parameter. The main results include L^2 reducibility, H^p regularity of the transformation for p∈[0,2], almost-periodic solutions, and pure point spectrum of the Floquet operator. The proof is structured as an abstract matrix reducibility theorem (Theorem 2.4) with a verification of the matrix-space hypotheses for the Schrödinger potential (Lemma 2.6).

Significance. If fully established, the result gives a substantial step toward Eliasson's question on bounded perturbations of the harmonic oscillator: it removes the decay assumption on the potential itself and replaces it by a mild growth condition on its derivative, with an explicit measure estimate. The key technical novelty, the difference-matrix decay estimate (Lemma 2.6), is well targeted and goes beyond earlier work in [24,25]. The KAM framework is standard, but the paper provides explicit constants and uses a useful separation of the operator-norm control and the element-decay control. The auxiliary lemmas are largely self-contained and the main theorem is stated with quantitative bounds. However, two proof gaps in the current version—the invalid proof of Lemma 2.2(c) and the parameter handling in Proposition 3.1—must be repaired before the result is fully supported.

major comments (2)
  1. [Appendix A, proof of Lemma 2.2(c)] The first displayed inequality in the s>0 part of the proof is false. It asserts that Σ_i i^s |Σ_j A_i^j u_j|² is bounded by a sum in which A_i^j is replaced by A_i^j/(1+|i−j|); this factor shrinks the summand and cannot be introduced by the triangle inequality. For the rank-one matrix A_1^2=1 with u_2=1, s=2, the left side is 1 and the right side is 1/4. The same defect occurs in the s<0 part. This is load-bearing because Lemma 2.2(c) is used in Lemma 3.2 to show exp(S_m)∈B(ℓ²_p) and in §3.3 to justify the conjugation identity in B(ℓ²,ℓ²_{−2}). The statement is salvageable: from N A = A N + [N,A] one gets ||N A u|| ≤ ||A|| ||u||_1 + ||[N,A]|| ||u|| ≤ (||A||+||[N,A]||)||u||_2, and duality/interpolation covers s∈[−2,2]. The proof must be rewritten.
  2. [Section 3.1, proof of Proposition 3.1] The proof of the measure estimate (3.3) is not logically consistent as written. The symbol D is reused for the input domain and for the Diophantine set D(γ,K) from Lemma B.7, and then the text says "Setting κ = γ^{1+2/α}", although κ is an input parameter and γ is a separate parameter. The claimed bound Meas(D\D') ≤ Cκ^{ν1}K^{ν2} does not follow without choosing the relation between γ and κ. The repair is straightforward: introduce D_γ from Lemma B.7, set D' = D ∩ D_γ \ F, choose γ = κ^{α/(α+2)} for κ small, and use Meas(D\D') ≤ Meas(Π\D_γ)+Meas(F). Since Lemma 3.2 relies on (3.3) for the measure decay (3.32), this point must be corrected; it is local but load-bearing.
minor comments (5)
  1. [Section 3.1, definition of F] In the definition of F, the union is over i,j∈Z but should be over i,j∈N (diagonal indices in the matrix spaces).
  2. [Section 3.2, parameter choices] The formula for σ_m−σ_{m+1} is garbled in the displayed line; it should be σ_0(m+1)^{-2}/(2 Σ_{i≥1} i^{-2}) so that the total loss is σ_0/2.
  3. [Remark 1.4] The growth condition (1.6) writes ln^{δ'}(2+|x|); this should be (ln(2+|x|))^{δ'} to be meaningful.
  4. [Lemma 2.6] The estimate |⟨V' h_{i+1}, h_j⟩| ≤ C(i∧j)^{δ/2} is used without comment. It follows by taking the minimum of the two Cauchy–Schwarz bounds ||(1+|x|)^δ h_{i+1}|| ||h_j|| and ||h_{i+1}|| ||(1+|x|)^δ h_j||, together with Lemma B.4. State this explicitly.
  5. [Appendix B, Lemma B.4] The statement has a typo: H should be −d²/dx² + x² (the second derivative is missing a square).

Circularity Check

0 steps flagged

No significant circularity: the KAM proof is internally executed, with only contextual self-citations.

full rationale

The main result Theorem 1.1 is derived by verifying the abstract reducibility Theorem 2.4 for the perturbation matrix P defined in (1.7). The verification in Lemma 2.6 obtains the key decay estimate |ΔP_i^j(θ)| ≤ C(i∧j)^{(δ-1)/2} directly from the hypothesis (1.2), the Hermite-basis identities (2.3), and the external weighted bound of Lemma B.4. No parameter is fitted to data, no target conclusion is fed back as an assumption, and the final measure estimates come from the independently proved small-divisor Lemma B.7. The KAM iteration in Section 3 proves the homological-equation estimates (Proposition 3.1) and the iterative step (Lemma 3.2) within the paper; the algebraic structure Lemma 2.2 is proven in Appendix A rather than imported from the authors' previous work. The self-references to [24], [25], and [29] provide notation and background frameworks but are not load-bearing: the new regularity estimate for ΔP and the homological-equation bounds are established here. Thus no circular step of any of the seven kinds is present. One caveat, though it is a correctness risk rather than circularity: the proof of Lemma 2.2(c) in Appendix A appears to contain an invalid inequality (the displayed Cauchy-Schwarz estimate places the denominator 1/(1+|i−j|) on the wrong factor), so the argument as written does not establish the ℓ²_s-boundedness used in Lemma 3.2 and §3.3. This would be a mathematical gap in the proof of the L²/H^p statement, but it does not reduce the theorem to its own inputs or make the derivation circular.

Axiom & Free-Parameter Ledger

1 free parameters · 4 axioms · 0 invented entities

The central claim rests on standard Hermite analysis, published eigenfunction bounds, and the previously introduced M^b_α matrix framework. No new physical entities or fitted empirical parameters are introduced.

free parameters (1)
  • KAM iteration constants (ϵ_m, κ_m, K_m, σ_m)
    Chosen by hand to make the iteration converge (Section 3.2). They are proof parameters, not fitted to data, and do not affect the physics.
axioms (4)
  • standard math Hermite functions form an orthonormal basis of L^2 and H h_i = (2i−1)h_i
    Used in Section 2.2 to expand the equation in the Hermite basis.
  • standard math Koch-Tataru weighted bound: ||(1+|x|)^δ h_λ||_{L^2} ≲ λ^δ (Lemma B.4, cited [19])
    Load-bearing for Lemma 2.6's decay estimate (2.6).
  • standard math Algebraic properties of M^b_α spaces, Lemma 2.2, including difference matrix estimates
    Proved in Appendix A using Hölder and Schur-type estimates; underpins the KAM step.
  • standard math Non-resonance Lemma B.7 for integer-spaced eigenvalues λ_i=2i−1
    Provides the measure estimates for good frequencies in Proposition 3.1.

reviewed 2026-08-05 · how reviews work

0 comments
Cite this review

Pith. "Pith review of On the reducibility of the 1d quantum harmonic oscillator with a quasi-periodic bounded potential." pith.science (2026). https://pith.science/paper/HUD2V3WY

@misc{pith2026250901484,
  author       = {Pith},
  title        = {Pith review of: On the reducibility of the 1d quantum harmonic oscillator with a quasi-periodic bounded potential},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HUD2V3WY}},
  note         = {Machine review of arXiv:2509.01484}
}
Share X Bluesky LinkedIn Reddit HN
abstract

Using the decay along the diagonal of the matrix representing the perturbation with respect to the Hermite basis, we prove a reducibility result in $L^2(\mathbb{R})$ for the one-dimensional quantum harmonic oscillator perturbed by time quasi-periodic potential, via a KAM iteration. The potential is only bounded (no decay at infinity is required) and its derivative with respect to the spatial variable $x$ is allowed to grow at most like $|x|^\delta$ when $x$ goes to infinity, where the power $\delta<1$ is arbitrary.

discussion (0)

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

Reference graph

Works this paper leans on

30 extracted references · 29 canonical work pages

  1. [1]

    Baldi, R

    P. Baldi, R. Montalto, 2021. Quasi-periodic incompressible Euler flows in 3D. Adv. Math. 384, 107730. https://doi.org/10.1016/j.aim.2021.107730

    work page arXiv 2021

  2. [2]

    Bambusi, Reducibility of 1-d Schrödinger equation with time quasiperiodic unbounded perturbations

    D. Bambusi, Reducibility of 1-d Schrödinger equation with time quasiperiodic unbounded perturbations. I, Trans. Amer. Math. Soc.370 (2018) 1823–1865. https://doi.org/10.1090/tran/7135

    work page doi:10.1090/tran/7135 2018

  3. [3]

    Bambusi, Reducibility of 1-d Schrödinger equation with time quasiperiodic unbounded perturbations

    D. Bambusi, Reducibility of 1-d Schrödinger equation with time quasiperiodic unbounded perturbations. II, Commun. Math. Phys.353 (2017) 353–378. https://doi.org/10.1007/s00220-016-2825-2

    work page doi:10.1007/s00220-016-2825-2 2017

  4. [4]

    Bambusi, S

    D. Bambusi, S. Graffi, Time quasi-periodic unbounded perturbations of Schrödinger operators and KAM methods, Commun. Math. Phys.219 (2001) 465–480. https://doi.org/10.1007/s002200100426

    work page doi:10.1007/s002200100426 2001

  5. [5]

    Bambusi, B

    D. Bambusi, B. Grébert, A. Maspero, D. Robert, Growth of Sobolev norms for abstract linear Schrödinger equations, J. Eur. Math. Soc.(JEMS)23 (2021) 557–583. https://doi.org/10.4171/jems/1017

    work page doi:10.4171/jems/1017 2021

  6. [6]

    Bambusi, B

    D. Bambusi, B. Grébert, A. Maspero, D. Robert, Reducibility of the quantum harmonic oscilla- tor in d-dimensions with polynomial time-dependent perturbation, Anal. & PDE 11 (2018) 775–799. https://doi.org/10.2140/apde.2018.11.775

    work page doi:10.2140/apde.2018.11.775 2018

  7. [7]

    Bambusi, B

    D. Bambusi, B. Langella, R. Montalto, Reducibility of non-resonant transport equation onTd with unbounded perturbations, Ann. Henri Poincaré20 (2019) 1893–1929. https://doi.org/10.1007/s00023-019-00795-2

    work page doi:10.1007/s00023-019-00795-2 2019

  8. [8]

    Bambusi, R

    D. Bambusi, R. Montalto, 2018. Reducibility of 1-d Schrödinger equation with unbounded time quasiperiodic perturbations. III. J. Math. Phys.59, 122702. https://doi.org/10.1063/1.5048726

    work page doi:10.1063/1.5048726 2018

  9. [9]

    Chodosh, Infinite matrix representations of isotropic pseudodifferential operators,Methods Appl

    O. Chodosh, Infinite matrix representations of isotropic pseudodifferential operators,Methods Appl. Anal.18 (2011) 351–372. https://doi.org/10.4310/MAA.2011.v18.n4.a1

    work page doi:10.4310/maa.2011.v18.n4.a1 2011

  10. [10]

    Corsi, R

    L. Corsi, R. Montalto, Quasi-periodic solutions for the forced Kirchhoff equation onTd, Nonlinearity 31 (2018) 5075–5109. https://doi.org/10.1088/1361-6544/aad6fe

    work page doi:10.1088/1361-6544/aad6fe 2018

  11. [11]

    Eliasson, S.B

    L.H. Eliasson, S.B. Kuksin, KAM for the nonlinear Schrödinger equation,Ann. of Math.(2) 172 (2010) 371–

    work page 2010

  12. [12]

    Eliasson, S.B

    L.H. Eliasson, S.B. Kuksin, On reducibility of Schrödinger equations with quasiperiodic in time potentials, Commun. Math. Phys.286 (2009) 125–135. https://doi.org/10.1007/s00220-008-0683-2

    work page doi:10.1007/s00220-008-0683-2 2009

  13. [13]

    E. Faou, B. Grébert, Discrete pseudo-differential operators and applications to numerical schemes,Found. Comput. Math. 25 (2025) 587–630. https://doi.org/10.1007/s10208-024-09645-y

    work page doi:10.1007/s10208-024-09645-y 2025

  14. [14]

    Feola, F

    R. Feola, F. Giuliani, R. Montalto, M. Procesi, Reducibility of first order linear operators on tori via Moser’s theorem, J. Funct. Anal.276 (2019) 932–970. https://doi.org/10.1016/j.jfa.2018.10.009

    work page doi:10.1016/j.jfa.2018.10.009 2019

  15. [15]

    Feola, B

    R. Feola, B. Grébert, Reducibility of Schrödinger equation on the sphere,Int. Math. Res. Not.(IMRN)2021 (2021) 15082–15120. https://doi.org/10.1093/imrn/rnz344

    work page doi:10.1093/imrn/rnz344 2021

  16. [16]

    R.Feola, B.Grébert, T.Nguyen, 2020.ReducibilityofSchrödingerequationonaZollmanifoldwithunbounded potential. J. Math. Phys.61, 071501. https://doi.org/10.1063/5.0006536. ON THE REDUCIBILITY OF THE 1D QUANTUM HARMONIC OSCILLATOR 25

    work page doi:10.1063/5.0006536 2020

  17. [17]

    Grébert, E

    B. Grébert, E. Paturel, On reducibility of quantum harmonic oscillator on Rd with quasiperiodic in time potential, Ann. Fac. Sci. Toulouse Math.28 (2019) 977–1014. https://doi.org/10.5802/afst.1619

    work page doi:10.5802/afst.1619 2019

  18. [18]

    Grébert, L

    B. Grébert, L. Thomann, KAM for the quantum harmonic oscillator, Commun. Math. Phys. 307 (2011) 383–427. https://doi.org/10.1007/s00220-011-1327-5

    work page doi:10.1007/s00220-011-1327-5 2011

  19. [19]

    H. Koch, D. Tataru,Lp eigenfunction bounds for the Hermite operator,Duke Math. J. 128 (2005) 369–392. https://doi.org/10.1215/S0012-7094-04-12825-8

    work page doi:10.1215/s0012-7094-04-12825-8 2005

  20. [20]

    Kuksin, Hamiltonian perturbations of infinite-dimensional linear systems with an imaginary spectrum, Funct

    S.B. Kuksin, Hamiltonian perturbations of infinite-dimensional linear systems with an imaginary spectrum, Funct. Anal. Appl.21 (1987) 192–205. https://doi.org/10.1007/BF02577134

    work page doi:10.1007/bf02577134 1987

  21. [21]

    Kuksin, Nearly integrable infinite-dimensional Hamiltonian systems,Springer-Verlag, Berlin, 1993

    S.B. Kuksin, Nearly integrable infinite-dimensional Hamiltonian systems,Springer-Verlag, Berlin, 1993

    work page 1993

  22. [22]

    Liang, J

    Z. Liang, J. Luo, Reducibility of 1-d quantum harmonic oscillator equation with unbounded oscillation per- turbations, J. Differ. Equ.270 (2021) 343–389. https://doi.org/10.1016/j.jde.2020.07.040

    work page doi:10.1016/j.jde.2020.07.040 2021

  23. [23]

    Liang, Z

    Z. Liang, Z. Wang, Reducibility of quantum harmonic oscillator onRd with differential and quasi-periodic in time potential,J. Differ. Equ.267 (2019) 3355–3395. https://doi.org/10.1016/j.jde.2019.04.009

    work page doi:10.1016/j.jde.2019.04.009 2019

  24. [24]

    Liang, Z.Q

    Z. Liang, Z.Q. Wang, Reducibility of 1D quantum harmonic oscillator with decaying conditions on the deriva- tive of perturbation potentials,Nonlinearity 35 (2022) 4850–4875. https://doi.org/10.1088/1361-6544/ac821a

    work page doi:10.1088/1361-6544/ac821a 2022

  25. [25]

    Liang, Z.Q

    Z. Liang, Z.Q. Wang, 2022. Reducibility of quantum harmonic oscillator onRd perturbed by a quasi-periodic potential with logarithmic decay.Calc. Var. Partial Differ. Equ.61, 155. https://doi.org/10.1007/s00526-022- 02267-8

    doi:10.1007/s00526-022- 2022

  26. [26]

    J. Liu, X. Yuan, Spectrum for quantum Duffing oscillator and small-divisor equation with large-variable coefficient, Commun. Pure Appl. Math.63 (2010) 1145–1172. https://doi.org/10.1002/cpa.20314

    work page doi:10.1002/cpa.20314 2010

  27. [27]

    Montalto, A reducibility result for a class of linear wave equations onTd, Int

    R. Montalto, A reducibility result for a class of linear wave equations onTd, Int. Math. Res. Not.(IMRN) 2019 (2019) 1788–1862. https://doi.org/10.1093/imrn/rnx167

    work page doi:10.1093/imrn/rnx167 2019

  28. [28]

    Pöschel, A KAM-theorem for some nonlinear partial differential equations,Ann

    J. Pöschel, A KAM-theorem for some nonlinear partial differential equations,Ann. Scuola Norm. Sup. Pisa Cl. Sci. 23 (1996) 119–148. http://www.numdam.org/item?id=ASNSP_1996_4_23_1_119_0

    work page 1996

  29. [29]

    Z. Wang, Z. Liang, Reducibility of 1D quantum harmonic oscillator perturbed by a quasiperiodic potential with logarithmic decay,Nonlinearity 30 (2017) 1405–1448. https://doi.org/10.1088/1361-6544/aa5d6c. Dipartimento di Matematica e Fisica, Università degli Studi Roma Tre, Largo San Leonardo Murialdo 1, 00146 Roma, Italy Email address: emanuele.haus@uniro...

    work page doi:10.1088/1361-6544/aa5d6c 2017

  30. [435]

    https://doi.org/10.4007/annals.2010.172.371

    work page doi:10.4007/annals.2010.172.371 2010

This paper was first reviewed by deepseek-v4-flash on August 5, 2026.