Pith. sign in

REVIEW 1 major objections 6 minor 27 references

The Ultimate Ishii-Pastur Theorem for Whole-Line Ergodic Block Jacobi Operators

T0 review · 1 major / 6 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read For almost every realization of a whole-line ergodic block Jacobi operator, the spectral measure's support in the positive-Lyapunov region has zero logarithmic capacity.

desk verdict A convincing resolution of the whole-line Ishii–Pastur problem; the proof is strong, though one quoted bound needs a precise reference. read the letter →

arxiv 2607.25808 v1 pith:67HN3EY6 submitted 2026-07-28 math.SP math-phmath.DSmath.MP

Zhenfu Wang , Bei Zhang , Qi Zhou This is my paper · ORCID
classification math.SPmath-phmath.DSmath.MP MSC 47B3647A1081Q10
keywords ergodicblockJacobioperatorsLyapunovexponentslogarithmiccapacityspectralmeasureIshii-Pasturtheoremwhole-linezero-capacitysupportThoulessformula
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 establishes the ultimate Ishii-Pastur theorem for whole-line ergodic block Jacobi operators: for almost every realization, any maximal spectral measure is supported, within the positive-Lyapunov region, on a Borel set of zero logarithmic capacity. This replaces the classical statement that the spectral measure is singular in that region with a strictly stronger smallness statement. It covers scalar Schrödinger operators as the $m=1$ case, thereby resolving the open whole-line scalar problem. The mechanism is a unitary 'flip' of the negative half-line onto the nonnegative half-line, which encodes the two-ended problem through a single Dirichlet fundamental matrix; its smallest singular value is then controlled by determinant and exterior-power asymptotics.

What carries the argument

The argument rests on a unitary flipping map $U$ that identifies the whole-line operator with a half-line block Jacobi operator $J_\omega$ of twice the block size, preserving the coupling across the origin. The two-ended evolution is captured by a single Dirichlet fundamental matrix $D_n(E,\omega)$, whose smallest singular value $s_{2m}$ controls all initial data. The key estimate—$\limsup (1/n) \log s_{2m}(D_n) \geq L_m(E)$ off a capacity-zero set—follows from the identity $s_{2m}(D) = |\det D| / \|\wedge^{2m-1}D\|$, with the determinant controlled by the Thouless formula and upper envelope theorem, and the exterior-power factor bounded by Craig-Simon-type estimates on forward and backward transfer matrices. Shnol's theorem th

What would settle it

Take the almost-Mathieu operator with coupling $\lambda>2$ and compute, for typical $\omega$, the logarithmic capacity of the set of energies in $S^+$ where $\limsup (1/n) \log s_{2m}(D_n(E,\omega)) < L_m(E)$. If this exceptional set has positive capacity and carries positive spectral measure, the theorem is false; if it is zero-capacity, the paper's key estimate is confirmed for that model.

Watch

Extended reading notes

Core claim

For $P$-almost every $\omega$, there is a Borel set $Q_\omega$ of zero logarithmic capacity such that $\mu_\omega(S^+ \setminus Q_\omega)=0$, where $S^+=\{E: L_m(E)>0\}$ and $\mu_\omega$ is a maximal spectral measure of the whole-line ergodic block Jacobi operator $H_\omega$. In other words, the spectral measure of the positive-Lyapunov region is carried by a set invisible to logarithmic capacity. Under unique ergodicity and continuity of coefficients, the conclusion holds for each realization individually. In the scalar case $m=1$, this settles the whole-line problem.

Load-bearing premise

The proof relies on the bound that, for almost every realization and every energy, the normalized logarithm of any exterior power of the transfer matrix has $\limsup$ no larger than the corresponding sum of Lyapunov exponents; if the set of energies where this fails has positive logarithmic capacity, the exterior-power estimate and the main theorem collapse.

Editorial extensions

If this is right

  • Resolves the open scalar whole-line problem: the restriction of a maximal spectral measure to the positive-Lyapunov region is carried by a zero-capacity set.
  • Extends the zero-capacity conclusion from half-line to whole-line operators, and from scalar to matrix-valued block Jacobi and strip operators.
  • Under unique ergodicity and continuity, provides a deterministic zero-capacity support for every realization rather than almost every.
  • Since zero-capacity sets have zero Hausdorff dimension, the positive-Lyapunov spectral support is also of zero Hausdorff dimension in this general ergodic setting.
  • The flipping construction offers a template for reducing whole-line spectral questions to half-line ones while keeping the origin coupling intact.

Reading between the lines

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

  • The flipping map may be reusable beyond spectral measures: any two-ended linear problem whose growth in both directions matters could be folded into a single half-line problem at the cost of doubling dimension and losing ergodicity of the coefficients.
  • The proof suggests that, in this class, the set of energies where the transfer-matrix cocycle is non-regular has zero capacity; verifying this directly would connect the result to recent studies of non-Lyapunov exceptional sets.
  • If the invertibility assumption on the hopping matrices could be relaxed by an approximation argument, the conclusion would extend to a broader class of ergodic block operators.
  • The methods may transfer to other fine notions of spectral smallness (e.g., Hausdorff measures with dimension functions) by replacing the potential-theoretic estimates with appropriate upper envelope theorems.
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.

Referee Report

1 major / 6 minor

Summary. The paper proves an 'ultimate Ishii–Pastur theorem' for whole-line ergodic block Jacobi operators: for P-almost every realization, the restriction of any maximal spectral measure to the set S^+ = {E : L_m(E) > 0} is carried by a Borel set of zero logarithmic capacity. The proof introduces a unitary flip of the whole line into a half-line block Jacobi operator of block size 2m, identifies the finite-volume counting measures with those of the original operator, and obtains a quasi-everywhere lower bound on the smallest singular value of the flipped Dirichlet fundamental matrix via determinant asymptotics and exterior-power growth bounds. In the scalar case A ≡ 1 this settles Problem 4.7.18 of Damanik and Fillman.

Significance. If the proof is correct, this is a significant contribution: it extends Simon's half-line zero-capacity theorem to the whole-line setting and to matrix-valued coefficients, and resolves a published open problem. The flipping construction is an elegant and apparently new mechanism that directly addresses the genuine whole-line difficulty explained in Section 1.1. The argument is largely self-contained, uses standard tools (Thouless formula, upper envelope theorem, Craig–Simon bounds, Shnol theorem) without ad-hoc assumptions, and the main theorem is falsifiable in the usual spectral-theoretic sense. The paper is clearly written and the proof structure is coherent.

major comments (1)
  1. [§4.3, Lemma 4.4] Lemma 4.4 is load-bearing: Lemma 4.2 and hence Proposition 4.2 use (14) for every E∈R for a fixed ω. This is stronger than the quasi-everywhere equality delivered by the upper envelope theorem (Theorem 2.2), and the citation [2,8] is not pinpointed. Since the introduction stresses the failure of full limits and the possibility of positive-capacity exceptional sets, the authors should either prove (14) for exterior powers of T_± or state it in the quasi-everywhere form and take the union of capacity-zero exceptional sets in Proposition 4.2. The repair is transparent, but as written the central estimate is not fully justified.
minor comments (6)
  1. [§3, Lemma 3.1] Typo: 'easily check' should be 'easily checked'. Also Lemma 3.2 contains 'equivalance' for 'equivalence'.
  2. [§4.3, proof of Lemma 4.2] The symbol J(ω) for the symplectic form clashes with the flipped operator J_ω; consider renaming the form, e.g. Ω(ω), to avoid confusion.
  3. [§4.2, Lemma 4.1] The notation '/∈' should be '∉' throughout.
  4. [References] Reference [2] has a typo: 'Lyaponov' should be 'Lyapunov'.
  5. [§4.2, determinant identity] The identity det(E - J_{ω,[0,n-1]}) = (∏_{j=0}^{n-1} det A_j(ω)) det D_n(E,ω) is standard, but the sign/index conventions are worth a one-line derivation or an exact reference, since the absolute value is eventually used.
  6. [Theorem 1.2 / Section 1] The paper proves the result for a particular maximal spectral measure μ_ω (the trace of the two-site spectral measure). The implication for 'any maximal spectral measure', as stated in Theorem 1.1, follows from mutual absolute continuity of maximal spectral measures; this should be explicitly noted.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: proof is a forward derivation from external results; no self-citations or fitted inputs.

full rationale

The derivation chain is forward and self-contained relative to external results. The main theorem is proved by flipping the whole-line operator to a half-line operator (Section 3), identifying finite-volume counting measures with those of the original ergodic family (Proposition 4.1), and then combining determinant asymptotics (Lemma 4.1) with exterior-power upper bounds (Lemma 4.2) to obtain the smallest-singular-value lower bound (Proposition 4.2), and finally applying Schnol's theorem. Each load-bearing estimate is quoted from external literature: the upper envelope theorem from Landkof [20], the Thouless formula from [1,12,19], the Craig-Simon type bound from [2,8], and Furman's theorem from [6]. None of these are self-citations of the present authors, and no parameter is fitted to data. The flipping construction is a unitary change of coordinates with explicitly proved finite-volume identification (Lemma 3.1); the paper emphasizes that the flipped family is not ergodic, so the result is not merely a renaming of a known half-line theorem. The only concern flagged in the text is that Lemma 4.4 states the Craig-Simon bound for every E for P-a.e. omega, while the introduction notes the upper-envelope theorem gives only quasi-everywhere limsup asymptotics. This is a potential correctness gap about the strength of an externally cited result, not a circularity, since the cited result is not the authors' own and is applied in the same direction as stated. Thus the paper does not reduce by construction to its inputs.

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

The paper introduces no new free parameters or invented entities. Its non-trivial assumptions are all quoted from the literature: the standard DOS approximation, the Thouless formula, the upper envelope theorem, the Craig–Simon limsup bound (the most fragile), Furman's unique-ergodicity theorem, and the Schnol theorem. The flipping map U is a new construction but not an assumption; it is a definable unitary operator used to reduce the whole-line problem to a half-line problem.

assumptions (6)
  • domain assumption Standard finite-volume approximation of the density of states for ergodic block Jacobi operators (used in Proposition 4.1).
    Theorem 4.1 is quoted as standard [3,11] without proof; it is the basis for the convergence of the flipped finite-volume counting measures that the rest of the proof uses.
  • standard math Thouless formula (Theorem 2.1) for block Jacobi operators with invertible hopping A(·).
    Quoted from [1,12,19] and used in Lemma 4.1 to convert the integrated density of states into the sum of nonnegative Lyapunov exponents.
  • standard math Upper envelope theorem (Theorem 2.2) from logarithmic potential theory.
    Used to assert the limsup of logarithmic potentials of the finite-volume counting measures equals the full potential outside a capacity-zero set (Lemma 4.1). This is exactly the mechanism that creates the exceptional set Q_ω.
  • domain assumption Craig–Simon type upper bound (Lemma 4.4): limsup_{n→∞} (1/n) log ‖⋀ⁱ T_±(n;E,ω)‖ ≤ L_i(E) for P-a.e. ω and every E.
    This is the most important quoted result; it is used to bound the exterior power of the flipped Dirichlet matrix. The paper cites [2,8] but does not prove it; the matrix-valued and 'every E' form is exactly the delicate part of the whole-line difficulty, since the Oseledets theorem only gives a.e. convergence for fixed E.
  • domain assumption Furman's theorem on multiplicative ergodic theorems for uniquely ergodic systems (used in Lemma 4.2/4.4 to get the bound for every ω).
    Used to upgrade the a.e. Craig–Simon bound to every ω in the uniquely ergodic case, which yields Corollary 1.1.
  • domain assumption Schnol theorem: for almost every E with respect to a maximal spectral measure, there is a nonzero polynomially bounded generalized eigenfunction.
    Used in the final step of Theorem 1.2: 'by the Shnol theorem [21,24,25], for τ_ω-almost every E, there exists a nonzero polynomially bounded solution'. This is the mechanism that forces the spectral measure to avoid the exponentially growing regime.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Ultimate Ishii-Pastur Theorem for Whole-Line Ergodic Block Jacobi Operators." pith.science (2026). https://pith.science/paper/67HN3EY6

@misc{pith2026260725808,
  author       = {Pith},
  title        = {Pith review of: The Ultimate Ishii-Pastur Theorem for Whole-Line Ergodic Block Jacobi Operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/67HN3EY6}},
  note         = {Machine review of arXiv:2607.25808}
}
read the original abstract

We establish an ultimate Ishii-Pastur theorem for whole-line ergodic block Jacobi operators. We prove that, for almost every realization, the restriction of a maximal spectral measure to the region where the smallest nonnegative Lyapunov exponent is strictly positive is carried by a Borel set of zero capacity. In the scalar case, this settles the whole-line problem formulated by Damanik and Fillman \cite[Problem~4.7.18]{Damanik-Fillman-book}.

Figures

Figures reproduced from arXiv: 2607.25808 by the authors.

Figure 1
Figure 1. Flipping transformation As illustrated in [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references

  1. [1]

    Chapman and G

    J. Chapman and G. Stolz, Localization for random block operators related to the XY spin chain, Ann. Henri Poincaré16(2015), no. 2, 405–435

    2015

  2. [2]

    W. L. Craig and B. Simon, Subharmonicity of the Lyaponov index, Duke Math. J.50(1983), no. 2, 551–560

    1983

  3. [3]

    Damanik and J

    D. Damanik and J. Fillman,One-dimensional ergodic Schrödinger operators—I. General theory, Graduate Studies in Mathematics, 221, Amer. Math. Soc., Providence, RI, [2022]©2022

    2022

  4. [4]

    Damanik and J

    D. Damanik and J. Fillman,One-dimensional ergodic Schrödinger operators—II. Specific classes, Graduate Studies in Mathematics, 249, Amer. Math. Soc., Providence, RI, [2024]©2024

    2024

  5. [5]

    Damanik, A

    D. Damanik, A. B. Pushnitski and B. Simon, The analytic theory of matrix orthogonal polynomials, Surv. Approx. Theory4(2008), 1–85

    2008

  6. [6]

    Furman, On the multiplicative ergodic theorem for uniquely ergodic systems, Ann

    A. Furman, On the multiplicative ergodic theorem for uniquely ergodic systems, Ann. Inst. H. Poincaré Probab. Statist.33(1997), no. 6, 797–815

    1997

  7. [7]

    Gorodetski and V

    A. Gorodetski and V. A. Kleptsyn, Parametric Furstenberg theorem on random products of SL(2,R)matrices, Adv. Math.378(2021), Paper No. 107522, 81 pp

    2021

  8. [8]

    I. Y. Goldsheid and S. Sodin, Sets of non-Lyapunov behaviour for scalar and matrix Schrödinger cocycles, Int. Math. Res. Not. IMRN2024, no. 9, 7421–7444

Show all 27 references
  1. [9]

    H. A. González and C. Sadel, Absolutely continuous spectrum for Schrödinger operators with random decaying matrix potentials on the strip, Lett. Math. Phys.113(2023), no. 1, Paper No. 9, 32 pp

    2023

  2. [10]

    Hamza, R

    E. Hamza, R. Sims and G. Stolz, Dynamical localization in disordered quantum spin systems, Comm. Math. Phys.315(2012), no. 1, 215–239. 15

    2012

  3. [11]

    Hof, Some remarks on discrete aperiodic Schrödinger operators, J

    A. Hof, Some remarks on discrete aperiodic Schrödinger operators, J. Statist. Phys.72(1993), no. 5-6, 1353–1374

    1993

  4. [12]

    Haro and J

    À. Haro and J. Puig, A Thouless formula and Aubry duality for long-range Schrödinger skew- products, Nonlinearity26(2013), no. 5, 1163–1187

    2013

  5. [13]

    Ishii, Localization of eigenstates and transport phenomena in the one dimensional disordered system, Supp

    K. Ishii, Localization of eigenstates and transport phenomena in the one dimensional disordered system, Supp. Theor. Phys.53(1973), 77–138

    1973

  6. [14]

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

    1999

  7. [15]

    S. Y. Jitomirskaya and Y. Last, Power law subordinacy and singular spectra. II. Line operators, Comm. Math. Phys.211(2000), no. 3, 643–658

    2000

  8. [16]

    S. Y. Jitomirskaya and W. Liu, Universal hierarchical structure of quasi-periodic eigenfunctions, Ann. of Math. (2)187(2018), no. 3, 721–776

    2018

  9. [17]

    V. A. Kleptsyn and F. Quintino, Phase transition of capacity for the uniformGδ-sets, Potential Anal.56(2022), no. 4, 597–622

    2022

  10. [18]

    S. Kotani, Ljapunov indices determine absolutely continuous spectra of stationary random one- dimensional Schrödinger operators, inStochastic analysis (Katata/Kyoto, 1982), 225–247, North- Holland Math. Library, 32, North-Holland, Amsterdam

    1982

  11. [19]

    Kotani and B

    S. Kotani and B. Simon, Stochastic Schrödinger operators and Jacobi matrices on the strip, Comm. Math. Phys.119(1988), no. 3, 403–429

    1988

  12. [20]

    N. S. Landkof,Foundations of modern potential theory, translated from the Russian by A. P. Doohovskoy, Die Grundlehren der mathematischen Wissenschaften, Band 180, Springer, New York- Heidelberg, 1972

    1972

  13. [21]

    D. H. Lenz and A. Teplyaev, Expansion in generalized eigenfunctions for Laplacians on graphs and metric measure spaces, Trans. Amer. Math. Soc.368(2016), no. 7, 4933–4956

    2016

  14. [22]

    Anal.290(2026), no

    N.Levi, Onfractalcontinuitypropertiesofcertainone-dimensionalSchrödingeroperators, J.Funct. Anal.290(2026), no. 12, Paper No. 111445, 25 pp

    2026

  15. [23]

    L. A. Pastur, Spectral properties of disordered systems in the one-body approximation, Comm. Math. Phys.75(1980), no. 2, 179–196

    1980

  16. [24]

    Poerschke, G

    T. Poerschke, G. Stolz and J. Weidmann, Expansions in generalized eigenfunctions of selfadjoint operators, Math. Z.202(1989), no. 3, 397–408

    1989

  17. [25]

    Schlag, An introduction to multiscale techniques in the theory of Anderson localization, Part I, Nonlinear

    W. Schlag, An introduction to multiscale techniques in the theory of Anderson localization, Part I, Nonlinear. Anal.220(2022), 112869

    2022

  18. [26]

    Simon, Equilibrium measures and capacities in spectral theory, Inverse Probl

    B. Simon, Equilibrium measures and capacities in spectral theory, Inverse Probl. Imaging1(2007), no. 4, 713–772

    2007

  19. [27]

    Tsuji,Potential theory in modern function theory, Chelsea, New York, 1975

    M. Tsuji,Potential theory in modern function theory, Chelsea, New York, 1975. Chern Institute of Mathematics and LPMC, Nankai University, Tianjin 300071, China Email address:zhenfuwang@mail.nankai.edu.cn Chern Institute of Mathematics and LPMC, Nankai University, Tianjin 30007...

    1975

Pith tools

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