Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generated
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.

Calibration data and calibration rules

Definition

Let (Ω,F,P) be a probability space and let p,d≥1 be integers. A calibration family is a family (hc)c∈C,hc:Θ⟶Rd, of prediction maps on a nonempty parameter set Θ⊆Rp, in fixed numerical coordinates, indexed by a nonempty set C of apparatus settings (Measurement models and additive-error observation models).

A calibration datum for this family consists of

  1. a finite family (θ(r))1≤r≤n, n≥1, of reference inputs, either fixed values θ(r)∈Θ or maps θ(r):Ω→Θ, according to the branch specified in clause 4, representing values supplied by a reference standard under stated conditions;
  2. a set Y⊆(Rd)n of admissible reference observations and the observed vector y=(y1,…,yn)∈Y;
  3. a calibration rule, that is, a map Γ:D⟶C,(y,θref)⟼c,D⊆Y×Θn; the nominal reference tuple θref=(θref(r))r=1n belongs to Θn and (y,θref)∈D;
  4. either, in the fixed-value branch, a stated bound ∣θ(r)−θref(r)∣≤δr with δr≥0 for each r, or, in the random-input branch, a Borel random element η:Ω→(Rp)n of deviations with a stated joint law (Random elements and real random variables), where ηr:Ω→Rp is its rth component and θ(r)(ω):=θref(r)+ηr(ω)∈Θ for every r and every ω∈Ω. The bound uses the Euclidean norm of The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn on the fixed coordinates; deviations need not themselves belong to Θ.

Given the datum, the calibrated setting is c:=Γ(y,θref) and the calibrated prediction map is hc.

Well-definedness and conventions

The rule Γ and the sets C, Θ, Y are data: nothing in the definition requires Γ to be injective, continuous, measurable, or to return an apparatus setting for which the calibrated prediction is accurate. The reference inputs are values of a physical standard; their uncertainty is recorded in clause 4 and must be carried into any quantitative conclusion about hc by the argument that uses it. The definition states the structure of a calibration only; properties such as consistency, unbiasedness or attainment of a stated accuracy require separate hypotheses and proofs, and no such property is asserted here.

Reference inputs are explicit arguments of the rule: a fixed-reference rule Γθref(y) is only a slice of Γ. This mathematical definition attaches no units to the coordinates. A physical consumer must specify one unit and, when a norm compares different coordinates, one positive reference scale per coordinate; subtraction and addition then operate on numerical coordinates in those fixed units.

Depends on

Dependency tree · 2 levels

Sources