Polynomial bound for the monotone diameter of lattice polytopes

The conjecture asserts that there exists a polynomial p(d,k)p(d,k) such that, for every d,k∈Z≥1d,k\in\mathbb{Z}_{\ge 1} and every lattice polytope P⊆[0,k]dP\subseteq[0,k]^d, its monotone diameter satisfies diam⁡mon(P)≤p(d,k)\operatorname{diam}_{\mathrm{mon}}(P)\le p(d,k), where monotone paths are required to increase with respect to a linear objective function.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

A new unrefereed preprint claims an exponential counterexample in three or more dimensions, refuting the proposed polynomial bound while the lower-dimensional cases remain settled.

The conjecture asks whether monotone diameters of lattice polytopes admit a polynomial bound in the dimension and the box parameter kk. The reported counterexample at k=3k=3 would refute the general claim and separates the known linear cases k=1,2k=1,2 from the failure at k=3k=3.

Known results

  • Half-integral polytopes have monotone diameter at most 3d3d; the general question was explicitly open in 2022.
  • For dd-dimensional (m+1)(m+1)-level polytopes, the bound is (d−1)m+1(d-1)m+1.
  • Under stated integral-description assumptions, a bound of d2k∥A∥∞d^2k\lVert A\rVert_\infty is known.

Exponential counterexample at k=3k=3

A new arXiv preprint, Monotone Diameters of Lattice Polytopes, claims exponential monotone diameter for k=3k=3, together with related examples for unbounded polyhedra. If correct, this settles the proposed universal polynomial bound negatively; the preprint is unrefereed.

Current status (as of September 2026): The cases k=1,2k=1,2 have known linear bounds, while the general polynomial-bound conjecture is claimed false at k=3k=3; the counterexample remains unverified.

Sources

Solutions 0

No solutions have been posted yet.