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 and measurement uncertainty
1 · Prerequisites
- Binary Operations, Monoids, Groups and Subgroups
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Estimators and Randomized Procedures
- Finite Counting, Factorials and Binomial Coefficients
- Finite Probability Spaces and Random Variables
- Foundations of the Real Numbers for Analysis
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Matrix Differentiation and First-order Spectral Perturbation
- Matrix Norms, Condition Numbers and Numerical Stability
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Polynomial Rings, the Division Algorithm and Roots
- Probability Spaces Random Variables and Expectation
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Scientific model contracts and applicability
- Sequences and Limits
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Statistical Experiments, Models and Identifiability
- Suprema and Infima
- The Lebesgue Integral and the Convergence Theorems
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Vector Spaces, Linear Subspaces, Span and Direct Sums
2 · Summary
Specify the measurand and measurement model, carry correction and reference standard uncertainty through the full input covariance matrix, and distinguish Type A from Type B evaluation by how the information is evaluated. The combined standard uncertainty is the standard deviation of a first-order linearization. It does not by itself give an interval or establish that the chosen model describes the physical measurement process.
3 · Logical flowchart
4 · Definitions, theorems and proofs
Measurands, calibration, and measurement uncertainty
Definition
A measurand is the specified quantity intended to be measured, including the conditions needed to make its value sufficiently well-defined for the stated accuracy. A measurement model for a scalar measurand is a specified function where is defined on an open set and the are the input quantities that contribute to the reported result. For the uncertainty model below, assume . To treat the nonlinear output as a random output, either require almost surely and require to be measurable on the event , defining it measurably on the null complement, or specify a measurable extension of the model to the input values outside . The almost-sure domain condition alone does not ensure measurability. If the variance of is used, also require the resulting output to be square-integrable. The input list includes each significant correction, correction factor, calibration quantity, reference value, and other influence quantity used by the model. The estimate based on input estimates is .
For uncertainty evaluation, represent the possible input values by an -valued random element on one probability space, with square-integrable real coordinate variables. Their means are the input estimates, , and their input covariance matrix is This probability model represents the evaluated uncertainty of the inputs; it does not assert that every input varies physically at random. No independence of the inputs is assumed.
A systematic effect is an identified influence whose estimated contribution can be corrected. A random effect is an influence that appears as variation across repeated observations under the declared conditions. These descriptions concern how an effect enters the measurement model; they are separate from the Type A/Type B evaluation labels. A correction is an estimated signed value added algebraically to an uncorrected result to compensate for a recognized systematic effect. A correction factor changes a result multiplicatively according to the stated model. Applying a correction does not remove uncertainty: uncertainty in the correction and in its reference values remains an input contribution unless its contribution is shown negligible for the stated result. A reference standard is a stated reference artifact or realization used to compare or calibrate a measurement system; its assigned value and uncertainty, including covariance with other shared reference inputs, belong in the measurement model. A calibration curve is the specified relation between a reference quantity and an instrument response used to convert a later response into an estimate of the measurand.
Type A evaluation means evaluating an uncertainty component by statistical analysis of a series of observations. Type B evaluation means evaluating it by other information or methods. These labels describe how a component is evaluated, not whether its cause is random or systematic. A repeatability component describes variation in repeated readings under stated, comparable conditions. A later reading of a calibrated instrument can therefore add a new repeatability component; include its covariance with other inputs when the model does not justify treating them as uncorrelated.
A standard uncertainty is an uncertainty measure expressed as a standard deviation. The combined standard uncertainty below is the standard deviation of a linearized output, not an interval statement.
When is differentiable at , write and define the first-order linearized output by The first-order combined standard uncertainty is , the standard deviation of this Taylor-linearized output. The next theorem gives its covariance formula. Its use as an approximation to the uncertainty of the nonlinear output requires the first-order model to be adequate for the stated measurement. This standard uncertainty is not itself an interval and implies no coverage probability or confidence level.
A measurement batch in the example on the companion page is a declared measurement occasion or configuration, such as one day of operation. It is a label for a process condition; it is not a random-effect assumption by itself. Whether a calibration relation remains stable across batches is an empirical question about the stated process and study.
Remarks
The broader Scientific statistical model contracts requires the observation law, units and index roles, target, observation mechanism, support (a measurable set assigned probability one), conditioning convention, and status of model-adequacy assumptions; it does not prove that a proposed model applies physically. Here Random elements and real random variables supplies the measurable-map meaning of each input variable, Moments, variance, and covariance on a probability space defines the finite means and covariances, and The real Frechet derivative on real and complex matrix spaces with the Frobenius norm supplies the first-order derivative remainder (identify with real column matrices and use the Euclidean/Frobenius norm).
First-order propagation of measurement uncertainty
Statement
Let , let for an open set , and let be differentiable at . Let be an -valued random element on one probability space with square-integrable coordinate variables , means , and almost surely. Let , set , and define Then The equality is exact for the first-order linearized output. To interpret it as an approximation to uncertainty in the nonlinear output , require to be a measurable, square-integrable random output (including a measurable definition on any null event where ) and require the first-order model to be adequate. This interpretation is not an assertion of exact finite-sample variance or interval coverage.
Facts & Assumptions
Given: The objects and hypotheses of the Statement.
Moments, variance, and covariance on a probability space: for square-integrable real random variables, variance and covariance are the expectations of the centered square and centered product.
Covariance is symmetric and bilinear in finite linear combinations: covariance is symmetric and bilinear on finite linear combinations of square-integrable real random variables on one common probability space; constant summands are allowed.
The real Frechet derivative on real and complex matrix spaces with the Frobenius norm: after identifying with real matrices, differentiability at means a real-linear first-order map whose remainder divided by the Euclidean input norm tends to zero.
Measurands, calibration, and measurement uncertainty: the input estimates are , , and for the stated first-order linearized output.
Proof
Identify with real matrices and let . By [F3], with . For the standard basis , put ; linearity gives . Thus is the first-order Taylor term.
Put . Then , and . Since each is square-integrable and is finite, the right side has finite expectation, so is square-integrable. Thus [F1] defines its variance and all covariances below.
By [F1], . Apply the finite bilinearity in [F2] to step 1.2; the constant has zero covariance, so .
By [F4], each covariance in step 2.1 is , so the double sum is . Symmetry in [F2] pairs the and terms to give the stated diagonal and off-diagonal form. It is nonnegative because it equals the variance in [F1], and [F4] therefore gives the stated formula.
Remarks
No independence assumption is used. The formula includes covariance between calibration coefficients, reference standards, corrections, and any later reading included in . The first-order Taylor rule is appropriate only when the nonlinear remainder is negligible for the measurement at hand. JCGM 100:2008/Amd.1:2026 calls for higher-order terms when nonlinearity is significant; Monte Carlo methods are outside this result. Neither nor alone supplies a confidence interval or coverage probability.
5 · Examples, counterexamples and false statements
None yet.
Sources
- JCGM 100:2008, Evaluation of Measurement Data — Guide to the Expression of Uncertainty in Measurement, clauses 1–8
- JCGM 100:2008/Amd.1:2026, Amendment 1: Nonlinearity in Measurement Models
- NIST/SEMATECH Engineering Statistics Handbook, Chapter 2: Measurement Process Characterization
- JCGM 100:2008, Evaluation of Measurement Data — Guide to the Expression of Uncertainty in Measurement, clauses 4.1 and 5.1–5.2
- Sai Ravela, MIT OpenCourseWare, Quantifying Uncertainty: Summary lecture notes, Fall 2012