Abstract:A polyhedron is box-integer if its intersection with any integer box $\{\ell\leq x \leq u\}$ is integer. We define principally box-integer polyhedra to be the polyhedra $P$ such that $kP$ is box-integer whenever $kP$ is integer. We characterize them in several ways, involving equimodular matrices and box-total dual integral (box-TDI) systems. A rational $r\times n$ matrix is equimodular if it has full row rank and its nonzero $r\times r$ determinants all have the same absolute value. A face-defining matrix is a full row rank matrix describing the affine hull of a face of the polyhedron. Box-TDI systems are systems which yield strong min-max relations, and the underlying polyhedron is called a box-TDI polyhedron. Our main result is that the following statements are equivalent. - The polyhedron $P$ is principally box-integer. - The polyhedron $P$ is box-TDI. - Every face-defining matrix of $P$ is equimodular. - Every face of $P$ has an equimodular face-defining matrix. - Every face of $P$ has a totally unimodular face-defining matrix. - For every face $F$ of $P$, lin($F$) has a totally unimodular basis. Along our proof, we show that a cone $\{x:Ax\leq \mathbf{0}\}$ is box-TDI if and only if it is box-integer, and that these properties are passed on to its polar. We illustrate the use of these characterizations by reviewing well known results about box-TDI polyhedra. We also provide several applications. The first one is a new perspective on the equivalence between two results about binary clutters. Secondly, we refute a conjecture of Ding, Zang, and Zhao about box-perfect graphs. Thirdly, we discuss connections with an abstract class of polyhedra having the Integer Carathéodory Property. Finally, we characterize the box-TDIness of the cone of conservative functions of a graph and provide a corresponding box-TDI system.

On Box-Perfect Graphs

Perfectly contractile graphs and quadratic toric rings

A characterization of b-perfect graphs

Boundes for Boxicity of some classes of graphs

Principally Box-integer Polyhedra and Equimodular Matrices

The Hardness of Approximating the Threshold Dimension, Boxicity and Cubicity of a Graph

A complete classification of perfect unitary Cayley graphs

Colouring perfect graphs with bounded clique number

On 4-critical t-perfect graphs

Contractions in perfect graph

A Characterization for Graphs Having Strong Parity Factors

Characterization of subgroup perfect codes in Cayley graphs

Generalized Cayley graphs and perfect code

Perfect Forests in Graphs and Their Extensions

A characterization of star-perfect graphs

Polynomial Gyárfás-Sumner conjecture for graphs of bounded boxicity

Perfect codes in circulant graphs of degree $p^l-1$

Parameterized and Approximation Algorithms for Boxicity

A Degree Condition for Graphs Having All (a, B)-Parity Factors

Matching Cuts in Graphs of High Girth and H-Free Graphs

Perfect State Transfer on Cayley Graphs over Dihedral Groups