Constructive proofs of concentration bounds
Russell Impagliazzo and Valentine Kabanets
Abstract
We give a simple combinatorial proof of the Chernoff-Hoeffding concentration bound, which says that the sum of independent {0,1}-valued random variables is highly concentrated around the expected value. Unlike the standard proofs, our proof does not use the method of higher moments, but rather uses a simple and intuitive counting argument. In addition, our proof is constructive in the following sense: if the sum of the given random variables is not concentrated around the expectation, then we can efficiently find (with high probability) a subset of the random variables that are statistically dependent. As simple corollaries, we also get the concentration bounds for [0,1]-valued random variables and Azuma's inequality for martingales.
We interpret the Chernoff-Hoeffding bound as a statement about Direct Product Theorems. Informally, a Direct Product Theorem says that the complexity of solving all k instances of a hard problem increases exponentially with k; a Threshold Direct Product Theorem says that it is exponentially hard in k to solve even a significant fraction of the given k instances of a hard problem. We show the equivalence between optimal Direct Product Theorems and optimal Threshold Direct Product Theorems. As an application of this connection, we get the Chernoff bound for expander walks from the (simpler to prove) hitting property, as well as an optimal (in a certain range of parameters) Threshold Direct Product Theorem for weakly verifiable puzzles from the optimal Direct Product Theorem. We also get a simple constructive proof of Unger's result saying that XOR Lemmas imply Threshold Direct Product Theorems.
Versions
- full version in ECCC TR10-072, 2010.
- extended abstract in Proceedings of RANDOM-APPROX, pages 617-631, 2010.