Vysochanskij–Petunin inequality

In probability theory, the Vysochanskij–Petunin inequality gives a lower bound for the probability that a random variable with finite variance lies within a certain number of standard deviations of the variable's mean, or equivalently an upper bound for the probability that it lies further away. The sole restrictions on the distribution are that it be unimodal and have finite variance; here unimodal implies that it is a continuous probability distribution except at the mode, which may have a non-zero probability.

Theorem

Let ${\displaystyle X}$ be a random variable with unimodal distribution, and ${\displaystyle \alpha \in \mathbb {R} }$. If we define ${\displaystyle \rho ={\sqrt {\mathbb {E} [(X-\alpha )^{2}]}}}$ then for any ${\displaystyle r>0}$,

${\displaystyle {\begin{aligned}\operatorname {Pr} (|X-\alpha |\geq r)\leq {\begin{cases}{\frac {4\rho ^{2}}{9r^{2}}}&r\geq {\sqrt {8/3}}\rho \\{\frac {4\rho ^{2}}{3r^{2}}}-{\frac {1}{3}}&r\leq {\sqrt {8/3}}\rho .\\\end{cases}}\end{aligned}}}$

Relation to Gauss's inequality

Taking ${\displaystyle \alpha }$ equal to a mode of ${\displaystyle X}$ yields the first case of Gauss's inequality.

Tightness of Bound

Without loss of generality, assume ${\displaystyle \alpha =0}$ and ${\displaystyle \rho =1}$.

• If ${\displaystyle r<1}$, the left-hand side can equal one, so the bound is useless.

• If ${\displaystyle r\geq {\sqrt {8/3}}}$, the bound is tight when ${\displaystyle X=0}$ with probability ${\displaystyle 1-{\frac {4}{3r^{2}}}}$ and is otherwise distributed uniformly in the interval ${\displaystyle \left[-{\frac {3r}{2}},{\frac {3r}{2}}\right]}$.

• If ${\displaystyle 1\leq r\leq {\sqrt {8/3}}}$, the bound is tight when ${\displaystyle X=r}$ with probability ${\displaystyle {\frac {4}{3r^{2}}}-{\frac {1}{3}}}$ and is otherwise distributed uniformly in the interval ${\displaystyle \left[-{\frac {r}{2}},r\right]}$.

Specialization to mean and variance

If ${\displaystyle X}$ has mean ${\displaystyle \mu }$ and finite, non-zero variance ${\displaystyle \sigma ^{2}}$, then taking ${\displaystyle \alpha =\mu }$ and ${\displaystyle r=\lambda \sigma }$ gives that for any ${\textstyle \lambda >{\sqrt {\frac {8}{3}}}=1.63299...,}$

${\displaystyle \operatorname {Pr} (\left|X-\mu \right|\geq \lambda \sigma )\leq {\frac {4}{9\lambda ^{2}}}.}$

Proof Sketch

For a relatively elementary proof see.^[1] The rough idea behind the proof is that there are two cases: one where the mode of ${\displaystyle X}$ is close to ${\displaystyle \alpha }$ compared to ${\displaystyle r}$, in which case we can show ${\displaystyle \operatorname {Pr} (|X-\alpha |\geq r)\leq {\frac {4\rho ^{2}}{9r^{2}}}}$, and one where the mode of ${\displaystyle X}$ is far from ${\displaystyle \alpha }$ compared to ${\displaystyle r}$, in which case we can show ${\displaystyle \operatorname {Pr} (|X-\alpha |\geq r)\leq {\frac {4\rho ^{2}}{3r^{2}}}-{\frac {1}{3}}}$. Combining these two cases gives ${\displaystyle \operatorname {Pr} (|X-\alpha |\geq r)\leq \max \left({\frac {4\rho ^{2}}{9r^{2}}},{\frac {4\rho ^{2}}{3r^{2}}}-{\frac {1}{3}}\right).}$ When ${\displaystyle {\frac {r}{\rho }}={\sqrt {\frac {8}{3}}}}$, the two cases give the same value.

Properties

The theorem refines Chebyshev's inequality by including the factor of 4/9, made possible by the condition that the distribution be unimodal.

It is common, in the construction of control charts and other statistical heuristics, to set λ = 3, corresponding to an upper probability bound of 4/81= 0.04938..., and to construct 3-sigma limits to bound nearly all (i.e. 95%) of the values of a process output. Without unimodality Chebyshev's inequality would give a looser bound of 1/9 = 0.11111....

One-sided version

An improved version of the Vysochanskij-Petunin inequality for one-sided tail bounds exists. For a unimodal random variable ${\displaystyle X}$ with mean ${\displaystyle \mu }$ and variance ${\displaystyle \sigma ^{2}}$, and ${\displaystyle r\geq 0}$, the one-sided Vysochanskij-Petunin inequality (Mercadier and Strobel, 2021^[2]) holds as follows:

${\displaystyle \mathbb {P} (X-\mu \geq r)\leq {\begin{cases}{\dfrac {4}{9}}{\dfrac {\sigma ^{2}}{r^{2}+\sigma ^{2}}}&{\mbox{for }}r^{2}\geq {\dfrac {5}{3}}\sigma ^{2},\\{\dfrac {4}{3}}{\dfrac {\sigma ^{2}}{r^{2}+\sigma ^{2}}}-{\dfrac {1}{3}}&{\mbox{otherwise.}}\end{cases}}}$

The one-sided Vysochanskij-Petunin inequality, as well as the related Cantelli inequality, can for instance be relevant in the financial area, in the sense of "how bad can losses get."

Proof

The proof is very similar to that of Cantelli's inequality. For any ${\displaystyle u\geq 0}$,

${\displaystyle {\begin{aligned}\mathbb {P} (X-\mu \geq r)&=\mathbb {P} ((X+u)-\mu \geq r+u)\\&\leq \mathbb {P} (|(X+u)-\mu )|\geq r+u).\\\end{aligned}}}$

Then we can apply the Vysochanskij-Petunin inequality. With ${\displaystyle \rho ^{2}=\mathbb {E} [((X+u)-\mu )^{2}]=u^{2}+\sigma ^{2}}$, we have:

${\displaystyle {\begin{aligned}\mathbb {P} (|(X+u)-\mu )|\geq r+u)&\leq {\begin{cases}{\frac {4}{9}}{\frac {\rho ^{2}}{(r+u)^{2}}}&r+u\geq {\sqrt {8/3}}\rho \\{\frac {4}{3}}{\frac {\rho ^{2}}{(r+u)^{2}}}-{\frac {1}{3}}&r+u\leq {\sqrt {8/3}}\rho \end{cases}}.\end{aligned}}}$

As in the proof of Cantelli's inequality, it can be shown that the minimum of ${\displaystyle {\frac {\rho ^{2}}{(r+u)^{2}}}}$ over all ${\displaystyle u\geq 0}$ is achieved at ${\displaystyle u=\sigma ^{2}/r}$. Plugging in this value of ${\displaystyle u}$ and simplifying yields the desired inequality.

Generalisation

Dharmadhikari and Joag-Dev generalised the VP inequality to deviations from an arbitrary point and moments of order ${\displaystyle k}$ other than ${\displaystyle 2}$

${\displaystyle {\begin{aligned}P(|X-\alpha |\geq r)\leq \max \left\{{\frac {s\tau _{k}-r^{k}}{(s-1)r^{k}}},\left[{\frac {k}{k+1}}\right]^{k}{\frac {\tau _{k}}{r^{k}}}\right\}\\\end{aligned}}}$

where

${\displaystyle {\begin{aligned}\tau _{k}=E\left(|X-\alpha |^{k}\right),s>(k+1),s(s-k-1)^{k}=k^{k}\end{aligned}}}$

The standard form of the inequality can be recovered by setting ${\displaystyle k=2}$ which leads to a unique value of ${\displaystyle s=4}$.^[3]

See also

• Gauss's inequality, a similar result for the distance from the mode rather than the mean
• Rule of three (statistics), a similar result for the Bernoulli distribution