Linear and multilinear algebra; matrix theory Determinants Theorem
van der Waerden conjecture on permanents
Builds on PermanentDoubly stochastic matrix
Statement
Let , and let be an doubly stochastic matrix. This means that its entries are nonnegative real numbers and that each row and each column sums to . Then where is the permanent. Equality holds if and only if every entry of equals .
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 , every doubly stochastic matrix has the form with . Its permanent is , whose minimum on is , reached only at .
The value is the permanent of the matrix with all entries . By Stirling's formula it is about .
Going deeper
For a student
For a -regular bipartite graph with vertices on each side, the biadjacency matrix divided by is doubly stochastic. So the theorem gives at least 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
- no evidence level
- Doubly stochastic matrix concept
- Permanent concept
- van der Waerden conjecture on permanents statement
Further reading
About this page
| Tag | 8C1JYDJBYS |
|---|---|
| URI | m2://8C1JYDJBYS |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 15A15, 15B51, 15A45 |
| Status | This copy of the site has no build data. Run m2 status 8C1JYDJBYS. |
| About | Permanent, Doubly stochastic matrix |
| Uses | Permanent, Doubly stochastic matrix |
| Changed | 2 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.