REVIEW 3 minor 1 cited by
Eigenvalue distribution of canonical systems: trace class and sparse spectrum
T0 review · 0 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The paper establishes that the Stieltjes transform of the spectrum of a definite canonical system is fixed, up to universal constants, by an explicit integral of the Hamiltonian.
desk verdict Solves the p≤1 resolvent ideal problem for general canonical systems with a genuinely new kernel method; the imported black-box theorem looks safe and the main argument holds up. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the kernel $K_H(t;r)$ of Definition 3.1, $K_H(t;r)=\mathbf{1}_{[a,\hat t(r))}(t)\,\frac{\omega_2(a,t)h_1(t)}{c_+/r^2+\omega_3(a,t)^2}+\mathbf{1}_{[\hat t(r),b)}(t)\,\frac{h_1(t)}{\omega_1(\hat s(t;r),t)}$, built from a compatible pair $(\hat t,\hat s)$: $\hat t(r)$ is a point with $\det\Omega(a,\hat t(r))$ comparable to $c/r^2$, and $\hat s(t;r)$ is a point behind $t$ with the same property for $\det\Omega(\hat s,t)$, where $\Omega(s,t)=\int_s^t H$. Theorem 3.4 is the mechanism: $\log|w_{22}(x;ir)| \asymp \int_a^x K_H(t;r)\,dt$. It is proved by writing the $t$-derivative of $\log|w_{22}|$ as $r\,\mathrm{Im}(-w_{21}/w_{22})h_1$, recognising that ratio as the Weyl coefficient of a reflected Hamiltonian, and estimating it with the imported quantitative estimate of [23]. Lemma 3.8 converts the growth of $w_{22}$ into the Stieltjes transform of the counting function through a symmetrisation product, and a monotone-convergence limit passes to the limit-point case; all later statements are applications of this comparison.
What would settle it
Take an explicit Hamiltonian satisfying the paper's assumptions, for instance the alternating rank-one-block Hamiltonian of Proposition 7.5, and numerically compute both sides of (3.3) along a sequence $r_n\to\infty$. If the ratio tends to $0$ or $\infty$, the claimed universal comparison fails; equivalently, check whether finiteness of $\int_1^\infty r^{-2}\int_a^b K_H(t;r)\,dt\,dr$ coincides with convergence of $\sum |\lambda|^{-1}$.
Extended reading notes
Core claim
On the paper's own terms the central discovery is Theorem 3.2. For a definite Hamiltonian $H$ with discrete spectrum and $\int_a^b h_1(t)\,dt<\infty$, choose a compatible pair $(\hat t,\hat s)$ marking where $\det \int H$ reaches $c/r^2$, and form the kernel $K_H(t;r)$ of Definition 3.1. Then $\int_0^\infty \frac{1}{t+r^2}\,\frac{n_H(\sqrt t)}{t}\,dt \asymp r^{-2}\int_a^b K_H(t;r)\,dt$ for $r>r_0$, with constants depending only on the chosen $c_\pm$, and one side is finite if and only if the other is. The same comparison, after Tauberian steps, characterises convergence of $\sum_{\lambda\in\sigma_H\setminus\{0\}} |\lambda|^{-p}$ for every $p\in(0,2)$; for $p=1$ it gives an explicit trace-class criterion and the trace formula $\mathrm{tr}(A_H^{-1})=-\lim_{t\to b}\int_a^t h_3(s)\,ds$. In the limit-circle case, the algorithm of Definition 5.1 produces $\kappa_H(r)$ with $\int_a^b K_H(t;r)\,dt$ between $\kappa_H(r)\log 2-O(\log r)$ and $2e\,\kappa_H(r)(\log r+O(1))$; examples show both bounds can be attained. The inverse construction supplies explicit Hamiltonians with prescribed regularly varying monodromy growth of index in $(1/2,1)$, and for some functions of index $1/2$.
Load-bearing premise
The whole chain rests on an imported estimate, Theorem 2.15 of [23], asserting that the imaginary part of a certain solution ratio grows with constants depending only on universal parameters; if that estimate fails for any Hamiltonian satisfying the paper's stated assumptions, the comparison formulas and the trace-class criterion would not follow.
Editorial extensions
If this is right
- For every $p\in(0,2)$, convergence of $\sum_{\lambda\neq0}|\lambda|^{-p}$ is equivalent to $\int_1^\infty r^{-(p+1)}\int_a^b K_H(t;r)\,dt\,dr<\infty$; for $p>1$ this extends the endpoint criterion of [32], and for $p\le1$ it covers general Hamiltonians with off-diagonal entries.
- The resolvent $A_H^{-1}$ is trace class if and only if $\int_1^\infty r^{-2}\int_a^b K_H(t;r)\,dt\,dr<\infty$, and then its trace is $-\lim_{t\to b}\int_a^t h_3(s)\,ds$.
- In the limit-circle case, the order of the monodromy matrix is $\limsup_{n\to\infty}\log\kappa_H(r_n)/\log r_n$ along any sequence $r_n\to\infty$ with bounded successive ratios.
- Cutting a measurable piece out of the Hamiltonian cannot increase $\kappa_H$, and the integral of $K_H$ grows by at most a logarithmic factor, so removing part of the domain never increases the order of the spectrum.
- The estimates are sharp: a nowhere-differentiable H\"older rotation attains order $1/(1+\nu)$ for every H\"older exponent $\nu\in(0,1)$, and an alternating rank-one Hamiltonian attains the upper $(\log r)^2$ growth.
Reading between the lines
- If the comparison were proved with explicit constants, Theorem 4.8 would become a numerical spectral estimator for sparse spectra; the paper does not attempt to optimise constants, so this is an extrapolation.
- A natural test of the logarithmic error in Theorem 5.3 is to run the partition algorithm on random Hamiltonians; the paper exhibits only extremal examples where the error is attained.
- Because the trace formula is a signed limit of off-diagonal integrals, oscillating $h_3$ could make a trace-class resolvent have unexpectedly small or negative trace; this is a checkable consequence the paper leaves implicit.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies two-dimensional canonical systems y' = z J H(t) y with definite Hamiltonian H and discrete spectrum. Its first main result, Theorem 3.2, bounds the Stieltjes transform ∫_0^∞ (t+r^2)^{-1} n_H(√t)/t dt above and below by r^{-2} ∫_a^b K_H(t;r) dt with universal constants, where K_H is defined in (3.1) via a compatible pair. From this the paper derives criteria for convergence of ∑ 1/|λ|^p for 0<p<2 (Theorem 4.8), in particular a trace-class criterion (Theorem 4.12) together with the trace formula tr(A_H^{-1}) = -lim_{t→b} ∫_a^t h_3(s) ds. For limit-circle Hamiltonians, Theorem 5.3 gives an algorithmic estimate of ∫ K_H in terms of a partition function κ_H, up to a logarithmic error. Applications include monotonicity under deletions (Theorem 5.10), pointwise growth bounds for Hölder and bounded-variation angles (Proposition 5.13), exact growth for chirp and Weierstraß examples (Theorems 6.9 and 7.4), sharpness of the logarithmic upper bound (Proposition 7.5), and an inverse construction prescribing regularly varying growth of the monodromy (Theorem 6.13).
Significance. If the results are correct, the paper settles a long-standing problem: for p ≤ 1, the earlier criteria from [32] fail and no general characterisation of ∑ |λ|^{-p} for canonical systems was known; Theorem 4.8 and its trace-class consequence fill this gap. The proof strategy is new: it combines the Weyl-coefficient estimates of [23] with a reflection construction of auxiliary Hamiltonians H^(t), exact identities for log |w_22|, and zero-counting via Hadamard products. A notable strength is that all asymptotic equivalences carry universal constants depending only on the compatible-pair constants c±, and the paper explicitly tracks this uniformity. The paper is also honest about limitations: it states in the introduction that actual eigenvalue asymptotics cannot be recovered because the constants C± cannot be made close, and Theorem 4.8 for ind g ∈ {0,2} is conditional on the existence of an auxiliary function g* satisfying (4.5)/(4.6), with examples in §4.2 showing large classes where such g* exist. The sharpness examples and the inverse theorem substantially increase the value of the paper.
minor comments (3)
- [Section 3.1, Lemma 3.7] The passage from Theorem 2.15 to the estimate (3.8) uses the fact that the constants in Theorem 2.15 are independent of the Hamiltonian, and this uniformity is exactly what makes the reflection construction work. Since this is the only external input in the central proof, it would help the reader if §3.1 added a sentence explicitly recording that Theorem 2.15 is applied to the family H^(t) and that the definiteness and limit-point hypotheses are verified by the formulas (3.9)–(3.11).
- [Theorem 4.8] The abstract and introduction describe the Schatten-class criterion as explicit, but for ind g = 0 and ind g = 2 the theorem is conditional on the existence of a function g* satisfying (4.5) or (4.6), a fact acknowledged in the text but not in the abstract. Consider adding a one-sentence caveat in the introduction or abstract to avoid overstatement.
- [Theorem 4.12, Eq. (4.16)] The trace formula gives a signed trace, which may be non-positive; for example, for a diagonal Hamiltonian the spectrum is symmetric and the trace is 0. A brief remark explaining the sign convention for tr(A_H^{-1}) would help readers, since the word 'trace' in the theorem statement might suggest a positive quantity.
Circularity Check
No circularity: the central theorem is derived from an exact derivative identity plus an external published Weyl-coefficient estimate; no input is fitted or renamed as a prediction.
full rationale
The paper's derivation chain is self-contained apart from one imported theorem that is not circular. Theorem 3.2 is obtained by combining the exact derivative identity in Lemma 3.5, the reflection construction in Lemma 3.6 identifying Im(-w21/w22) with Im q_{H^(t)}(ir), the quantitative Weyl-coefficient estimate of Theorem 2.15 (quoted from Reiffenstein's published paper [23]), and the explicit computation of omega_{H^(t),2}(a, hat t^(t)(r)) in Lemma 3.7. The kernel KH in (3.1) is defined directly from H and from a compatible pair whose existence is proved in Proposition 2.12 using monotonicity of det Omega; it is not fitted to n_H or to the Stieltjes transform. Lemma 3.8 then converts log|w22(ir)| into the Stieltjes transform of the zero-counting function through a standard entire-function identity, and Section 3.3 passes to the limit-point case by a monotone-convergence argument. No equation in the paper is equivalent to its conclusion by construction, and no fitted parameter is relabelled as a prediction. The only load-bearing external input is Theorem 2.15, which is a self-citation by one of the present authors; however, it is a published, peer-reviewed theorem with stated assumptions (definite limit-point Hamiltonian and compatible function) that do not include the target result, and the constants are asserted to depend only on c_-, c_+ and not on H. That is independent support rather than circularity. The paper also explicitly acknowledges the limitation that the constants in (1.3) cannot be made arbitrarily close because of the Weyl-coefficient estimates, which is an honest limitation statement, not a circular step.
Assumptions & free parameters
assumptions (5)
- domain assumption H is a Hamiltonian in H_{a,b} (locally integrable, non-negative, non-zero a.e.) and is definite.
- standard math The Weyl coefficient asymptotics of [23, Thm 1.1] (quoted as Theorem 2.15).
- ad hoc to paper For ind g in {0,2} in Theorem 4.8, existence of a regularly varying function g* satisfying (4.5) or (4.6).
- standard math Entire function theory facts: Hadamard factorization, Jensen formula, bounded type functions.
- standard math Discreteness and Schatten criteria of [32] for p>1.
Cite this review
Pith. "Pith review of Eigenvalue distribution of canonical systems: trace class and sparse spectrum." pith.science (2026). https://pith.science/paper/2WC3Q7SI
@misc{pith2026241220124,
author = {Pith},
title = {Pith review of: Eigenvalue distribution of canonical systems: trace class and sparse spectrum},
year = {2026},
howpublished = {\url{https://pith.science/paper/2WC3Q7SI}},
note = {Machine review of arXiv:2412.20124}
}
read the original abstract
In this paper we consider two-dimensional canonical systems with discrete spectrum and study their eigenvalue densities. We develop a formula that determines the Stieltjes transform of the eigenvalue counting function up to universal multiplicative constants. An explicit criterion is given for the resolvents of the model operator to belong to a Schatten-von Neumann class with index 0<p<2, thus giving an answer to the long-standing question which canonical systems have trace class resolvents. For canonical systems with two limit circle endpoints we develop an algorithm for determining the growth of the monodromy matrix up to a small error. Moreover, we present examples to illustrate our results, show their sharpness and prove an inverse result giving explicit formulae.
Figures
Forward citations
Cited by 1 Pith paper
-
Growth estimates for Nevanlinna matrices of order larger than one half
For monotone Hamburger Hamiltonians with regularly varying parameters, the monodromy matrix grows like r times an inverse-function integral, yielding the exact Nevanlinna order 1/(2(β-1)) in the simply critical Jacobi...
Reference graph
Works this paper leans on
-
[22]
R. Pruckner and H. Woracek, A growth estimate for the monod romy matrix of a canonical system, J. Spectr. Theory 12 (2022), 1623–1657
work page 2022
-
[23]
Reiffenstein, A quantitative formula for the imaginary part of a Weyl coefficient, J
J. Reiffenstein, A quantitative formula for the imaginary part of a Weyl coefficient, J. Spectr. Theory 13 (2023), 555–591
work page 2023
-
[32]
R. Romanov and H. Woracek, Canonical systems with discrete s pectrum, J. Funct. Anal. 278 (2020), 108318, 44 pp
work page 2020
-
[1]
A.D. Baranov and H. Woracek, Subspaces of de Branges spaces with prescribed growth, Algebra i Analiz 18 (2006), 23–45
work page 2006
-
[2]
J. Behrndt, S. Hassi and H. de Snoo, Boundary Value Problems, Weyl Functions, and Differential Operators , Monogr. Math., vol. 108, Birkh¨ auser/Springer, Cham, 2020
work page 2020
-
[3]
C. Berg and H.L. Pedersen, Logarithmic order and type of indete rminate moment problems; with an appendix by Walter Hayman, in: Difference Equations, Special Functions and Orthogonal Polynomials, World Sci. Publ., Hackensack, NJ, 2007, pp. 51–79
work page 2007
-
[4]
C. Berg and R. Szwarc, On the order of indeterminate moment pr oblems, Adv. Math. 250 (2014), 105–143
work page 2014
-
[5]
N.H. Bingham, C.M. Goldie and J.L. Teugels, Regular Variation , Encyclopedia Math. Appl., vol. 27, Cambridge University Press, Cambridge, 1989
work page 1989
Show all 34 references
-
[6]
Boas Jr., Entire Functions, Academic Press Inc., New York, 1954
R.P. Boas Jr., Entire Functions, Academic Press Inc., New York, 1954
1954
-
[7]
de Branges, Some Hilbert spaces of entire functions
L. de Branges, Some Hilbert spaces of entire functions. II, Trans. Amer. Math. Soc. 99 (1961), 118–152
1961
-
[8]
de Branges, Hilbert Spaces of Entire Functions , Prentice-Hall Inc., Englewood Cliffs, N.J., 1968
L. de Branges, Hilbert Spaces of Entire Functions , Prentice-Hall Inc., Englewood Cliffs, N.J., 1968. 59
1968
-
[9]
Eckhardt and A
J. Eckhardt and A. Kostenko, The inverse spectral problem fo r indefinite strings, Invent. Math. 204 (2016), 939–977
2016
-
[10]
Gohberg and M.G
I.C. Gohberg and M.G. Krein, Theory and Applications of Volterra Operators in Hilbert space, Transl. Math. Monogr., vol. 24, Translated from the Russian by A. Feinstein, Amer- ican Mathematical Society, Providence, R.I., 1970
1970
-
[11]
Hardy, Weierstrass’s non-differentiable function, Trans
G.H. Hardy, Weierstrass’s non-differentiable function, Trans. Amer. Math. Soc. 17 (1916), 301–325
1916
-
[12]
Kac, Integral estimates for the distribution of the spect rum of a string [Russian], Sibirsk
I.S. Kac, Integral estimates for the distribution of the spect rum of a string [Russian], Sibirsk. Mat. Zh. 27 (1986), no. 2, 62–74; English translation: Sib. Math. J. 27, no. 2, 193–204
1986
-
[13]
Kac, Tightness of a spectrum of a singular string, Izv
I.S. Kac, Tightness of a spectrum of a singular string, Izv. Vyssh. Uchebn. Zaved. Mat. (1990), 23–30; Soviet Math. (Iz. VUZ) 34 (1990), no.3, 26–34
1990
-
[14]
Kac, Inclusion of Hamburger’s power moment problem in the s pectral theory of canon- ical systems [Russian], Zap
I.S. Kac, Inclusion of Hamburger’s power moment problem in the s pectral theory of canon- ical systems [Russian], Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 262 (1999), 147–171; English translation: J. Math. Sci. (New York) 110 (2002), 2991–3004
1999
-
[15]
Kaltenb¨ ack, H
M. Kaltenb¨ ack, H. Winkler and H. Woracek, Strings, dual strin gs, and related canonical systems, Math. Nachr. 280 (2007), 1518–1536
2007
-
[16]
Kaltenb¨ ack and H
M. Kaltenb¨ ack and H. Woracek, Canonical differential equatio ns of Hilbert–Schmidt type, in: Operator Theory in Inner Product Spaces , Oper. Theory Adv. Appl., vol. 175, Birkh¨ auser, Basel, 2007, pp. 159–168
2007
-
[17]
Krein, On the theory of entire matrix functions of exponen tial type [Russian], Ukrain
M.G. Krein, On the theory of entire matrix functions of exponen tial type [Russian], Ukrain. Mat. ˇZurnal 3 (1951), 164–173; English translation in: Oper. Theory Adv. Appl. 95 (1997), 361–371
1951
-
[18]
Langer, R
M. Langer, R. Pruckner and H. Woracek, Estimates for the We yl coefficient of a two- dimensional canonical system, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 25 (2024), 2259– 2330
2024
-
[19]
Langer and H
M. Langer and H. Woracek, Karamata’s theorem for regularise d Cauchy transforms, Proc. Roy. Soc. Edinburgh Sect. A , to appear, doi.org/10.1017/prm.2023.128
2023 doi
-
[20]
Levin, Distribution of Zeros of Entire Functions , Transl
B.Ja. Levin, Distribution of Zeros of Entire Functions , Transl. of Math. Monogr., vol. 5, American Mathematical Society, Providence, R.I., 1980
1980
-
[21]
Peˇ sa, On the smoothness of slowly varying functions, Proc
D. Peˇ sa, On the smoothness of slowly varying functions, Proc. Edinb. Math. Soc. (2) 67 (2024), 876–891
2024
-
[24]
Reiffenstein, Growth estimates for Nevanlinna matrices of or der larger than one half, manuscript in preparation
J. Reiffenstein, Growth estimates for Nevanlinna matrices of or der larger than one half, manuscript in preparation
-
[25]
Reiffenstein, Nevanlinna matrix estimates without regularity c onditions, manuscript in preparation
J. Reiffenstein, Nevanlinna matrix estimates without regularity c onditions, manuscript in preparation
-
[26]
Remling, Schr¨ odinger operators and de Branges spaces, J
C. Remling, Schr¨ odinger operators and de Branges spaces, J. Funct. Anal. 196 (2002), 323–394
2002
-
[27]
Remling, Spectral Theory of Canonical Systems , De Gruyter Stud
C. Remling, Spectral Theory of Canonical Systems , De Gruyter Stud. Math., vol. 70, De Gruyter, Berlin, 2018. 60
2018
-
[28]
Remling and K
C. Remling and K. Scarbrough, Oscillation theory and semibounde d canonical systems, J. Spectr. Theory 10 (2020), 1333–1359
2020
-
[29]
Remling and K
C. Remling and K. Scarbrough, The essential spectrum of cano nical systems, J. Approx. Theory 254 (2020), 105395, 11 pp
2020
-
[30]
Romanov, Canonical systems and de Branges spaces, 2014 , arXiv:1408.6022v1
R. Romanov, Canonical systems and de Branges spaces, 2014 , arXiv:1408.6022v1
2014 arXiv
-
[31]
Romanov, Order problem for canonical systems and a conje cture of Valent, Trans
R. Romanov, Order problem for canonical systems and a conje cture of Valent, Trans. Amer. Math. Soc. 369 (2017), 1061–1078
2017
-
[33]
Rosenblum and J
M. Rosenblum and J. Rovnyak, Topics in Hardy Classes and Univalent Functions , Birkh¨ auser Advanced Texts: Basler Lehrb¨ ucher, Birkh¨ auser-Verlag, Basel, 1994
1994
-
[34]
Sakhnovich, Dirac type and canonical systems: spectral a nd Weyl–Titchmarsh matrix functions, direct and inverse problems, Inverse Problems 18 (2002), 331–348
A. Sakhnovich, Dirac type and canonical systems: spectral a nd Weyl–Titchmarsh matrix functions, direct and inverse problems, Inverse Problems 18 (2002), 331–348. M. Langer Department of Mathematics and Statistics University of Strathclyde 26 Richmond Street Glasgow G1 1XH UNI...
2002
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.