Birkhoff polytope


The Birkhoff polytope is the convex polytope in whose points are the doubly stochastic matrices, that is, the matrices whose entries are non-negative real numbers and whose rows and columns each add up to 1. It is named after Garrett Birkhoff, and also called the assignment polytope, the polytope of doubly stochastic matrices, or the perfect matching polytope of the complete bipartite graph .

Properties

Vertices

The Birkhoff polytope has vertices, one for each permutation on items. This follows from the Birkhoff–von Neumann theorem, which states that the extreme points of the Birkhoff polytope are the permutation matrices, and therefore that any doubly stochastic matrix may be represented as a convex combination of permutation matrices; this was stated in a 1946 paper by Garrett Birkhoff, but equivalent results in the languages of projective configurations and of regular bipartite graph matchings, respectively, were shown much earlier in 1894 in Ernst Steinitz's thesis and in 1916 by Dénes Kőnig. Because all of the vertex coordinates are zero or one, the Birkhoff polytope is an integral polytope.

Edges

The edges of the Birkhoff polytope correspond to pairs of permutations differing by a cycle:
This implies that the graph of is a Cayley graph of the symmetric group. This also implies that the graph of is a complete graph, and thus is a neighborly polytope.

Facets

The Birkhoff polytope lies within an affine subspace of the space of all matrices. This subspace is determined by the linear equality constraints that the sum of each row and of each column must equal one. Within this subspace, it is defined by linear inequalities, one for each coordinate of the matrix, specifying that the coordinate must be non-negative. Therefore, for, it has exactly facets. For, there are two facets, given by and

Symmetries

The Birkhoff polytope is both vertex-transitive and facet-transitive. It is not regular

Volume

An outstanding problem is to find the volume of the Birkhoff polytopes. This has been done It is known to be equal to the volume of a polytope associated with standard Young tableaux. A combinatorial formula for all was given in 2007. The following asymptotic formula was found by Rodney Canfield and Brendan McKay:
For small values the volume was estimated in 2014 while similar estimations follow.

Ehrhart polynomial

Determining the Ehrhart polynomial of a polytope is harder than determining its volume, since the volume can easily be computed from the leading coefficient of the Ehrhart polynomial. The Ehrhart polynomial associated with the Birkhoff polytope is only known for small values. It is conjectured that all the coefficients of the Ehrhart polynomials are non-negative.

Generalizations