arXiv++ Combinatorics

The polytope $ASM_n$, the convex hull of the $n\times n$ alternating sign matrices, was introduced by Striker and by Behrend and Knight. A face of $ASM_n$ corresponds to an elementary flow grid defined by Striker, and each elementary flow grid determines a doubly directed graph defined by Brualdi and Dahl. We show that a face of $ASM_n$ is symmetric if and only if its doubly directed graph has all vertices of even degree. We show that every face of $ASM_n$ is a 2-level polytope. We show that a $d$-dimensional face of $ASM_n$ has at most $2^d$ vertices and $4(d-1)$ facets, for $d\ge 2$. We show that a $d$-dimensional face of $ASM_n$ satisfies $vf\le d2^{d+1}$, where $v$ and $f$ are the numbers of vertices and edges of the face. If the doubly directed graph of a $d$-dimensional face is 2-connected, then $v\le 2^{d-1}+2$. We describe the facets of a face and a basis for the subspace parallel to a face in terms of the elementary flow grid of the face. We prove that no face of $ASM_n$ has the combinatorial type of the Birkhoff polytope $B_3$. We list the combinatorial types of faces of $ASM_n$ that have dimension 4 or less.

The Holt-Klee theorem says that the graph of a $d$-polytope, with edges oriented by a linear function on $P$ that is not constant on any edge, admits $d$ independent monotone paths from the source to the sink. We prove that the digraphs obtained from oriented matroid programs of rank $d+1$ on $n+2$ elements, which include those from $d$-polytopes with $n$ facets, admit $d$ independent monotone paths from source to sink if $d \le 4$. This was previously only known to hold for $d\le 3$ and $n\le 6$.