Math 2.0

Statistics Point estimation Proposition

Bias–variance decomposition

Builds on Mean squared errorBias of an estimatorVarianceExpected valueIndependence of two random variables

Statement

Let xx be a fixed point and let Y=f(x)+εY = f(x) + \varepsilon, where f(x)f(x) is a real number and ε\varepsilon is a random variable with E(ε)=0E(\varepsilon) = 0 and Var⁡(ε)=σ2\operatorname{Var}(\varepsilon) = \sigma^2. Let f^(x)\hat{f}(x) be a random variable with E(f^(x)2)<∞E(\hat{f}(x)^2) < \infty that is independent of ε\varepsilon. For example, f^(x)\hat{f}(x) is a prediction built from a training sample independent of the new observation. Then E[(Y−f^(x))2]=(E[f^(x)]−f(x))2+Var⁡(f^(x))+σ2.E\big[(Y - \hat{f}(x))^2\big] = \big(E[\hat{f}(x)] - f(x)\big)^2 + \operatorname{Var}\big(\hat{f}(x)\big) + \sigma^2.

Remarks

Proof: write Y−f^=ε+(f−Ef^)+(Ef^−f^)Y - \hat{f} = \varepsilon + (f - E\hat{f}) + (E\hat{f} - \hat{f}). Expand the square and take expectations: the three cross terms vanish, because Eε=0E\varepsilon = 0, E(Ef^−f^)=0E(E\hat{f} - \hat{f}) = 0, and ε\varepsilon is independent of f^\hat{f}. The remaining terms are σ2\sigma^2, the squared bias and the variance of f^\hat{f}.

The case without noise is the decomposition of the mean squared error of an estimator θ^\hat{\theta} of a parameter θ\theta: E[(θ^−θ)2]=Bias⁡(θ^)2+Var⁡(θ^),E\big[(\hat{\theta} - \theta)^2\big] = \operatorname{Bias}(\hat{\theta})^2 + \operatorname{Var}(\hat{\theta}), with the bias Bias⁡(θ^)=E(θ^)−θ\operatorname{Bias}(\hat{\theta}) = E(\hat{\theta}) - \theta.

Example: for i.i.d. X1,…,XnX_1, \dots, X_n with variance σ2\sigma^2, the estimator σ^2=1n∑i(Xi−Xˉ)2\hat{\sigma}^2 = \frac{1}{n}\sum_i (X_i - \bar{X})^2 has bias −σ2/n-\sigma^2/n. For normal data its variance is 2(n−1)σ4/n22(n-1)\sigma^4/n^2, so its mean squared error is (2n−1)σ4/n2(2n - 1)\sigma^4/n^2, which is smaller than the mean squared error 2σ4/(n−1)2\sigma^4/(n-1) of the unbiased sample variance. A small bias can thus buy a larger reduction of variance.

The irreducible term σ2\sigma^2 does not depend on f^\hat{f}; no predictor can do better than it on average.

Going deeper

For a student

The decomposition is the basis of the bias–variance tradeoff in model selection: adding complexity lowers the bias but raises the variance, and the best expected error lies in between. Shrinkage methods such as ridge regression accept bias to reduce variance. In point estimation it explains why an unbiased estimator need not have the smallest mean squared error. Note that the decomposition holds at each fixed point xx; averaging over xx gives the decomposition of the expected prediction error.

Reading path

To understand this page from the ground up, read these 59 pages in order. The foundations come first.

  1. Construction of the reals from Cauchy sequences concept
  2. Element definition
  3. Integers object
  4. Ordered field definition
  5. Proposition concept
  6. Random experiment concept
  7. Rational numbers object
  8. Real numbers object
  9. Set definition
  10. Ring of integers statement
  11. Disjunction definition
  12. Implication definition
  13. Predicate definition
  14. Ordered pair definition
  15. Union definition
  16. Sample space definition
  17. The rationals form a field statement
  18. Existential quantifier definition
  19. Universal quantifier definition
  20. Cartesian product definition
  21. Subset definition
  22. The rationals form an ordered field statement
  23. Uniqueness quantifier definition
  24. Binary relation definition
  25. Universal set definition
  26. Order on the reals definition
  27. Power set definition
  28. Complement definition
  29. Function definition
  30. Interval definition
  31. Injective function definition
  32. Preimage of a set definition
  33. Sigma-algebra definition
  34. Countable set definition
  35. Event definition
  36. Borel sigma-algebra definition
  37. Probability axioms concept
  38. Probability measure definition
  39. Probability distribution definition
  40. Probability space definition
  41. Conditional probability definition
  42. Random variable definition
  43. Discrete random variable definition
  44. Law of a random variable definition
  45. Independence of two events definition
  46. Random variable with a density definition
  47. Identically distributed random variables definition
  48. Expected value definition
  49. Mutual independence of events definition
  50. Independence of two random variables definition
  51. Variance definition
  52. Independent sigma-algebras definition
  53. Independence of random variables definition
  54. Independent and identically distributed random variables definition
  55. Statistic definition
  56. Estimator definition
  57. Bias of an estimator definition
  58. Mean squared error definition
  59. Bias–variance decomposition statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Bias–variance_tradeoff
About this page
TagCJQ8D9FTQN
URIm2://CJQ8D9FTQN
Kindstatement, proposition
WritingW0 stub
MSC62F10, 62J05
StatusThis copy of the site has no build data. Run m2 status CJQ8D9FTQN.
AboutMean squared error
UsesMean squared error, Bias of an estimator, Variance, Expected value, Independence of two random variables

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.