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.

Method agreement and limits of agreement

Definition

Let (Ω,F,P) be the declared probability model for a pre-specified target population of measurement conditions. Let A and B be real random variables giving quantitative measurements of the same target under the same stated conditions. The choice of target population and the scientific applicability of its probability law are model assumptions; this definition does not verify them.

Assume the paired difference D:=A−B is square-integrable. It is measurable because measurable real functions are closed under finite sums and scalar multiples (Closure properties of measurable functions used by the integral). Since 0≤(∣D∣−1)2, we have ∣D∣≤(D2+1)/2. Monotonicity, homogeneity, and additivity of the nonnegative integral, together with P(Ω)=1, give E[∣D∣]≤12E[D2]+12<∞ (Monotonicity and nonnegative homogeneity of the nonnegative integral, Additivity of the nonnegative Lebesgue integral). Thus define the finite population bias μD:=E[D]. Put H:=D−μD, which is measurable by the same closure result. Its square H2 is measurable by Arithmetic and lattice operations preserve measurability whenever they are defined. Since H2≤2D2+2μD2, monotonicity, homogeneity, and additivity of the nonnegative integral give E[H2]≤2E[D2]+2μD2<∞ (Monotonicity and nonnegative homogeneity of the nonnegative integral, Additivity of the nonnegative Lebesgue integral). Therefore σD:=Var⁡(D)=E[H2] is a finite real standard deviation, since Var⁡(D)=E[H2] by Moments, variance, and covariance on a probability space and every nonnegative real has a square root by Square roots exist: a unique a≥0 with (a)2=a; the positives are {x2:x≠0}. The sign convention is D=A−B, so positive bias means that A reads larger than B on average. The conventional rounded normal-reference limits of agreement are μD−1.96σD and μD+1.96σD.

For an iid sample D1,…,Dn of paired differences from the declared target population, with n≥2 and observed values d1,…,dn, define dˉ:=1n∑i=1ndi,sD:=1n−1∑i=1n(di−dˉ)2. The sample plug-in limits are dˉ±1.96sD: they substitute the sample mean and sample standard deviation into the conventional population formula. They are point estimates; no unbiasedness, consistency, confidence coverage, or exact finite-sample coverage for either endpoint is asserted here.

Repeated measurements on one target are not iid merely because there are many recorded pairs. Their within-target dependence must be stated and modeled, for example with a covariance or random-effects model. When defined, correlation measures linear association and does not by itself establish agreement. Limits of agreement describe the distribution of differences; they do not decide whether those differences are acceptable for a particular use or whether either method is calibrated to a known truth.

Remarks

The exact central normal quantile formula is established by a separate result on this page. The customary 1.96 display is a rounded normal quantile convention.

Depends on

Used by

Dependency tree · two levels

36 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