Abstract:The length polyhedron $Q_P$ of an interval order $P$ is the convex hull of integral vectors representing the interval lengths in interval representations of $P$. This polyhedron has been studied by various authors, including Fishburn and Isaak. Notably, $Q_P$ forms a pointed affine cone, a property inherited from being a projection of the representation polyhedron, a structure explored also by Doignon and Pauwels. The apex of the length polyhedron corresponds to Greenough's minimal endpoint representation, which is, in fact, the length vector of the canonical interval representation -- an interval representation that minimizes the sum of the interval lengths. Building on a combinatorial perspective of canonical representations, we refine Isaak's graph-theoretical model by introducing a new and simpler directed graph. From directed cycles of this key digraph, we extract a linear system of inequalities that precisely characterizes the length polyhedron $Q_P$. This combinatorial approach also reveals the unique Hilbert basis of the polyhedron. We prove that the intersection graph of the sets corresponding to these binary rays are Berge graphs; therefore they are perfect graphs. As a result, for interval orders with bounded width, the length polyhedron has a polynomial-sized Hilbert basis, which can be computed in polynomial time. We also provide an example of interval orders with a Hilbert basis of exponential size. In a companion paper we determine the Schrijver system for the length polyhedron. We conclude with open problems.

On hybrid order dimension

Dimension bounds on classes of interval orders with restricted representation

Borel Order Dimension

The Complexity of the Partial Order Dimension Problem - Closing the Gap

Interval orders and reverse mathematics

The length polyhedron of an interval order

Intermediate dimensions of infinitely generated attractors

Dimension in team semantics

Generalised intermediate dimensions

Linear independence over naturally-ordered semirings with applications to dimension arguments in extremal combinatorics

Optimality Conditions for Interval-Valued Optimization Problems on Riemannian Manifolds Under a Total Order Relation

The Stanley-Stembridge Conjecture for $\bf 2 + 1 +1$-avoiding unit interval orders: a diagrammatic proof

Attainable forms of intermediate dimensions

Improved bounds for the dimension of divisibility

Interval-Valued Rank in Finite Ordered Sets

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)

Order and interval topologies on complete Boolean algebras

Hausdorff dimension and infinitesimal similitudes on complete metric spaces

On the dimension of iterated sumsets

Kleene Theorem for Higher-Dimensional Automata

Counting Self-Dual Interval Orders