Unit 5: Inequalities and Limit Theorems Study Guide
Learning Objectives for Unit 5: Inequalities and Limit Theorems
Upon completion of this unit, the following goals should be achieved:
Understand Markov’s inequality and its application in finding upper bounds for tail probabilities of non-negative random variables.
Utilize Chebyshev’s inequality to determine upper bounds of probabilities relating to deviation from the mean.
Comprehend Hoeffding’s inequality for finding upper bounds of probabilities for the sample mean.
Apply the Cauchy-Schwarz inequality to bound the absolute expectation of a product of random variables.
Identify and differentiate between concave and convex functions based on their properties and graphs.
Apply Jensen’s inequality, the Central Limit Theorem (CLT), and the Weak Law of Large Numbers (WLLN) in the context of probability convergence.
Introduction to Inequalities and Limit Theorems
Statistical Estimation: Statistics and data science often involve estimating population distributions or parameters from finite data sets. Because true distributions are rarely computable, mathematicians use well-studied distributions with known properties to approximate unknown ones.
Error Margins: When dealing with unknown distributions, the margin of error in estimates is uncertain. This unit provides tools to compute the probability that estimates deviate from true population parameters.
Weak Law of Large Numbers (WLLN): This law dictates that as an experiment is repeated independently many times, the average result approaches the expected value.
Central Limit Theorem (CLT): This theorem states that for a sufficiently large sample size, the sampling distribution of the mean approximates a normal distribution, regardless of the population's original distribution.
Markov's Inequality
Tail Probabilities: Probabilities denoted as P(X > t) or for t > 0 are referred to as tail probabilities. They quantify the likelihood of extreme events occurring.
Definition: If is a non-negative random variable () with a finite mean E(X) < \infty and t > 0, then:
Interpretation: The probability that exceeds a threshold is bounded by the mean of divided by .
Applicable Distributions: Discrete distributions such as Binomial, Poisson, and Geometric are non-negative. Continuous distributions like Exponential, Gamma, and Beta are also non-negative.
Verification via Exponential Distribution
Setting: Let . The mean is . The Cumulative Distribution Function (CDF) is for .
Markov Bound for t = 6:
Direct Computation:
Validation: Since , the inequality holds.
Table 46: Markov’s Bound Comparison (, )
Markov’s Upper Bound | Direct Computation | |
|---|---|---|
3 | 0.67 | 0.22 |
4 | 0.5 | 0.14 |
5 | 0.4 | 0.08 |
6 | 0.33 | 0.05 |
7 | 0.29 | 0.03 |
Adapting Markov's Inequality for All Random Variables
Absolute Value Version: Since Markov's requires non-negativity, we can apply it to the absolute value for any random variable with E(|X|) < \infty:
Example: Suppose , where . For :
Markov Bound: (39%).
Numerical Integration: P(|X| > 3) \approx 0.02.
Function Properties and Invertibility
Strictly Increasing Function: A function is strictly increasing if for any x_1 < x_2, f(x_1) < f(x_2).
Strictly Decreasing Function: A function is strictly decreasing if for any x_1 < x_2, f(x_1) > f(x_2).
Invertible (One-to-One/Bijective) Functions: A function is invertible if there exists a function such that and . Every strictly increasing or decreasing function is invertible.
Monotone Transformation with Markov's: Since is strictly increasing, the event is equivalent to . Thus:
Chebyshev’s Inequality
Purpose: While Markov's looks at values exceeding a threshold, Chebyshev's finds bounds for the distance of random variables from their mean.
Definition: Let be a random variable with finite mean and variance 0 < \sigma^2 = \text{Var}(X) < \infty. For any t > 0:
Standardized Form: Replacing with yields:
Standardization Concept: The quantity centers data to zero and scales variance to one, which is vital for leveling the "playing field" in data science applications.
Table 47: Verifying Chebyshev’s Bound with
Parameters: .
Variance: .
Bound for : .
Chebyshev’s Upper Bound | Direct Computation | |
|---|---|---|
0.3 | 0.4444 | 0.1360 |
0.4 | 0.2500 | 0.0272 |
0.5 | 0.1600 | 0.0037 |
Hoeffding’s Inequality
Strengths: Hoeffding’s inequality provides tighter bounds than Chebyshev's for sums of independent random variables, given the assumption that the variables are bounded within a finite range.
General Definition: Let be i.i.d. random variables where and . For the sample mean and t > 0:
Two-Sided (Absolute) Bound:
Hoeffding’s for Bernoulli Random Variables
For , where and :
Solving for Sample Size ($n$): If we want the probability of deviation to be less than a small threshold , we set and solve for :
Example Coin Toss: To ensure the estimate of heads is within with probability ():
Example 5.1: Machine Learning Model Accuracy
Context: A model is trained on 1000 examples with actual accuracy . Xi = 1 if correct.
Goal: Find the upper bound for the probability that observed accuracy differs from actual accuracy by more than 1% ().
Solution: Using , , , and :
Cauchy-Schwarz Inequality
Linear Algebra Motivation: Derived from inner products of vectors where .
Definition for Random Variables: Let and have finite variances. Then:
Correlation and Covariance: For zero-mean, unit-variance variables, represents the correlation. If variables are strongly correlated, is near 1; if independent, it is near 0.
Example 5.2: Product Expectation Estimate
Given: .
Step 1: Calculate second moments.
Step 2: Apply Cauchy-Schwarz.
Jensen’s Inequality
Convex Function Definition: A function is convex if for any two points, the line segment connecting them lies above the graph. Quantitatively: .
Concave Function Definition: A function is concave if the line segment lies below the graph. Quantitatively: .
Second Derivative Test:
Jensen’s Equality:
If is convex:
If is concave:
Applications:
Checking variance: Let (convex). Thus , which confirms .
Logs: Since is concave (g''(x) = -\frac{1}{x^2} < 0), then .
The Weak Law of Large Numbers (WLLN)
Formal Statement: Let be random variables with E(X_i) = \mu < \infty. For any t > 0: \lim_{n \to \infty} P(|\bar{X} - \mu| > t) = 0
Interpretation: As sample size increases to infinity, the probability that the sample mean deviates from the true mean by any fixed amount approaches zero. This is known as convergence in probability.
Proof via Chebyshev: P(|\bar{X} - \mu| > t) \le \frac{\text{Var}(\bar{X})}{t^2} = \frac{\sigma^2}{nt^2} As , the right side goes to 0.
The Central Limit Theorem (CLT)
Formal Statement: Let be i.i.d. with mean and finite variance \sigma^2 > 0. Let be the sample mean. The standardized sample mean is defined as: As , the distribution of approaches the standard normal distribution . For any :
Key Results:
The sample mean is approximately normally distributed: .
This holds regardless of the original population distribution (e.g., tested with Uniform and Exponential distributions).
QQ-Plots: Quantile-Quantile plots confirm normality when data points follow a straight line (empirical quantiles match theoretical quantiles).
Example 5.3: Sample Mean from Beta(2,3)
Sample size: .
Parameters: , .
CLT Result: .
Example 5.4: IQ Scores
Parameters: Average IQ = 100, .
Part A (Single Person): Probability a random person has IQ > 103. P(X > 103) = P(Z > \frac{103 - 100}{15}) = P(Z > 0.2) \approx 0.4207 \text{ (42.07%)}
Part B (Sample size 64): Probability the sample average IQ > 103. P(\bar{X} > 103) = P(Z > \frac{103 - 100}{1.875}) = P(Z > 1.6) \approx 0.0548 \text{ (5.48%)}
Example 5.5: Referendum Likelihood
Context: 50 million voters total. 5000 fixed "yes" votes. The remaining 49,995,000 are undecided (). To pass, 25,000,000 total votes are needed.
Goal: Calculate chance of passing. P(\sum_{i=1}^{49,995,000} X_i + 5000 > 25,000,000) = P(\sum X_i > 24,995,000) P(\frac{1}{n} \sum X_i > \frac{24,995,000}{49,995,000})
The law of large numbers and CLT allows calculating the high-precision probability of this sum exceeding the threshold (though the transcript cuts off the final numerical result).