Pith. sign in

REVIEW 2 major objections 3 minor 27 references

On a Question of Poltoratski

T0 review · 2 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read A half-line Schrödinger operator is constructed whose essential spectrum is [-2,2] and for which every rank-one perturbation has a non-Rajchman spectral measure.

desk verdict Solid, repairable answer to Poltoratski's question; the core construction is new and works, but the induction's uniform-in-lambda estimate needs spelling out. read the letter →

arxiv 2508.18599 v1 pith:U6QQQA6I submitted 2025-08-26 math.SP

Netanel Levi This is my paper · ORCID
classification math.SP MSC 47B3681Q1047A5542A38
keywords Schrödingeroperatorhalf-linerank-oneperturbationRajchmanmeasurespectralsurvivalprobabilitysparsepotentialessentialspectrum
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 tries to settle a question raised in the rank-one perturbation literature: can a half-line discrete Schrödinger operator have essential spectrum containing an interval, yet every rank-one perturbation H+λ⟨δ1,·⟩δ1 produce a spectral measure whose Fourier transform fails to decay? The author constructs such an operator with a sparse potential, proving Theorem 1.2. The construction matters because it shows that failure of the survival probability to decay can be a stable, parameter-independent phenomenon even though generic perturbations have no eigenvalues. It also supplies a natural operator-theoretic family of non-Rajchman singular continuous measures when combined with a classical generic no-eigenvalue result.

What carries the argument

The load-bearing device is the family of decoupling potentials with one infinite barrier, whose finite-interval restriction makes the spectral Fourier transform an almost periodic trigonometric polynomial. Three supporting mechanisms carry the proof: Lemma 2.4 transfers these almost periodic lower bounds to finite tall barriers via strong resolvent convergence of the Cayley transform; Lemma 2.7 bounds the change in ⟨δ1,$e^{{-itH}}$δ1⟩ when two potentials agree on a long prefix; and Lemma 2.10 packages the almost-periodic return into a finite covering of any compact λ-interval by times where |widehat{μ}_λ(t)| ≥ 1/2. The sparse sequence of barrier sites with N_{k+1}-N_k→∞ then gives essential spectrum [-2,2] by Lemma 2.1.

What would settle it

Compute the Fourier matrix element ⟨δ1,$e^{{-itH_λ}}$δ1⟩ for the constructed sparse potential at the times $t_j^{{(i(j)(λ))}}$; if for some λ∈R these values converge to 0 along a subsequence, then μ_λ would be Rajchman and Theorem 1.2 would fail. A direct numerical simulation of the finite-barrier approximants could already expose such a subsequence.

Watch

Extended reading notes

Core claim

The central discovery is that decoupling the half-line by a single infinite barrier makes the survival amplitude ⟨δ1,$e^{{-itH_λ}}$δ1⟩ an almost periodic function on each finite block, so it returns arbitrarily close to 1 at arbitrarily large times. Finite tall barriers approximate this decoupled operator in strong resolvent sense, and the Duhamel expansion shows the Fourier matrix element at a fixed time depends only on a finite prefix of the potential. Iterating—placing ever taller, ever sparser barriers while preserving earlier time values—yields a finite-valued sparse potential with σ_ess=[-2,2] and |widehat{μ_λ}(t_j)| ≥ 3/10 for times t_j→∞, for every λ∈R. Hence every μ_λ is non-Rajchman.

Load-bearing premise

The construction rests on the imported half-line version of the strong resolvent convergence of finite tall barriers to an infinite barrier; if that convergence fails for pointwise limits on $ℓ^{2}$(N), the approximation step that carries the non-Rajchman property from decoupled blocks to the finite-valued limit breaks.

Editorial extensions

If this is right

  • The existence question from the rank-one perturbation literature is answered affirmatively: such an operator exists, not just generically.
  • For a dense Gδ set of couplings λ, the non-Rajchman spectral measures produced are also singular continuous, giving explicit Schrödinger-operator examples in that class.
  • The survival probability |⟨δ1,e^{-itH_λ}δ1⟩|^2 does not tend to zero for any λ, so quantum transport from site one remains dynamically visible at arbitrarily late times regardless of the perturbation.
  • The operator has essential spectrum [-2,2] for every λ, since rank-one perturbations are compact and cannot move the essential spectrum.

Reading between the lines

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

  • The proof's finite-prefix stability suggests the phenomenon is not rigid: any potential equal to the constructed one on sufficiently long initial blocks will inherit the non-Rajchman lower bounds at the chosen early times, so a whole family of sparse potentials should share the property.
  • A plausible extension, not treated here, is to replace the rank-one perturbation by a finite-rank or compact boundary perturbation; the Duhamel argument only uses boundedness of the perturbation and finite-prefix dependence, so the same iteration may yield non-Rajchman measures for a wider class of perturbations.
  • One could test numerically whether the constant 3/10 is far from sharp; the construction only needs positivity of the lower bound, and optimizing barrier heights and spacings might give larger or explicit constants.
  • The construction may connect to other sparse-potential phenomena, such as Cantor spectrum or subordinary theory, since the barrier sites grow sparse while the essential spectrum remains a full interval.
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.

Referee Report

2 major / 3 minor

Summary. The manuscript gives a positive answer to a question of Poltoratski. It constructs a sparse half-line potential V such that the discrete Schrödinger operator H = Δ + V has essential spectrum [-2,2] and such that, for every real λ, the spectral measure μ_{V,λ} of δ1 with respect to the rank-one perturbation H + λ⟨δ1,·⟩δ1 is non-Rajchman. The proof builds finite-barrier approximations to an infinite decoupling barrier, uses a Dyson-series finite-prefix stability estimate (Lemma 2.7) and a strong-resolvent-convergence lemma (Lemma 2.4) to preserve non-decay of the Fourier transform on growing finite sets of times, and then passes to a pointwise limit. If the uniform-in-λ gaps identified below are filled, the argument establishes the theorem.

Significance. Resolving the question from [24] is significant: it shows that the generic absence of point spectrum inside an interval (Theorem 1.1) is compatible with non-Rajchman spectral measures for all rank-one perturbations, and it provides a natural operator-theoretic family of singular continuous non-Rajchman measures. The paper is clearly organized, and Lemmas 2.7 and 2.10 are clean and sound. The main proof depends on two approximation steps that are not fully justified as written; both are repairable, so the result is plausible and worth publishing after revision.

major comments (2)
  1. [§3, Step 1 and Step n+1, inequalities (3.0.1) and (3.0.3)] Lemma 2.4 only gives convergence of ⟨δ1, e^{-itH_{V_j,λ}}δ1⟩ for each fixed t and λ. In Step 1 this lemma is used to assert the existence of a single K1 such that |bμ_{V^{(1)},λ}(t_{i(1)(λ)}^{(1)})| ≥ 1/2 - ε for every λ ∈ [-1,1], and in Step n+1 it is used to assert (3.0.3) for every t ∈ T1 ∪ ... ∪ T_{n+1} and every |λ| ≤ n+1. Pointwise convergence of continuous functions on a compact λ-interval does not imply uniform convergence, so these statements do not follow as written. This is load-bearing because (3.0.1) and (3.0.3) are exactly what transfer the non-Rajchman lower bounds from decoupled infinite-barrier operators to finite-valued approximants and ultimately to the limit V. The gap is repairable: for fixed t, the finite-barrier matrix element is Lipschitz in λ with constant |t| as shown in §2.5, and the one-barrier decoupled matrix element is finite-dimensional on the block containing site 1 and hence also Lipschitz; a δ-net with δ = ε/(4|t|) reduces the uniform statement to finitely many applications of Lemma 2.4. This repair should be written into the proof.
  2. [§2.3, Remark 2.6] Proposition 2.5 is stated for Schrödinger operators on ℓ²(Z^d) in [20], and Remark 2.6 asserts that the proof carries over to ℓ²(N) without change. Since Lemma 2.4, and hence the entire approximation scheme, depends on this half-line strong resolvent convergence for pointwise limits with infinite barriers, the transfer needs a precise justification: the proof in [20] should be shown to be independent of the lattice boundary or of the dimension, or a separate proof for ℓ²(N) should be supplied. As written, Lemma 2.4 rests on an unverified assertion.
minor comments (3)
  1. [§3, Step n+1, definition of V^{(n+1)}] The condition 'n′ ≤ N_{n+1}' in the definition of V^{(n+1)} should read 'l ≤ N_{n+1}'.
  2. [§2.5, Lemma 2.10] The phrase 'the operator acts on a finite interval' is imprecise when V has more than one infinite barrier; the proof should state that δ1 lies in a finite decoupled block, which is all that is needed.
  3. [§3, Setup paragraph] The sentence 'Finally, we will introduce the sequence of barriers Kj ... this will be used to show that the essential spectrum is [-2,2]' is a sentence fragment and should be combined with the preceding sentence.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the construction is self-contained, with external resolvent-convergence and sparse-spectrum lemmas doing the load-bearing work.

full rationale

The derivation chain is: Lemma 2.10 produces large Fourier values for the decoupled infinite-barrier finite-interval operator; Lemma 2.4 transfers those values to a finite tall barrier using strong resolvent convergence imported from [20]; Corollary 2.8 (via the Duhamel expansion) preserves earlier-time values under later modifications; induction builds the sparse potential V; Lemma 2.1 gives sigma_ess(H)=[-2,2]. The non-Rajchman conclusion then follows by preserving lower bounds at times tending to infinity. No parameter is fitted to the target non-Rajchman property, and V is not defined in terms of the conclusion. The only author self-citation is Lemma 2.1 from [22], but that lemma is also supported by [15, Theorem 1.3], so it is independently sourced and does not make the argument circular. Proposition 2.5 is external to the authors and is used as a black-box convergence result. The paper's use of the pointwise Lemma 2.4 over compact lambda-intervals would require a uniformity argument, but that is a proof gap or correctness risk, not a circularity, since no step reduces to its own inputs by construction.

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

No free parameters or invented entities. The constants epsilon, L_1, K_j, N_j, and the times t_i^{(j)} are chosen by hand in the inductive construction, but they are not fitted to any external data and the theorem does not depend on their specific values. All nonstandard input is in the axioms listed above.

assumptions (5)
  • standard math Strong resolvent convergence of self-adjoint operators implies strong convergence of the corresponding unitary groups for each fixed time t.
    Used in Lemma 2.4 to pass from strong resolvent convergence to convergence of the survival amplitude <delta_1, exp(-itH) delta_1>.
  • domain assumption Proposition 2.5: if finite-valued potentials V_j converge pointwise to a (possibly infinite) potential V, then (H_{V_j}-i)^{-1} converges strongly to (H_V-i)^{-1} on l^2(N).
    Imported from [20] where it is proved on l^2(Z^d); Remark 2.6 asserts the argument carries over to l^2(N). This is load-bearing for approximating infinite barriers by finite tall barriers.
  • domain assumption Lemma 2.1: for sparse potentials vanishing off sites n_k with n_k-n_{k-1}->infty and V(n_k)->infty, the essential spectrum of H_{V,lambda} equals [-2,2].
    Cited from [22, Lemma 2.11] with a reference to [15, Theorem 1.3]; used to prove part 1 of Proposition 3.1.
  • standard math Duhamel formula and Dyson expansion for strongly continuous semigroups under bounded perturbation (Theorem 2.2 and 2.3 from Engel-Nagel).
    Used to derive the series expansion (2.2.4) that underpins Lemma 2.7 and the finite-prefix stability estimate.
  • standard math Finite trigonometric sums are almost periodic, so they return arbitrarily close to their initial value at arbitrarily large times.
    Used in Lemma 2.9 to find times where the Fourier transform of a finite-rank spectral measure is bounded away from zero.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On a Question of Poltoratski." pith.science (2026). https://pith.science/paper/U6QQQA6I

@misc{pith2026250818599,
  author       = {Pith},
  title        = {Pith review of: On a Question of Poltoratski},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/U6QQQA6I}},
  note         = {Machine review of arXiv:2508.18599}
}
read the original abstract

We study half-line discrete Schr\"odinger operators and their rank-one perturbations. We establish certain continuity and stability properties of the Fourier transform of the associated spectral measures. Using these results, we construct a sparse potential whose essential spectrum contains an open interval, and show that for every rank-one perturbation the corresponding spectral measure is non-Rajchman. This resolves a question posed in [24].

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 25 canonical work pages

  1. [24]

    Poltoratski, Survival probability in rank-one perturbation problems , Commun

    A. Poltoratski, Survival probability in rank-one perturbation problems , Commun. Math. Phys. 223 (2001), 205–222

    work page 2001

  2. [20]

    On gaps in the spectra of quasiperiodic Schr\"odinger operators with discontinuous monotone potentials

    I. Kachkovskiy, L. Parnovski and R. Shterenberg, On gaps in the spectra of quasiperiodic Schr¨ odinger operators with discontinuous monotone potentials, preprint. arXiv:2407.00705

    work page Pith review arXiv

  3. [1]

    Ju. M. Berezanski ˘i, Expansions in Eigenfunctions of Self-Adjoint Operators , Transl. Math. Monogr. 17, Amer. Math. Soc., Providence, RI, 1968

    work page 1968

  4. [2]

    Damanik and J

    D. Damanik and J. Fillman, One-dimensional ergodic Schr¨ odinger operators–I. General theory, Grad. Stud. Math. 221, Amer. Math. Soc., Providence, RI (2022)

    work page 2022

  5. [3]

    Damanik and J

    D. Damanik and J. Fillman, One-dimensional ergodic Schr¨ odinger operators–II. Specific classes, Grad. Stud. Math. 221, Amer. Math. Soc., Providence, RI (2025)

    work page 2025

  6. [4]

    del Rio, S

    R. del Rio, S. Jitomirskaya, Y. Last and B. Simon, Operators with singular continuous spec- trum, IV. Hausdorff dimensions, rank one perturbations, and localization , J. Anal. Math. 69 (1996), 153–200

    work page 1996

  7. [5]

    del Rio, S

    R. del Rio, S. Jitomirskaya, Y. Last, and B. Simon, What is localization?, Phys. Rev. Lett. 75 (1995), 117–119

    work page 1995

  8. [6]

    del Rio, S

    R. del Rio, S. Jitomirskaya, N. Makarov and B. Simon,Singular continuous spectrum is generic, Bull. Amer. Math. Soc. 31 (1994), 208–212

    work page 1994

Show all 27 references
  1. [7]

    del Rio, N

    R. del Rio, N. Makarov and B. Simon, Operators with singular continuous spectrum. II. Rank one operators, Commun. Math. Phys. 165 (1994), 59–67

    1994

  2. [8]

    Damanik and S

    D. Damanik and S. Tcheremchantsev, Scaling estimates for solutions and dynamical lower bounds on wavepacket spreading, J. Anal. Math. 97 (2005), 103–131

    2005

  3. [9]

    Damanik and S

    D. Damanik and S. Tcheremchantsev, Upper bounds in quantum dynamics , J. Amer. Math. Soc. 20 (2007), 799–827

    2007

  4. [10]

    Engel and R

    K.-J. Engel and R. Nagel, One-Parameter Semigroups for Linear Evolution Equations , Grad- uate Texts in Mathematics, vol. 194, Springer-Verlag, Berlin, 2000. 9

    2000

  5. [11]

    Germinet and S

    F. Germinet and S. Jitomirskaya, Strong dynamical localization for the almost-Mathieu model , Rev. Math. Phys 13 (2001), 755–765

    2001

  6. [12]

    A. Ya. Gordon, Pure point spectrum under 1-parameter perturbations and instability of An- derson localization, Commun. Math. Phys. 164 (1994), 489–505

    1994

  7. [13]

    Guarneri and H

    I. Guarneri and H. Schulz-Baldes, Lower bounds on wave packet propagation by packing di- mensions of spectral measures, Math. Phys. Electron. J. 16 (1999), Paper 1

    1999

  8. [14]

    Jitomirskaya and H

    S. Jitomirskaya and H. Kr¨ uger, Exponential dynamical localization for the almost Mathieu operator, Comm. Math. Phys. 322 (2013), 877–882

    2013

  9. [15]

    Jitomirskaya and Y

    S. Jitomirskaya and Y. Last, Power law subordinacy and singular spectra, I. Half-line operators, Acta Math. 183 (1999), 171–189

    1999

  10. [16]

    Jitomirskaya and R

    S. Jitomirskaya and R. Mavi, Dynamical bounds for quasiperiodic Schr¨ odinger operators with rough potentials, Commun. Math. Phys. 325 (2014), 585–601

    2014

  11. [17]

    Jitomirskaya and H

    S. Jitomirskaya and H. Schulz-Baldes, Upper bounds on wavepacket spreading for random Ja- cobi matrices, Commun. Math. Phys. 273 (2007), 601–618

    2007

  12. [18]

    Kato, Perturbation Theory for Linear Operators , Springer-Verlag, Berlin, 1995

    T. Kato, Perturbation Theory for Linear Operators , Springer-Verlag, Berlin, 1995

    1995

  13. [19]

    Killip, A

    R. Killip, A. Kiselev and Y. Last, Dynamical upper bounds on wavepacket spreading, Amer. J. Math. 125 (2003), 1165–1198

    2003

  14. [21]

    Last, Quantum dynamics and decompositions of singular continuous spectra, J

    Y. Last, Quantum dynamics and decompositions of singular continuous spectra, J. Funct. Anal. 142 (1996), 406–445

    1996

  15. [22]

    Levi, On fractal continuity properties of certain one-dimensional Schr¨ odinger operators , preprint

    N. Levi, On fractal continuity properties of certain one-dimensional Schr¨ odinger operators , preprint. arXiv:2505.07129

    arXiv

  16. [23]

    Lyons, Seventy years of Rajchman measures , Proceedings of the Conference in Honor of Jean-Pierre Kahane (Orsay, 1993), J

    R. Lyons, Seventy years of Rajchman measures , Proceedings of the Conference in Honor of Jean-Pierre Kahane (Orsay, 1993), J. Fourier Anal. Appl. (1995), 363–377

    1995

  17. [25]

    Simon, Spectral analysis of rank one perturbations and applications , in Proc

    B. Simon, Spectral analysis of rank one perturbations and applications , in Proc. Mathemati- cal Quantum Theory, II: Schr¨ odinger Operators (Vancouver, Canada, 1993), CRM Proc. & Lecture Notes 8, Amer. Math. Soc., Providence, RI, 1995, 109–149

    1993

  18. [26]

    Simon, Operators with singular continuous spectrum: I

    B. Simon, Operators with singular continuous spectrum: I. General operators , Ann. of Math. 141 (1995), 131–145

    1995

  19. [27]

    Simon and T

    B. Simon and T. Wolff, Singular continuous spectrum under rank one perturbations and local- ization for random Hamiltonians , Commun. Pure Appl. Math. 39 (1986), 75–90. 10

    1986

Pith tools

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