SPBVNT
SPBVNT
GLENN HURLBERT
Abstract. The Birkhoff-von Neumann Theorem has been proved many times in the literature
with a number of different methods, some inductive, some constructive, some existential. We offer a
new proof that is a little more direct than most, though nonconstructive.
G. Hurlbert
approach comes from presenting the material to undergraduates in the context of [6].
Proof. The key idea, as many have pointed out, is to think of an n n matrix as
2
a vector in Rn . The strategy is to use the DS property to impose linear constraints
on such vectors. If the extreme points of the polytope defined by the constraints
correspond to permutation matrices (the bulk of the work in the proof) then the
result follows by Straszewiczs theorem [10] that every polytope is the convex hull of
its extreme points.
We let X = (xr,s ) be an n n DS matrix. The constraints of the system on {xr,s }
that defines the DS property are as follows.
Pn
x =1
Pnr=1 r,s
s=1 xr,s = 1
xr,s 0
(1 r n) (1 s n)
The polyhedron P defined above is a polytope since the linear constraints imply that
each 0 xr,s 1, and so P is bounded.
We now proceed to show that every extreme point of P is integral, by contrapositive. We will show that any nonintegral point of P is the center of some line segment
residing inside P .
Suppose that x P is not integral, and let 0 < xr1 ,s1 < 1. Because of the row
Pn
constraint s=1 xr1 ,s = 1, there must be some s2 such that 0 < xr1 ,s2 < 1. Likewise,
Pn
because of the column constraint r=1 xr,s2 = 1, there must be some r2 such that
0 < xr2 ,s2 < 1. This process can be iterated, and we will stop when some index
(r, s) is repeated. Moreover, we will assume that we chose the iterated process having
the shortest such sequence of indices. Then we know that the final index is the first
repeated index, namely (r1 , s1 ).
We claim that there is some k satisfying (rk , sk ) = (r1 , s1 ); that is, the length of
the sequence is even otherwise a shorter sequence can be found. Suppose not, say
(rk , sk+1 ) = (r1 , s1 ). Then, because (rk , sk+1 ), (r1 , s1 ) and (r1 , s2 ) are all in the same
row, by deleting (r1 , s2 ) and starting instead at (r2 , s2 ) we obtain a valid sequence
that is shorter, a contradiction.
Now let 0 = min{xrj , x1rj , xsj , x1sj }kj=1 . Then for any 0 < < 0 define
x+ () (resp. x ()) by decreasing (resp. increasing) the value of each xrj ,sj by ,
while increasing (resp. decreasing) the value of each xrj ,sj+1 by . Note that x+ ()
(resp. x ()) P . Indeed, increasing xrj ,sj and decreasing xrj ,sj by the same amount
maintains the sum of 1 in row rj , while preventing both xrj ,sj > 1 and xrj ,sj+1 < 0
because < 0 . The same argument applies to column sum preservation. This shows
that x+ () P . The analogous argument shows that x () P .
Thus we have shown that the line segment x ()x+ () lies entirely in P and has
x as its center. Therefore, x is not extreme. Hence, every extreme point of P is
integral, and so corresponds to a permutation matrix. Thus every DS matrix is a
convex combination of permutation matrices.
REFERENCES
[1] R.B. Bapat and T.E.S. Raghavan, Nonnegative Matrices and Applications, Encyclopedia of
Mathematics and its Applications 64, Cambridge University Press, Cambridge, 1997.
[2] G. Birkhoff, Three observations on linear algebra, Univ. Nac. Tacum
an Rev. Ser. A 5:147151,
1946.
[3] V. Chv
atal, Linear Programming, W. H. Freeman, New York, 1983.
[4] G.B. Dantzig, Applications of the simplex method to a transportation problem, Activity Analysis
of Production and Allocation, Cowles Commission Monograph 13:359373, John Wiley &
Sons, New York, 1951.
[5] A.J. Hoffman and H.W. Wielandt, The variation of the spectrum of a normal matrix, Duke
Math. J. 20:3739, 1953.
[6] G. Hurlbert, Linear Optimization: The Simplex Workbook, Springer-Verlag, New York, in press.
[7] D. K
onig, Theorie der endlichen und unendlichen Graphen, Akademische. Verlags Gesellschaft,
Leipzig, 1936.
[8] J. von Neumann, A certain zero-sum two-person game equivalent to an optimal assignment
problem, Ann. Math. Studies 28:512, 1953.
[9] J.V. Romanovsky, A simple proof of the Birkhoff-von Neumann theorem on bistochastic matrices,
A tribute to Ilya Bakelman, Discourses Math. Appl. 3:5153, Texas A & M Univ., College
Station, TX, 1994.