pith. machine review for the scientific record. sign in

arxiv: 2604.12265 · v1 · submitted 2026-04-14 · 🧮 math.FA · math.AG· math.HO· math.OA

Recognition: unknown

The K-moment problem: A detailed introduction

Malik Amir

Authors on Pith no claims yet

Pith reviewed 2026-05-10 15:53 UTC · model grok-4.3

classification 🧮 math.FA math.AGmath.HOmath.OA
keywords K-moment problemmoment problemquadratic modulesSchmüdgen's theoremPutinar's theoremsemialgebraic setsPositivstellensatzRadon measures
0
0 comments X

The pith

Positive linear functionals on multivariate polynomials correspond to integration against Radon measures supported on compact basic closed semialgebraic sets K when positive on the associated quadratic module.

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

The paper gives a detailed expository account of the K-moment problem: characterizing which linear functionals on the polynomial ring R[x1,...,xd] can be written as integration against a positive Radon measure supported on a given set K in R^d. It begins with Haviland's multidimensional formulation and brings in real algebraic geometry via quadratic modules, preorderings, and Positivstellensätze to obtain algebraic certificates of positivity. For compact basic closed semialgebraic K the account develops two routes, one geometric through Schmüdgen's theorem and one operator-theoretic through Gelfand-Naimark-Segal construction plus the spectral theorem, and includes Putinar's Archimedean refinement. Additional sections treat determinacy, the truncated moment problem, flat extensions, and the special case of algebraic varieties.

Core claim

A linear functional on R[x1,...,xd] admits a representing positive Radon measure supported on a compact basic closed semialgebraic set K if and only if it is nonnegative on the quadratic module generated by the polynomials that define K; Schmüdgen's theorem supplies the general compact case while Putinar's theorem gives a simpler certificate once the module is Archimedean, which algebraically encodes compactness.

What carries the argument

The quadratic module (or preordering) generated by the finitely many polynomials whose common nonnegativity set is K; this module supplies the algebraic positivity conditions whose satisfaction guarantees a representing measure on K.

If this is right

  • Nonnegativity of a functional on the quadratic module implies existence of a representing measure on K.
  • Archimedeanity of the quadratic module is the algebraic counterpart of compactness of K.
  • The truncated K-moment problem reduces to checking flat extensions of moment matrices.
  • Uniqueness of the representing measure is equivalent to determinacy of the moment sequence.
  • On algebraic varieties positivity is taken modulo the ideal of the variety, simplifying the module.

Where Pith is reading between the lines

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

  • The same quadratic-module test supplies a certificate that a polynomial is nonnegative on K, linking the moment problem to sums-of-squares relaxations in polynomial optimization.
  • Operator-theoretic constructions via GNS representations connect the moment problem to spectral theory of commuting self-adjoint operators.
  • Extensions to non-compact K require growth conditions on the functional that replace the Archimedean property.
  • The truncated version yields finite-dimensional semidefinite programs whose flatness detects exactness of the relaxation.

Load-bearing premise

K is a compact basic closed semialgebraic set whose defining polynomials generate a quadratic module that fully encodes the positivity constraints for measures on K.

What would settle it

A concrete linear functional on R[x1,...,xd] that is nonnegative on the quadratic module for some compact basic closed semialgebraic K yet cannot be represented by any positive Radon measure supported on K.

read the original abstract

We present an expanded expository account of the $K$-moment problem for polynomial algebras over \(\R^d\), with special emphasis on compact basic closed semialgebraic sets. The central question is to characterize those linear functionals on \(\R[x_1,\dots,x_d]\) which admit representation by integration against a positive Radon measure supported on a prescribed set \(K\subseteq\R^d\). We begin with the classical background and with Haviland's formulation of the multidimensional moment problem, then explain how real algebraic geometry enters through quadratic modules, preorderings, and Positivstellens\"atze. The compact case is treated in detail from two complementary perspectives. The geometric route through Schm\"udgen's theorem and the operator-theoretic route through a Gelfand--Naimark--Segal construction and the spectral theorem. We also discuss Putinar's refinement, compare the roles of \(T(f)\) and \(Q(f)\), and explain how Archimedeanity provides the algebraic shadow of compactness. In order to place the subject in a broader context, we survey determinacy and uniqueness questions, the truncated \(K\)-moment problem and flat extension phenomena, the relation with sums of squares and Hilbert's seventeenth problem, and the special case of algebraic varieties, where positivity modulo an ideal becomes especially transparent.

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.

Referee Report

0 major / 3 minor

Summary. The manuscript offers a detailed expository survey of the K-moment problem for polynomial algebras over R^d, with emphasis on compact basic closed semialgebraic sets K. It begins with classical background and Haviland's formulation of the multidimensional moment problem, incorporates tools from real algebraic geometry such as quadratic modules, preorderings, and Positivstellensätze, treats the compact case via Schmüdgen's theorem (geometric route) and the GNS construction with the spectral theorem (operator-theoretic route), discusses Putinar's refinement, compares T(f) and Q(f), explains Archimedeanity as the algebraic counterpart of compactness, and surveys determinacy/uniqueness questions, the truncated K-moment problem with flat extensions, relations to sums of squares and Hilbert's seventeenth problem, and positivity modulo ideals on algebraic varieties.

Significance. If the retelling of the standard results is accurate, the paper provides a useful consolidated introduction that bridges functional analysis and real algebraic geometry by presenting complementary perspectives on representing positive functionals. The explicit comparison of T(f) and Q(f), the treatment of Archimedeanity, and the coverage of both full and truncated problems add expository value for readers entering the area, particularly those interested in applications to optimization or control. No new theorems or derivations are claimed, so significance rests on clarity and completeness of the survey.

minor comments (3)
  1. [Abstract and opening sections on quadratic modules] The abstract states that the paper will 'compare the roles of T(f) and Q(f)' but provides no definitions or prior context for these objects; the main text should introduce the notation for the quadratic module and preordering (or their associated functionals) at the first point of comparison to avoid reader confusion.
  2. [Section surveying determinacy and uniqueness] In the survey of determinacy and uniqueness questions, the manuscript should include at least one concrete low-dimensional example (e.g., the classical indeterminate Hamburger moment problem on R) to illustrate the distinction between determinate and indeterminate cases, as the current outline lists the topic without illustrative content.
  3. [Section on the truncated K-moment problem] The discussion of flat extension phenomena in the truncated K-moment problem would benefit from an explicit statement of the flat extension theorem (or the relevant condition on the moment matrix rank) rather than a high-level reference, to make the connection to the full problem self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the detailed summary of our manuscript, the assessment of its expository value in bridging functional analysis and real algebraic geometry, and the recommendation for minor revision. No specific major comments appear in the report, so we have no points requiring point-by-point rebuttal or revision at this stage. We believe the retelling of standard results is accurate and will incorporate any minor editorial suggestions if provided.

Circularity Check

0 steps flagged

Expository survey of established results with no original derivations

full rationale

The manuscript is explicitly framed as an expository survey of known theorems (Haviland's theorem, Schmüdgen's Positivstellensatz, Putinar's refinement, GNS construction, etc.) with no new proofs, predictions, or fitted parameters introduced by the author. All load-bearing mathematical content is attributed to prior independent literature, and the paper performs no reductions of claims to self-definitions, self-citations, or renamings that would create circularity. The derivation chain is therefore external to the paper itself.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

This is a survey paper with no new mathematical derivations, fitted parameters, or postulated entities; all content draws from prior literature on the moment problem and real algebraic geometry.

pith-pipeline@v0.9.0 · 5529 in / 1167 out tokens · 34579 ms · 2026-05-10T15:53:08.250160+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

26 extracted references

  1. [1]

    N. I. Akhiezer,The Classical Moment Problem and Some Related Questions in Analysis, Oliver & Boyd, Edinburgh, 1965

    1965

  2. [2]

    Bochnak, M

    J. Bochnak, M. Coste, and M.-F. Roy,Real Algebraic Geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 36, Springer, Berlin, 1998

    1998

  3. [3]

    C. Berg, J. P. R. Christensen, and P. Ressel,Harmonic Analysis on Semigroups: Theory of Positive Definite and Related Functions, Graduate Texts in Mathematics, vol. 100, Springer, New York, 1984

    1984

  4. [4]

    R. E. Curto and L. A. Fialkow,Solution of the truncated complex moment problem for flat data, Mem. Amer. Math. Soc.119(1996), no. 568

    1996

  5. [5]

    R. E. Curto and L. A. Fialkow,TruncatedK-moment problems in several variables, J. Operator Theory54(2005), no. 1, 189–226

    2005

  6. [6]

    Fuglede,The multidimensional moment problem, Exposition

    B. Fuglede,The multidimensional moment problem, Exposition. Math.1(1983), no. 1, 47–65

    1983

  7. [7]

    Hamburger,"Uber eine Erweiterung des Stieltjesschen Momentenproblems

    H. Hamburger,"Uber eine Erweiterung des Stieltjesschen Momentenproblems. I, II, III, Math. Ann.81(1920), 235–319;82(1921), 120–164, 168–187

    1920

  8. [8]

    Hausdorff,Momentprobleme für ein endliches Intervall, Math

    F. Hausdorff,Momentprobleme für ein endliches Intervall, Math. Z.16(1923), 220– 248

    1923

  9. [9]

    E. K. Haviland,On the momentum problem for distribution functions in more than one dimension, Amer. J. Math.57(1935), no. 3, 562–568

    1935

  10. [10]

    E. K. Haviland,On the momentum problem for distribution functions in more than one dimension. II, Amer. J. Math.58(1936), no. 1, 164–168

    1936

  11. [11]

    Hilbert,"Uber die Darstellung definiter Formen als Summe von Formenquadraten, Math

    D. Hilbert,"Uber die Darstellung definiter Formen als Summe von Formenquadraten, Math. Ann.32(1888), 342–350

  12. [12]

    Jacobi,A representation theorem for certain partially ordered commutative rings, Math

    T. Jacobi,A representation theorem for certain partially ordered commutative rings, Math. Z.237(2001), no. 2, 259–273

    2001

  13. [13]

    Kuhlmann and M

    S. Kuhlmann and M. Marshall,Positivity, sums of squares and the multidimensional moment problem, Trans. Amer. Math. Soc.354(2002), no. 11, 4285–4301

    2002

  14. [14]

    Lasserre,Moments, Positive Polynomials and Their Applications, Imperial College Press Optimization Series, vol

    J.-B. Lasserre,Moments, Positive Polynomials and Their Applications, Imperial College Press Optimization Series, vol. 1, Imperial College Press, London, 2010

    2010

  15. [15]

    Marshall,Positive Polynomials and Sums of Squares, Mathematical Surveys and Monographs, vol

    M. Marshall,Positive Polynomials and Sums of Squares, Mathematical Surveys and Monographs, vol. 146, American Mathematical Society, Providence, RI, 2008

    2008

  16. [16]

    T. S. Motzkin,The arithmetic-geometric inequality, inInequalities(O. Shisha, ed.), Academic Press, New York, 1967, pp. 205–224

    1967

  17. [17]

    A. E. Nussbaum,Quasi-analytic vectors, Ann. of Math. (2)91(1970), no. 3, 602–620

    1970

  18. [18]

    L. C. Petersen,On the relation between the multidimensional moment problem and the one-dimensional moment problem, Math. Scand.51(1982), 361–366

    1982

  19. [19]

    Prestel and C

    A. Prestel and C. N. Delzell,Positive Polynomials: From Hilbert’s 17th Problem to Real Algebra, Springer Monographs in Mathematics, Springer, Berlin, 2001

    2001

  20. [20]

    Putinar,Positive polynomials on compact semi-algebraic sets, Indiana Univ

    M. Putinar,Positive polynomials on compact semi-algebraic sets, Indiana Univ. Math. J.42(1993), no. 3, 969–984. 20 M. AMIR

    1993

  21. [21]

    Putinar and F.-H

    M. Putinar and F.-H. Vasilescu,Solving moment problems by dimensional extension, Ann. of Math. (2)149(1999), no. 3, 1087–1107

    1999

  22. [22]

    Scheiderer,Sums of squares of regular functions on real algebraic varieties, Trans

    C. Scheiderer,Sums of squares of regular functions on real algebraic varieties, Trans. Amer. Math. Soc.352(2000), no. 3, 1039–1069

    2000

  23. [23]

    Schmüdgen,On a generalization of the classical moment problem, J

    K. Schmüdgen,On a generalization of the classical moment problem, J. Math. Anal. Appl.126(1987), no. 2, 429–447

    1987

  24. [24]

    Schmüdgen,The K-moment problem for compact semi-algebraic sets, Math

    K. Schmüdgen,The K-moment problem for compact semi-algebraic sets, Math. Ann. 289(1991), no. 2, 203–206

    1991

  25. [25]

    Schmüdgen,The Moment Problem, Graduate Texts in Mathematics, vol

    K. Schmüdgen,The Moment Problem, Graduate Texts in Mathematics, vol. 277, Springer, Cham, 2017

    2017

  26. [26]

    Stengle,A Nullstellensatz and a Positivstellensatz in semialgebraic geometry, Math

    G. Stengle,A Nullstellensatz and a Positivstellensatz in semialgebraic geometry, Math. Ann.207(1974), 87–97. Centre de recherche du CHU de l’Université de Montréal Centre de recherche du CHU Sainte-Justine Société québécoise de l’intelligence artificielle en médecine Email address:malik.amir@umontreal.ca

    1974