Registry Synced

Concentration Inequalities

348 words
2 min read

Reading compass

Now ยท ๐ŸŽฏ Learning Objectives

Concentration Inequalities

๐ŸŽฏ Learning Objectives

  • State Markov's, Chebyshev's, and Chernoff's inequalities
  • Apply concentration bounds to analyze randomized algorithms
  • Derive tail bounds for sums of independent random variables
  • Understand the trade-off between tail decay and moment assumptions

1.1 Intuition: How Fast Does a Random Variable Concentrate?

Concentration inequalities quantify how quickly a random variable approaches its mean. They're the foundation of randomized algorithm analysis and statistical learning theory.
๐Ÿ”‘ Key Insight: Under weak assumptions (finite variance โ†’ Chebyshev; boundedness โ†’ Hoeffding; subgaussian โ†’ Chernoff), sums of independent random variables concentrate exponentially fast around their mean.

1.2 Key Inequalities

Markov's Inequality

Prโก(Xโ‰ฅt)โ‰คE[X]tforย Xโ‰ฅ0\Pr(X \geq t) \leq \frac{E[X]}{t} \quad \text{for } X \geq 0
Example: If average income is 50k,atmost1/4ofpeopleearn50k, at most 1/4 of people earn\geq 200k$.

Chebyshev's Inequality

Prโก(โˆฃXโˆ’E[X]โˆฃโ‰ฅt)โ‰คVar(X)t2\Pr(|X - E[X]| \geq t) \leq \frac{\text{Var}(X)}{t^2}
Example: For Xห‰\bar{X} from nn i.i.d. samples: Prโก(โˆฃXห‰โˆ’ฮผโˆฃโ‰ฅฯต)โ‰คฯƒ2nฯต2\Pr(|\bar{X} - \mu| \geq \epsilon) \leq \frac{\sigma^2}{n\epsilon^2}

Chernoff Bound (Multiplicative)

For X=โˆ‘XiX = \sum X_i where Xiโˆˆ[0,1]X_i \in [0,1] independent:
Prโก(Xโ‰ฅ(1+ฮด)ฮผ)โ‰ค(eฮด(1+ฮด)1+ฮด)ฮผ\Pr(X \geq (1+\delta)\mu) \leq \left(\frac{e^\delta}{(1+\delta)^{1+\delta}}\right)^\mu

Hoeffding's Inequality

For Xiโˆˆ[ai,bi]X_i \in [a_i, b_i] independent:
Prโก(โˆฃXห‰โˆ’E[Xห‰]โˆฃโ‰ฅt)โ‰ค2expโก(โˆ’2n2t2โˆ‘(biโˆ’ai)2)\Pr(|\bar{X} - E[\bar{X}]| \geq t) \leq 2\exp\left(-\frac{2n^2 t^2}{\sum(b_i - a_i)^2}\right)

1.3 Comparison

BoundAssumptionsDecayUse Case
MarkovXโ‰ฅ0X \geq 01/t1/tGeneric
ChebyshevFinite variance1/t21/t^2Generic with variance
ChernoffIndependent, boundedexpโก(โˆ’cฮผฮด2)\exp(-c\mu\delta^2)Sums of bounded variables
HoeffdingIndependent, boundedexpโก(โˆ’2nt2/(bโˆ’a)2)\exp(-2nt^2/(b-a)^2)Sample means

โœ… Practice Questions

Q1: Use Chebyshev to bound Prโก(โˆฃXห‰โˆ’ฮผโˆฃโ‰ฅฯต)\Pr(|\bar{X} - \mu| \geq \epsilon) for nn i.i.d. samples with variance ฯƒ2\sigma^2.
Solution
Var(Xห‰)=ฯƒ2/n\text{Var}(\bar{X}) = \sigma^2/n. By Chebyshev: Prโก(โˆฃXห‰โˆ’ฮผโˆฃโ‰ฅฯต)โ‰คฯƒ2nฯต2\Pr(|\bar{X} - \mu| \geq \epsilon) \leq \frac{\sigma^2}{n\epsilon^2}. Q2: Compare Hoeffding and Chebyshev bounds. Which is tighter for bounded variables? Solution
Hoeffding decays as expโก(โˆ’cnฯต2)\exp(-cn\epsilon^2), exponentially faster than Chebyshev's 1/(nฯต2)1/(n\epsilon^2). For bounded variables, Hoeffding is exponentially tighter. Q3: How many samples nn needed to estimate a mean within ยฑ0.01\pm 0.01 with 95% confidence for bounded [0,1][0,1] variables? Solution
Hoeffding: 2expโก(โˆ’2n(0.01)2)โ‰ค0.052\exp(-2n(0.01)^2) \leq 0.05. So expโก(โˆ’0.0002n)โ‰ค0.025\exp(-0.0002n) \leq 0.025, โˆ’0.0002nโ‰คlnโก(0.025)-0.0002n \leq \ln(0.025), nโ‰ฅlnโก(40)/0.0002โ‰ˆ18449n \geq \ln(40)/0.0002 \approx 18449. Join Discord NextRandomized SVD
Document outline

Keep your place and jump directly to a heading.

Table of contents

No note selected

Open a chapter to see its outline, backlinks, and sources here.