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.

Completely empty pyramids on integer lattices and two-dimensional faces of multidimensional continued fractions

Geometry of multidimensional Farey summation algorithm and frieze patterns

Cubical rectangles and rectangular lattices

On the faces of unigraphic $3$-polytopes

Principally Box-integer Polyhedra and Equimodular Matrices

Faces of platonic solids in all dimensions

Faces of the cone of positive semidefinite matrices

Convex co-compact groups with one dimensional boundary faces

A note on faces of convex sets

Coxeter Decompositions of Bounded Hyperbolic Pyramids and Triangular Prisms

Polyhedra with Hexagonal and Triangular Faces and Three Faces Around Each Vertex

Multiple Lattice Tilings in Euclidean Spaces

Face embeddings of Archimedean solids

Circumscribed Circles in Integer Geometry

An Extension of Heron's Formula to Tetrahedra, and the Projective Nature of Its Zeros

New finite relaxation hierarchies for concavo-convex, disjoint bilinear programs, and facial disjunctions

A Lozenge Triangulation of the Plane with Integers

Quatroids and Rational Plane Cubics

From Deep Holes to Free Planes

On the Algebraic Classification of Non-singular Flexible Kokotsakis Polyhedra

The Multidimensional Cube Recurrence