Skip to content

Erdős problem 499

The conjecture of van der Waerden, which states that the permanent of a doubly stochastic matrix is at least n−nn!n^{-n} n!.

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

499.lean

Retained formal statement2 of 3

A weaker version of Erdős' problem 499, which asks whether for every doubly stochastic matrix, there exists a permutation σ∈Snσ \in S_n with Mi,σ(i)≠0M_{i, σ(i)} ≠ 0 and such that ∑1≤i≤nMi,σ(i)≥1 \sum_{1 \leq i \leq n} M_{i, σ(i)} \geq 1 Proved by Marcus and Ree [MaRe59].

[MaRe59] Marcus, M. and Ree, R., Diagonals of doubly stochastic matrices. Quart. J. Math. Oxford Ser. (2) (1959), 296-302.

FormalConjectures/ErdosProblems/499.leanErdos499.erdos_499.variants.one_le1 lineExact file
True ↔ ∀ n > 0, ∀ M ∈ doublyStochastic ℝ (Fin n), ∃ σ, (∀ (i : Fin n), M i (σ i) ≠ 0) ∧ 1 ≤ ∑ i, M i (σ i)
SolvedStatement only, no proof