REVIEW 5 minor 44 references
Schur analysis of matricial Hausdorff moment sequences
T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper develops a Schur-type algorithm for matricial Hausdorff moment problems and proves that its core transform is a left shift of canonical-moment parameters.
desk verdict A genuine, carefully worked Schur-type algorithm for matricial Hausdorff moment sequences on a compact interval; the main new theorem appears correct, with the main risk being the imported—not reproved—parametrization bijection from earlier work. 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 $F_{\alpha,\beta}$-transform of a finite or infinite sequence of complex matrices, defined using the reciprocal sequence (a recursive construction with Moore–Penrose inverses) and the Cauchy product. Around it the paper organizes four block Hankel matrices $H_n$, $H_{\alpha,n,\bullet}$, $H_{\bullet,n,\beta}$, and $H_{\alpha,n,\beta}$ built from the sequence and from its modifications for $[\alpha,\infty)$, $(-\infty,\beta]$, and $[\alpha,\beta]$. The algebraic core consists of identities (Propositions 8.38–8.45) that express the Hankel matrices of the transformed sequence as Schur-complement factorizations of the input's Hankel matrices; these identities prove that non-negative definiteness survives the transform. The interval parameters $(e_j)$, recursively defined from the interval lengths, are the matricial generalization of the classical canonical moments, and Theorem 9.14 identifies the transform with their left shift.
What would settle it
Compute the $F_{0,1}$-transform of a scalar ($q=1$) three-point atomic probability measure on $[0,1]$, list its moment sequence and interval parameters $(e_j)$, and check that the transformed sequence is again a moment sequence whose interval parameters are $p_0 = d_1$ and $p_j = e_{1+j}$; a single mismatch in this degenerate case, where some $d_k$ is the zero matrix, would falsify Theorem 9.14.
Extended reading notes
Core claim
The paper's central claim is Theorem 9.14: if $(s_j)$ is $[\alpha,\beta]$-non-negative definite with interval-parameter sequence $(e_j)$ and interval lengths $(d_j)$, then every iterated $F_{\alpha,\beta}$-transform is again $[\alpha,\beta]$-non-negative definite, and its interval-parameter sequence $(p_j)$ satisfies $p_0 = \delta^{k-1}d_k$ and $p_j = e_{k+j}$ for $j \ge 1$. Thus the transform shifts the canonical-moment data left, discarding the information already consumed and rescaling the new leading parameter by the interval length $\delta = \beta-\alpha$. This is the Hausdorff-interval analogue of the classical Schur algorithm for functions on the unit disk and of the Nevanlinna treatment of the Hamburger moment problem. For measures, the same statement says that after $k$ transforms the remaining measure captures exactly the tail of the original canonical moments. Section 10 applies this to two geometric properties: a measure is molecular (finite support) exactly when some transform is the zero matrix measure, and central of order $k$ exactly when the $(k-1)$-th transform is, up to a scale factor, the arcsine density on $[\alpha,\beta]$ multiplied by a non-negative Hermitian matrix.
Load-bearing premise
The argument assumes as given the bijection theorem (Theorem 7.34) that every $[\alpha,\beta]$-non-negative definite sequence has a uniquely determined interval-parameter sequence, including degenerate cases in which the Hankel blocks are not invertible; if that parametrization failed, the left-shift statement in Theorem 9.14 would not have a well-defined conclusion.
Editorial extensions
If this is right
- Iterating the $F_{\alpha,\beta}$-transform yields block LDU factorizations of all four associated Hankel matrices, with the diagonal blocks read directly from the transforms (Lemmas 9.6 and 9.7).
- The interval-length sequence of the $k$-th transform is $\delta^k d_{k+j}$, so a sequence completely degenerate at order $\ell$ becomes completely degenerate at order $\max\{0,\ell-k\}$ (Proposition 9.11 and Corollary 9.12).
- For matrix measures, molecularity is characterized by some $M[\alpha,\beta]$-transform being the zero measure (Proposition 10.5).
- Centrality of order $k$ is characterized by the $(k-1)$-th transform being a scalar arcsine-type density times $\delta^{k-2}d_{k-1}$ (Theorem 10.9).
- Since the interval-parameter map is a bijection, the transform parametrizes the matricial Hausdorff moment space step by step, one matrix parameter at a time.
Reading between the lines
- The $\delta$-scaling in the transform suggests that a suitably rescaled iterated transform should converge to a stationary object for generic input measures; the paper does not explore this probabilistic reading.
- Because the transform uses only Moore–Penrose inverses and finite matrix arithmetic, it is a candidate for a numerically implementable recursion that computes matricial canonical moments from empirical moments; this remains to be tested.
- The centrality result hints at a family of distinguished matrix measures: replacing the half-projection $\tfrac12 P_{R(d)}$ by other convex combinations of $0$ and $P_{R(d)}$ should yield explicit non-arcsine 'balanced' measures with the same left-shift behaviour.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops an algebraic Schur-type algorithm for the matricial Hausdorff moment problem on a compact interval [α, β]. It constructs the F_{α,β}-transform of a finite or infinite sequence of complex matrices and proves, in Theorem 9.4, that the transform preserves the class of [α, β]-non-negative definite sequences, reducing the length by one. The main structural result, Theorem 9.14, identifies the interval-parameter sequence of the k-th F_{α,β}-transform: its initial entry is δ^{k-1} d_k and its remaining entries are the original interval parameters shifted by k. This is interpreted as an essentially left shift of the matricial canonical-moment parameters. In Section 10 the authors apply the transform to non-negative Hermitian measures on [α, β] and characterize molecular measures and centrality: a measure is central of order k precisely when its (k-1)-st transform has the matricial arcsine form stated in Theorem 10.9. The technical core consists of long block-Hankel and Schur-complement computations in Sections 4, 8, and 9, including explicit rank and determinant formulas.
Significance. If the results are correct, this is a substantial and novel contribution: it provides the first Schur-type algorithm for the matricial Hausdorff moment problem on a compact interval, generalizing the classical scalar canonical-moment theory to the degenerate, non-invertible Hankel case. The proof of the left-shift identity is, conditional on previously published parametrization results, self-contained and detailed, and the paper also supplies explicit block-LDU factorizations and rank/determinant identities that are likely to be useful for further work. The applications to molecular measures and to the arcsine-distribution characterization of centrality are natural and give the algebraic machinery a concrete measure-theoretic payoff. The main caveat, which the authors themselves make transparent, is the dependence on the bijection in Theorem 7.34 (imported from [24, Thm. 6.30]) for the interpretation of interval parameters as canonical moments; this is a published result with a proof, so the dependence is acceptable, but it should be flagged explicitly in the statement of Theorem 9.14.
minor comments (5)
- [Theorem 9.14 and surrounding discussion] The interpretation of the interval-parameter sequence as a coordinate system for the moment space relies on the bijection in Theorem 7.34 (imported from [24, Thm. 6.30]). The algebraic computation of p_j in the proof of Theorem 9.14 is self-contained, but the statement and the paragraph following it should explicitly say that uniqueness of the shifted parameter sequence is part of the imported bijection; this is a clarification, not a gap.
- [Definitions 7.27 and 8.14] The same letter F is used for the F_{α,β}-parameter sequence and for the F_{α,β}-transform. Although the context usually disambiguates them, the notation is heavy throughout the paper and this collision makes Sections 8 and 9 harder to read; consider renaming one of the two objects.
- [Theorem 9.14 and Proposition 10.4] The formula p_0 = δ^{k-1} d_k is stated for all k ∈ Z_{0,κ}; for k = 0 this involves δ^{-1}, which is well defined because δ > 0, but the k = 0 case should be stated separately or accompanied by a convention for negative powers of δ.
- [Proof of Proposition 8.38] The proof is very long and uses equations (8.36), (8.41), and (8.44) in a somewhat intricate way; adding a short sentence after (8.25) explaining the role of these three identities in the reduction to the rank and determinant formulas would improve readability.
- [Sections 5 and 8] There are minor typographical inconsistencies in the rendering of the block-Toeplitz inverse notation, with S♯ and S† both appearing in closely related roles in Propositions 8.38 and 8.40; harmonizing this notation would prevent confusion for readers who track the Moore-Penrose inverse through the proofs.
Circularity Check
No circularity: the F_{α,β}-transform is a genuinely new construction, and the interval-parameter left shift in Theorem 9.14 is computed from independent algebraic identities rather than assumed by definition.
full rationale
I find no circular step in the paper. The F_{α,β}-transform is defined in Definition 8.14 from the reciprocal sequence and the modified sequences (a_j), (b_j), (g_j), with no reference to interval parameters or canonical moments. The main theorem 9.14 then computes the interval-parameter sequence of the transformed sequence using Theorem 9.13 and Proposition 9.11, which are derived from the block-Hankel identities of Propositions 8.38, 8.40, 8.43, and 8.45. The final formula p_0 = δ^{k-1} d_k and p_j = e_{k+j} is an algebraic consequence of the definitions in 7.32 together with the proved scaling relations for the interval lengths and F_{α,β}-parameters; it is not the input of the construction. The paper relies heavily on the authors' earlier parametrization theorem [24, Thm. 6.30], restated as Theorem 7.34, but this is a published, parameter-free theorem with a proof whose assumptions do not include the left-shift claim. Under the rubric, such a citation is independent support rather than circularity. The measure-level results in Section 10 likewise import the bijection of [24, Thm. 8.2] as a prior theorem, but again the centrality characterization in Theorem 10.9 is obtained by applying the previously proved transform rule, not by assuming it. There are no fitted parameters, no renamed predictions, and no self-citation chain that replaces a proof. The central derivation is self-contained once the cited parametrization results are accepted as external mathematical facts.
Assumptions & free parameters
assumptions (4)
- standard math Moore-Penrose inverse exists uniquely for every complex matrix and satisfies the four defining equations (3.1).
- domain assumption For every [alpha,beta]-non-negative definite sequence there is a unique non-negative Hermitian measure on [alpha,beta] with those moments (Proposition 7.6, based on Hausdorff's theorem).
- domain assumption The mapping from [alpha,beta]-non-negative definite sequences to [alpha,beta]-interval parameter sequences is a bijection (Theorem 7.34, quoted from [24, Thm. 6.30]).
- standard math The Schur complement of a non-negative Hermitian block in a non-negative Hermitian matrix is non-negative Hermitian (Remark A.15).
Cite this review
Pith. "Pith review of Schur analysis of matricial Hausdorff moment sequences." pith.science (2026). https://pith.science/paper/GWLUWTLT
@misc{pith2026190805115,
author = {Pith},
title = {Pith review of: Schur analysis of matricial Hausdorff moment sequences},
year = {2026},
howpublished = {\url{https://pith.science/paper/GWLUWTLT}},
note = {Machine review of arXiv:1908.05115}
}
abstract
We develop the algebraic instance of an algorithmic approach to the matricial Hausdorff moment problem on a compact interval $[\alpha,\beta]$ of the real axis. Our considerations are along the lines of the classical Schur algorithm and the treatment of the Hamburger moment problem on the real axis by Nevanlinna. More precisely, a transformation of matrix sequences is constructed, which transforms Hausdorff moment sequences into Hausdorff moment sequences reduced by 1 in length. It is shown that this transformation corresponds essentially to the left shift of the associated sequences of canonical moments. As an application, we show that a matricial version of the arcsine distribution can be used to characterize a certain centrality property of non-negative Hermitian measures on $[\alpha,\beta]$.
Reference graph
Works this paper leans on
-
[1]
Akhiezer, N.I.: The classical moment problem and some related questions in a nalysis. Translated by N. Kemmer. Hafner Publishing Co., New York, 19 65
- [2]
-
[3]
Integral Equations Operator Theory, 25(3):253–276, 1996
Bolotnikov, V.A.: On degenerate Hamburger moment problem and extensions of no nneg- ative Hankel block matrices . Integral Equations Operator Theory, 25(3):253–276, 1996 . https://doi.org/10.1007/BF01262294
-
[4]
Campbell, S.L. and C.D. Meyer, Jr.: Generalized inverses of linear transformations . Dover Publications Inc., New York, 1991. Corrected reprint of the 1979 original
work page 1991
-
[5]
Chen, G.N. and Y.J. Hu: The truncated Hamburger matrix moment problems in the non- degenerate and degenerate cases, and matrix continued frac tions. Linear Algebra Appl., 277(1-3):199–236, 1998. https://doi.org/10.1016/S0024-3795(97)10076-3
- [6]
-
[7]
Choque Rivero, A.E.: From the Potapov to the Krein-Nudel’man representation of t he resolvent matrix of the truncated Hausdorff matrix moment pr oblem. Bol. Soc. Mat. Mex. (3), 21(2):233–259, 2015. https://doi.org/10.1007/s40590-015-0060-z
-
[8]
Choque Rivero, A.E.: Dyukarev-Stieltjes parameters of the truncated Hausdorff matrix moment problem . Bol. Soc. Mat. Mex. (3), 23(2):891–918, 2017. https://doi.org/10.1007/s40590-015-0083-5
Show all 44 references
-
[9]
Choque Rivero, A.E.: Relations between the orthogonal matrix polynomials on [a, b], Dyukarev-Stieltjes parameters, and Schur complements . Spec. Matrices, 5:303–318, 2017. https://doi.org/10.1515/spma-2017-0023
2017 doi
-
[10]
Dyukarev, B
Choque Rivero, A.E., Yu.M. Dyukarev, B. Fritzsche, and B. Kirstein: A truncated matri- cial moment problem on a finite interval . In Alpay, D. and I. Gohberg (eds.): Interpolation, Schur functions and moment problems , vol. 165 of Oper. Theory Adv. Appl. , pp. 121–173. Birkhäus...
2006 doi
-
[11]
Dyukarev, B
Choque Rivero, A.E., Yu.M. Dyukarev, B. Fritzsche, and B. Kirstein: A truncated ma- tricial moment problem on a finite interval. The case of an odd number of prescribed moments. In Alpay, D. and V. Vinnikov (eds.): System theory, the Schur algorithm and multidimensional analysi...
2007 doi
-
[12]
Dette, H. and W.J. Studden: The theory of canonical moments with applications in statis - tics, probability, and analysis . Wiley Series in Probability and Statistics: Applied Prob- ability and Statistics. John Wiley & Sons Inc., New York, 199 7. A Wiley-Interscience Publication
-
[13]
Dette, H. and W.J. Studden: Matrix measures, moment spaces and Favard’s the- orem for the interval [0, 1] and [0, ∞). Linear Algebra Appl., 345:169–193, 2002. https://doi.org/10.1016/S0024-3795(01)00493-1
2002 doi
-
[14]
Fritzsche, and B
Dubovoj, V.K., B. Fritzsche, and B. Kirstein: Matricial version of the classical Schur problem, vol. 129 of Teubner-Texte zur Mathematik . B. G. Teubner Verlagsgesellschaft mbH, Stuttgart, 1992. With German, French and Russian summa ries
1992
-
[15]
Fritzsche, B
Dyukarev, Yu.M., B. Fritzsche, B. Kirstein, and C. Mädl er: On truncated matricial Stieltjes type moment problems . Complex Anal. Oper. Theory, 4(4):905–951, 2010. https://doi.org/10.1007/s11785-009-0002-8
2010 doi
-
[16]
Fritzsche, B
Dyukarev, Yu.M., B. Fritzsche, B. Kirstein, C. Mädler, and H.C. Thiele: On distinguished solutions of truncated matricial Hamburger moment problem s. Complex Anal. Oper. The- ory, 3(4):759–834, 2009. https://doi.org/10.1007/s11785-008-0061-2
2009 doi
-
[17]
Kirstein, and C
Fritzsche, B., B. Kirstein, and C. Mädler: On Hankel nonnegative definite sequences, the canonical Hankel parametrization, and orthogonal matrix p olynomials. Complex Anal. Oper. Theory, 5(2):447–511, 2011. https://doi.org/10.1007/s11785-010-0054-9
2011 doi
-
[18]
Kirstein, and C
Fritzsche, B., B. Kirstein, and C. Mädler: On a special parametrization of ma- tricial α-Stieltjes one-sided non-negative definite sequences . In Alpay, D. and B. Kirstein (eds.): Interpolation, Schur functions and moment problems. II , vol. 226 62 of Oper. Theory Adv. Appl. , ...
2012 doi
-
[19]
Kirstein, and C
Fritzsche, B., B. Kirstein, and C. Mädler: Transformations of matricial α-Stieltjes non-negative definite sequences . Linear Algebra Appl., 439(12):3893–3933, 2013. https://doi.org/10.1016/j.laa.2013.10.002
2013 doi
-
[20]
Kirstein, and C
Fritzsche, B., B. Kirstein, and C. Mädler: On a simultaneous approach to the even and odd truncated matricial Hamburger moment problems . In Alpay, D. and B. Kirstein (eds.): Recent advances in inverse scattering, Schur analysis and s tochastic processes, vol. 244 of Oper. The...
2015 doi
-
[21]
Kirstein, and C
Fritzsche, B., B. Kirstein, and C. Mädler: On a simultaneous approach to the even and odd truncated matricial Stieltjes moment problem I: an α-Schur-Stieltjes-type al- gorithm for sequences of complex matrices . Linear Algebra Appl., 521:142–216, 2017. https://doi.org/10.1016/...
2017 doi
-
[22]
Kirstein, and C
Fritzsche, B., B. Kirstein, and C. Mädler: On a simultaneous approach to the even and odd truncated matricial Stieltjes moment problem II: an α-Schur–Stieltjes-type algorithm for sequences of holomorphic matrix-valued functions . Linear Algebra Appl., 520:335–398,
-
[23]
Kirstein, and C
Fritzsche, B., B. Kirstein, and C. Mädler: On the structure of Hausdorff moment se- quences of complex matrices . In Colombo, F., I. Sabadini, D.C. Struppa, and M.B. Vajiac (eds.): Advances in complex analysis and operator theory , Trends Math., pp. 165–217. Birkhäuser/Springer...
2017
-
[24]
Kirstein, and C
Fritzsche, B., B. Kirstein, and C. Mädler: Matricial Canonical Moments and Parametriza- tion of Matricial Hausdorff Moment Sequences . Complex Anal. Oper. Theory, 13(5):2123– 2169, 2019. https://doi.org/10.1007/s11785-017-0754-5
2019 doi
-
[25]
Kirstein, C
Fritzsche, B., B. Kirstein, C. Mädler, and T. Schröder: On the truncated matricial Stieltjes moment problem M[[α, ∞); (sj )m j=0, ≤]. Linear Algebra Appl., 544:30–114, 2018. https://doi.org/10.1016/j.laa.2018.01.004
2018 doi
-
[26]
Kirstein, C
Fritzsche, B., B. Kirstein, C. Mädler, and T. Schwarz: On a Schur-type al- gorithm for sequences of complex p × q-matrices and its interrelations with the canonical Hankel parametrization . In Alpay, D. and B. Kirstein (eds.): Interpolation, Schur functions and moment problems...
2012 doi
-
[27]
Kirstein, C
Fritzsche, B., B. Kirstein, C. Mädler, and T. Schwarz: On the concept of invertibility for sequences of complex p × q-matrices and its application to holomorphic p × q-matrix-valued functions. In Alpay, D. and B. Kirstein (eds.): Interpolation, Schur functions and moment probl...
2012 doi
-
[28]
Hausdorff, F.: Momentprobleme für ein endliches Intervall . Math. Z., 16(1):220–248, 1923. https://doi.org/10.1007/BF01175684. 63
1923 doi
-
[29]
Horn, R.A. and C.R. Johnson: Topics in matrix analysis . Cambridge University Press, Cambridge, 1994. Corrected reprint of the 1991 original
1994
-
[30]
Hu, Y.J. and G.N. Chen: A unified treatment for the matrix Stieltjes moment problem . Lin- ear Algebra Appl., 380:227–239, 2004. https://doi.org/10.1016/j.laa.2003.10.012
2004 doi
-
[31]
Har ′kov Gos
Kats, I.S.: On Hilbert spaces generated by monotone Hermitian matrix-f unctions. Har ′kov Gos. Univ. Uč. Zap. 34 = Zap. Mat. Otd. Fiz.-Mat. Fak. i Har ′kov. Mat. Obšč. (4), 22:95– 113 (1951), 1950
1951
-
[32]
Kovalishina, I.V.: Analytic theory of a class of interpolation problems . Math. USSR, Izv., 22:419–463, 1984. (English. Russian original) translatio n from Izv. Akad. Nauk SSSR, Ser. Mat., 47(3):455–497, 1983
1984
-
[33]
Nevanlinna, R.: Asymptotische Entwicklungen beschränkter Funktionen und das Stieltjes- sche Momentenproblem. Ann. Acad. Sci. Fenn., Ser. A, 18:53, 1922
1922
-
[34]
Rao, C.R. and S.K. Mitra: Generalized inverse of matrices and its applications . John Wiley & Sons, Inc., New York-London-Sydney, 1971
1971
-
[35]
Duke Math
Rosenberg, M.: The square-integrability of matrix-valued functions with respect to a non-negative Hermitian measure . Duke Math. J., 31:291–298, 1964. http://projecteuclid.org/euclid.dmj/1077375222
1964
-
[36]
Schur, I.: Über Potenzreihen, die im Innern des Einheitskreises besch ränkt sind . J. Reine Angew. Math., 147:205–232, 1917. https://doi.org/10.1515/crll.1917.147.205
1917 doi
-
[37]
Schur, I.: Über Potenzreihen, die im Innern des Einheitskreises besch ränkt sind . J. Reine Angew. Math., 148:122–145, 1918. https://doi.org/10.1515/crll.1918.148.122
1918 doi
-
[38]
Stieltjes, T.J.: Recherches sur les fractions continues . Ann. Fac. Sci. Toulouse Math. (6), 4(4):A5–A47, 1995. https://doi.org/10.5802/afst.815, Reprint of Ann. Fac. Sci. Toulouse 9 (1895), A5–A47
1995 doi
-
[39]
Stieltjes, T.J.: Recherches sur les fractions continues . Ann. Fac. Sci. Toulouse Math. (6), 4(3):J76–J122, 1995. https://doi.org/10.5802/afst.808, Reprint of Ann. Fac. Sci. Toulouse 8 (1894), J76–J122
1995 doi
-
[40]
Stieltjes, T.J.: Recherches sur les fractions continues . Ann. Fac. Sci. Toulouse Math. (6), 4(2):Ji, J36–J75, 1995. http://www.numdam.org/item?id=AFST_1995_6_4_2_J36_0, Reprint of the 1894 original
1995
-
[41]
Stieltjes, T.J.: Recherches sur les fractions continues . Ann. Fac. Sci. Toulouse Math. (6), 4(1):Ji–Jiv, J1–J35, 1995. https://doi.org/10.5802/afst.789, Reprint of the 1894 original, With an introduction by Jean Cassinet
1995 doi
-
[42]
(ed.): The Schur complement and its applications , vol
Zhang, F. (ed.): The Schur complement and its applications , vol. 4 of Numerical Methods and Algorithms . Springer-Verlag, New York, 2005. https://doi.org/10.1007/b105056. Universität Leipzig Fakultät für Mathematik und Informatik PF 10 09 20 D-04009 Leipzig fritzsche@math.uni...
2005 doi
-
[2003]
Theory and applications
-
[2017]
https://doi.org/10.1016/j.laa.2017.01.030
2017 doi
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.