67 research outputs found
Hamiltonian submanifolds of regular polytopes
We investigate polyhedral -manifolds as subcomplexes of the boundary
complex of a regular polytope. We call such a subcomplex {\it -Hamiltonian}
if it contains the full -skeleton of the polytope. Since the case of the
cube is well known and since the case of a simplex was also previously studied
(these are so-called {\it super-neighborly triangulations}) we focus on the
case of the cross polytope and the sporadic regular 4-polytopes. By our results
the existence of 1-Hamiltonian surfaces is now decided for all regular
polytopes.
Furthermore we investigate 2-Hamiltonian 4-manifolds in the -dimensional
cross polytope. These are the "regular cases" satisfying equality in Sparla's
inequality. In particular, we present a new example with 16 vertices which is
highly symmetric with an automorphism group of order 128. Topologically it is
homeomorphic to a connected sum of 7 copies of . By this
example all regular cases of vertices with or, equivalently, all
cases of regular -polytopes with are now decided.Comment: 26 pages, 4 figure
On the power of symmetric linear programs
© 2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes,creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.We consider families of symmetric linear programs (LPs) that decide a property of graphs (or other relational structures) in the sense that, for each size of graph, there is an LP defining a polyhedral lift that separates the integer points corresponding to graphs with the property from those corresponding to graphs without the property. We show that this is equivalent, with at most polynomial blow-up in size, to families of symmetric Boolean circuits with threshold gates. In particular, when we consider polynomial-size LPs, the model is equivalent to definability in a non-uniform version of fixed-point logic with counting (FPC). Known upper and lower bounds for FPC apply to the non-uniform version. In particular, this implies that the class of graphs with perfect matchings has polynomial-size symmetric LPs while we obtain an exponential lower bound for symmetric LPs for the class of Hamiltonian graphs. We compare and contrast this with previous results (Yannakakis 1991) showing that any symmetric LPs for the matching and TSP polytopes have exponential size. As an application, we establish that for random, uniformly distributed graphs, polynomial-size symmetric LPs are as powerful as general Boolean circuits. We illustrate the effect of this on the well-studied planted-clique problem.Peer ReviewedPostprint (author's final draft
On the power of symmetric linear programs
We consider families of symmetric linear programs (LPs) that decide a
property of graphs (or other relational structures) in the sense that, for each
size of graph, there is an LP defining a polyhedral lift that separates the
integer points corresponding to graphs with the property from those
corresponding to graphs without the property. We show that this is equivalent,
with at most polynomial blow-up in size, to families of symmetric Boolean
circuits with threshold gates. In particular, when we consider polynomial-size
LPs, the model is equivalent to definability in a non-uniform version of
fixed-point logic with counting (FPC). Known upper and lower bounds for FPC
apply to the non-uniform version. In particular, this implies that the class of
graphs with perfect matchings has polynomial-size symmetric LPs while we obtain
an exponential lower bound for symmetric LPs for the class of Hamiltonian
graphs. We compare and contrast this with previous results (Yannakakis 1991)
showing that any symmetric LPs for the matching and TSP polytopes have
exponential size. As an application, we establish that for random, uniformly
distributed graphs, polynomial-size symmetric LPs are as powerful as general
Boolean circuits. We illustrate the effect of this on the well-studied
planted-clique problem
Some 0/1 polytopes need exponential size extended formulations
We prove that there are 0/1 polytopes P⊆R[superscript n] that do not admit a compact LP formulation. More precisely we show that for every n there is a set X⊆{0,1}[superscript n] such that conv(X) must have extension complexity at least 2[superscript n/2⋅(1−o(1)] . In other words, every polyhedron Q that can be linearly projected on conv(X) must have exponentially many facets. In fact, the same result also applies if conv(X) is restricted to be a matroid polytope. Conditioning on NP⊈P[subscript /poly], our result rules out the existence of a compact formulation for any NP -hard optimization problem even if the formulation may contain arbitrary real numbers
Recommended from our members
Combinatorial Optimization
Combinatorial Optimization is a very active field that benefits from bringing together ideas from different areas, e.g., graph theory and combinatorics, matroids and submodularity, connectivity and network flows, approximation algorithms and mathematical programming, discrete and computational geometry, discrete and continuous problems, algebraic and geometric methods, and applications. We continued the long tradition of triannual Oberwolfach workshops, bringing together the best researchers from the above areas, discovering new connections, and establishing new and deepening existing international collaborations
- …