488 research outputs found
Combinatorics and Geometry of Transportation Polytopes: An Update
A transportation polytope consists of all multidimensional arrays or tables
of non-negative real numbers that satisfy certain sum conditions on subsets of
the entries. They arise naturally in optimization and statistics, and also have
interest for discrete mathematics because permutation matrices, latin squares,
and magic squares appear naturally as lattice points of these polytopes.
In this paper we survey advances on the understanding of the combinatorics
and geometry of these polyhedra and include some recent unpublished results on
the diameter of graphs of these polytopes. In particular, this is a thirty-year
update on the status of a list of open questions last visited in the 1984 book
by Yemelichev, Kovalev and Kravtsov and the 1986 survey paper of Vlach.Comment: 35 pages, 13 figure
Robust Hadamard matrices, unistochastic rays in Birkhoff polytope and equi-entangled bases in composite spaces
We study a special class of (real or complex) robust Hadamard matrices,
distinguished by the property that their projection onto a -dimensional
subspace forms a Hadamard matrix. It is shown that such a matrix of order
exists, if there exists a skew Hadamard matrix of this size. This is the case
for any even dimension , and for these dimensions we demonstrate that
a bistochastic matrix located at any ray of the Birkhoff polytope, (which
joins the center of this body with any permutation matrix), is unistochastic.
An explicit form of the corresponding unitary matrix , such that
, is determined by a robust Hadamard matrix. These unitary
matrices allow us to construct a family of orthogonal bases in the composed
Hilbert space of order . Each basis consists of vectors with the
same degree of entanglement and the constructed family interpolates between the
product basis and the maximally entangled basis.Comment: 17 page
Reparameterizing the Birkhoff Polytope for Variational Permutation Inference
Many matching, tracking, sorting, and ranking problems require probabilistic
reasoning about possible permutations, a set that grows factorially with
dimension. Combinatorial optimization algorithms may enable efficient point
estimation, but fully Bayesian inference poses a severe challenge in this
high-dimensional, discrete space. To surmount this challenge, we start with the
usual step of relaxing a discrete set (here, of permutation matrices) to its
convex hull, which here is the Birkhoff polytope: the set of all
doubly-stochastic matrices. We then introduce two novel transformations: first,
an invertible and differentiable stick-breaking procedure that maps
unconstrained space to the Birkhoff polytope; second, a map that rounds points
toward the vertices of the polytope. Both transformations include a temperature
parameter that, in the limit, concentrates the densities on permutation
matrices. We then exploit these transformations and reparameterization
gradients to introduce variational inference over permutation matrices, and we
demonstrate its utility in a series of experiments
Magic graphs and the faces of the Birkhoff polytope
Magic labelings of graphs are studied in great detail by Stanley and Stewart.
In this article, we construct and enumerate magic labelings of graphs using
Hilbert bases of polyhedral cones and Ehrhart quasi-polynomials of polytopes.
We define polytopes of magic labelings of graphs and digraphs. We give a
description of the faces of the Birkhoff polytope as polytopes of magic
labelings of digraphs.Comment: 9 page
A Basis for Slicing Birkhoff Polytopes
We present a change of basis that may allow more efficient calculation of the
volumes of Birkhoff polytopes using a slicing method. We construct the basis
from a special set of square matrices. We explain how to construct this basis
easily for any Birkhoff polytope, and give examples of its use. We also discuss
possible directions for future work
Faces of Birkhoff Polytopes
The Birkhoff polytope B(n) is the convex hull of all (n x n) permutation
matrices, i.e., matrices where precisely one entry in each row and column is
one, and zeros at all other places. This is a widely studied polytope with
various applications throughout mathematics.
In this paper we study combinatorial types L of faces of a Birkhoff polytope.
The Birkhoff dimension bd(L) of L is the smallest n such that B(n) has a face
with combinatorial type L.
By a result of Billera and Sarangarajan, a combinatorial type L of a
d-dimensional face appears in some B(k) for k less or equal to 2d, so bd(L) is
at most d. We will characterize those types whose Birkhoff dimension is at
least 2d-3, and we prove that any type whose Birkhoff dimension is at least d
is either a product or a wedge over some lower dimensional face. Further, we
computationally classify all d-dimensional combinatorial types for d between 2
and 8.Comment: 29 page
Volume of the set of unistochastic matrices of order 3 and the mean Jarlskog invariant
A bistochastic matrix B of size N is called unistochastic if there exists a
unitary U such that B_ij=|U_{ij}|^{2} for i,j=1,...,N. The set U_3 of all
unistochastic matrices of order N=3 forms a proper subset of the Birkhoff
polytope, which contains all bistochastic (doubly stochastic) matrices. We
compute the volume of the set U_3 with respect to the flat (Lebesgue) measure
and analytically evaluate the mean entropy of an unistochastic matrix of this
order. We also analyze the Jarlskog invariant J, defined for any unitary matrix
of order three, and derive its probability distribution for the ensemble of
matrices distributed with respect to the Haar measure on U(3) and for the
ensemble which generates the flat measure on the set of unistochastic matrices.
For both measures the probability of finding |J| smaller than the value
observed for the CKM matrix, which describes the violation of the CP parity, is
shown to be small. Similar statistical reasoning may also be applied to the MNS
matrix, which plays role in describing the neutrino oscillations. Some
conjectures are made concerning analogous probability measures in the space of
unitary matrices in higher dimensions.Comment: 33 pages, 6 figures version 2 - misprints corrected, explicit
formulae for phases provide
- …