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 of a mechanical apparatus against the primitive standards of the framework: reference inputs, deviations, rules and calibrated prediction maps

Physical scope

Calibration of an apparatus for an operational observable model of the force branch: a family of preparation-sliced prediction maps indexed by apparatus settings with an explicit setting-to-preparation selection, a finite family of reference inputs traced to realizations of the framework's primitive quantities (durations in seconds, lengths in metres, masses in kilograms) with declared deviations, declared reference observations and a calibration rule. The item defines the datum that assigns numerical values in the framework's units to model parameters; it asserts no accuracy, consistency or unbiasedness of any calibration, no realized standard and no measurement.

Definition

Fix the force branch and one inertial frame, and fix an operational observable protocol as in Operational observable model of the force branch: parameters, preparations, observation times, readout, units and additive error, with prediction map Φ:Θ×Z→Rd, nonempty Θ⊆Rp, p≥1, and its declared observation times, readout and numerical coordinates. Specify a nonempty set C of apparatus settings and a map σ:C→Z selecting a preparation setting zc:=σ(c) for every c∈C. A calibration family is the family of preparation slices (Φc)c∈C,Φc:Θ⟶Rd,Φc(θ):=Φ(θ,zc). Thus the initial datum used in Φc is ζ(zc), and the readout uses (θ,zc) and its ordered model states. The preparation selection is part of the family data; fixing times and readout alone does not select it. The dimensions and units are those of Dimensions and SI unit conventions of the non-relativistic classical mechanics framework. Coordinate θj is the numerical coefficient of a quantity in one fixed unit uj with declared dimension; different coordinates may use different units. Choose positive numerical scales sj and define ∥v∥s=(∑j(vj/sj)2)1/2. This norm compares normalized numerical deviations, not sums of different physical dimensions.

A calibration datum for this family consists of:

  1. a finite family, with n≥1, θref(r)∈Θ, r=1,…,n, of nominal reference inputs assigned by a reference standard under stated realization conditions. Each coordinate uses its fixed unit uj, and the nominal assignment is traced to declared realizations of the framework's primitive quantities, such as durations, lengths or masses (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework, Adopted Newtonian spacetime structure: absolute time, Euclidean spatial slices and their smooth structure, Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses clause (v)). The nominal value is the standard's assigned value, not an assertion that the actual realization equals it;
  2. one description of the actual reference inputs for the whole family: either fixed values θact(r)∈Θ for all r, with declared bounds ∥θact(r)−θref(r)∥s≤δr, δr≥0, or a Borel random deviation vector η=(η1,…,ηn):Ωref→(Rp)n on one probability space (Ωref,Fref,Pref) with a stated joint law, where Θact(r):=θref(r)+ηr belongs to Θ for every outcome and every r (Random elements and real random variables). No independence is imposed. A mixture of fixed and random reference inputs uses this second branch: each fixed input is represented by its constant deviation component, retaining any declared bound on that component. In the random branch declare whether the law describes uncertainty about fixed realizations or physical variation across realizations; a model for one is not automatically a model for the other. Additions are coordinatewise in the fixed units, and deviations need not belong to Θ;
  3. a set Y⊆(Rd)n of admissible reference observations and a declared realized vector y=(y1,…,yn)∈Y, together with a separate uncertainty specification for these readouts: declared bounds, a joint probability model, or an explicit statement that readout uncertainty is idealized as zero. If a random vector Yref models the readings before realization, specify its joint law with the reference-input deviations, including any correlations; y denotes its recorded realization, not the random vector itself;
  4. a calibration rule, that is, a map Γ:D⟶C,(y,θref)⟼c,D⊆Y×Θn. Here θref=(θref(1),…,θref(n))∈Θn and (y,θref)∈D; each observation coordinate is read in the fixed readout unit of Operational observable model of the force branch: parameters, preparations, observation times, readout, units and additive error.

Given the datum, the calibrated setting is c:=Γ(y,θref) and the calibrated prediction map is Φc. This is the physical instance of the calibration structure of Calibration data and calibration rules, with the framework's primitive quantities as reference realizations. If normalized coordinates ϑj=θj/sj are used, the deviation norm is exactly the Euclidean norm of that mathematical structure. A rule with fixed references is only a slice of this two-input rule, not a rule that discards reference values.

Well-definedness and conventions

The sets Θ, C, Y, the preparation selection σ and the maps ζ, R of the underlying protocol, the reference inputs, the deviations and the rule Γ are data. Nothing in the definition requires Γ to be injective, continuous or measurable, or to return a setting whose prediction map is accurate; Calibration data and calibration rules records the same conventions for the mathematical structure. Clauses 2 and 3 specify reference-input and reference-readout uncertainty separately, and both must be carried into every quantitative conclusion about Φc; a calibration with those uncertainty terms dropped supports no quantified uncertainty conclusion. A random calibrated setting Γ(Yref,θref) requires the additional hypothesis that this composite is measurable and is in the rule domain; the deterministic realized rule does not imply that hypothesis.

Calibration is the step at which the framework's units and a standard's values assign numerical values to model parameters. The framework by itself fixes no numerical value of any parameter (clause (e) of Dimensions and SI unit conventions of the non-relativistic classical mechanics framework), and the value θref(r) is the value attached by the standard, not a measured value of this item. A calibrated prediction map is a model object; a claim that an apparatus realizes it requires separate evidence.

Depends on

Dependency tree · 2 levels

Sources