Gaussian rotation interpolation inequality Created 2026-10-06 Updated 2026-10-14
For independent and identically distributed random variables with a centered multivariate normal distribution, a continuously differentiable function with bounded gradient, and a convex function for which the expressions are integrable, the displayed inequality holds. First apply Jensen inequality conditionally to . For the Gaussian rotation of independent copies, the chain rule gives . A second application of Jensen inequality to the uniform measure on , followed by the Gaussian rotation of independent copies, proves the inequality. The useful choice yields a Gaussian concentration inequality through an exponential moment of an absolute standard normal variable.
The Brownian reflection principle and Brownian scaling give
where has the standard normal distribution. Combine part (c) with the allowed Gaussian tail bound to obtain
This is the Brownian martingale proof of Gaussian concentration. It proves the intended Gaussian concentration inequality. The denominator printed in the initial bound is , whereas the gradient hypothesis and part (c) give . The stronger printed bound is false in general. For a concrete counterexample, take , , and . At ,
where the first strict inequality follows by integrating the decreasing normal density over . The rightmost term is the printed bound. Thus the square on is a necessary source correction, rather than a change of proof technique.
With the usual variance-proxy convention for a sub-Gaussian random vector, every column inner product is a sub-Gaussian random variable with proxy at most . The two-sided Chernoff bound and union bound imply
with probability at least . No independence between these inner products is required.
The printed coefficient-one bound is false under this convention. Take , , and with equal probability. This Rademacher random variable has the stipulated variance proxy, but for the printed threshold is less than , whereas surely. Even a general sub-Gaussian assumption does not imply Gaussian concentration inequality for arbitrary Lipschitz functions. Under the stronger convention , the same union bound proves the printed constants. That convention, however, differs from the binomial variance proxy used in 1(b).
Let . Away from ties and zero coordinates, its gradient is for a maximizing coordinate . Conditional on , the random variable is centered Gaussian with variance at most one. The supplied Gaussian concentration inequality therefore gives
A Chernoff bound, optimized at , yields
It remains to bound the mean. For , Jensen's inequality and the Gaussian moment-generating function give
Taking gives . Consequently