7 research outputs found
New Dependencies of Hierarchies in Polynomial Optimization
We compare four key hierarchies for solving Constrained Polynomial
Optimization Problems (CPOP): Sum of Squares (SOS), Sum of Diagonally Dominant
Polynomials (SDSOS), Sum of Nonnegative Circuits (SONC), and the Sherali Adams
(SA) hierarchies. We prove a collection of dependencies among these hierarchies
both for general CPOPs and for optimization problems on the Boolean hypercube.
Key results include for the general case that the SONC and SOS hierarchy are
polynomially incomparable, while SDSOS is contained in SONC. A direct
consequence is the non-existence of a Putinar-like Positivstellensatz for
SDSOS. On the Boolean hypercube, we show as a main result that Schm\"udgen-like
versions of the hierarchies SDSOS*, SONC*, and SA* are polynomially equivalent.
Moreover, we show that SA* is contained in any Schm\"udgen-like hierarchy that
provides a O(n) degree bound.Comment: 26 pages, 4 figure
Solving unconstrained 0-1 polynomial programs through quadratic convex reformulation
We propose a solution approach for the problem (P) of minimizing an unconstrained binary polynomial optimization problem. We call this method PQCR (Polynomial Quadratic Convex Reformulation). The resolution is based on a 3-phase method. The first phase consists in reformulating (P) into a quadratic program (QP). For this, we recursively reduce the degree of (P) to two, by use of the standard substitution of the product of two variables by a new one. We then obtain a linearly constrained binary program. In the second phase, we rewrite the quadratic objective function into an equivalent and parametrized quadratic function using the equality x 2 i = x i and new valid quadratic equalities. Then, we focus on finding the best parameters to get a quadratic convex program which continuous relaxation's optimal value is maximized. For this, we build a semidefinite relaxation (SDP) of (QP). Then, we prove that the standard linearization inequalities, used for the quadratization step, are redundant in (SDP) in presence of the new quadratic equalities. Next, we deduce our optimal parameters from the dual optimal solution of (SDP). The third phase consists in solving (QP *), the optimal reformulated problem, with a standard solver. In particular, at each node of the branch-and-bound, the solver computes the optimal value of a continuous quadratic convex program. We present computational results on instances of the image restoration problem and of the low autocorrelation binary sequence problem. We compare PQCR with other convexification methods, and with the general solver Baron 17.4.1 [39]. We observe that most of the considered instances can be solved with our approach combined with the use of Cplex [24]
Copositive certificates of non-negativity for polynomials on semialgebraic sets
A certificate of non-negativity is a way to write a given function so that
its non-negativity becomes evident. Certificates of non-negativity are
fundamental tools in optimization, and they underlie powerful algorithmic
techniques for various types of optimization problems. We propose certificates
of non-negativity of polynomials based on copositive polynomials. The
certificates we obtain are valid for generic semialgebraic sets and have a
fixed small degree, while commonly used sums-of-squares (SOS) certificates are
guaranteed to be valid only for compact semialgebraic sets and could have large
degree. Optimization over the cone of copositive polynomials is not tractable,
but this cone has been well studied. The main benefit of our copositive
certificates of non-negativity is their ability to translate results known
exclusively for copositive polynomials to more general semialgebraic sets. In
particular, we show how to use copositive polynomials to construct structured
(e.g., sparse) certificates of non-negativity, even for unstructured
semialgebraic sets. Last but not least, copositive certificates can be used to
obtain not only hierarchies of tractable lower bounds, but also hierarchies of
tractable upper bounds for polynomial optimization problems.Comment: 27 pages, 1 figur