Approximate independence of typical marginals of high-dimensional probability measures
For many probability measures on $\mathbb{R}^n$, and for $k$ sufficiently smaller than $n$, most $k$-dimensional coordinate marginals are close to product measures. We prove this in two regimes, which notably involve no exchangeability assumptions as in prior theorems of de Finetti type. First, for log-concave measures, the quantitative bound depends on the measure only through the operator norm of its correlation matrix, and $k$ may grow polynomially with $n$. A key ingredient of the proof is a new strengthening of the subadditivity of relative entropy for strongly log-concave measures, which as a byproduct yields sharp bounds in the strongly log-concave case. Second, for a broad class of measures satisfying just a variance inequality much weaker than Poincaré's, $k$ must stay below the sharp threshold $2\log n/\log \log n$. Here the basis of $\mathbb{R}^n$ is fixed a priori, which makes this phenomenon quite different from known Gaussian approximations for low-dimensional projections such as the central limit theorem for convex bodies, although there are remarkable parallels. Insofar as Gaussian approximations are driven by the thin shell property, our results are driven by variance inequalities for additive functions which have appeared in the literature on the Gibbs sampler.