O matrice dublu stocastică este o matrice pătrată cu elemente reale nenegative în care toate sumele de rând și coloane sunt egale cu 1, adică:
.Mulțimea tuturor matricelor dublu stocastice se notează cu .
Teorema lui Birkhoff: mulțimea tuturor matricelor dublu stocastice formează un poliedru convex ale cărui vârfuri sunt matrici de permutare . Cu alte cuvinte, dacă , atunci , unde sunt matrice de permutare și sunt numere nenegative, [1] .
Orice matrice de ordin dublu stocastic este o combinație liniară convexă de cel mult matrice de permutare [2] .
Pentru și , astfel încât
pentru toti si ,există o matrice dublu stocastică astfel încât [2] .
Permanentul unei matrici dublu stocastice nu mai puțin decât este conjectura van der Waerden [3] dovedită în 1980 de G.P.Egorychev [4] și independent de D. Falikman [5] (depusă spre publicare în 1979); pentru aceste rezultate, ambii oameni de știință au primit premiul Fulkerson în 1982 . [3]