Math 2.0

Linear and multilinear algebra; matrix theory Determinants Theorem

van der Waerden conjecture on permanents

Builds on PermanentDoubly stochastic matrix

Statement

Let n≥1n \ge 1, and let AA be an n×nn \times n doubly stochastic matrix. This means that its entries are nonnegative real numbers and that each row and each column sums to 11. Then perm⁡(A)≥n!nn,\operatorname{perm}(A) \ge \frac{n!}{n^n}, where perm⁡\operatorname{perm} is the permanent. Equality holds if and only if every entry of AA equals 1/n1/n.

Remarks

The statement was conjectured by B. L. van der Waerden and proved independently by G. P. Egorychev and D. I. Falikman. Egorychev's proof uses the Alexandrov–Fenchel inequality for mixed discriminants. A later short proof by L. Gurvits uses real stable polynomials.

Example: for n=2n = 2, every doubly stochastic matrix has the form (t1−t1−tt)\begin{pmatrix} t & 1 - t \\ 1 - t & t \end{pmatrix} with 0≤t≤10 \le t \le 1. Its permanent is t2+(1−t)2t^2 + (1-t)^2, whose minimum on [0,1][0, 1] is 1/2=2!/221/2 = 2!/2^2, reached only at t=1/2t = 1/2.

The value n!/nnn!/n^n is the permanent of the matrix with all entries 1/n1/n. By Stirling's formula it is about e−n2πne^{-n} \sqrt{2 \pi n}.

Going deeper

For a student

For a kk-regular bipartite graph with nn vertices on each side, the biadjacency matrix divided by kk is doubly stochastic. So the theorem gives at least knn!/nnk^n n!/n^n perfect matchings. In particular, every doubly stochastic matrix has a positive permanent, so it has a permutation pattern of positive entries.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Doubly stochastic matrix concept
  2. Permanent concept
  3. van der Waerden conjecture on permanents statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Permanent_(mathematics)
About this page
Tag8C1JYDJBYS
URIm2://8C1JYDJBYS
Kindstatement, theorem
WritingW0 stub
MSC15A15, 15B51, 15A45
StatusThis copy of the site has no build data. Run m2 status 8C1JYDJBYS.
AboutPermanent, Doubly stochastic matrix
UsesPermanent, Doubly stochastic matrix
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.