English

The truncated K-Moment problem for closure of open sets

Optimization and Control 2012-11-08 v2

Abstract

We solve the truncated K-moment problem when KRnK\subseteq R^n is the closure of a, not necessarily bounded, open set (which includes the important cases K=RnK=R^n and K=R+nK=R^n_+). That is, we completely characterize the interior of the convex cone of finite sequences that have a representing measure on KRnK\subseteq R^n. It is in fact the domain of the Legendre-Fenchel transform associated with a certain convex function. And so in this context, detecting whether a sequence is in the interior of this cone reduces to solving a finite-dimensional convex optimization problem. This latter problem is related to maximum entropy methods for approximating an unknown density from knowing only finitely many of its moments. Interestingly, the proposed approach is essentially geometric and of independent interest, as it also addresses the abstract problem of characterizing the interior of a convex cone C which is the conical hull of a set continuously parametrized by a compact set MRnM\subset R^n or MSn1M \subseteq S^{n-1}, where MM is the closure of an open subset of RnR^n (resp. Sn1S^{n-1}). As a by-product we also obtain a barrier function for the cone C.

Keywords

Cite

@article{arxiv.1108.0627,
  title  = {The truncated K-Moment problem for closure of open sets},
  author = {Greg Blekherman and Jean-Bernard Lasserre},
  journal= {arXiv preprint arXiv:1108.0627},
  year   = {2012}
}

Comments

We fix a mistake in the proof of Lemma 2.2; RL 11843