A constructive solution to Talagrand's Gaussian convexification problem
Talagrand asked for a construction of a large convex subset of a bounded Minkowski sum of a large Gaussian set. We first prove a stronger nonsymmetric existential statement: if $A\subset\mathbb{R}^n$ is measurable and $γ_n(A)>2/3$, then $A+A+A$ contains a compact convex set of Gaussian measure at least $1/2$. Let now $A$ be closed with $γ_n(A)\ge7/8$, let $Φ$ be the standard Gaussian distribution function, and put $a_0=Φ^{-1}(3/4)$. For every $Λ>1$ and every $0 1.705510\ldots$. We give matching upper and lower bounds for the optimal high-measure dilation and show that the dilation profile used by the construction is sharp among all symmetric half-measure cores. Finally, if $γ_n(A)\ge5/6+η$, we construct, for every $0<\varepsilon\le1/2$, a centered ellipsoid $E_\varepsilon$ with $γ_n(E_\varepsilon)\ge1-\varepsilon$ and \begin{equation} \frac{c}{Φ^{-1}(1-\varepsilon/2)}\sqrt{\frac{\log n}{n}}\,E_\varepsilon\subset A+A+A. \end{equation} Both the dimension dependence and the dependence on $\varepsilon$ are optimal up to constants. The construction also gives a six-summand theorem for balanced sets and a second finite construction based on subgaussian tests.