arXiv++ Combinatorics

We describe a perturbation method that can be used to reduce the problem of finding the multivariate generating function (MGF) of a non-simple polytope to computing the MGF of simple polytopes. We then construct a perturbation that works for any transportation polytope. We apply this perturbation to the family of central transportation polytopes of order kn x n, and obtain formulas for the MGFs of the feasible cone of each vertex of the polytope and the MGF of the polytope. The formulas we obtain are enumerated by combinatorial objects. A special case of the formulas recovers the results on Birkhoff polytopes given by the author and De Loera and Yoshida. We also recover the formula for the number of maximum vertices of transportation polytopes of order kn x n.

Brightwell, van den Heuvel and Stougie proved that the diameter of an $m \times n$ transportation polytope is at most $8(m+n-2)$, a factor of eight away from the Hirsch Conjecture. This bound was improved to $3(m+n-1)$ by Hurkens. We investigate diameters for certain classes of transportation polytopes. Note: After the completion of this note, we discovered that the class of transportation polytopes studied in this note was already considered in Michel L. Balinski. On two special classes of transportation polytopes. Math. Programming Stud., 1:43-58, 1974. Michel L. Balinski and Fred J. Rispoli. Signature classes of transportation polytopes. Mathematical Programming, 60(2, Ser. A):127-144, 1993. These papers contain both refinements of our results and generalizations to more general classes of transportation problems. In view of these papers, this note will not be submitted for publication.

This dissertation investigates the geometric combinatorics of convex polytopes and connections to the behavior of the simplex method for linear programming. We focus our attention on transportation polytopes, which are sets of all tables of non-negative real numbers satisfying certain summation conditions. Transportation problems are, in many ways, the simplest kind of linear programs and thus have a rich combinatorial structure. First, we give new results on the diameters of certain classes of transportation polytopes and their relation to the Hirsch Conjecture, which asserts that the diameter of every $d$-dimensional convex polytope with $n$ facets is bounded above by $n-d$. In particular, we prove a new quadratic upper bound on the diameter of $3$-way axial transportation polytopes defined by $1$-marginals. We also show that the Hirsch Conjecture holds for $p \times 2$ classical transportation polytopes, but that there are infinitely-many Hirsch-sharp classical transportation polytopes. Second, we present new results on subpolytopes of transportation polytopes. We investigate, for example, a non-regular triangulation of a subpolytope of the fourth Birkhoff polytope $B_4$. This implies the existence of non-regular triangulations of all Birkhoff polytopes $B_n$ for $n \geq 4$. We also study certain classes of network flow polytopes and prove new linear upper bounds for their diameters.

We describe a maximum entropy approach for computing volumes and counting integer points in polyhedra. To estimate the number of points from a particular set X in R^n in a polyhedron P in R^n, by solving a certain entropy maximization problem, we construct a probability distribution on the set X such that a) the probability mass function is constant on the intersection of P and X and b) the expectation of the distribution lies in P. This allows us to apply Central Limit Theorem type arguments to deduce computationally efficient approximations for the number of integer points, volumes, and the number of 0-1 vectors in the polytope. As an application, we obtain asymptotic formulas for volumes of multi-index transportation polytopes and for the number of multi-way contingency tables.

A referee found an error in the proof of the Main Theorem ("toric ideals of flow polytopes are generated in degree 3") that we could not fix. More precisely, the proof of Lemma 4.2.(ii) is incorrect. The results on Gröbner bases are untouched by this. ----- We show that toric ideals of flow polytopes are generated in degree 3. This was conjectured by Diaconis and Eriksson for the special case of the Birkhoff polytope. Our proof uses a hyperplane subdivision method developed by Haase and Paffenholz. It is known that reduced revlex Gröbner bases of the toric ideal of the Birkhoff polytope $B_n$ have at most degree $n$. We show that this bound is sharp for some revlex term orders. For $(m\times n)$-transportation polytopes, a similar result holds: they have Gröbner bases of at most degree $\lfloor mn/2\rfloor$. We construct a family of examples, where this bound is sharp.

We prove an asymptotic estimate for the number of mxn non-negative integer matrices (contingency tables) with prescribed row and column sums and, more generally, for the number of integer feasible flows in a network. Similarly, we estimate the volume of the polytope of mxn non-negative real matrices with prescribed row and column sums. Our estimates are solutions of convex optimization problems and hence can be computed efficiently. As a corollary, we show that if row sums R=(r_1, ..., r_m) and column sums C=(c_1, ..., c_n) with r_1 + ... + r_m =c_1 + ... +c_n =N are sufficiently far from constant vectors, then, asymptotically, in the uniform probability space of the mxn non-negative integer matrices with the total sum N of entries, the event consisting of the matrices with row sums R and the event consisting of the matrices with column sums C are positively correlated.

In dieser Diplomarbeit werden einige Gradschranken für Erzeugendensysteme und Gröbnerbasen von torischen Idealen von Flusspolytopen bewiesen. Alle torischen Ideale von Flusspolytopen sind im Grad 3 erzeugt. Glatte (3x4)-Transportpolytope sind sogar im Grad 2 erzeugt. Die reduzierte Gröbnerbasis eines beliebigen (m \times n)-Transportpolytops bezüglich einer beliebigen umgekehrt lexikographischen Termordnung hat höchstens Grad mn/2. Wir konstruieren auch ein Beispiel, für das diese Schranke annähernd scharf ist. ----- In this Diplomarbeit (Master's thesis), we prove some degree bounds for generating sets and Gröbner bases of toric ideals of flow polytopes. All toric ideals of flow polytopes are generated in degree three. Smooth (3x4)-transportation polytopes are even generated in degree 2. The reduced Gröbner basis of an arbitrary (m \times n)-transportation polytope with respect to an arbitrary reverse lexikographic term order has at most degree mn/2. We also construct an example, for which this bound is almost sharp.

This paper discusses properties of the graphs of 2-way and 3-way transportation polytopes, in particular, their possible numbers of vertices and their diameters. Our main results include a quadratic bound on the diameter of axial 3-way transportation polytopes and a catalogue of non-degenerate transportation polytopes of small sizes. The catalogue disproves five conjectures about these polyhedra stated in the monograph by Yemelichev et al. (1984). It also allowed us to discover some new results. For example, we prove that the number of vertices of an $m\times n$ transportation polytope is a multiple of the greatest common divisor of $m$ and $n$.

Let m,n be positive integers. Define T(m,n) to be the transportation polytope consisting of the m x n non-negative real matrices whose rows each sum to 1 and whose columns each sum to m/n. The special case B(n)=T(n,n) is the much-studied Birkhoff-von Neumann polytope of doubly-stochastic matrices. Using a recent asymptotic enumeration of non-negative integer matrices (Canfield and McKay, 2007), we determine the asymptotic volume of T(m,n) as n goes to infinity, with m=m(n) such that m/n neither decreases nor increases too quickly. In particular, we give an asymptotic formula for the volume of B(n).

The toric ideals of $3\times 3$ transportation polytopes $T$ are quadratically generated. The only exception is the Birkhoff polytope $B_3$. If $T$ is not a multiple of $B_3$, these ideals even have squarefree quadratic initial ideals. This class contains all smooth $3 \times 3$ transportation polytopes.

Two naturally occurring matroids representable over Q are shown to be dual: the {\it cyclotomic matroid} $μ_n$ represented by the $n^{th}$ roots of unity $1,ζ,ζ^2,...,ζ^{n-1}$ inside the cyclotomic extension $Q(ζ)$, and a direct sum of copies of a certain simplicial matroid, considered originally by Bolker in the context of transportation polytopes. A result of Adin leads to an upper bound for the number of $Q$-bases for $Q(ζ)$ among the $n^{th}$ roots of unity, which is tight if and only if $n$ has at most two odd prime factors. In addition, we study the Tutte polynomial of $μ_n$ in the case that $n$ has two prime factors.

Multi-way tables with specified marginals arise in a variety of applications in statistics and operations research. We provide a comprehensive complexity classification of three fundamental computational problems on tables: existence, counting and entry-security. One major outcome of our work is that each of the following problems is intractable already for "slim" 3-tables, with constant and smallest possible number 3 of rows: (1) deciding existence of 3-tables with given consistent 2-marginals; (2) counting all 3-tables with given 2-marginals; (3) finding whether an integer value is attained in entry (i,j,k) by at least one of the 3-tables satisfying given (feasible) 2-marginals. This implies that a characterization of feasible marginals for such slim tables, sought by much recent research, is unlikely to exist. Another important consequence of our study is a systematic efficient way of embedding the set of 3-tables satisfying any given 1-marginals and entry upper bounds in a set of slim 3-tables satisfying suitable 2-marginals with no entry bounds. This provides a valuable tool for studying multi-index transportation problems and multi-index transportation polytopes.