Families of polytopal digraphs that do not satisfy the shelling property

David Avis, Hiroyuki Miyata, Sonoko Moriyama

Research output: Contribution to journalArticlepeer-review

Abstract

A polytopal digraph G(P) is an orientation of the skeleton of a convex polytope P. The possible non-degenerate pivot operations of the simplex method in solving a linear program over P can be represented as a special polytopal digraph known as an LP digraph. Presently there is no general characterization of which polytopal digraphs are LP digraphs, although four necessary properties are known: acyclicity, unique sink orientation (USO), the Holt-Klee property and the shelling property. The shelling property was introduced by Avis and Moriyama (2009), where two examples are given in d=4 dimensions of polytopal digraphs satisfying the first three properties but not the shelling property. The smaller of these examples has n=7 vertices. Avis, Miyata and Moriyama (2009) constructed for each d≥4 and n≥d+2, a d-polytope P with n vertices which has a polytopal digraph which is an acyclic USO that satisfies the Holt-Klee property, but does not satisfy the shelling property. The construction was based on a minimal such example, which has d=4 and n=6. In this paper we explore the shelling condition further. First we give an apparently stronger definition of the shelling property, which we then prove is equivalent to the original definition. Using this stronger condition we are able to give a more general construction of such families. In particular, we show that given any 4-dimensional polytope P with n0 vertices whose unique sink is simple, we can extend P for any d≥4 and n≥ n0+d-4 to a d-polytope with these properties that has n vertices. Finally we investigate the strength of the shelling condition for d-crosspolytopes, for which Develin (2004) has given a complete characterization of LP orientations.

Original languageEnglish
Pages (from-to)382-393
Number of pages12
JournalComputational Geometry: Theory and Applications
Volume46
Issue number3
DOIs
Publication statusPublished - 2013 Apr

Keywords

  • Polytopal digraphs
  • Polytopes
  • Shellability
  • Simplex method

ASJC Scopus subject areas

  • Computer Science Applications
  • Geometry and Topology
  • Control and Optimization
  • Computational Theory and Mathematics
  • Computational Mathematics

Fingerprint Dive into the research topics of 'Families of polytopal digraphs that do not satisfy the shelling property'. Together they form a unique fingerprint.

Cite this