Diameter of Polyhedra : Limits of Abstraction Friedrich Eisenbrand

We investigate the diameter of a natural abstraction of the 1-skeleton of polyhedra. Even if this abstraction is more general than other abstractions previously studied in the literature, known upper bounds on the diameter of polyhedra continue to hold here. On the other hand, we show that this abstraction has its limits by providing an almost quadratic lower bound. 1. Introduction. One of the most prominent mysteries in convex geometry is the question whether the diameter of polyhedra is polynomial in the number of its facets or not. If the largest diameter of a d-dimensional and possibly unbounded polyhedron with n facets is denoted by △ u (d, n), then the best known upper bound is △ u (d, n) ≤ n 1+log d , shown by Kalai and Kleitman [13]. For a long time, the best known lower bound was △ u (d, n) ≥ n − d + ⌊d/5⌋, due to Klee and Walkup [15]. Recently, Santos [20] has given a lower bound of △ u (d, n) ≥ (1 + ε)(n − d), where d, ǫ are fixed and n is arbitrarily large. The gap which is left open here is huge, even after decades of intensive research on this problem.

[1]  David Bremner,et al.  Edge-Graph Diameter Bounds for Convex Polytopes with Few Facets , 2008, Exp. Math..

[2]  Francisco Santos,et al.  A counterexample to the Hirsch conjecture , 2010, ArXiv.

[3]  Alexander A. Razborov,et al.  Diameter of polyhedra: limits of abstraction , 2009, SCG '09.

[4]  Tibor Szabó,et al.  Finding the Sink Takes Some Time: An Almost Quadratic Lower Bound for Finding the Sink of Unique Sink Oriented Cubes , 2004, Discret. Comput. Geom..

[5]  Bernd Gärtner The Random-Facet simplex algorithm on combinatorial cubes , 2002, Random Struct. Algorithms.

[6]  Gil Kalai,et al.  Linear programming, the simplex algorithm and simple polytopes , 1997, Math. Program..

[7]  Bernd Gärtner A Subexponential Algorithm for Abstract Optimization Problems , 1992, FOCS.

[8]  Gil Kalai Upper bounds for the diameter and height of graphs of convex polyhedra , 1992, Discret. Comput. Geom..

[9]  Gil Kalai,et al.  A subexponential randomized simplex algorithm (extended abstract) , 1992, STOC '92.

[10]  Micha Sharir,et al.  A subexponential bound for linear programming , 1992, SCG '92.

[11]  G. Kalai,et al.  A quasi-polynomial bound for the diameter of graphs of polyhedra , 1992, math/9204233.

[12]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[13]  Victor Klee,et al.  The d-Step Conjecture and Its Relatives , 1987, Math. Oper. Res..

[14]  Vojtech Rödl,et al.  On a Packing and Covering Problem , 1985, Eur. J. Comb..

[15]  David W. Walkup,et al.  A 3-Sphere Counterexample to the Wv-Path Conjecture , 1980, Math. Oper. Res..

[16]  Ilan Adler,et al.  Lower bounds for maximum diameters of polytopes , 1974 .

[17]  G. Dantzig,et al.  Maximum Diameter of Abstract Polytopes , 1974 .

[18]  K. G. Murty,et al.  Existence of A-avoiding paths in abstract polytopes , 1974 .

[19]  D. Larman Paths on Polytopes , 1970 .

[20]  Frank Harary,et al.  Graph Theory , 2016 .