Generalised eigenvector expansion of infinite Toeplitz matrices with absolutely/completely monotone entries
Pith reviewed 2026-06-28 11:57 UTC · model grok-4.3
The pith
Infinite Toeplitz matrices whose entries come from completely monotone sequences admit a generalized eigenvector expansion that uses only real eigenvalues and real eigenvectors.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
When both (a_k) and (a_{-k}) are completely monotone, the infinite Toeplitz matrix T = (a_{k-l}) possesses a family of generalized eigenvectors that can be written with real entries; these vectors, paired with their (real) eigenvalues, furnish a generalized eigenvector expansion for T.
What carries the argument
The generalized eigenvectors constructed directly from the completely monotone sequences, which serve as the building blocks for the expansion of the operator T.
If this is right
- The expansion applies uniformly to normal and non-normal Toeplitz matrices under the monotonicity hypothesis.
- All eigenvalues appearing in the expansion are real numbers.
- All eigenvectors appearing in the expansion have only real components.
- The representation reduces to an ordinary eigenvector expansion when T happens to be normal.
Where Pith is reading between the lines
- The same monotonicity condition may allow explicit computation of the resolvent or the semigroup generated by T.
- The result could extend to block-Toeplitz matrices or to matrices with entries that are mixtures of completely monotone sequences.
- Numerical schemes that truncate the infinite matrix might inherit stability from the real-valued eigenbasis.
Load-bearing premise
The two sequences that define the entries of the Toeplitz matrix must both be completely monotone.
What would settle it
An explicit pair of completely monotone sequences for which the derived real-valued generalized eigenvectors fail to span the action of the corresponding Toeplitz matrix.
Figures
read the original abstract
We study the spectral theory of infinite Toeplitz matrices $T = (a_{k - l})$ under the assumption that $(a_k)$ and $(a_{-k})$ are completely monotone sequences. We derive expressions for generalised eigenvectors and prove a generalised eigenvector expansion of $T$. Even if the matrix $T$ is not normal, our expressions involve only eigenvalues and eigenvectors with real entries.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the spectral theory of infinite Toeplitz matrices T = (a_{k-l}) on ℓ²(ℤ) under the assumption that both (a_k) for k ≥ 0 and (a_{-k}) for k ≥ 0 are completely monotone sequences. It derives explicit expressions for generalised eigenvectors and proves a generalised eigenvector expansion for T. The central claim is that these expressions involve only real eigenvalues and real eigenvectors, even when T is non-normal.
Significance. If the central claims were correct, the work would provide a real-valued spectral calculus for a class of non-normal structured operators defined by monotone sequences, which could be useful in contexts where such sequences arise. However, the completely monotone hypothesis does not guarantee a real spectrum when the two sequences are distinct, limiting the potential impact.
major comments (1)
- [Abstract] Abstract: The claim that the generalised eigenvector expressions 'involve only eigenvalues and eigenvectors with real entries' even when T is non-normal is contradicted by the spectral theory of bilateral Toeplitz operators. When the Hausdorff measures μ and ν for (a_k) and (a_{-k}) differ, the symbol ϕ(θ) = ∑_{k∈ℤ} a_k e^{-ikθ} takes non-real values on the unit circle, so σ(T) is not contained in ℝ. This directly undermines the stated expansion.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting this important point about the spectral properties. We address the major comment below.
read point-by-point responses
-
Referee: [Abstract] Abstract: The claim that the generalised eigenvector expressions 'involve only eigenvalues and eigenvectors with real entries' even when T is non-normal is contradicted by the spectral theory of bilateral Toeplitz operators. When the Hausdorff measures μ and ν for (a_k) and (a_{-k}) differ, the symbol ϕ(θ) = ∑_{k∈ℤ} a_k e^{-ikθ} takes non-real values on the unit circle, so σ(T) is not contained in ℝ. This directly undermines the stated expansion.
Authors: We agree that the referee's observation is correct: when the Hausdorff measures μ and ν differ, the symbol ϕ(θ) can take non-real values on the unit circle, so the spectrum of T need not be contained in the reals. This means the claim in the abstract (and echoed in the introduction) that the generalised eigenvector expressions involve only real eigenvalues and eigenvectors is not accurate in general under the paper's hypotheses. We will revise the manuscript to remove this unqualified claim. The revised version will state that the real-valued character of the eigenvalues and eigenvectors holds when the two completely monotone sequences coincide (i.e., when T is self-adjoint), and will note that the explicit expansion construction remains valid more generally, albeit with possibly complex eigenvalues when μ ≠ ν. We will update the abstract, introduction, and any related statements accordingly. revision: yes
Circularity Check
No circularity: direct derivation from completely monotone assumption
full rationale
The paper states an explicit assumption that both (a_k) and (a_{-k}) are completely monotone sequences, then derives expressions for generalized eigenvectors and an expansion theorem under that hypothesis. No self-definitional steps, no fitted parameters renamed as predictions, and no load-bearing self-citations are present in the abstract or described claims. The derivation chain is self-contained against the stated assumption and standard integral representations of completely monotone sequences; the result does not reduce to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The sequences (a_k) and (a_{-k}) are completely monotone sequences.
Reference graph
Works this paper leans on
-
[1]
Manuel Bogoya, Albrecht Böttcher, Sergei M.\@ Grudsky, Asymptotic Eigenvalue Expansions for Toeplitz Matrices with Certain Fisher--Hartwig Symbols. J. Math.\@ Sci.\@ 271 (2023): 176--196. doi:10.1007/s10958-023-06362-9
-
[2]
Numer.\@ Linear Algebra Appl.\@ 30(5) (2023) e2496
Manuel Bogoya, Sergei M.\@ Grudsky, Asymptotics for the eigenvalues of Toeplitz matrices with a symbol having a power singularity. Numer.\@ Linear Algebra Appl.\@ 30(5) (2023) e2496. doi:10.1002/nla.2496
-
[3]
Sb.\@ Math.\@ 208(11) (2017): 1578--1601; translation from Mat.\@ Sb.\@ 208(11) (2017): 4--28
Albrecht Böttcher, Johan M.\@ Bogoya, Sergei M.\@ Grudsky, Egor A.\@ Maximenko, Asymptotics of eigenvalues and eigenvectors of Toeplitz matrices. Sb.\@ Math.\@ 208(11) (2017): 1578--1601; translation from Mat.\@ Sb.\@ 208(11) (2017): 4--28. doi:10.1070/SM8865
-
[4]
Albrecht Böttcher, Bernd Silberman, Introduction to Large Truncated Toeplitz Matrices. Springer, New York, 1999. doi:10.1007/978-1-4612-1426-7
-
[5]
Albrecht Böttcher, Bernd Silberman, Analysis of Toeplitz Operators. Springer, Berlin, 2006. doi:10.1007/3-540-32436-4
-
[6]
Kadanoff, Asymptotics of eigenvalues and eigenvectors of Toeplitz matrices
Hui Dai, Zachary Geary, Leo P. Kadanoff, Asymptotics of eigenvalues and eigenvectors of Toeplitz matrices. J. Stat.\@ Mech.\@ Theory Exp.\@ (2009), P05012: 1--25. doi:10.1088/1742-5468/2009/05/P05012
-
[7]
L. De Carli, S.\,M. Hudson, Geometric remarks on the level curves of harmonic functions. Bull.\@ London Math.\@ Soc.\@ 42(1) (2010): 83--95. doi:10.1112/blms/bdp099
-
[8]
Duren, Theory of H^p spaces
Peter L. Duren, Theory of H^p spaces. Academic Press, New York, London, 1970. 978-0122251504
1970
-
[9]
Gakhov, Boundary Value Problems
F.\,D. Gakhov, Boundary Value Problems. Pergamon Press, Oxford, 1966
1966
-
[10]
Rev.\@ Math.\@ Phys.\@ 25(8) (2013), 1350014
Kamil Kaleta, Mateusz Kwaśnicki, Jacek Małecki, One-dimensional quasi-relativistic particle in the box. Rev.\@ Math.\@ Phys.\@ 25(8) (2013), 1350014. doi:10.1142/S0129055X13500141
-
[11]
Kamil Kaleta, Mateusz Kwaśnicki, Jacek Małecki, Asymptotic estimate of eigenvalues of pseudo-differential operators in an interval. J. Math.\@ Anal.\@ Appl.\@ 439(2) (2016): 896--924. doi:10.1016/j.jmaa.2016.03.010
-
[12]
Studia Math.\@ 206(3) (2011): 211--271
Mateusz Kwaśnicki, Spectral analysis of subordinate Brownian motions on the half-line. Studia Math.\@ 206(3) (2011): 211--271. doi:10.4064/sm206-3-2
-
[13]
Mateusz Kwaśnicki, Eigenvalues of the fractional Laplace operator in the interval. J. Funct.\@ Anal.\@ 262(5) (2012): 2379--2402. doi:10.1016/j.jfa.2011.12.004
-
[14]
Mateusz Kwaśnicki, Fluctuation theory for Lévy processes with completely monotone jumps. Electron.\@ J. Probab.\@ 24 (2019), no.\@ 40: 1--40. doi:10.1214/19-EJP300
-
[15]
Mateusz Kwaśnicki, Suprema of Lévy processes with completely monotone jumps: spectral-theoretic approach. J. Spectral Theory, 15(1) (2025): 13--122. doi:10.4171/jst/546
-
[16]
Stoch.\@ Proc.\@ Appl.\@ 123 (2013): 1820--1850
Mateusz Kwaśnicki, Jacek Małecki, Michał Ryznar, First passage times for subordinate Brownian motions. Stoch.\@ Proc.\@ Appl.\@ 123 (2013): 1820--1850. doi:10.1016/j.spa.2013.01.011
-
[17]
Studia Math.\@ 271(2) (2023): 151--185
Mateusz Kwaśnicki, Jacek Wszoła, Bell-shaped sequences. Studia Math.\@ 271(2) (2023): 151--185. doi:10.4064/sm220923-2-2
-
[18]
Math.\@ Z.\@ 311 (2025), no.\@ 62: 1--42
Mateusz Kwaśnicki, Jacek Wszoła, Two-sided bell-shaped sequences. Math.\@ Z.\@ 311 (2025), no.\@ 62: 1--42. doi:10.1007/s00209-025-03829-0
-
[19]
McCoy, Tai Tsun Wu, The Two-Dimensional Ising Model
Barry M. McCoy, Tai Tsun Wu, The Two-Dimensional Ising Model. Harvard University Press, 1973. doi:10.4159/harvard.9780674180758
-
[20]
Marvin Rosenblum, A concrete spectral theory for self-adjoint Toeplitz operators. Amer.\@ J. Math.\@ 87 (1965): 709--718. doi:10.2307/2373070
-
[21]
Sobolev, Dmitri Yafaev, On spectral analysis of self-adjoint Toeplitz operators
Alexander V. Sobolev, Dmitri Yafaev, On spectral analysis of self-adjoint Toeplitz operators. J. Oper.\@ Theory 84(2) (2020): 453--485. doi:10.7900/jot.2019jun19.2244
-
[22]
Sobolev, Dmitri Yafaev, Multichannel scattering theory for Toeplitz operators with piecewise continuous symbols
Alexander V. Sobolev, Dmitri Yafaev, Multichannel scattering theory for Toeplitz operators with piecewise continuous symbols. Anal.\@ PDE 15(6) (2022): 1457--1486. doi:10.2140-apde/2022.15.1457
2022
-
[23]
René L.\@ Schilling, Renming Song, Zoran Vondraček, Bernstein Functions: Theory and Applications. De Gruyter, 2026. doi:10.1515/9783111295121
-
[24]
On the curvature of level sets of harmonic functions
Stefan Steinerberger, On the curvature of level sets of harmonic functions. Preprint, 2013. arXiv:1307.2069
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[25]
Trefethen, Mark Embree, Spectra and Pseudospectra: The Behavior of Nonnormal Matrices and Operators
Lloyd N. Trefethen, Mark Embree, Spectra and Pseudospectra: The Behavior of Nonnormal Matrices and Operators. Princeton University Press, Princeton, NJ, 2005. 9780691119465
2005
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.