Open main menu
The graph of an Icosidodecahedron, an example for which the conjecture is true.

In mathematical programming and polyhedral combinatorics, the Hirsch conjecture is the statement that the edge-vertex graph of an n-facet polytope in d-dimensional Euclidean space has diameter no more than n − d. That is, any two vertices of the polytope must be connected to each other by a path of length at most n − d. The conjecture was first put forth in a letter by Warren M. Hirsch [es] to George B. Dantzig in 1957[1][2] and was motivated by the analysis of the simplex method in linear programming, as the diameter of a polytope provides a lower bound on the number of steps needed by the simplex method. The conjecture is now known to be false in general.

The Hirsch conjecture was proven for d < 4 and for various special cases,[3] while the best known upper bounds on the diameter are only sub-exponential in n and d.[4] After more than fifty years, a counter-example was announced in May 2010 by Francisco Santos Leal, from the University of Cantabria.[5][6][7] The result was presented at the conference 100 Years in Seattle: the mathematics of Klee and Grünbaum and appeared in Annals of Mathematics.[8] Specifically, the paper presented a 43-dimensional polytope of 86 facets with a diameter of more than 43. The counterexample has no direct consequences for the analysis of the simplex method, as it does not rule out the possibility of a larger but still linear or polynomial number of steps.

Various equivalent formulations of the problem had been given, such as the d-step conjecture, which states that the diameter of any 2d-facet polytope in d-dimensional Euclidean space is no more than d; Santos Leal's counterexample also disproves this conjecture.[1][9]

Contents

Statement of the ConjectureEdit

The graph of a convex polytope   is any graph whose vertices are in bijection with the vertices of   in such a way that any two vertices of the graph are joined by an edge if and only if the two corresponding vertices of   are joined by an edge of the polytope. The diameter of  , denoted  , is the diameter of any one of its graphs. These definitions are well-defined since any two graphs of the same polytope must be isomorphic as graphs. We may then state the Hirsch conjecture as follows:

Conjecture Let   be a d-dimensional convex polytope with n facets. Then  .

For example, a cube in three dimensions has six facets. The Hirsch conjecture then indicates that the diameter of this cube cannot be greater than three. Accepting the conjecture would imply that any two vertices of the cube may be connected by a path from vertex to vertex using, at most, three steps. For all polytopes of dimension at least 8, this bound is actually optimal; no polytope of dimension   has a diameter less than n-d, with n being the number of its facets, as before.[10] In other words, for nearly all cases, the conjecture provides the minimum number of steps needed to join any two vertices of a polytope by a path along its edges. Since the simplex method essentially operates by constructing a path from some vertex of the feasible region to an optimal point, the Hirsch conjecture would provide a lower bound needed for the simplex method to terminate in the worst case scenario.

The Hirsch conjecture is a special case of the polynomial Hirsch conjecture, which claims that there exists some positive integer k such that, for all polytopes  ,  , where n is the number of facets of P.

Progress and Intermediate ResultsEdit

The Hirsch conjecture has been proven true for a number of cases. For example, any polytope with dimension 3 or lower satisfies the conjecture. Any d-dimensional polytope with n facets such that   satisfies the conjecture as well.[11]

Other attempts to solve the conjecture manifested out of a desire to formulate a different problem whose solution would imply the Hirsch conjecture. One example of particular importance is the d-step conjecture, a relaxation of the Hirsch conjecture that has actually been shown to be equivalent to it.

Theorem The following statements are equivalent:

  1.   for all d-dimensional polytopes   with n facets.
  2.   for all d-dimensional polytopes   with 2d facets.

In other words, in order to prove or disprove the Hirsch conjecture, one only needs to consider polytopes with exactly twice as many facets as its dimension. Another significant relaxation is that the Hirsch conjecture holds for all polytopes if and only if it holds for all simple polytopes.[12]

CounterexampleEdit

 
The octahedron is one of the most well-known examples of a spindle.

Unfortunately, the Hirsch conjecture is not true in all cases, as shown by Francisco Santos in 2011. Santos' explicit construction of a counterexample comes both from the fact that the conjecture may be relaxed to only consider simple polytopes, and from equivalence between the Hirsch and d-step conjectures.[13] In particular, Santos produces his counterexample by examining a particular class of polytopes called spindles.

Definition A d-spindle is a d-dimensional polytope   for which there exist a pair of distinct vertices such that every facet of   contains exactly one of these two vertices.

The length of the shortest path between these two vertices is called the length of the spindle. The disproof of the Hirsch conjecture relies on the following theorem, referred to as the strong d-step theorem for spindles.

Theorem (Santos) Let   be a d-spindle. Let n be the number of its facets, and let l be its length. Then there exists an  -spindle,  , with   facets and a length bounded below by  . In particular, if  , then   violates the d-step conjecture.

Santos then proceeds to construct a 5-dimensionsal spindle with length 6, hence proving that there exists another spindle that serves as a counterexample to the Hirsch conjecture. The first of these two spindles has 48 facets and 322 vertices, while the spindle that actually disproves the conjecture has 86 facets and is 43-dimensional. This counterexample does not disprove the polynomial Hirsch conjecture, which remains an open problem.[14]

NotesEdit

  1. ^ a b Ziegler (1994), p. 84.
  2. ^ Dantzig (1963), pp. 160 and 168.
  3. ^ E.g. see Naddef (1989) for 0-1 polytopes.
  4. ^ Kalai & Kleitman (1992).
  5. ^ Santos (2011).
  6. ^ Kalai (2010).
  7. ^ "Francisco Santos encuentra un contraejemplo que refuta la conjetura de Hirsch", Gaussianos, May 24, 2010
  8. ^ Santos (2011)
  9. ^ Klee & Walkup (1967).
  10. ^ Ziegler (1994)
  11. ^ Ziegler (1994)
  12. ^ Ziegler (1994)
  13. ^ Santos (2011)
  14. ^ Santos (2011)

ReferencesEdit