Birkhoff-von Neumann theorem (doubly stochastic matrices)

[6/83%]
Show
LaTeX

Find the extreme points of the set SS of doubly stochastic matrices of order nn. (A matrix AA is said to be doubly stochastic if its elements are nonnegative, and the sum of the elements in each row and each column is equal to 11.)

?

A matrix D=[dij]D=\left[d_{i j}\right] is doubly stochastic if each entry is nonnegative and if the sum of the entries in any row or column is equal to 1. Suppose G=(X,Y,E)G=(X, Y, E) is a bipartite graph in which each vertex in XX corresponds to a row of DD and each vertex in YY corresponds to a column of DD. Furthermore, there is an edge between vertex xix_{i} in XX and vertex yjy_{j} in YY if and only if the entry dijd_{i j} is positive. Show that there is a perfect matching in GG.

?

A permutation matrix is a binary square matrix in which no two nonzero elements appear in the same row or same column. Prove the Birkhoff-von Neumann theorem: A square matrix DD is doubly stochastic if and only if there exist nonnegative numbers rir_{i} and permutation matrices Pi(i=1,2,…,k)P_{i}(i=1,2, \ldots , k) such that D=r1P1+r2P2+⋯+rkPkD=r_{1} P_{1}+r_{2} P_{2}+\cdots +r_{k} P_{k} and the sum ∑ri\sum r_{i} is 1. (In other words, DD is a convex combination of permutation matrices.)

?

Represent the following doubly stochastic matrix as a convex combination of permutation matrices:

[1212014034141214] \left[\begin{array}{lll} \frac{1}{2} & \frac{1}{2} & 0 \\ \frac{1}{4} & 0 & \frac{3}{4} \\ \frac{1}{4} & \frac{1}{2} & \frac{1}{4} \end{array}\right]
?

Express the following double stochastic matrix DD as a convex combination of permutation matrices:

D=[0.5000.500.250.250.50.250.50.2500.250.250.50] D=\left[\begin{array}{llll}0.5 & 0 & 0 & 0.5 \\ 0 & 0.25 & 0.25 & 0.5 \\ 0.25 & 0.5 & 0.25 & 0 \\ 0.25 & 0.25 & 0.5 & 0 \end{array}\right]
?

Express the following doubly stochastic matrix as a convex combination of permutation matrices:

[0.210.130.3800.280.3100.150.380.1400.730.140.050.080.380.140.050.360.070.0800.280.210.43] \left[\begin{array}{lllll}0.21 & 0.13 & 0.38 & 0 & 0.28 \\ 0.31 & 0 & 0.15 & 0.38 & 0.14 \\ 0 & 0.73 & 0.14 & 0.05 & 0.08 \\ 0.38 & 0.14 & 0.05 & 0.36 & 0.07 \\ 0.08 & 0 & 0.28 & 0.21 & 0.43 \end{array}\right]
?

References

[KiGv88] Kirillov A.A., Gvishiani A.D. Теоремы и задачи функционального анализа. 2-е изд., Наука, 1988.
[Bal97] Balakrishnan V.K. Schaum's Outline of Theory and Problems of Graph Theory. McGraw-Hill, 1997.