More formally: It is a well-known phenomenon that functions on Gaussian space become smoother under the Ornstein-Uhlenbeck semigroup. Versions of this have proved to have many powerful applications. For instance, Nelson's hypercontractive inequality shows that if \(p > 1\), then \(L^p\) functions are sent to \(L^q\) functions for some \(q > p\). In 1989, Talagrand conjectured that quantitative smoothing is achieved even for functions which are only \(L^1\), in the sense that under the semigroup, such functions have tails that are strictly better than those predicted by Markov's inequality and preservation of mass. Ball, Barthe, Bednorz, Oleszkiewicz, and Wolff (2010) proved that this holds in fixed dimension. We resolve Talagrand's conjecture conjecture positively (with no dimension dependence).
The key insight will be a method of stalking the white pixels while appearing as nonchalant as possible. (This will be cast as a problem in stochastic control theory.)
This is joint work with Ronen Eldan.