In probability theory, a Chernoff bound is an exponentially decreasing upper bound on the tail of a random variable based on its moment generating function. The minimum of all such exponential bounds forms the Chernoff or Chernoff-Cramér bound, which may decay faster than exponential (e.g. sub-Gaussian).[1][2] It is especially useful for sums of independent random variables, such as sums of Bernoulli random variables.[3][4]

The bound is commonly named after Herman Chernoff who described the method in a 1952 paper,[5] though Chernoff himself attributed it to Herman Rubin.[6] In 1938 Harald Cramér had published an almost identical concept now known as Cramér's theorem.

It is a sharper bound than the first- or second-moment-based tail bounds such as Markov's inequality or Chebyshev's inequality, which only yield power-law bounds on tail decay. However, when applied to sums the Chernoff bound requires the random variables to be independent, a condition that is not required by either Markov's inequality or Chebyshev's inequality.

The Chernoff bound is related to the Bernstein inequalities. It is also used to prove Hoeffding's inequality, Bennett's inequality, and McDiarmid's inequality.

Generic Chernoff bounds

edit
 
Two-sided Chernoff bound for a chi-square random variable

The generic Chernoff bound for a random variable   is attained by applying Markov's inequality to   (which is why it is sometimes called the exponential Markov or exponential moments bound). For positive   this gives a bound on the right tail of   in terms of its moment-generating function  :

 

Since this bound holds for every positive  , we may take the infimum:

 

Performing the same analysis with negative   we get a similar bound on the left tail:

 

and

 

The quantity   can be expressed as the expectation value  , or equivalently  .

Properties

edit

The exponential function is convex, so by Jensen's inequality  . It follows that the bound on the right tail is greater or equal to one when  , and therefore trivial; similarly, the left bound is trivial for  . We may therefore combine the two infima and define the two-sided Chernoff bound: which provides an upper bound on the folded cumulative distribution function of   (folded at the mean, not the median).

The logarithm of the two-sided Chernoff bound is known as the rate function (or Cramér transform)  . It is equivalent to the Legendre–Fenchel transform or convex conjugate of the cumulant generating function  , defined as:  The moment generating function is log-convex, so by a property of the convex conjugate, the Chernoff bound must be log-concave. The Chernoff bound attains its maximum at the mean,  , and is invariant under translation:  .

The Chernoff bound is exact if and only if   is a single concentrated mass (degenerate distribution). The bound is tight only at or beyond the extremes of a bounded random variable, where the infima are attained for infinite  . For unbounded random variables the bound is nowhere tight, though it is asymptotically tight up to sub-exponential factors ("exponentially tight").[citation needed] Individual moments can provide tighter bounds, at the cost of greater analytical complexity.[7]

In practice, the exact Chernoff bound may be unwieldy or difficult to evaluate analytically, in which case a suitable upper bound on the moment (or cumulant) generating function may be used instead (e.g. a sub-parabolic CGF giving a sub-Gaussian Chernoff bound).

Exact rate functions and Chernoff bounds for common distributions
Distribution        
Normal distribution        
Bernoulli distribution(detailed below)        
Standard Bernoulli

(H is the binary entropy function)

       
Rademacher distribution        
Gamma distribution        
Chi-squared distribution      [8]  
Poisson distribution        

Lower bounds from the MGF

edit

Using only the moment generating function, a lower bound on the tail probabilities can be obtained by applying the Paley-Zygmund inequality to  , yielding:  (a bound on the left tail is obtained for negative  ). Unlike the Chernoff bound however, this result is not exponentially tight.

Theodosopoulos[9] constructed a tight(er) MGF-based lower bound using an exponential tilting procedure.

For particular distributions (such as the binomial) lower bounds of the same exponential order as the Chernoff bound are often available.

Sums of independent random variables

edit

When X is the sum of n independent random variables X1, ..., Xn, the moment generating function of X is the product of the individual moment generating functions, giving that:

  (1)

and:

 

Specific Chernoff bounds are attained by calculating the moment-generating function   for specific instances of the random variables  .

When the random variables are also identically distributed (iid), the Chernoff bound for the sum reduces to a simple rescaling of the single-variable Chernoff bound. That is, the Chernoff bound for the average of n iid variables is equivalent to the nth power of the Chernoff bound on a single variable (see Cramér's theorem).

Sums of independent bounded random variables

edit

Chernoff bounds may also be applied to general sums of independent, bounded random variables, regardless of their distribution; this is known as Hoeffding's inequality. The proof follows a similar approach to the other Chernoff bounds, but applying Hoeffding's lemma to bound the moment generating functions (see Hoeffding's inequality).

Hoeffding's inequality. Suppose X1, ..., Xn are independent random variables taking values in [a,b]. Let X denote their sum and let μ = E[X] denote the sum's expected value. Then for any  ,
 
 

Sums of independent Bernoulli random variables

edit

The bounds in the following sections for Bernoulli random variables are derived by using that, for a Bernoulli random variable   with probability p of being equal to 1,

 

One can encounter many flavors of Chernoff bounds: the original additive form (which gives a bound on the absolute error) or the more practical multiplicative form (which bounds the error relative to the mean).

Multiplicative form (relative error)

edit

Multiplicative Chernoff bound. Suppose X1, ..., Xn are independent random variables taking values in {0, 1}. Let X denote their sum and let μ = E[X] denote the sum's expected value. Then for any δ > 0,

 

A similar proof strategy can be used to show that for 0 < δ < 1

 

The above formula is often unwieldy in practice, so the following looser but more convenient bounds[10] are often used, which follow from the inequality   from the list of logarithmic inequalities:

 
 
 

Notice that the bounds are trivial for  .

In addition, based on the Taylor expansion for the Lambert W function,[11]

 

Additive form (absolute error)

edit

The following theorem is due to Wassily Hoeffding[12] and hence is called the Chernoff–Hoeffding theorem.

Chernoff–Hoeffding theorem. Suppose X1, ..., Xn are i.i.d. random variables, taking values in {0, 1}. Let p = E[X1] and ε > 0.
 
where
 
is the Kullback–Leibler divergence between Bernoulli distributed random variables with parameters x and y respectively. If p1/2, then   which means
 

A simpler bound follows by relaxing the theorem using D(p + ε || p) ≥ 2ε2, which follows from the convexity of D(p + ε || p) and the fact that

 

This result is a special case of Hoeffding's inequality. Sometimes, the bounds

 

which are stronger for p < 1/8, are also used.

Applications

edit

Chernoff bounds have very useful applications in set balancing and packet routing in sparse networks.

The set balancing problem arises while designing statistical experiments. Typically while designing a statistical experiment, given the features of each participant in the experiment, we need to know how to divide the participants into 2 disjoint groups such that each feature is roughly as balanced as possible between the two groups.[13]

Chernoff bounds are also used to obtain tight bounds for permutation routing problems which reduce network congestion while routing packets in sparse networks.[13]

Chernoff bounds are used in computational learning theory to prove that a learning algorithm is probably approximately correct, i.e. with high probability the algorithm has small error on a sufficiently large training data set.[14]

Chernoff bounds can be effectively used to evaluate the "robustness level" of an application/algorithm by exploring its perturbation space with randomization.[15] The use of the Chernoff bound permits one to abandon the strong—and mostly unrealistic—small perturbation hypothesis (the perturbation magnitude is small). The robustness level can be, in turn, used either to validate or reject a specific algorithmic choice, a hardware implementation or the appropriateness of a solution whose structural parameters are affected by uncertainties.

A simple and common use of Chernoff bounds is for "boosting" of randomized algorithms. If one has an algorithm that outputs a guess that is the desired answer with probability p > 1/2, then one can get a higher success rate by running the algorithm   times and outputting a guess that is output by more than n/2 runs of the algorithm. (There cannot be more than one such guess.) Assuming that these algorithm runs are independent, the probability that more than n/2 of the guesses is correct is equal to the probability that the sum of independent Bernoulli random variables Xk that are 1 with probability p is more than n/2. This can be shown to be at least   via the multiplicative Chernoff bound (Corollary 13.3 in Sinclair's class notes, μ = np).:[16]

 

Matrix Chernoff bound

edit

Rudolf Ahlswede and Andreas Winter introduced a Chernoff bound for matrix-valued random variables.[17] The following version of the inequality can be found in the work of Tropp.[18]

Let M1, ..., Mt be independent matrix valued random variables such that   and  . Let us denote by   the operator norm of the matrix  . If   holds almost surely for all  , then for every ε > 0

 

Notice that in order to conclude that the deviation from 0 is bounded by ε with high probability, we need to choose a number of samples   proportional to the logarithm of  . In general, unfortunately, a dependence on   is inevitable: take for example a diagonal random sign matrix of dimension  . The operator norm of the sum of t independent samples is precisely the maximum deviation among d independent random walks of length t. In order to achieve a fixed bound on the maximum deviation with constant probability, it is easy to see that t should grow logarithmically with d in this scenario.[19]

The following theorem can be obtained by assuming M has low rank, in order to avoid the dependency on the dimensions.

Theorem without the dependency on the dimensions

edit

Let 0 < ε < 1 and M be a random symmetric real matrix with   and   almost surely. Assume that each element on the support of M has at most rank r. Set

 

If   holds almost surely, then

 

where M1, ..., Mt are i.i.d. copies of M.

Sampling variant

edit

The following variant of Chernoff's bound can be used to bound the probability that a majority in a population will become a minority in a sample, or vice versa.[20]

Suppose there is a general population A and a sub-population B ⊆ A. Mark the relative size of the sub-population (|B|/|A|) by r.

Suppose we pick an integer k and a random sample S ⊂ A of size k. Mark the relative size of the sub-population in the sample (|BS|/|S|) by rS.

Then, for every fraction d ∈ [0,1]:

 

In particular, if B is a majority in A (i.e. r > 0.5) we can bound the probability that B will remain majority in S(rS > 0.5) by taking: d = 1 − 1/(2r):[21]

 

This bound is of course not tight at all. For example, when r = 0.5 we get a trivial bound Prob > 0.

Proofs

edit

Multiplicative form

edit

Following the conditions of the multiplicative Chernoff bound, let X1, ..., Xn be independent Bernoulli random variables, whose sum is X, each having probability pi of being equal to 1. For a Bernoulli variable:

 

So, using (1) with   for any   and where  ,

 

If we simply set t = log(1 + δ) so that t > 0 for δ > 0, we can substitute and find

 

This proves the result desired.

Chernoff–Hoeffding theorem (additive form)

edit

Let q = p + ε. Taking a = nq in (1), we obtain:

 

Now, knowing that Pr(Xi = 1) = p, Pr(Xi = 0) = 1 − p, we have

 

Therefore, we can easily compute the infimum, using calculus:

 

Setting the equation to zero and solving, we have

 

so that

 

Thus,

 

As q = p + ε > p, we see that t > 0, so our bound is satisfied on t. Having solved for t, we can plug back into the equations above to find that

 

We now have our desired result, that

 

To complete the proof for the symmetric case, we simply define the random variable Yi = 1 − Xi, apply the same proof, and plug it into our bound.

See also

edit

References

edit
  1. ^ Boucheron, Stéphane (2013). Concentration Inequalities: a Nonasymptotic Theory of Independence. Gábor Lugosi, Pascal Massart. Oxford: Oxford University Press. p. 21. ISBN 978-0-19-953525-5. OCLC 837517674.
  2. ^ Wainwright, M. (January 22, 2015). "Basic tail and concentration bounds" (PDF). Archived (PDF) from the original on 2016-05-08.
  3. ^ Vershynin, Roman (2018). High-dimensional probability : an introduction with applications in data science. Cambridge, United Kingdom. p. 19. ISBN 978-1-108-41519-4. OCLC 1029247498.{{cite book}}: CS1 maint: location missing publisher (link)
  4. ^ Tropp, Joel A. (2015-05-26). "An Introduction to Matrix Concentration Inequalities". Foundations and Trends in Machine Learning. 8 (1–2): 60. arXiv:1501.01571. doi:10.1561/2200000048. ISSN 1935-8237. S2CID 5679583.
  5. ^ Chernoff, Herman (1952). "A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations". The Annals of Mathematical Statistics. 23 (4): 493–507. doi:10.1214/aoms/1177729330. ISSN 0003-4851. JSTOR 2236576.
  6. ^ Chernoff, Herman (2014). "A career in statistics" (PDF). In Lin, Xihong; Genest, Christian; Banks, David L.; Molenberghs, Geert; Scott, David W.; Wang, Jane-Ling (eds.). Past, Present, and Future of Statistics. CRC Press. p. 35. ISBN 9781482204964. Archived from the original (PDF) on 2015-02-11.
  7. ^ Philips, Thomas K.; Nelson, Randolph (1995). "The Moment Bound Is Tighter Than Chernoff's Bound for Positive Tail Probabilities". The American Statistician. 49 (2): 175–178. doi:10.2307/2684633. ISSN 0003-1305. JSTOR 2684633.
  8. ^ Ghosh, Malay (2021-03-04). "Exponential Tail Bounds for Chisquared Random Variables". Journal of Statistical Theory and Practice. 15 (2): 35. doi:10.1007/s42519-020-00156-x. ISSN 1559-8616. S2CID 233546315.
  9. ^ Theodosopoulos, Ted (2007-03-01). "A reversion of the Chernoff bound". Statistics & Probability Letters. 77 (5): 558–565. arXiv:math/0501360. doi:10.1016/j.spl.2006.09.003. ISSN 0167-7152. S2CID 16139953.
  10. ^ Mitzenmacher, Michael; Upfal, Eli (2005). Probability and Computing: Randomized Algorithms and Probabilistic Analysis. Cambridge University Press. ISBN 978-0-521-83540-4.
  11. ^ Dillencourt, Michael; Goodrich, Michael; Mitzenmacher, Michael (2024). "Leveraging Parameterized Chernoff Bounds for Simplified Algorithm Analyses". Information Processing Letters. 187 (106516). doi:10.1016/j.ipl.2024.106516.
  12. ^ Hoeffding, W. (1963). "Probability Inequalities for Sums of Bounded Random Variables" (PDF). Journal of the American Statistical Association. 58 (301): 13–30. doi:10.2307/2282952. JSTOR 2282952.
  13. ^ a b Refer to this book section for more info on the problem.
  14. ^ Kearns, M.; Vazirani, U. (1994). An Introduction to Computational Learning Theory. MIT Press. Chapter 9 (Appendix), pages 190–192. ISBN 0-262-11193-4.
  15. ^ Alippi, C. (2014). "Randomized Algorithms". Intelligence for Embedded Systems. Springer. ISBN 978-3-319-05278-6.
  16. ^ Sinclair, Alistair (Fall 2011). "Class notes for the course "Randomness and Computation"" (PDF). Archived from the original (PDF) on 31 October 2014. Retrieved 30 October 2014.
  17. ^ Ahlswede, R.; Winter, A. (2003). "Strong Converse for Identification via Quantum Channels". IEEE Transactions on Information Theory. 48 (3): 569–579. arXiv:quant-ph/0012127. doi:10.1109/18.985947. S2CID 523176.
  18. ^ Tropp, J. (2010). "User-friendly tail bounds for sums of random matrices". Foundations of Computational Mathematics. 12 (4): 389–434. arXiv:1004.4389. doi:10.1007/s10208-011-9099-z. S2CID 17735965.
  19. ^ Magen, A.; Zouzias, A. (2011). "Low Rank Matrix-Valued Chernoff Bounds and Approximate Matrix Multiplication". arXiv:1005.2724 [cs.DM].
  20. ^ Goldberg, A. V.; Hartline, J. D. (2001). "Competitive Auctions for Multiple Digital Goods". Algorithms — ESA 2001. Lecture Notes in Computer Science. Vol. 2161. p. 416. CiteSeerX 10.1.1.8.5115. doi:10.1007/3-540-44676-1_35. ISBN 978-3-540-42493-2.; lemma 6.1
  21. ^ See graphs of: the bound as a function of r when k changes and the bound as a function of k when r changes.

Further reading

edit