---
title: Moment and Support Sets
url: https://www.emergentmind.com/topics/moment-and-support-sets
type: topic
---

# Moment and Support Sets

A moment set is the collection of all sequences or arrays of “moments” that can arise as integrals of monomials (or other prescribed polynomial expressions) against positive measures supported on given sets. Support sets refer to the underlying domains on which these representing measures are concentrated. The interplay between these objects is the core of the $K$-moment problem: characterizing the set of all moment sequences for measures supported on a prescribed subset $K$ of $\mathbb{R}^d$. This domain is central in real algebraic geometry, analysis, and applied fields such as optimization, control, statistics, and signal processing.

## 1. Formal Definitions: Moment Sets and Support Sets

Let $K \subseteq \mathbb{R}^d$ be a closed set, and let $\mathbb{R}[x] = \mathbb{R}[x_1,\dots,x_d]$ denote the algebra of real polynomials in $d$ variables.
- A linear functional $L: \mathbb{R}[x] \to \mathbb{R}$ is called a $K$-moment functional if there exists a nonnegative Radon measure $\mu$ supported on $K$ so that
  $$
  L(p) = \int_K p(x)\,d\mu(x) \quad \forall p \in \mathbb{R}[x].
  $$
  The measure $\mu$ is a representing measure for $L$.

- The moment sequence associated to $L$ is $m = (m_\alpha)_{\alpha \in \mathbb{N}_0^d}$, with multi-index notation: $m_\alpha = L(x^\alpha) = \int_K x^\alpha\,d\mu(x)$, where $x^\alpha = x_1^{\alpha_1} \cdots x_d^{\alpha_d}$.
- The moment set of $K$ is defined as
  $$
  M(K) = \left\{\, m=(m_\alpha) : \exists\,\mu \in \mathcal{M}^{+}(K) \text{ with } m_\alpha = \int_K x^\alpha\,d\mu(x)\,\forall\alpha\,\right\}.
  $$
  Here, $\mathcal{M}^{+}(K)$ denotes the convex cone of all nonnegative Radon measures supported on $K$ [2604.12265].

- The support set in this context is the prescribed set $K$ on which all representing measures for a given functional (or sequence) are concentrated.

## 2. Characterization Theorems and Algebraic Structures

### Haviland’s Theorem

For a closed $K\subseteq\mathbb{R}^d$ and linear $L:\mathbb{R}[x]\to\mathbb{R}$, the following are equivalent:
- $L(p)\ge 0$ for all $p\in\mathbb{R}[x]$ with $p(x)\ge 0$ $\forall x\in K$ (i.e., $L$ is nonnegative on the cone $Pos(K)$).
- There exists $\mu \in \mathcal{M}^+(K)$ such that $L(p) = \int_K p\,d\mu$ for all $p$ [2604.12265].

Thus, $M(K)$ is characterized by positivity of the moment functional on polynomials nonnegative on $K$. 

### Schmüdgen’s and Putinar’s Positivstellensätze

For compact $K=\{x : g_i(x)\geq 0,\,i=1,\dots,s\}$, two key algebraic structures arise:
- The preordering $T(g)$:
  $$
  T(g_1,\dots,g_s) = \left\{ \sum_{e\in\{0,1\}^s} \sigma_e\,g_1^{e_1}\cdots g_s^{e_s}: \sigma_e \in \Sigma^2 \right\}
  $$
  ($\Sigma^2$ is the cone of sums of squares.)
  - Schmüdgen’s theorem: Any $p>0$ on $K$ belongs to $T(g)$.

- The quadratic module $Q(g)$:
  $$
  Q(g_1,\dots,g_s) = \left\{ \sigma_0 + \sum_{i=1}^s \sigma_i g_i : \sigma_i \in \Sigma^2 \right\}
  $$
  If $Q(g)$ is Archimedean (i.e., $\exists N>0$ such that $N-\sum_j x_j^2 \in Q(g)$), then by Putinar's theorem, any $p>0$ on $K$ lies in $Q(g)$. Under Archimedeanity, nonnegativity of $L$ on $Q(g)$ suffices for $L$ to be a $K$-moment functional [2604.12265; 2309.10052].

These results translate geometric support constraints into purely algebraic positivity requirements.

## 3. Moment Matrices, Localizing Matrices, and Flat Extension

Given a (truncated or full) moment sequence $m = (m_\alpha)$, construct for each $n$ the moment matrix $M_n(m)$ indexed by multi-indices $|\alpha|,|\beta|\le n$:
$$
(M_n(m))_{\alpha,\beta} = m_{\alpha+\beta}.
$$
A necessary condition for $m \in M(K)$ is that $M_n(m)\succeq 0$ for every $n$.

For each defining polynomial $g_i$, the localizing matrix $M_n(g_i m)$ is
$$
(M_n(g_i m))_{\alpha,\beta} = \sum_{\gamma} (g_i)_{\gamma} m_{\alpha+\beta+\gamma}.
$$
The truncated $K$-moment problem considers whether a given $(y_\alpha)_{|\alpha|\le 2n}$ is the sequence of moments for some measure $\mu$ supported on $K$. The Curto–Fialkow flat extension theorem states: if $M_n(y)$ and a higher-order extension $M_{n+1}(\tilde y)$ are PSD and satisfy
$$
\operatorname{rank} M_{n+1}(\tilde y) = \operatorname{rank} M_n(y),
$$
then a finitely atomic representing $\mu$ on $K$ exists, with number of atoms equal to $\operatorname{rank} M_n(y)$ [2604.12265; 2309.10052].

## 4. Extraction of Support from Moments

The support of a measure representing a moment sequence is determined by the annihilating kernel of the moment matrix. For a full moment sequence $m$ with representing measure $\mu$, any polynomial $q(x)$ in the kernel of $M_n(m)$ satisfies:
$$
\int_K q(x)^2\,d\mu(x) = 0 \implies q(x)=0\; \mu\text{-almost everywhere}.
$$
Therefore,
$$
\operatorname{supp}(\mu) \subseteq V\left(\ker M_n(m)\right) = \{x\in\mathbb R^d: q(x)=0\;\forall\,q\in\ker M_n\}.
$$
When the flat extension property holds, the vanishing locus of the kernel is finite and the atoms of the representing measure are exactly the common real zeros of the polynomials in $\ker M_n(m)$ [2604.12265].

## 5. Generalizations: Infinite Dimensions, Function Spaces, and Specialized Supports

The moment-support machinery extends to several advanced settings:
- **Infinite-dimensional spaces:** The moment problem for measures on general nuclear spaces or for random measures involves representing support sets $K$ as generalized basic closed semi-algebraic sets defined by countable systems of polynomial inequalities. The positivity requirements for the Riesz functional, and the encoding of support information through polynomial constraints, remain conceptually identical [1802.03582; 1311.2175].

- **Function spaces:** In the setting of Schwartz functions $\mathcal{S}(\mathbb{R}^d)$ and Gelfand–Shilov spaces, every sequence is a $K$-moment sequence (moment-functional supported in $K$) if and only if certain spaces of polynomials with boundary-weighted growth control are finite-dimensional. Regularity (thickness) of $K$ at infinity becomes necessary for solvability in these smooth function classes [2505.14041].

- **Stieltjes moment sequences with shifted supports:** A sequence $(m_n)$ is a $\xi$-Stieltjes moment sequence (i.e., has a representing measure supported in $[\xi,\infty)$) if and only if its generating function admits a continued-fraction expansion with coefficients satisfying certain inequalities involving $\xi$ [2404.12131].

- **Support recovery from partial or marginal moments:** Algorithms based on semidefinite programming, moment matrix pencils, or Christoffel functions can efficiently compute enclosing intervals, approximate support sets, or extract the underlying support of a measure from partial (or marginal) moment information [1403.6399; 1011.0138; 1810.08480].

## 6. Applications: Optimization, Identification, and Robustness

Moment and support sets underpin diverse domains:
- **Polynomial and semi-infinite programming:** Many optimization problems over measures with moment and support constraints are naturally reformulated as linear conic problems over moment cones, with tractable semidefinite relaxations via Moment–SOS techniques. Feasibility, optimality, and extraction of supporting points rely fundamentally on the interplay between moments and support sets [2103.12315; 2208.00354; 2401.12359].

- **Economic modeling and identification:** In incomplete models, structural or counterfactual identification is closely tied to properties of support and moment closures. Support-function approaches yield sharp characterizations for identified sets and their closures, even when traditional random set bounds fail due to unboundedness or lack of finite support [2603.07722].

- **Data analysis and learning:** Empirical moment matrices encode zeros and algebraic structure of the support, enabling support reconstruction and density estimation in high-dimensional data, especially when the underlying support is a real algebraic variety or a sparse set [1810.08480; 2011.05170].

## 7. Summary Table: Central Mathematical Objects

| Object                              | Definition                            | Role in Moment/Support Theory              |
|--------------------------------------|---------------------------------------|--------------------------------------------|
| $M(K)$ (moment set)                  | Sequences arising as $\int_K x^\alpha$| Characterizes realizable moment sequences   |
| Support set $K$                      | Closed subset of $\mathbb{R}^d$       | Prescribes possible locations for measures  |
| Moment matrix $M_n(m)$               | $(M_n)_{\alpha,\beta} = m_{\alpha+\beta}$| Translates moment positivity to SDP        |
| Quadratic module $Q(g)$, preordering $T(g)$ | Algebraic positivity cones    | Encodes support via polynomial inequalities |
| Localizing matrix $M_n(g\,m)$        | For $g$, entries $(M_n)_{\alpha,\beta}$| Enforces support constraints positivity    |
| Flat extension property              | Rank condition on $M_n$ and $M_{n+1}$ | Ensures atomic measure, support extraction  |
| Kernel of $M_n$                      | Polynomials vanishing $\mu$-a.e.      | Annihilator; determines support algebraically |

These frameworks and tools interlock: support sets $K$ restrict possible representing measures, while moment sets capture integrability and positivity data. The algebraic-geometric machinery (quadratic modules, moment matrices, preorderings) enables both advanced theoretical results and efficient computational algorithms for support identification and recovery. 

**References**: [2604.12265], [2309.10052], [1802.03582], [2404.12131], [1403.6399], [1011.0138], [2505.14041], [1311.2175], [2208.00354], [2011.05170], [1810.08480], [2103.12315], [2401.12359], [1910.05251], [2603.07722].

Source: https://www.emergentmind.com/topics/moment-and-support-sets