Math 2.0

Statistics Definition

Cross-validation

Builds on Loss functionEstimator

Definition

Let (x1,y1),…,(xn,yn)(x_1, y_1), \dots, (x_n, y_n) be data, and let a fitting rule map any subset SS of the data to a prediction function f^S\hat f_S. Let ℓ(y,y^)≥0\ell(y, \hat y) \ge 0 be a loss function. Let KK be an integer with 2≤K≤n2 \le K \le n, and let F1,…,FKF_1, \dots, F_K be a partition of {1,…,n}\set{1, \dots, n} into nonempty folds. For each kk, let f^(−k)\hat f^{(-k)} be the prediction function fitted on the data with indices outside FkF_k. The KK-fold cross-validation estimate of the prediction error is CV=1n∑k=1K∑i∈Fkℓ(yi,f^(−k)(xi)).\mathrm{CV} = \frac{1}{n} \sum_{k=1}^{K} \sum_{i \in F_k} \ell\big(y_i, \hat f^{(-k)}(x_i)\big).

Remarks

The case K=nK = n, with one observation per fold, is leave-one-out cross-validation. To choose a tuning parameter, one computes CV\mathrm{CV} for each candidate value and keeps a value with the smallest CV\mathrm{CV}. Example: for least squares with ℓ(y,y^)=(y−y^)2\ell(y, \hat y) = (y - \hat y)^2, leave-one-out has a closed form. It equals 1n∑i((yi−y^i)/(1−hii))2\frac{1}{n} \sum_i \big((y_i - \hat y_i)/(1 - h_{ii})\big)^2, where y^i\hat y_i is the full fit and hiih_{ii} the ii-th diagonal entry of the hat matrix. Non-example: the training error 1n∑iℓ(yi,f^(xi))\frac{1}{n} \sum_i \ell(y_i, \hat f(x_i)) with f^\hat f fitted on all data is not cross-validation. Each yiy_i is predicted by a function that used it, so the error is biased downwards.

Reading path

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

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

Further reading

  1. Web https://en.wikipedia.org/wiki/Cross-validation_(statistics)
About this page
TagSZ7QZBDPYJ
URIm2://SZ7QZBDPYJ
Kinddefinition
WritingW0 stub
MSC62G09, 62J05
DefinesCross-validation
UsesLoss function, Estimator

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.