En dobbelt stokastisk matrix er en kvadratisk matrix med ikke-negative reelle elementer, hvor alle dens række- og kolonnesummer er lig med 1, det vil sige:
.Sættet af alle dobbelt stokastiske matricer er angivet med .
Birkhoffs sætning: mængden af alle dobbelt stokastiske matricer danner et konveks polyeder, hvis toppunkter er permutationsmatricer . Med andre ord, hvis , så , hvor er permutationsmatricer og er ikke-negative tal, [1] .
Enhver dobbelt stokastisk ordensmatrix er en konveks lineær kombination af højst permutationsmatricer [2] .
For og , sådan at
for alle og ,der eksisterer en dobbelt stokastisk matrix, således at [2] .
Permanenten af en dobbelt stokastisk matrix er ikke mindre end van der Waerden-formodningen [3] bevist i 1980 af G.P. Egorychev [4] og uafhængigt af D. Falikman [5] (indsendt til offentliggørelse i 1979); for disse resultater blev begge videnskabsmænd tildelt Fulkerson-prisen i 1982 . [3]