Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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 E=((X,A),Θ,(Pθ)θ∈Θ) be a statistical experiment: a measurable data space, a parameter-label set, and a family of probability measures on the data space. Let ψ:Θ→R be its real-valued target function (estimand). An estimator T:X→R is a measurable statistic with the real Borel target (Statistics and estimators). At a parameter θ for which T is integrable under Pθ, its bias is Bias⁡θ(T):=Eθ[T]−ψ(θ).

Its mean squared error (MSE) is the extended nonnegative number MSE⁡θ(T):=Eθ[(T−ψ(θ))2]∈[0,+∞]. This is the risk of the deterministic rule induced by T under squared-error loss L(θ,a)=(a−ψ(θ))2: 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 T(x) 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 a; no measurable structure on Θ or measurability of ψ is required. The expectation convention is Expectation of a nonnegative or integrable random variable. If T is square-integrable under Pθ, 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 T 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