How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Bias and mean squared error
Definition
Let be a statistical experiment: a measurable data space, a parameter-label set, and a family of probability measures on the data space. Let be its real-valued target function (estimand). An estimator is a measurable statistic with the real Borel target (Statistics and estimators). At a parameter for which is integrable under , its bias is
Its mean squared error (MSE) is the extended nonnegative number This is the risk of the deterministic rule induced by under squared-error loss : its Dirac kernel is constructed in A statistic induces a deterministic probability kernel, and the risk supplier's integral formula reduces to the displayed expectation when the action is by Integration against a Dirac measure evaluates at its point (Loss functions and risk). For each fixed , this loss is Borel in the real action ; no measurable structure on or measurability of is required. The expectation convention is Expectation of a nonnegative or integrable random variable. If is square-integrable under , then its variance is defined by Moments, variance, and covariance on a probability space and this MSE is finite. Bias is not defined at parameters where is not integrable.
Depends on
Used by
Dependency tree · two levels
23 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- George Deligiannidis, SB2.1 Foundations of Statistical Inference, Chapter 5, PDF pp. 29–31 (standard reference, not scraped)
- Karl B. Gregory, STAT 713 Lecture 6: Best Unbiased Estimators, Rao-Blackwell Theorem, PDF pp. 2–8 (standard reference, not scraped)
- Ryan Martin, Lecture Notes on Advanced Statistical Theory, §5.1, PDF pp. 100–102 (standard reference, not scraped)