Duality attainment and strict feasibility of the generalized moment problem and its relaxations
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908970491314176 |
|---|---|
| author | Halaseh, Sami Magron, Victor Skomra, Mateusz |
| author_facet | Halaseh, Sami Magron, Victor Skomra, Mateusz |
| contents | The generalized moment problem (GMP) is an infinite dimensional linear problem over the cone of finite nonnegative Borel measures. When a GMP instance involves finitely many polynomial moment constraints, moment/sum-of-squares hierarchies provide a sequence of bounds converging to the optimal value. We consider GMP instances with measures supported over a compact basic semialgebraic set $X$. We study the case when $X$ has nonempty interior, and the case when $X$ is the vanishing set of prescribed polynomials forming a Gröbner basis of the ideal they generate, which we assume is real radical. Under a relative interior assumption, we show attainment of the infinite dimensional dual problem, and attainment of each associated finite dimensional sum-of-squares strengthening. For the latter we present two disjoint proofs. The first is obtained by adapting results regarding the closedness of quadratic modules, and the second builds on Csiszár's work on exponential density constructions to find a strictly feasible measure. Finally, we discuss the special case where $X$ is the product of spheres, and applications of our results to GMP instances arising from tensor optimization and quantum information theory. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_15072 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Duality attainment and strict feasibility of the generalized moment problem and its relaxations Halaseh, Sami Magron, Victor Skomra, Mateusz Optimization and Control 90C22, 90C23 The generalized moment problem (GMP) is an infinite dimensional linear problem over the cone of finite nonnegative Borel measures. When a GMP instance involves finitely many polynomial moment constraints, moment/sum-of-squares hierarchies provide a sequence of bounds converging to the optimal value. We consider GMP instances with measures supported over a compact basic semialgebraic set $X$. We study the case when $X$ has nonempty interior, and the case when $X$ is the vanishing set of prescribed polynomials forming a Gröbner basis of the ideal they generate, which we assume is real radical. Under a relative interior assumption, we show attainment of the infinite dimensional dual problem, and attainment of each associated finite dimensional sum-of-squares strengthening. For the latter we present two disjoint proofs. The first is obtained by adapting results regarding the closedness of quadratic modules, and the second builds on Csiszár's work on exponential density constructions to find a strictly feasible measure. Finally, we discuss the special case where $X$ is the product of spheres, and applications of our results to GMP instances arising from tensor optimization and quantum information theory. |
| title | Duality attainment and strict feasibility of the generalized moment problem and its relaxations |
| topic | Optimization and Control 90C22, 90C23 |
| url | https://arxiv.org/abs/2604.15072 |