English

A Proof of the Strict Monotone 5-step Conjecture

Combinatorics 2018-07-02 v2

Abstract

A computer search through the oriented matroid programs with dimension 5 and 10 facets shows that the maximum strictly monotone diameter is 5. Thus Δsm(5,10)=5\Delta_{sm}(5,10)=5. This enumeration is analogous to that of Bremner and Schewe for the non-monotone diameter of 6-polytopes with 12 facets. Similar enumerations show that Δsm(4,9)=5\Delta_{sm}(4,9)=5 and Δm(4,9)=Δm(5,10)=6.\Delta_m(4,9)=\Delta_m(5,10)=6. We shorten the known non-computer proof of the strict monotone 4-step conjecture.

Keywords

Cite

@article{arxiv.1806.03403,
  title  = {A Proof of the Strict Monotone 5-step Conjecture},
  author = {J. Mackenzie Gallagher and Walter D. Morris,},
  journal= {arXiv preprint arXiv:1806.03403},
  year   = {2018}
}

Comments

In Sections 2 and 3, "n-d" and "d" had been switched

R2 v1 2026-06-23T02:24:18.968Z