45 research outputs found
A polynomial-size extended formulation for the multilinear polytope of beta-acyclic hypergraphs
We consider the multilinear polytope defined as the convex hull of the set of
binary points satisfying a collection of multilinear equations. The complexity
of the facial structure of the multilinear polytope is closely related to the
acyclicity degree of the underlying hypergraph. We obtain a polynomial-size
extended formulation for the multilinear polytope of beta-acyclic hypergraphs,
hence characterizing the acyclic hypergraphs for which such a formulation can
be constructed
The pseudo-Boolean polytope and polynomial-size extended formulations for binary polynomial optimization
With the goal of obtaining strong relaxations for binary polynomial
optimization problems, we introduce the pseudo-Boolean polytope defined as the
convex hull of the set of binary points satisfying a collection of equations
containing pseudo-Boolean functions. By representing the pseudo-Boolean
polytope via a signed hypergraph, we obtain sufficient conditions under which
this polytope has a polynomial-size extended formulation. Our new framework
unifies and extends all prior results on the existence of polynomial-size
extended formulations for the convex hull of the feasible region of binary
polynomial optimization problems of degree at least three
Simple odd -cycle inequalities for binary polynomial optimization
We consider the multilinear polytope which arises naturally in binary
polynomial optimization. Del Pia and Di Gregorio introduced the class of odd
-cycle inequalities valid for this polytope, showed that these generally
have Chv\'atal rank 2 with respect to the standard relaxation and that,
together with flower inequalities, they yield a perfect formulation for cycle
hypergraph instances. Moreover, they describe a separation algorithm in case
the instance is a cycle hypergraph. We introduce a weaker version, called
simple odd -cycle inequalities, for which we establish a strongly
polynomial-time separation algorithm for arbitrary instances. These
inequalities still have Chv\'atal rank 2 in general and still suffice to
describe the multilinear polytope for cycle hypergraphs.Comment: 16 pages, 1 figure, 2 table
Integrality of Linearizations of Polynomials over Binary Variables using Additional Monomials
Polynomial optimization problems over binary variables can be expressed as
integer programs using a linearization with extra monomials in addition to
those arising in the given polynomial. We characterize when such a
linearization yields an integral relaxation polytope, generalizing work by Del
Pia and Khajavirad (SIAM Journal on Optimization, 2018) and Buchheim, Crama and
Rodr\'iguez-Heck (European Journal of Operations Research, 2019). We also
present an algorithm that finds these extra monomials for a given polynomial to
yield an integral relaxation polytope or determines that no such set of extra
monomials exists. In the former case, our approach yields an algorithm to solve
the given polynomial optimization problem as a compact LP, and we complement
this with a purely combinatorial algorithm.Comment: 27 pages, 11 figure