Files and links (1)
Preprint (Author's original)arXiv.org - Non-exclusive license to distribute, Open
Preprint
Sums of squares certificates for polynomial moment inequalities
arXiv.org
09 Jun 2023
Abstract
This paper introduces and develops the algebraic framework of moment
polynomials, which are polynomial expressions in commuting variables and their
formal mixed moments. Their positivity and optimization over probability
measures supported on semialgebraic sets and subject to moment polynomial
constraints is investigated. A positive solution to Hilbert's 17th problem for
pseudo-moments is given. On the other hand, moment polynomials positive on
actual measures are shown to be sums of squares and formal moments of squares
up to arbitrarily small perturbation of their coefficients. When only measures
supported on a bounded semialgebraic set are considered, a stronger algebraic
certificate for moment polynomial positivity is derived. This result gives rise
to a converging hierarchy of semidefinite programs for moment polynomial
optimization. Finally, as an application, two nonlinear Bell inequalities from
quantum physics are settled.
Metrics
10 Record Views
Details
- Title
- Sums of squares certificates for polynomial moment inequalities
- Creators
- Igor KlepVictor MagronJurij Volčič
- Publication Details
- arXiv.org
- Resource Type
- Preprint
- Language
- English
- Academic Unit
- Mathematics
- Other Identifier
- 991021861882804721