#### Location

Crow 206

#### Start Date

7-19-2016 2:30 PM

#### End Date

19-7-2016 2:50 PM

#### Description

Let $K$ denote a nonempty closed subset of $\mathbb{R}^{n}$, let $m=2d$, and let $\beta\equiv \beta^{(m)} = \{\beta_{i}\}_{i\in \mathbb{Z}_{+}^{n}, |i|\le m}$, $\beta_{0}>0$, denote a real $n$-dimensional multisequence of finite degree $m$. %and let $K$ denote a closed subset of $\mathbb{R}^{n}$. \textit{ The Truncated $K$-Moment Problem} concerns the existence of a positive Borel measure $\mu$, supported in $K$, such that $$ \beta_{i} = \int_{\mathbb{R}^{n}} x^{i}d\mu ~~~~~~~~( i\in \mathbb{Z}_{+}^{n},~~|i|\le m). $$ The \textit{core variety} of $\beta$, $\mathcal{V} \equiv \mathcal{V}(\beta)$, is an algebraic variety in $\mathbb{R}^{n}$ that contains the support of any such \textit{$K$-representing measure}. In previous work we showed, conversely, that if $\mathcal{V}$ is a nonempty compact set, or $\mathcal{V}$ is nonempty and is a determining set for polynomials of degree at most $m$ (in particular, if $\mathcal{V}= \mathbb{R}^{n}$), then $\beta$ admits a $\mathcal{V}$-representing measure. We describe some additional cases where a nonempty core variety implies the existence of a representing measure.

The core variety of a multisequence in the truncated moment problem

Crow 206

Let $K$ denote a nonempty closed subset of $\mathbb{R}^{n}$, let $m=2d$, and let $\beta\equiv \beta^{(m)} = \{\beta_{i}\}_{i\in \mathbb{Z}_{+}^{n}, |i|\le m}$, $\beta_{0}>0$, denote a real $n$-dimensional multisequence of finite degree $m$. %and let $K$ denote a closed subset of $\mathbb{R}^{n}$. \textit{ The Truncated $K$-Moment Problem} concerns the existence of a positive Borel measure $\mu$, supported in $K$, such that $$ \beta_{i} = \int_{\mathbb{R}^{n}} x^{i}d\mu ~~~~~~~~( i\in \mathbb{Z}_{+}^{n},~~|i|\le m). $$ The \textit{core variety} of $\beta$, $\mathcal{V} \equiv \mathcal{V}(\beta)$, is an algebraic variety in $\mathbb{R}^{n}$ that contains the support of any such \textit{$K$-representing measure}. In previous work we showed, conversely, that if $\mathcal{V}$ is a nonempty compact set, or $\mathcal{V}$ is nonempty and is a determining set for polynomials of degree at most $m$ (in particular, if $\mathcal{V}= \mathbb{R}^{n}$), then $\beta$ admits a $\mathcal{V}$-representing measure. We describe some additional cases where a nonempty core variety implies the existence of a representing measure.