Concentration de mesure
# Concentration de mesure

En mathématiques, la concentration de la mesure est un principe appliqué en théorie de la mesure, en statistiques, en probabilités et en combinatoire, et a des conséquences dans d'autres domaines tels que la théorie des Espaces de Banach. Informellement, cela signifie qu'une fonction qui ne varie pas trop d'un point à un autre (fonction lipschitzienne) prend d'autant moins de valeurs différentes que son nombre de variable est grand. Cette fonction apparaît donc quasiment constante. Concrètement, en statistique, ce phénomène explique notamment pourquoi une fonction qui dépend de nombreuses variables indépendantes de manière lipschitzienne est essentiellement constante, permettant ainsi de fournir une autre démonstration au théorème centrale limite.

Le phénomène de concentration de la mesure a été mis en avant dans le début des années 1970 par Vitali Milman dans ses travaux sur la théorie locale des espaces de Banach, en étendant une idée qui remonte à l'œuvre de Paul $Lévy^,.$ Il fut approfondi dans les travaux de Milman et Gromov, Maurey, Pisier, Shechtman, Talagrand, Ledoux, et d'autres.

## Cadre général

Soit $(X,d,\mu )$ un espace métrique muni d'une mesure $\mu$ sur la tribu borélienne, telle que $\mu (X)=1$. Soit

    $\alpha (\epsilon )=\sup \left\{\mu (X\setminus A_{\epsilon })\,|\,\mu (A)\geq 1/2\right\},$

où

    $A_{\epsilon }=\left\{x\,|\,d(x,A)<\epsilon \right\}$

est l'$\epsilon$-extension d'un ensemble $A$.

La fonction $\alpha (\cdot )$ est appelée le taux de concentration de l'espace $X$. La définition équivalente suivante a de nombreuses applications :

    $\alpha (\epsilon )=\sup \left\{\mu (\{F\geq \mathop {M} +\epsilon \})\right\},$

où le supremum est sur tous les fonctions 1-lipschitzienne $F:X\to \mathbb {R}$, et la médiane (ou moyenne Levy) $M=\mathop {\mathrm {Med} } F$ est définie par les inégalités

    $\mu \{F\geq M\}\geq 1/2,\,\mu \{F\leq M\}\geq 1/2.$

Informellement, l'espace $X$ présente un phénomène de concentration si $\alpha (\epsilon )$ diminue très vite quand $\epsilon$ grandit. Plus formellement, une famille d'espaces métriques mesurés $(X_{n},d_{n},\mu _{n})$ est appelée famille Lévy si les taux de concentrations correspondants $\alpha _{n}$ satisfont :

    $\forall \epsilon >0\,\,\alpha _{n}(\epsilon )\to 0{\rm {\;lorsque\;}}n\to \infty ,$

et une famille Lévy normale s'il existe des constantes $c,C>0$ telles que :

    $\forall \epsilon >0\,\,\alpha _{n}(\epsilon )\leq C\exp(-cn\epsilon ^{2})$.

Voir ci-dessous pour des exemples

## Concentration sur la sphère

Le premier exemple remonte à Paul Lévy. D'après le théorème isopérimétrique sphérique, parmi tous les sous-ensembles $A$ de la sphère $S^{n}$ munis de la mesure sphérique prescrite $\sigma _{n}(A)$, la calotte sphérique

    $\left\{x\in S^{n}|\mathrm {dist} (x,x_{0})\leq R\right\},$

pour un $R$ approprié, a la plus petite $\epsilon$-extension $A_{\epsilon }$ (pour tout $\epsilon >0$).

En appliquant ceci à des ensembles de mesure $\sigma _{n}(A)=1/2$ (où $\sigma _{n}(S^{n})=1$), on peut déduire l'inégalité de concentration suivante :

    $\sigma _{n}(A_{\epsilon })\geq 1-C\exp(-cn\epsilon ^{2})$,

où $C,c$ sont des constantes universelles, en pratique $C=1,c=1/2$ sont également valables mais sont non-optimales. Par conséquent, $(S^{n})_{n}$correspondent à la définition ci-dessus de la famille Lévy normale.

Vitali Milman a appliqué ce fait à plusieurs problèmes dans la théorie locale des espaces de Banach, en particulier, afin d'établir une nouvelle preuve du théorème de Dvoretzky.

Ce résultat est contre intuitif car il implique que si vous vous tenez à la surface d'une sphère de dimension n et de rayon $1$ alors la quasi-totalité de sa surface est à une distance $\pi /2$ de vous. Ce résultat est contre intuitif car notre intuition n'est confronté qu'au sphère de dimension 0 (2 points), 1 (un cercle) et 2 (un balle de ping-pong) et que cet effet est peu marqué pour d'aussi petite dimension (voir tableau. On rappelle que tous les points de $S^{n}$ sont à une distance inférieur à $\pi$ de vous).

| dimension | proportion de la surface de $S^{n}$ à plus d'une distance $\pi /4$ de vous |
| - | - |
| 0 | $1/2$ = 0.5 |
| 1 | $3/4$ = 0.75 |
| 2 | ${\frac {18-\pi }{16}}$$\approx$0.9286 |
| $\vdots$ | $\vdots$ |
| 20 | $\geq 1-\exp \left(-{\frac {20(\pi /4)^{2}}{2}}\right)\approx$0.998 |
| $\vdots$ | $\vdots$ |
| 100 | $\geq 1-\exp \left(-{\frac {100(\pi /4)^{2}}{2}}\right)\approx$0.9999998 |

## Autres exemples

* Inégalité de concentration de Talagrand's
* Inégalité isopérimétrique Gaussienne
