The K-moment problem: A detailed introduction

TL;DR

This paper provides a comprehensive overview of the K-moment problem, focusing on polynomial algebras over , with detailed discussions on compact sets, algebraic geometry, and positivity conditions.

Contribution

It offers an expanded, detailed exposition of the K-moment problem, integrating classical background, algebraic geometry, and operator theory perspectives.

Findings

Detailed treatment of the compact case using Schmdudgen's theorem and GNS construction

Comparison of Putinar's and Schmdudgen's Positivstellensatz approaches

Survey of determinacy, uniqueness, and flat extension phenomena in the K-moment problem

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.