arxiv: 2605.04392 · v2 · submitted 2026-05-06 · 🧮 math.FA

Recognition: 2 theorem links

· Lean Theorem

The Local Operator Moment Problem on mathbb{R}

Abderrazzak Ech-charyfy, El Hassan Zerouali, Hamza El Azhar, Raul E. Curto

Pith reviewed 2026-05-12 03:46 UTC · model grok-4.3

classification 🧮 math.FA

keywords operator moment problemlocal moment sequencessubnormal weighted shiftsStampfli propagation theoremTchakaloff theoremself-adjoint operatorsHamburger moment problemoperator-valued measures

0 comments

The pith

The operator moment problem on the real line is solved exactly when the local scalar moment problems are solved for every vector.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper links sequences of self-adjoint operators to the scalar sequences obtained from inner products with vectors in the space. It provides necessary and sufficient conditions for the operator sequence to be the moments of a self-adjoint operator-valued measure on the real line. These conditions are the classical ones applied to each local sequence and hold automatically on compact subsets. The results are applied to subnormal operator weighted shifts, yielding a Stampfli-type propagation theorem, and to recursively generated sequences where the support of the measure is described.

Core claim

The operator moment problem on R for a sequence of self-adjoint operators T_n is solvable if and only if for every x in the Hilbert space the scalar sequence of inner products <T_n x, x> is a classical moment sequence on R. These criteria are automatically valid when the support is a compact subset of R. This is used to study subnormal operator weighted shifts and to establish a propagation theorem for their subnormality. For recursively generated sequences, conditions for solvability are given and the support of the representing measure is described.

What carries the argument

The local moment sequences obtained by taking inner products <T x, x> for each vector x, which reduce the operator problem to multiple scalar Hamburger moment problems.

If this is right

Solvability on the whole line can be checked by verifying solvability of the scalar problems for all vectors.
On compact intervals, bounded positive operator sequences always admit representing measures.
Subnormal operator weighted shifts are characterized using these local conditions.
A Stampfli-type theorem shows that subnormality propagates along the weighted shift.
Tchakaloff's theorem holds for operator moment sequences with compact support.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The reduction to local problems may simplify checking subnormality in infinite-dimensional settings.
This approach could extend to moment problems in several variables or for non-self-adjoint operators.
For recursive sequences, the support being determined by polynomial roots suggests algebraic structure in the measure.

Load-bearing premise

That the operator sequence satisfies the positivity and boundedness conditions needed for it to be moments of self-adjoint operators.

What would settle it

An operator sequence where all local scalar moment sequences admit representing measures but there is no single operator-valued measure on R that matches all the T_n simultaneously.

read the original abstract

We study the connections between operator moment sequences ${\mathcal T}=\displaystyle(T_n)_{n\in\mathbb{Z}_+}$ of self-adjoint operators on a complex Hilbert space $\mathcal{H}$ and the local moment sequences $\langle{\mathcal T}x,x\rangle = (\langle T_nx,x\rangle)_{n\in\mathbb{Z}_+}$ for arbitrary $x\in \mathcal{H}$. We provide necessary and sufficient conditions for solving the operator moment problem on $\mathbb{R}$, and we show that these criteria are automatically valid on compact subsets of $\mathbb{R}$. Applications of the compact case are used to study subnormal operator weighted shifts. A Stampfli-type propagation theorem for subnormal operator weighted shifts is also established. In addition, we discuss the validity of Tchakaloff's Theorem for operator moment sequences with compact support. In the case of a recursively generated sequence of self-adjoint operators, necessary and sufficient conditions for an affirmative answer to the operator recursive moment problem are provided, and the support of the associated representing operator-valued measure is described.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives necessary and sufficient conditions for the local operator moment problem on R that hold automatically on compact sets and yields a Stampfli-type propagation result for subnormal weighted shifts.

read the letter

The main things to know are that the authors reduce the operator moment problem to local scalar moments via inner products and show the classical positivity and determinacy conditions lift directly, with automatic validity on compact subsets of R. They then apply the compact case to subnormal operator weighted shifts and prove a propagation theorem in the Stampfli style, plus some results on the recursive case and Tchakaloff's theorem for operators with compact support. The reduction uses the spectral theorem for self-adjoint operators, which keeps the argument clean and avoids new machinery. The compact-case simplification follows from the Riesz-Haviland theorem in the operator-valued setting, and the shift applications require no extra hypotheses beyond the moment positivity already in place. The recursive conditions and support description add a concrete piece that readers can use directly. The soft spots are minor. The Tchakaloff discussion is a routine extension rather than a deep advance, and the overall novelty sits in the organization and the propagation theorem rather than in fresh techniques. The stress-test shows no derivation gaps or hidden assumptions that break the local-to-global equivalence, so the central claims hold up on the evidence given. This is for specialists in operator theory and moment problems, especially those working with subnormal operators or scalar-to-operator lifts. A reader in that area gets usable criteria and a direct application without having to reinvent the compact-case argument. I would send it for peer review. The results are precise, grounded in classical tools, and the applications are concrete enough to justify referee time.

Referee Report

0 major / 2 minor

Summary. The manuscript examines the local operator moment problem on the real line. It establishes necessary and sufficient conditions for operator moment sequences of self-adjoint operators by reducing them to scalar moment problems for the associated quadratic forms. The paper proves that these conditions are automatically satisfied on compact subsets of R. It applies these results to subnormal operator weighted shifts, establishes a Stampfli-type propagation theorem, discusses Tchakaloff's theorem for compactly supported cases, and provides conditions for recursively generated sequences along with a description of the support of the representing measure.

Significance. If the derivations hold, this paper makes a valuable contribution to operator theory by generalizing moment problems to the operator setting in a local manner. The use of the spectral theorem to lift classical positivity and determinacy conditions is a key strength, as is the observation that compact support makes the criteria automatic via the Riesz-Haviland theorem. The applications to weighted shifts and the propagation theorem, as well as the recursive case, provide concrete advancements. The work builds on classical scalar moment theory without apparent circularity.

minor comments (2)

The notation for the operator sequences and their local scalar counterparts could be introduced with more explicit definitions early in the paper to improve readability for readers unfamiliar with the operator-valued setting.
A brief comparison of the new Stampfli-type propagation theorem to the classical Stampfli result for subnormal shifts would help contextualize the contribution.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript on the local operator moment problem, including the significance noted for the applications to weighted shifts and recursive sequences. The recommendation for minor revision is appreciated. However, the report lists no specific major comments, so we have no points to address point-by-point.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on classical external theorems

full rationale

The paper reduces the operator moment problem to local scalar moment sequences via the spectral theorem for self-adjoint operators and applies standard scalar criteria (positivity, Riesz-Haviland on compacts) lifted to the operator setting. These are independent classical results, not self-defined or fitted within the paper. Applications to subnormal weighted shifts and Tchakaloff's theorem follow directly from the compact-case lifting without additional internal assumptions or self-citation load-bearing steps. No equation or condition reduces to a prior fit or author-specific uniqueness theorem by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard Hilbert-space axioms and classical results on scalar moment problems; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)

standard math Self-adjoint operators on a complex Hilbert space admit spectral measures and inner-product moments
Invoked throughout the definition of operator moment sequences and local moments.
domain assumption Classical scalar moment problem solvability criteria extend in some form to the operator-valued setting
Used to obtain necessary and sufficient conditions.

pith-pipeline@v0.9.0 · 5488 in / 1384 out tokens · 45990 ms · 2026-05-12T03:46:03.024485+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
We provide necessary and sufficient conditions for solving the operator moment problem on R, and we show that these criteria are automatically valid on compact subsets of R.
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
Applications of the compact case are used to study subnormal operator weighted shifts. A Stampfli-type propagation theorem...

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages

[1]

Adamyan, V.M., Tkachenko, I.M.: Solution of the truncated matrix Hamburger moment problem according to M.G. Krein. Operator Theory and Related Top- ics: Proceedings of the Mark Krein International Conference on Operator The- ory and Applications, Odessa, Ukraine, August 18–22, 1997, Volume II, pp. 33–51. Springer (2000)

work page 1997
[2]

Operator Theory and Indefinite Inner Product Spaces: Presented on the occasion of the retirement of Heinz Langer in the Col- loquium on Operator Theory, Vienna, March 2004, pp

Adamyan, V.M., Tkachenko, I.M.: General solution of the Stieltjes trun- cated matrix moment problem. Operator Theory and Indefinite Inner Product Spaces: Presented on the occasion of the retirement of Heinz Langer in the Col- loquium on Operator Theory, Vienna, March 2004, pp. 1–22. Springer (2006)

work page 2004
[3]

The classical moment problem and some related questions in analysis

Akhiezer, N.I. The classical moment problem and some related questions in analysis. Oliver & Boyd (1965)

work page 1965
[4]

Ben Taher, R., Rachidi, M., Zerouali, E.H.: Recursive subnormal completion and the truncated moment problem. Bull. London Math. Soc. 33(4):425–432 (2001)

work page 2001
[5]

Number 5

Berberian, S.K.: Notes on Spectral Theory. Number 5. D. Van Nostrand Co. Ltd. 118 pp. (1966)

work page 1966
[6]

Coimbra lecture notes on orthogonal polynomials, pp

Berg, C.: The matrix moment problem. Coimbra lecture notes on orthogonal polynomials, pp. 1–57 (2008)

work page 2008
[7]

arXiv:2302.13873 (2023) 30 R.E

Bhat, B., Ghatak, A., Pamula, S.K.: Operator moment dilations as block op- erators. arXiv:2302.13873 (2023) 30 R.E. Curto, A. Ech-charyfy, H. El Azhar and E.H. Zerouali

work page arXiv 2023
[8]

Bisgaard, T.: Positive definite operator sequences, Proc. Amer. Math. Soc. 121, 1185–1191 (1994)

work page 1994
[9]

Busch,P., Lahti, P., Pellonp¨ a¨ a, J.-P., Ylinen, K.: Quantum Measurement, vol- ume 23, Springer (2016)

work page 2016
[10]

Brandt, H.E.: Positive operator-valued measure in quantum information pro- cessing. Amer. J. Phys., 67, 434–439 (1999)

work page 1999
[11]

Cimpriˇ c, J., Zalar, A.: Moment problems for operator polynomials. J. Math. Anal. Appl. 401, 307–316 (2013)

work page 2013
[12]

Integral Equations Op- erator Theory 13, 49–66 (1990)

Curto, R.E.: Quadratically hyponormal weighted shifts. Integral Equations Op- erator Theory 13, 49–66 (1990)

work page 1990
[13]

Preprint (2023)

Curto, R.E., Ech-charyfy, A., Idrissi, K., Zerouali, E.H.: A Recursive approach to the matrix moment problem. Preprint (2023)

work page 2023
[14]

Curto, R.E., Fialkow, L.A.: Solution of the truncated complex moment problem for flat data. Mem. Am. Math. Soc. 119(568),x+ 52 pp. (1996)

work page 1996
[15]

Integral Equations and Operator Theory 18, 369–426 (1994)

Curto, R.E., Fialkow, L.A.: Recursively generated weighted shifts and the sub- normal completion problem, II. Integral Equations and Operator Theory 18, 369–426 (1994)

work page 1994
[16]

Dubin, D., Kiukas, J., Pellonp¨ a¨ a, J.-P., Ylinen, K.: Operator integrals and sesquilinear forms, J. Math. Anal. Appl. 413, 250–268 (2014)

work page 2014
[17]

In Margarita Mathematica: en memoria de Jos´ e Javier (Chicho) Guadalupe Hern´ andez, pp

Duran, A.J., Rodr´ ıguez, P.L.: The matrix moment problem. In Margarita Mathematica: en memoria de Jos´ e Javier (Chicho) Guadalupe Hern´ andez, pp. 333–348. Universidad de La Rioja (2001)

work page 2001
[18]

Com- plex Analysis and Operator Theory 3, 759—834 (2009)

Dyukarev, Y.M., Fritzsche, B., Kirstein, B., M¨ adler, C., Thiele, H.C.: On distin- guished solutions of truncated matricial Hamburger moment problems. Com- plex Analysis and Operator Theory 3, 759—834 (2009)

work page 2009
[19]

Ghatage, P.: Subnormal shifts with operator-valued weights. Proc. Amer. Math. Soc. 57, 107–108 (1976)

work page 1976
[20]

disser- tation, Indiana University (1973)

Ivanovski, N.: Subnormality of operator-valued weighted shifts, Ph.D. disser- tation, Indiana University (1973)

work page 1973
[21]

Kimsey, D.P.: An operator-valued generalization of Tchakaloff’s theorem. J. Funct. Anal. 266:1170–1184 (2014)

work page 2014
[22]

Kimsey, D., Woerdeman, H: The truncated matrix-valuedK–moment problem onR d,C d, andT d. Trans. Amer. Math. Soc. 365, 5393–5430 (2013)

work page 2013
[23]

Kimsey, D.P., Trachana, M.: On a solution of the multidimensional truncated matrix-valued moment problem. Milan J. Math. 90(1):17–101 (2022)

work page 2022
[24]

Krein, M.G.: Fundamental aspects of the representation theory of hermitian operators with deficiency index (m, m). Amer. Math. Soc. Translations, series 2(97):75–143 (1949)

work page 1949
[25]

Uspekhi Matematicheskikh Nauk 2(3):60–106 (1947)

Krein, M.G., Krasnosel’skii, M.A.: Fundamental theorems on the extension of hermitian operators and certain of their applications to the theory of orthogo- nal polynomials and the problem of moments. Uspekhi Matematicheskikh Nauk 2(3):60–106 (1947)

work page 1947
[26]

Lambert, A.: Subnormality and weighted shifts. J. London Math. Soc. 2(3):476–480 (1976)

work page 1976
[27]

International Scholarly Research Notices (2014) The Local Operator Moment Problem onR31

Lemnete-Ninulescu, L.: Hamburger and Stieltjes moment problems for opera- tors. International Scholarly Research Notices (2014) The Local Operator Moment Problem onR31

work page 2014
[28]

M¨ adler, C., Schm¨ udgen, K.: On the truncated matricial moment problem. I. Journal of Mathematical Analysis and Applications, 128569 (2024)

work page 2024
[29]

Instytut Matematyczny Polskiej Akademi Nauk(Warszawa) (1978)

Mlak, M.:Dilations of Hilbert space operators (general theory). Instytut Matematyczny Polskiej Akademi Nauk(Warszawa) (1978)

work page 1978
[30]

Springer International Publishing (2017)

Moretti, V.: Spectral Theory and Quantum Mechanics, 2nd revised and en- larged edition. Springer International Publishing (2017)

work page 2017
[31]

Neumark, M.: Spectral functions of a symmetric operator. Izv. Akad. Nauk SSSR Ser. Mat. 121(4:3):27–318 (1940)

work page 1940
[32]

Number 78

Paulsen, V.I.: Completely bounded maps and operator algebras. Number 78. Cambridge University Press (2002)

work page 2002
[33]

Pietrzycki, P., Stochel, J.: Subnormal nth roots of quasinormal operators are quasinormal. J. Funct. Anal. 280, 109001 (2021)

work page 2021
[34]

Canadian J

Pietrzycki, P., Stochel, J.: Two-moment characterization of spectral measures on the real line. Canadian J. Math. pp. 1–24 (2022)

work page 2022
[35]

K.: Unbounded Self-adjoint Operators on Hilbert Space

Schm¨ udgen. K.: Unbounded Self-adjoint Operators on Hilbert Space. Volume

work page
[36]

Springer Science and Business Media (2012)

work page 2012
[37]

Volume 277

Schm¨ udgen, K.: The Moment Problem. Volume 277. Springer (2017)

work page 2017
[38]

Stampfli, J.: Which weighted shifts are subnormal? Pacific J. Math. 17, 367–379 (1966)

work page 1966
[39]

Glasgow Math

Stochel, J.: Solving the truncated moment problem solves the moment problem. Glasgow Math. J. 43, 335–341 (2001)

work page 2001
[40]

Contemporary Mathe- matics 435, 363–370 (2007)

Szafraniec, F.H.: Moments from their very truncations. Contemporary Mathe- matics 435, 363–370 (2007)

work page 2007
[41]

In Elementary Operators and Applications, Proceedings, Blaubeuren bei Ulm (Deutschland), June 9–12, 1991

Szafraniec, F.H.: Sesquilinear selection of elementary spectral measures and subnormality. In Elementary Operators and Applications, Proceedings, Blaubeuren bei Ulm (Deutschland), June 9–12, 1991. World Scientific, Singa- pore, 243–248 (1992)

work page 1991
[42]

Acta Mathematica Academiae Scientiarum Hungarica 3, 285-–293 (1952)

Sz-Nagy, B.: A moment problem for self-adjoint operators. Acta Mathematica Academiae Scientiarum Hungarica 3, 285-–293 (1952)

work page 1952
[43]

Tchakaloff, V.: Formules de cubature m´ ecanique ` a coefficients non n´ egatifs. Bull. Sci. Math. 81, 123–134 (1957)

work page 1957
[44]

Vasilescu, F.-H.: Moment problems for multi-sequences of operators. J. Math. Anal. Appl. 219, 246–259 (1998) R.E. Curto R.E. Curto, Department of Mathematics, The University of Iowa, Iowa City, Iowa, U.S.A. e-mail:raul-curto@uiowa.edu A. Ech-charyfy Laboratory of Mathematical Analysis and Applications, Faculty of Sciences, Mohammed V University in Rabat, ...

work page 1998