Results 1  10
of
34
Detecting global optimality and extracting solutions in GloptiPoly
 Chapter in D. Henrion, A. Garulli (Editors). Positive polynomials in control. Lecture Notes in Control and Information Sciences
, 2005
"... GloptiPoly is a Matlab/SeDuMi addon to build and solve convex linear matrix inequality (LMI) relaxations of nonconvex optimization problems with multivariate polynomial objective function and constraints, based on the theory of moments. In contrast with the dual sumofsquares decompositions of po ..."
Abstract

Cited by 47 (10 self)
 Add to MetaCart
GloptiPoly is a Matlab/SeDuMi addon to build and solve convex linear matrix inequality (LMI) relaxations of nonconvex optimization problems with multivariate polynomial objective function and constraints, based on the theory of moments. In contrast with the dual sumofsquares decompositions of positive polynomials, the theory of moments allows to detect global optimality of an LMI relaxation and extract globally optimal solutions. In this report, we describe and illustrate the numerical linear algebra algorithm implemented in GloptiPoly for detecting global optimality and extracting solutions. We also mention some related heuristics that could be useful to reduce the number of variables in the LMI relaxations. 1
Minimizing polynomials via sum of squares over the gradient ideal
 Math. Program
"... A method is proposed for finding the global minimum of a multivariate polynomial via sum of squares (SOS) relaxation over its gradient variety. That variety consists of all points where the gradient is zero and it need not be finite. A polynomial which is nonnegative on its gradient variety is shown ..."
Abstract

Cited by 28 (11 self)
 Add to MetaCart
A method is proposed for finding the global minimum of a multivariate polynomial via sum of squares (SOS) relaxation over its gradient variety. That variety consists of all points where the gradient is zero and it need not be finite. A polynomial which is nonnegative on its gradient variety is shown to be SOS modulo its gradient ideal, provided the gradient ideal is radical or the polynomial is strictly positive on the gradient variety. This opens up the possibility of solving previously intractable polynomial optimization problems. The related problem of constrained minimization is also considered, and numerical examples are discussed. Experiments show that our method using the gradient variety outperforms prior SOS methods.
Revisiting Two Theorems of Curto and Fialkow on Moment Matrices
, 2004
"... We revisit two results of Curto and Fialkow on moment matrices. The first result asserts that every sequence... ..."
Abstract

Cited by 18 (4 self)
 Add to MetaCart
We revisit two results of Curto and Fialkow on moment matrices. The first result asserts that every sequence...
Theta Bodies for Polynomial Ideals
, 2008
"... Abstract. Inspired by a question of Lovász, we introduce a hierarchy of nested semidefinite relaxations of the convex hull of real solutions to an arbitrary polynomial ideal, called theta bodies of the ideal. For the stable set problem in a graph, the first theta body in this hierarchy is exactly Lo ..."
Abstract

Cited by 16 (3 self)
 Add to MetaCart
Abstract. Inspired by a question of Lovász, we introduce a hierarchy of nested semidefinite relaxations of the convex hull of real solutions to an arbitrary polynomial ideal, called theta bodies of the ideal. For the stable set problem in a graph, the first theta body in this hierarchy is exactly Lovász’s theta body of the graph. We prove that theta bodies are, up to closure, a version of Lasserre’s relaxations for real solutions to ideals, and that they can be computed explicitly using combinatorial moment matrices. Theta bodies provide a new canonical set of semidefinite relaxations for the max cut problem. For vanishing ideals of finite point sets, we give several equivalent characterizations of when the first theta body equals the convex hull of the points. We also determine the structure of the first theta body for all ideals. 1.
Semidefinite characterization and computation of zerodimensional real radical ideals
, 2007
"... real radical ideals ..."
Representation of nonnegative polynomials, degree bounds and applications to optimization
, 2006
"... Natural sufficient conditions for a polynomial to have a local minimum at a point are considered. These conditions tend to hold with probability 1. It is shown that polynomials satisfying these conditions at each minimum point have nice presentations in terms of sums of squares. Applications are giv ..."
Abstract

Cited by 12 (3 self)
 Add to MetaCart
Natural sufficient conditions for a polynomial to have a local minimum at a point are considered. These conditions tend to hold with probability 1. It is shown that polynomials satisfying these conditions at each minimum point have nice presentations in terms of sums of squares. Applications are given to optimization on a compact set and also to global optimization. In many cases, there are degree bounds for such presentations. These bounds are of theoretical interest, but they appear to be too large to be of much practical use at present. In the final section, other more concrete degree bounds are obtained which ensure at least that the feasible set of solutions is not empty.
Truncated Kmoment problems in several variables
 J. Operator Theory
"... Abstract. Let β ≡ β (2n) be an Ndimensional real multisequence of degree 2n, with associated moment matrix M(n) ≡ M(n)(β), and let r: = rank M(n). We prove that if M(n) is positive semidefinite and admits a rankpreserving moment matrix extension M(n+1), then M(n+1) has a unique representing meas ..."
Abstract

Cited by 12 (4 self)
 Add to MetaCart
Abstract. Let β ≡ β (2n) be an Ndimensional real multisequence of degree 2n, with associated moment matrix M(n) ≡ M(n)(β), and let r: = rank M(n). We prove that if M(n) is positive semidefinite and admits a rankpreserving moment matrix extension M(n+1), then M(n+1) has a unique representing measure µ, which is ratomic, with suppµ equal to V(M(n + 1)), the algebraic variety of M(n + 1). Further, β has an ratomic (minimal) representing measure supported in a semialgebraic set KQ subordinate to a family Q ≡ {qi} m i=1 ⊆ R[t1,..., tN] if and only if M(n) is positive semidefinite and admits a rankpreserving extension M(n + 1) for which the associated localizing matrices Mqi (n + [ 1+deg qi]) are positive semidefinite (1 ≤ i ≤ m); in this case, µ (as 2 above) satisfies supp µ ⊆ KQ, and µ has precisely rank M(n) − rank Mqi (n + [ 1+deg qi]) atoms in 2 Z(qi) ≡ { t ∈ R N: qi(t) = 0} , 1 ≤ i ≤ m.
Global minimization of rational functions and the nearest GCDs
 J. of Global Optimization
"... This paper discusses the global minimization of rational functions with or without constraints. The sum of squares (SOS) relaxations are proposed to find the global minimum and minimizers. Some special features of the SOS relaxations are studied. As an application, we show how to find the nearest co ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
This paper discusses the global minimization of rational functions with or without constraints. The sum of squares (SOS) relaxations are proposed to find the global minimum and minimizers. Some special features of the SOS relaxations are studied. As an application, we show how to find the nearest common divisors of polynomials via global minimization of rational functions.
Expressing Combinatorial Optimization Problems by Systems of Polynomial Equations and the Nullstellensatz
, 2007
"... Systems of polynomial equations over the complex or real numbers can be used to model combinatorial problems. In this way, a combinatorial problem is feasible (e.g. a graph is 3colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution. In the first part of ..."
Abstract

Cited by 9 (5 self)
 Add to MetaCart
Systems of polynomial equations over the complex or real numbers can be used to model combinatorial problems. In this way, a combinatorial problem is feasible (e.g. a graph is 3colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution. In the first part of this paper, we construct new polynomial encodings for the problems of finding in a graph its longest cycle, the largest planar subgraph, the edgechromatic number, or the largest kcolorable subgraph. For an infeasible polynomial system, the (complex) Hilbert Nullstellensatz gives a certificate that the associated combinatorial problem is infeasible. Thus, unless P = NP, there must exist an infinite sequence of infeasible instances of each hard combinatorial problem for which the minimum degree of a Hilbert Nullstellensatz certificate of the associated polynomial system grows. We show that the minimumdegree of a Nullstellensatz certificate for the nonexistence of a stable set of size greater than the stability number of the graph is the stability number of the graph. Moreover, such a certificate contains at least one term per stable set of G. In contrast, for non3colorability, we found only graphs with Nullstellensatz certificates of degree four.
Hilbert’s Nullstellensatz and an Algorithm for Proving Combinatorial Infeasibility
"... Systems of polynomial equations over an algebraicallyclosed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution o ..."
Abstract

Cited by 9 (5 self)
 Add to MetaCart
Systems of polynomial equations over an algebraicallyclosed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution over K. In this paper, we investigate an algorithm aimed at proving combinatorial infeasibility based on the observed low degree of Hilbert’s Nullstellensatz certificates for polynomial systems arising in combinatorics and on largescale linearalgebra computations over K. We report on experiments based on the problem of proving the non3colorability of graphs. We successfully solved graph problem instances having thousands of nodes and tens of thousands of edges.