393 research outputs found
Quadratic diameter bounds for dual network flow polyhedra
Both the combinatorial and the circuit diameters of polyhedra are of interest
to the theory of linear programming for their intimate connection to a
best-case performance of linear programming algorithms.
We study the diameters of dual network flow polyhedra associated to -flows
on directed graphs and prove quadratic upper bounds for both of them:
the minimum of and for the combinatorial
diameter, and for the circuit diameter. The latter
strengthens the cubic bound implied by a result in [De Loera, Hemmecke, Lee;
2014].
Previously, bounds on these diameters have only been known for bipartite
graphs. The situation is much more involved for general graphs. In particular,
we construct a family of dual network flow polyhedra with members that violate
the circuit diameter bound for bipartite graphs by an arbitrary additive
constant. Further, it provides examples of circuit diameter
Edges vs Circuits: a Hierarchy of Diameters in Polyhedra
The study of the graph diameter of polytopes is a classical open problem in
polyhedral geometry and the theory of linear optimization. In this paper we
continue the investigation initiated in [4] by introducing a vast hierarchy of
generalizations to the notion of graph diameter. This hierarchy provides some
interesting lower bounds for the usual graph diameter. After explaining the
structure of the hierarchy and discussing these bounds, we focus on clearly
explaining the differences and similarities among the many diameter notions of
our hierarchy. Finally, we fully characterize the hierarchy in dimension two.
It collapses into fewer categories, for which we exhibit the ranges of values
that can be realized as diameters
Circuits in Extended Formulations
Circuits and extended formulations are classical concepts in linear
programming theory. The circuits of a polyhedron are the elementary difference
vectors between feasible points and include all edge directions. We study the
connection between the circuits of a polyhedron and those of an extended
formulation of , i.e., a description of a polyhedron that linearly
projects onto .
It is well known that the edge directions of are images of edge
directions of . We show that this `inheritance' under taking projections
does not extend to the set of circuits. We provide counterexamples with a
provably minimal number of facets, vertices, and extreme rays, including
relevant polytopes from clustering, and show that the difference in the number
of circuits that are inherited and those that are not can be exponentially
large in the dimension.
We further prove that counterexamples exist for any fixed linear projection
map, unless the map is injective. Finally, we characterize those polyhedra
whose circuits are inherited from all polyhedra that linearly project onto
. Conversely, we prove that every polyhedron satisfying mild assumptions
can be projected in such a way that the image polyhedron has a circuit with
no preimage among the circuits of . Our proofs build on standard
constructions such as homogenization and disjunctive programming
- …