617 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
Positive Semidefiniteness and Positive Definiteness of a Linear Parametric Interval Matrix
We consider a symmetric matrix, the entries of which depend linearly on some
parameters. The domains of the parameters are compact real intervals. We
investigate the problem of checking whether for each (or some) setting of the
parameters, the matrix is positive definite (or positive semidefinite). We
state a characterization in the form of equivalent conditions, and also propose
some computationally cheap sufficient\,/\,necessary conditions. Our results
extend the classical results on positive (semi-)definiteness of interval
matrices. They may be useful for checking convexity or non-convexity in global
optimization methods based on branch and bound framework and using interval
techniques
Convex Combinatorial Optimization
We introduce the convex combinatorial optimization problem, a far reaching
generalization of the standard linear combinatorial optimization problem. We
show that it is strongly polynomial time solvable over any edge-guaranteed
family, and discuss several applications
- …