combinatorics / Probabilistic combinatorics; thresholds

Talagrand's conjecture that fractional and integral expectation thresholds agree up to a constant

Theorem 1.1: qf(F)≤25⋅5124 q(F)q_f(\mathcal F)\le25\cdot512^4\,q(\mathcal F) for every finite nonempty XX and nonempty proper increasing F⊆2X\mathcal F\subseteq2^X, independently of ∣X∣|X|, the sizes of minimal members and the support of the fractional cover; equivalently every fractional cover of cost at most 1/21/2 at rr rounds to an integral cover of cost at most 1/21/2 at r/(25⋅5124)r/(25\cdot512^4). Previously the best general loss was of order log⁡log⁡∣X∣\log\log|X| (Fischer-Person with Pham). The constant is explicit but not optimized.

38Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsSep 23, 2026Significance 38/100Registry: lean checked

Talagrand's conjecture that fractional and integral expectation thresholds agree up to a constant

Prior state unknown→proved

Theorem 1.1: qf(F)≤25⋅5124 q(F)q_f(\mathcal F)\le25\cdot512^4\,q(\mathcal F) for every finite nonempty XX and nonempty proper increasing F⊆2X\mathcal F\subseteq2^X, independently of ∣X∣|X|, the sizes of minimal members and the support of the fractional cover; equivalently every fractional cover of cost at most 1/21/2 at rr rounds to an integral cover of cost at most 1/21/2 at r/(25⋅5124)r/(25\cdot512^4). Previously the best general loss was of…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: qf(F)≤25⋅5124 q(F)q_f(\mathcal F)\le25\cdot512^4\,q(\mathcal F) for every finite nonempty XX and nonempty proper increasing F⊆2X\mathcal F\subseteq2^X, independently of ∣X∣|X|, the sizes of minimal members and the support of the fractional cover; equivalently every fractional cover of cost at most 1/21/2 at rr rounds to an integral cover of cost at most 1/21/2 at r/(25⋅5124)r/(25\cdot512^4). Previously the best general loss was of order log⁡log⁡∣X∣\log\log|X| (Fischer-Person with Pham). The constant is explicit but not optimized.

Theorem 1.1: qf(F)≤25⋅5124 q(F)q_f(\mathcal F)\le25\cdot512^4\,q(\mathcal F) for every finite nonempty XX and nonempty proper increasing F⊆2X\mathcal F\subseteq2^X, independently of ∣X∣|X|, the sizes of minimal members and the support of the fractional cover; equivalently every fractional cover of cost at most 1/21/2 at rr rounds to an integral cover of cost at most 1/21/2 at r/(25⋅5124)r/(25\cdot512^4). Previously the best general loss was of order log⁡log⁡∣X∣\log\log|X| (Fischer-Person with Pham). The constant is explicit but not optimized.

Recorded attempts

Evidence graph

Connected research record