Talagrand's concentration inequality

Template:Short description Template:Technical In the probability theory field of mathematics, Talagrand's concentration inequality is an isoperimetric-type inequality for product probability spaces. It was first proved by the French mathematician Michel Talagrand. The inequality is one of the manifestations of the concentration of measure phenomenon.

Roughly, the product of the probability to be in some subset of a product space (e.g. to be in one of some collection of states described by a vector) multiplied by the probability to be outside of a neighbourhood of that subspace at least a distance $t$ away, is bounded from above by the exponential factor $e^{-t^2/4}$. It becomes rapidly more unlikely to be outside of a larger neighbourhood of a region in a product space, implying a highly concentrated probability density for states described by independent variables, generically. The inequality can be used to streamline optimisation protocols by sampling a limited subset of the full distribution and being able to bound the probability to find a value far from the average of the samples.

Statement

The inequality states that if $\mathrm{\Omega }={\mathrm{\Omega }}_1\times {\mathrm{\Omega }}_2\times \cdots \times {\mathrm{\Omega }}_n$ is a product space endowed with a product probability measure and $A$ is a subset in this space, then for any $t\ge 0$

$Pr[A]\cdot Pr\left[A_t^c\right]\le e^{-t^2/4},$

where $A_t^c$ is the complement of $A_t$ where this is defined by

$A_t=\{x\in \mathrm{\Omega }:\rho (A,x)\le t\}$

and where $\rho$ is Talagrand's convex distance defined as

$\rho (A,x)=\underset{\alpha ,\Vert \alpha {\Vert }_2\le 1}{max}\underset{y\in A}{min}\sum _{i:x_i\ne y_i}{\alpha }_i$

where $\alpha \in {𝐑}^n$, $x,y\in \mathrm{\Omega }$ are $n$-dimensional vectors with entries ${\alpha }_i,x_i,y_i$ respectively and $\Vert \cdot {\Vert }_2$ is the ${\ell }^2$-norm. That is,

$\Vert \alpha {\Vert }_2={\left(\sum _i{\alpha }_i^2\right)}^{1/2}$

References

Template:Probability-stub