Family 175CombinatoricsLeanNot yet digested
Talagrand’s expectation thresholds, discrete convexity, and graph decompositions
Proves that integral and fractional expectation thresholds differ by at most a universal factor, and resolves Talagrand's discrete-convexity conjecture. An application proves the Ascoli–He–Park–Talagrand graph-decomposition conjecture: every graph's edges split into a universally bounded number of fixed pieces, each with containment threshold at most a universal constant times the original graph's integral expectation threshold. The pieces' embeddings need not agree on shared vertices.
Manuscripts in this family · 3
Graph Decompositions at the Integral Expectation Threshold
Oct 5, 2026·graph-threshold-decompositions.pdf
We prove the graph-decomposition conjecture of Ascoli, He, Park, and Talagrand. Every graph admits a partition into a universally bounded number of fixed edge pieces, each having ordinary containment threshold at most a universal constant times the original graph's integral expectation threshold. The partition is chosen before sampling the random host, and the separate embeddings of the pieces need not agree on shared vertices.
Integral and fractional expectation thresholds are equivalent
Sep 23, 2026·paper.pdfLean
We prove Talagrand's conjecture that integral and fractional expectation thresholds are within a universal constant factor, with the same covering budget.
Talagrand’s discrete-convexity conjecture
Sep 23, 2026·paper.pdfLean
We prove Talagrand's discrete-convexity conjecture. There is a universal integer k such that, whenever an arbitrary family has Bernoulli product measure at least , the sets not contained in a union of k members admit a cover of total cost at most 1/2 at the same density.