English
Related papers

Related papers: Homogenization for polynomial optimization with un…

200 papers

We show that (i) any constrained polynomial optimization problem (POP) has an equivalent formulation on a variety contained in an Euclidean sphere and (ii) the resulting semidefinite relaxations in the moment-SOS hierarchy have the constant…

Optimization and Control · Mathematics 2020-07-20 Ngoc Hoang Anh Mai , Victor Magron , Jean-Bernard Lasserre

This paper studies bilevel polynomial optimization problems. To solve them, we give a method based on polynomial optimization relaxations. Each relaxation is obtained from the Kurash-Kuhn-Tucker (KKT) conditions for the lower level…

Optimization and Control · Mathematics 2021-06-11 Jiawang Nie , Li Wang , Jane Ye , Suhan Zhong

This paper studies the complexity of matrix Putinar's Positivstellens{\"a}tz on the semialgebraic set that is given by the polynomial matrix inequality. \rev{When the quadratic module generated by the constrained polynomial matrix is…

Optimization and Control · Mathematics 2024-12-30 Lei Huang

This work focuses on minimizing the eigenvalue of a noncommutative polynomial subject to a finite number of noncommutative polynomial inequality constraints. Based on the Helton-McCullough Positivstellensatz, the noncommutative analog of…

Optimization and Control · Mathematics 2025-09-10 Igor Klep , Victor Magron , Gaël Massé , Jurij Volčič

Effective Positivstellens\"atze provide convergence rates for the moment-sum-of-squares (SoS) hierarchy for polynomial optimization (POP). In this paper, we add a qualitative property to the recent advances in those effective…

Optimization and Control · Mathematics 2025-02-26 Corbinian Schlosser

The moment-SOS (sum of squares) hierarchy is a powerful approach for solving globally non-convex polynomial optimization problems (POPs) at the price of solving a family of convex semidefinite optimization problems (called moment-SOS…

Optimization and Control · Mathematics 2025-07-08 Didier Henrion

Signomials are obtained by generalizing polynomials to allow for arbitrary real exponents. This generalization offers great expressive power, but has historically sacrificed the organizing principle of ``degree'' that is central to…

Algebraic Geometry · Mathematics 2021-07-02 Mareike Dressler , Riley Murray

We consider optimization problems with polynomial inequality constraints in non-commuting variables. These non-commuting variables are viewed as bounded operators on a Hilbert space whose dimension is not fixed and the associated polynomial…

Optimization and Control · Mathematics 2010-05-18 Stefano Pironio , Miguel Navascues , Antonio Acin

This paper studies how to solve semi-infinite polynomial programming (SIPP) problems by semidefinite relaxation method. We first introduce two SDP relaxation methods for solving polynomial optimization problems with finitely many…

Optimization and Control · Mathematics 2013-06-11 Li Wang , Feng Guo

In this paper, we describe a new method to compute the minimum of a real polynomial function and the ideal defining the points which minimize this polynomial function, assuming that the minimizer ideal is zero-dimensional. Our method is a…

Algebraic Geometry · Mathematics 2013-03-22 Marta Abril Bucero , Bernard Mourrain , Philippe Trebuchet

We first show that a continuous function f is nonnegative on a closed set $K\subseteq R^n$ if and only if (countably many) moment matrices of some signed measure $d\nu =fd\mu$ with support equal to K, are all positive semidefinite (if $K$…

Optimization and Control · Mathematics 2011-05-13 Jean B. Lasserre

We complete the complexity classification by degree of minimizing a polynomial over the integer points in a polyhedron in $\mathbb{R}^2$. Previous work shows that optimizing a quadratic polynomial over the integer points in a polyhedral…

Optimization and Control · Mathematics 2015-05-07 Alberto Del Pia , Robert Hildebrand , Robert Weismantel , Kevin Zemmer

Lasserre's hierarchy is a sequence of semidefinite relaxations for solving polynomial optimization problems globally. This paper studies the relationship between optimality conditions in nonlinear programming theory and finite convergence…

Optimization and Control · Mathematics 2013-04-16 Jiawang Nie

Using standard tools of harmonic analysis, we state and solve the problem of moments for non-negative measures supported on the unit ball of a Sobolev space of multivariate periodic trigonometric functions. We describe outer and inner…

Optimization and Control · Mathematics 2025-07-08 Didier Henrion , Alessandro Rudi

We identify a new sufficient condition for the finite convergence of moment relaxations of polynomial optimization problems with correlative sparsity. This condition, which follows from a solution to a correlatively sparse version of the…

Optimization and Control · Mathematics 2025-11-21 Giovanni Fantuzzi , Federico Fuentes

We consider the problem of approximating numerically the moments and the supports of measures which are invariant with respect to the dynamics of continuous- and discrete-time polynomial systems, under semialgebraic set constraints. First,…

Dynamical Systems · Mathematics 2018-07-03 Victor Magron , Marcelo Forets , Didier Henrion

This paper studies the hierarchy of local minimums of a polynomial in the space. For this purpose, we first compute H-minimums, for which the first and second order optimality conditions are satisfied. To compute each H-minimum, we…

Optimization and Control · Mathematics 2014-11-26 Jiawang Nie

We propose a moment relaxation for two problems, the separation and covering problem with semi-algebraic sets generated by a polynomial of degree d. We show that (a) the optimal value of the relaxation finitely converges to the optimal…

Optimization and Control · Mathematics 2018-09-26 Jean-Bernard Lasserre , Victor Magron

In this paper, we present a branch and bound algorithm for extracting approximate solutions to Global Polynomial Optimization (GPO) problems with bounded feasible sets. The algorithm is based on a combination of SOS/Moment relaxations and…

Optimization and Control · Mathematics 2017-04-25 Hesameddin Mohammadi , Matthew M. Peet

In a first contribution, we revisit two certificates of positivity on (possibly non-compact) basic semialgebraic sets due to Putinar and Vasilescu [Comptes Rendus de l'Acad\'emie des Sciences-Series I-Mathematics, 328(6) (1999) pp.…

Optimization and Control · Mathematics 2019-12-09 Ngoc Hoang Anh Mai , Jean-Bernard Lasserre , Victor Magron