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.

Faces of the cone of positive semidefinite matrices

ON SOME RELATIONS BETWEEN THE CONE OF POSITIVE SEMIDEFINITE MATRICES AND THE MOMENT CONE

On combinatorial descriptions of faces of the cone of supermodular functions

Interiors of completely positive cones

PROJECTION ALGORITHMS FOR CONVEX FEASIBILITY PROBLEMS ON HADAMARD MANIFOLDS

Face enumeration on flag complexes and flag spheres

On the longest chain of faces of the completely positive and copositive cones

Lattice point generating functions and symmetric cones

On the faces of the tensor cone of symmetrizable Kac-Moody lie algebras

Algebraic and Geometric Properties of $\mathcal{L}^n_+$-Semipositive Matrices and $\mathcal{L}^n_+$-Semipositive Cones

On equivalent representations and properties of faces of the cone of copositive matrice

The Cone of Completely Positive Matrices

On faces of the Kunz cone and the numerical semigroups within them

Self-dual polyhedral cones and their slack matrices

Dual and Generalized Dual Cones in Banach Spaces

Classification of Symmetric Positive Definite Matrices Based on Bilinear Isometric Riemannian Embedding

Counting faces of randomly-projected polytopes when the projection radically lowers dimension

Principally Box-integer Polyhedra and Equimodular Matrices

Positive bases, cones, Helly type theorems

Representation of positive semidefinite elements as sum of squares in 2-dimensional local rings

Semialgebraic Geometry of Nonnegative Tensor Rank