A doubled Gordon threshold for palindromic quasiperiodic Schr\"odinger operators

Wencai Liu

A doubled Gordon threshold for palindromic quasiperiodic Schr\"odinger operators

T0 review · 0 major / 8 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read For even quasiperiodic potentials at completely resonant phases, no energy with Lyapunov exponent below twice the frequency-resonance strength can be an eigenvalue.

desk verdict Clean elementary proof that doubles the Gordon threshold at completely resonant phases and finishes the open half of the Avila–Jitomirskaya conjecture for AMO. read the letter →

arxiv 2607.24188 v1 pith:2HLLSVEP submitted 2026-07-27 math-ph math.MPmath.SP

Wencai Liu This is my paper · ORCID

classification math-phmath.MPmath.SP MSC 47B3637A3081Q10

keywords quasiperiodicSchrödingeroperatorsGordonlemmapalindromicpotentialsLyapunovexponentalmostMathieuoperatorsingularcontinuousspectrumcompletelyresonantphasesarithmetictransitions

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 proves that one-frequency quasiperiodic Schrödinger operators with an even C² sampling function have no square-summable eigenfunctions at completely resonant phases whenever the Lyapunov exponent is strictly less than twice the arithmetic resonance strength β(α). The usual Gordon and palindrome arguments each only reach the single factor β(α); the new method compares three neighboring transfer blocks symmetrically so that first-order errors cancel and a quadratic factor ∥qα∥² appears, doubling the threshold. Applied to the almost Mathieu operator, the result shows that the spectrum is purely singular continuous throughout the window 1 < |λ| < e^{2β(α)} at those phases. That closes the remaining absence-of-eigenvalues half of the sharp spectral-transition picture for completely resonant phases.

What carries the argument

A symmetric second-difference comparison of transfer-matrix blocks: ∥A_q(x+h) + A_q(x−h) − 2A_q(x)∥ is controlled by |h|² times a sub-exponential factor. First-order errors cancel, producing the doubled arithmetic threshold 2β(α); the comparison is applied at the intermediate site after one block so that repetition and palindromic symmetry act together.

What would settle it

Exhibit a nonzero ℓ² eigenfunction for an even C² potential at a completely resonant phase with L(E) < 2β(α), or show that the second-difference estimate already fails for some C^{1,α} even potential while an eigenvalue still appears below 2β(α).

Watch

Extended reading notes

Core claim

If v is even and C², α is irrational, and the phase satisfies 2θ ∈ αℤ + ℤ, then any energy E with Lyapunov exponent L(E) < 2β(α) admits no nonzero ℓ²(ℤ) solution of H_{v,α,θ}u = Eu. For the almost Mathieu operator this yields purely singular continuous spectrum whenever 1 < |λ| < e^{2β(α)} at the same phases.

Load-bearing premise

The sampling function must be twice continuously differentiable; that smoothness is what turns the first-order cancellation into a usable quadratic bound on the transfer-matrix difference.

Editorial extensions

If this is right

At completely resonant phases the almost Mathieu operator has empty point spectrum throughout 1 < |λ| < e^{2β(α)}.
Combined with existing localization above e^{2β(α)}, the spectral type is completely classified for those phases: singular continuous below the threshold and pure point above it.
Any even C² quasiperiodic potential inherits the same doubled absence-of-eigenvalues threshold L(E) < 2β(α) at completely resonant phases.
The method supplies a template for combining repetition and reflection symmetries in other one-dimensional cocycle settings.

Reading between the lines

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

If the C² hypothesis can be relaxed to C^{1,α} while keeping a usable second-difference bound, the same doubled threshold would extend to a larger class of sampling functions.
The intermediate-site comparison may adapt to other reflection-symmetric quasiperiodic models (e.g., extended Harper or CMV cocycles) where both repetition and palindrome structure are present.
Quantitative decay rates of the would-be eigenfunction along the resonant scales q could yield effective estimates on the spectral measure even when L(E) is only slightly below 2β(α).

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

The paper closes the remaining absence-of-eigenvalues half of the Avila–Jitomirskaya conjecture for completely resonant phases of the almost Mathieu operator: when 2θ ∈ αℤ + ℤ and 1 < |λ| < e^{2β(α)}, the spectrum is purely singular continuous. The localization side was already in Liu25; this supplies the matching upper bound.

What is new is the simultaneous use of approximate repetition and palindromic symmetry. Instead of the usual one-sided Gordon comparison (which only sees a single factor of ||qα|| and stops at L < β), the author works with the centered second difference ||A_q(x+h) + A_q(x−h) − 2A_q(x)||. First-order errors cancel, the quadratic |h|² appears, and the threshold doubles to L < 2β. The comparison is applied after one transfer block (at site q rather than at 0), so the two symmetries interact with the dynamics. After reducing to four canonical phases and conjugating so that even/odd (or σ = ±1) eigenfunctions become standard basis vectors, the contradictions are short matrix multiplications whose coordinates tend to −1.

The argument is fully written, elementary, and self-contained once standard facts (Lyapunov exponent, simplicity of eigenvalues, definition of β) are granted. I re-checked the load-bearing identities (Lemma 3.1, the explicit form of B_−, the coordinate limits) and they hold; the stress-test note is right that there is no hidden gap. The C² hypothesis is used exactly where it must be (second-derivative bound on the cocycle) and is stated up front; for analytic AMO it is automatic. The only minor soft spot is that the method as written does not immediately give the same threshold for merely C^{1+ε} potentials, but that is outside the theorem’s claim.

This is for people who work on quasiperiodic spectral theory or arithmetic transitions. It deserves a serious referee and should be engaged with; I would cite the doubled-threshold statement and the AMO corollary.

Referee Report

0 major / 8 minor

Summary. The paper studies one-frequency quasiperiodic Schrödinger operators H = Δ + v(θ+nα) on ℓ²(ℤ) with v ∈ C²(𝕋,ℝ) even. The main result, Theorem 1.1, states that for completely resonant phases (2θ ∈ αℤ+ℤ), an energy E with Lyapunov exponent L(E) < 2β(α) cannot be an eigenvalue — doubling the classical Gordon threshold β(α). The mechanism is new: instead of a one-sided comparison of transfer blocks (which yields one factor of ‖qα‖), the author forms the symmetric second difference A_q(x+h)+A_q(x−h)−2A_q(x), gaining ‖qα‖², and applies the resulting block identity at the midpoint U(q) rather than at U(0). After reducing to four canonical phases, the resonant block relation T⁻R(s+h)T⁰ = R(s) (Case I) or T⁻PT⁰ = P (Case II) is conjugated so that parity eigenfunctions map to standard basis vectors, and a contradiction follows from the exact formula B⁻ = DB₀⁻¹D_h (resp. DB₀⁻¹D) together with ad−bc = 1. Corollary 1.2 gives purely singular continuous spectrum for the almost Mathieu operator at completely resonant phases when 1 < |λ| < e^{2β(α)}, settling the absence-of-eigenvalues half of the Avila–Jitomirskaya conjecture on the sharp phase transition.

Significance. If correct — and I believe it is — this completes, together with the author's earlier localization result [Liu25] for |λ| > e^{2β(α)}, the Avila–Jitomirskaya conjecture on the sharp arithmetic spectral transition at completely resonant phases of the almost Mathieu operator: purely singular continuous for 1 < |λ| < e^{2β(α)}, Anderson localized for |λ| > e^{2β(α)}. This is a well-known open problem and the threshold e^{2β(α)} is the expected sharp one, so the result is of clear interest to the community. Equally valuable is the method: it is the first argument to combine repetition (Gordon) and reflection (palindromic) symmetries so as to extract a quadratic resonance factor, and it does so in a short, elementary, and fully self-contained proof. Every load-bearing identity is on the page and verifiable by hand — no black boxes beyond standard facts. The method should apply beyond the almost Mathieu case (the theorem is already stated for general even C² sampling functions). This is a strong paper for the journal.

minor comments (8)

[§1.2] §1.2: the statement "For every energy in the spectrum of the almost Mathieu operator, its Lyapunov exponent is L(E) = max{log|λ|,0}" is a theorem (Avila–Jitomirskaya; also Bourgain–Jitomirskaya for a.e. α) and should be cited at the point of use — [AJ09] is already in the reference list, so only an in-text citation is needed.
[§1.2] §1.2: the deduction of pure singular continuity uses that the supercritical (|λ|>1) AMO has no absolutely continuous spectrum. Please add a citation (e.g., the Last–Simon inequality together with positivity of L on the spectrum, or the global theory of Avila–Jitomirskaya).
[§2, Lemma 2.1] Lemma 2.1 (uniform upper bound sup_x ‖A_n(x)‖ ≤ C_ε e^{(L+ε)n}) is quoted without a reference; a citation to Furman's theorem on uniform bounds for SL(2,ℝ) cocycles (or an equivalent standard source) should be added.
[§3.1, Eqs. (32)–(33)] In (32) and (33) the polynomial factor q² from Lemma 2.2 is silently absorbed into the exponential: one should say explicitly that ε is first chosen so that L − 2γ + 2ε < 0 (possible since γ > L/2), after which q²e^{(L−2γ+ε)q} ≤ e^{(L−2γ+2ε)q} → 0. As written, the displayed inequality Cq²h²e^{(L+ε)q} ≤ Ce^{(L−2γ+ε)q} reuses the same ε on both sides.
[Notation] Notation: the abstract defines β(α) with ‖kα‖_{R/Z} while the body defines and uses ‖x‖_𝕋; please unify. Also, a sentence noting that the empty interval 1<|λ|<e^{2β(α)} when β(α)=0 makes Corollary 1.2 vacuous (and that β=∞ is allowed) would orient the reader.
[Various] Typos/presentation: §3.1 "We refer readers to the remark in Section 4.3 at the of this paper" (missing word); §4.2 "As in the Case I" (drop "the"); §1 sentence ending "...for further discussion. [Jit23]." has doubled punctuation; §4.3 remark ends with a stray comma after "estimate B⁻ + B⁺ − 2B₀,".
[References] The reference [Liu] ("A new proof of the sharp Gordon's lemma", Pure Appl. Funct. Anal., to appear) should be updated with full bibliographic data if it has appeared by the time of revision.
[§1.1 or §4.3] Optional: a brief remark on sharpness would be valuable. For the AMO the 2β threshold is sharp by [Liu25]; for general even C² potentials, Theorem 1.1 gives the natural barrier of the method (the quadratic gain saturates at two resonance factors), and whether the bound is optimal in that generality is an interesting open question worth one sentence.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: self-contained Gordon-type contradiction from first principles

full rationale

The paper proves absence of eigenvalues by a direct contradiction argument. It assumes an ℓ² eigenfunction, uses evenness of v and complete resonance of θ to obtain exact reflection identities for transfer blocks (Lemmas 3.1 and 4.1), conjugates to convenient bases, and applies the C² second-difference bound (Lemma 2.2) so that the symmetric combination B⁺+B⁻−2B₀ is o(1) under L(E)<2β(α). The resulting matrix–vector identities force a coordinate of (2B₀−B⁻)X₁ to tend to −1 while the same vector tends to 0, a contradiction. All load-bearing steps (uniform transfer bounds, second-derivative estimate, block identities, parity from eigenvalue simplicity) are derived on the page from the stated hypotheses. The self-citation [Liu25] is used only for the complementary localization regime and is not an input to Theorem 1.1 or Corollary 1.2’s absence-of-eigenvalues half. There is no fitted parameter, no uniqueness theorem imported to forbid alternatives, and no renaming of a known empirical pattern. The derivation is therefore non-circular.

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

The paper rests on standard facts from the spectral theory of quasiperiodic cocycles (existence of the Lyapunov exponent, Kingman’s subadditive theorem giving the uniform upper bound of Lemma 2.1, simplicity of eigenvalues for 1D Schrödinger operators) together with the C² and evenness assumptions on v that make the second-difference estimate and the reflection symmetries available. No free parameters are fitted; β(α) and L(E) are defined quantities. No new physical entities are postulated.

assumptions (5)

standard math Lyapunov exponent L(E) exists and satisfies the uniform upper bound sup_x ||A_n^E(x)|| 一 C_ε exp((L(E)+ε)n) (Lemma 2.1).
Classical consequence of Kingman’s subadditive ergodic theorem for continuous SL(2,R) cocycles; invoked throughout the growth estimates.
standard math Every eigenvalue of a discrete 1D Schrödinger operator is simple (Lemma 2.3).
Standard ODE/difference-equation fact used to guarantee that an ℓ2 eigenfunction is either even or odd (Case I) or satisfies u(-n-1)=\sigma u(n) (Case II).
domain assumption v∈C²(T,R) and v even.
Needed for the second-derivative bound (8) that produces the quadratic factor |h|², and for the reflection identities (10),(14),(45) that produce the exact matrix relations (18) and (47).
domain assumption Completely resonant phase 2θ∈αZ+Z can be reduced by a shift to one of the four canonical phases θ=s or s+α/2, s∈{0,1/2}.
Elementary observation used at the beginning of §2.1 to split the proof into Case I and Case II.
standard math For the almost Mathieu operator, L(E)=max{log|λ|,0} on the spectrum.
Classical formula of Bourgain–Jitomirskaya / Avila–Jitomirskaya; used only to translate Theorem 1.1 into Corollary 1.2.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A doubled Gordon threshold for palindromic quasiperiodic Schr\"odinger operators." pith.science (2026). https://pith.science/paper/2HLLSVEP

@misc{pith2026260724188,
  author       = {Pith},
  title        = {Pith review of: A doubled Gordon threshold for palindromic quasiperiodic Schr\"odinger operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2HLLSVEP}},
  note         = {Machine review of arXiv:2607.24188}
}

abstract

We consider one-frequency quasiperiodic Schr\"odinger operators \[ (H_{v,\alpha,\theta}u)(n) = u(n+1)+u(n-1) + v(\theta+n\alpha)u(n) \] acting on $\ell^2(\mathbb Z)$, where $\alpha\notin\mathbb Q$ and $v\in C^2(\mathbb T,\mathbb R)$ is an even function. We develop a new Gordon-type method that exploits approximate repetitions and palindromic symmetries simultaneously. Denote by $L(E)$ the Lyapunov exponent and let \[\beta(\alpha) = \limsup_{|k|\to\infty} -\frac{\log\|k\alpha\|_{\mathbb R/\mathbb Z}}{|k|}. \] We prove that, for every completely resonant phase $2\theta\in\alpha\mathbb Z+\mathbb Z$, $E$ cannot be an eigenvalue if $L(E)<2\beta(\alpha)$. As an application, consider the almost Mathieu operator \[ (H_{\lambda,\alpha,\theta}u)(n) = u(n+1)+u(n-1) + 2\lambda\cos\bigl(2\pi(\theta+n\alpha)\bigr)u(n). \] We show that if $2\theta\in\alpha\mathbb Z+\mathbb Z$ and $1<|\lambda|<e^{2\beta(\alpha)}$, then $H_{\lambda,\alpha,\theta}$ has purely singular continuous spectrum. This resolves the remaining absence-of-eigenvalues part of a conjecture of Avila and Jitomirskaya concerning the sharp spectral transition for completely resonant phases.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 7 canonical work pages

[1]

Avila, Artur and Jitomirskaya, Svetlana , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2009 , NUMBER =. doi:10.4007/annals.2009.170.303 , URL =

work page doi:10.4007/annals.2009.170.303 2009
[2]

Puig, Joaquim , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2004 , NUMBER =. doi:10.1007/s00220-003-0977-3 , URL =

doi:10.1007/s00220-003-0977-3 2004
[3]

Jitomirskaya, Svetlana , TITLE =. I. [2023] 2023 , ISBN =. doi:10.4171/ICM2022/175 , URL =

work page doi:10.4171/icm2022/175 2023
[4]

The point spectrum of the one-dimensional

Gordon, A Ya , journal=. The point spectrum of the one-dimensional. 1976 , publisher=

1976
[5]

Almost periodic

Simon, Barry , journal=. Almost periodic. 1982 , publisher=

1982
[6]

Avron, Joseph and Simon, Barry , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1982 , NUMBER =. doi:10.1090/S0273-0979-1982-14971-0 , URL =

work page doi:10.1090/s0273-0979-1982-14971-0 1982
[7]

and Simon, B

Jitomirskaya, S. and Simon, B. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1994 , NUMBER =

1994
[8]

Jitomirskaya, Svetlana and Liu, Wencai , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1002/cpa.21688 , URL =

doi:10.1002/cpa.21688 2017

Show all 13 references

[9]

Jitomirskaya, Svetlana and Liu, Wencai , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2018 , NUMBER =. doi:10.4007/annals.2018.187.3.3 , URL =

2018 doi
[10]

Jitomirskaya, Svetlana and Liu, Wencai , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2024 , NUMBER =. doi:10.4171/jems/1325 , URL =

2024 doi
[11]

Duke Math

Avila, Artur and You, Jiangong and Zhou, Qi , TITLE =. Duke Math. J. , FJOURNAL =. 2017 , NUMBER =. doi:10.1215/00127094-2017-0013 , URL =

2017 doi
[12]

A New Proof of the Sharp

Liu, Wencai , journal=. A New Proof of the Sharp
[13]

Peking Math

Liu, Wencai , TITLE =. Peking Math. J. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s42543-023-00075-3 , URL =

2025 doi

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.

[1] [1]

Avila, Artur and Jitomirskaya, Svetlana , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2009 , NUMBER =. doi:10.4007/annals.2009.170.303 , URL =

work page doi:10.4007/annals.2009.170.303 2009

[2] [2]

Puig, Joaquim , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2004 , NUMBER =. doi:10.1007/s00220-003-0977-3 , URL =

doi:10.1007/s00220-003-0977-3 2004

[3] [3]

Jitomirskaya, Svetlana , TITLE =. I. [2023] 2023 , ISBN =. doi:10.4171/ICM2022/175 , URL =

work page doi:10.4171/icm2022/175 2023

[4] [4]

The point spectrum of the one-dimensional

Gordon, A Ya , journal=. The point spectrum of the one-dimensional. 1976 , publisher=

1976

[5] [5]

Almost periodic

Simon, Barry , journal=. Almost periodic. 1982 , publisher=

1982

[6] [6]

Avron, Joseph and Simon, Barry , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1982 , NUMBER =. doi:10.1090/S0273-0979-1982-14971-0 , URL =

work page doi:10.1090/s0273-0979-1982-14971-0 1982

[7] [7]

and Simon, B

Jitomirskaya, S. and Simon, B. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1994 , NUMBER =

1994

[8] [8]

Jitomirskaya, Svetlana and Liu, Wencai , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1002/cpa.21688 , URL =

doi:10.1002/cpa.21688 2017