Inégalité de Hoeffding

En théorie des probabilités, l’inégalité de Hoeffding est une inégalité de concentration concernant les sommes de variables aléatoires indépendantes et bornées. Elle tire son nom du mathématicien et statisticien finlandais Wassily Hoeffding. Il existe une version plus générale de cette inégalité, concernant une somme d'accroissements de martingales, accroissements là encore bornés : cette version plus générale est parfois connue sous le nom d'inégalité d'Azuma-Hoeffding.

Énoncé

Bornes pour la dispersion de la loi binomiale de paramètres n et p=0,5, obtenues respectivement à l'aide de l'inégalité de Bienaymé-Tchebychev et à l'aide de l'inégalité de Hoeffding.

Cas de la loi binomiale

Dans cette section, nous allons comparer l'inégalité de Hoeffding et l'inégalité de Bienaymé-Tchebychev dans le cas de la loi binomiale. Supposons que pour tout k entre 1 et n, on ait

$\mathbb{P}(X_k=1)=1-\mathbb{P}(X_k=0)=p.$

Alors $S_n$représente le nombre de piles obtenus à un jeu de pile ou face avec n lancers et où p est la probabilité d'avoir pile sur un lancer. $S_n$ suit la loi binomiale de paramètres n et p. Nous avons les inégalités suivantes, pour tout $x>0$ :

• L'inégalité de Bienaymé-Tchebychev donne : $\mathbb{P}(|S_n-𝔼[S_n]|\ge x\sqrt{n})\le \frac{p(1-p)}{x^2},$
• L'inégalité de Hoeffding donne $\mathbb{P}(|S_n-𝔼[S_n]|\ge x\sqrt{n})\le 2\exp (-2x^2)$.

On voit que dans ce cas (et c'est assez représentatif de la situation généraleModèle:Référence nécessaire) l'inégalité de Hoeffding est beaucoup plus précise pour $x$ suffisamment grand.

Démonstration

Inégalité préliminaire

La démonstration fait usage de la proposition suivante : Modèle:Théorème D'abord, on peut supposer Modèle:Math et Modèle:Math. En effet, si $c\ge 0$, alors Modèle:Mvar est une variable aléatoire presque-sûrement positive d'espérance nulle, donc Modèle:Math presque-sûrement et la proposition est évidente ; le raisonnement est analogue pour $d\le 0.$ Par convexité de la fonction $x\mapsto e^{sx},$ on a, pour $c\le Y(\omega )\le d,$

$e^{sY(\omega )}\le \frac{d-Y(\omega )}{d-c}{e}^{sc}+\frac{Y(\omega )-c}{d-c}{e}^{sd}.$

En passant à l'espérance, puisque $\mathbb{P}(c\le Y\le d)=1,$ on en déduit que

$𝔼[e^{sY}]\le f(s)=\frac{d}{d-c}{e}^{sc}+\frac{-c}{d-c}{e}^{sd}.$

On pose

$\begin{array}{cc}(d-c)s& =u\\ \ln (f(s))& =\psi (u),\\ \frac{-c}{d-c}& =p,1-p=\frac{d}{d-c}.\end{array}$

Puisque Modèle:Math et Modèle:Math, on a bien $p\in [0,1]$ d'où la pertinence de la notation. Il suit que

$\psi (u)=-pu+\ln (1-p+p{e}^u).$

On remarque alors que $\psi (0)={\psi }^{\prime }(0)=0.$ De plus

${\psi }^{\prime \prime }(u)=\frac{(1-p)p{e}^u}{{(1-p+p{e}^u)}^2}=\frac{\alpha \beta }{(\alpha +\beta {)}^2}\le \frac{1}{4}.$

Alors, en vertu de la formule de Taylor-Lagrange à l'ordre 1,

$\psi (u)=\psi (0)+{\psi }^{\prime }(0)u+R_2(u)\le \frac{u^2}{8}.$

Démonstration de l'inégalité de Hoeffding

On applique ensuite l'inégalité de Markov. Pour cela, on pose:

$\begin{array}{cc}{Y}_i& =X_i-𝔼[X_i],\\ c_i& =a_i-𝔼[X_i],d_i=b_i-𝔼[X_i],\end{array}$

et on remarque que

$\begin{array}{cc}\mathbb{P}(c_i\le Y_i\le d_i)& =1,\\ d_i-c_i& =b_i-a_i,\\ S_n-𝔼[S_n]& =Y_1+Y_2+\dots +Y_n.\end{array}$

Pour tout $s>0,$ on a donc, en vertu d'un corollaire de l'inégalité de Markov, de l'indépendance des $X_i,$ et donc des $Y_i,$ et de la proposition précédente :

$\begin{array}{cc}\mathbb{P}(S_n-𝔼[S_n]\ge t)& \le 𝔼\left[e^{s(S_n-𝔼[S_n])}\right]e^{-st}\\ & =𝔼\left[e^{s(Y_1+Y_2+\dots +Y_n)}\right]e^{-st}\\ & =e^{-st}\prod _{i=1}^n𝔼\left[e^{s{Y}_i}\right]\\ & \le \exp (-st+\frac{s^2\sum _{i=1}^n(b_i-a_i{)}^2}{8}).\end{array}$

L'inégalité est en particulier vraie pour

$s_0=\frac{4t}{\sum _{i=1}^n(b_i-a_i{)}^2},$

qui réalise le minimum de la borne de droite, ce qui démontre la première inégalité. La deuxième inégalité se démontre en remplaçant $Y_i$ par $Y_i^{\prime }=𝔼[X_i]-X_i,$ et $S_n-𝔼[S_n]$ par $𝔼[S_n]-S_n,$ dans le calcul précédent, en posant

$\begin{array}{cc}{c}_i^{\prime }& =𝔼[X_i]-b_i,\\ d_i^{\prime }& =𝔼[X_i]-a_i,\end{array}$

et en remarquant que

$\begin{array}{cc}\mathbb{P}(c_i^{\prime }\le Y_i^{\prime }\le d_i^{\prime })& =1,\\ d_i^{\prime }-c_i^{\prime }& =b_i-a_i,\\ 𝔼[S_n]-S_n& =Y_1^{\prime }+Y_2^{\prime }+\dots +Y_n^{\prime }.\end{array}$

La troisième inégalité est une conséquence directe des deux premières.

Énoncé "en tout temps"

Dans son article de 1963, Hoeffding a donné un énoncé légèrement plus général de son inégalité, utilisant l'inégalité de Doob. Plus précisément, sous les mêmes hypothèses, pour tout $t>0,$

$\begin{array}{cc}\mathbb{P}(\mathrm{\exists }m\le n,S_m-𝔼[S_m]\ge t)& \le \exp (-\frac{2t^2}{\sum _{i=1}^n(b_i-a_i{)}^2}),\\ \mathbb{P}(\mathrm{\exists }m\le n,S_m-𝔼[S_m]\le -t)& \le \exp (-\frac{2t^2}{\sum _{i=1}^n(b_i-a_i{)}^2}),\\ \mathbb{P}(\mathrm{\exists }m\le n,|S_m-𝔼[S_m]|\ge t)& \le 2\exp (-\frac{2t^2}{\sum _{i=1}^n(b_i-a_i{)}^2}).\end{array}$

Voir aussi

Pages liées

• Inégalité d'Azuma
• Inégalité de Markov
• Inégalité de Bienaymé-Tchebychev

Bibliographie

• C. McDiarmid, On the method of bounded differences. In Surveys in Combinatorics, London Math. Soc. Lectures Notes 141, Cambridge Univ. Press, Cambridge 1989, 148–188.
• W. Hoeffding, "Probability inequalities for sums of bounded random variables", J. Amer. Statist. Assoc. 58, 13–30, 1963