Error Propagation
Differential error propagation rules for systematic and random uncertainties in derived physical quantities.
What it is
Uncertainty propagation is the rigorous mathematical framework used to determine how experimental variations, tolerances, or standard uncertainties in directly measured variables transfer to a derived physical quantity computed through a functional relation .
It is grounded in the first-order multivariate Taylor expansion evaluated around the expected values or sample means of the input variables. When random perturbations are small compared to central values, the deviation of the dependent output is accurately approximated by a linear combination weighted by the partial derivatives of the model function:
Taking the root-mean-square expectation of this deviation under independent (uncorrelated) random variables yields the classic Gauss uncertainty propagation formula:
If statistical correlation exists between input quantities (such as common instrument calibration or shared thermal drift), cross-covariance terms must be strictly included:
Why it appears in physics
Almost no fundamental constant or engineering quantity is measured in isolation. Physicists calculate mass densities , elastic moduli , gravitational acceleration via pendulums , or kinetic energies .
In each case, primary measurement uncertainties (from balances, calipers, timers) interact nonlinearly. Without uncertainty propagation:
- One cannot evaluate whether experimental discrepancies refute theoretical hypotheses or merely reflect instrument noise.
- Experimentalists cannot identify which measurement tool dominates the overall variance budget, making experimental optimization impossible.
- Naively summing absolute upper bounds leads to unrealistically pessimistic error bars or, worse, ignores correlation effects.
Visual or geometric idea
Geometrically, a multivariable function forms a hypersurface in Euclidean space. The input uncertainties define an uncertainty hyperellipsoid or dispersion box centered at with semi-axes given by .
The gradient defines the normal vector and path of steepest change. Linear propagation projects the input hyperellipsoid onto the local gradient line. A steep partial derivative strongly stretches the uncertainty along that axis. Under nonzero covariance, the hyperellipsoid tilts relative to coordinate axes, significantly shifting the length of its projection.
Minimal symbolic language
- General Gauss formula (uncorrelated):
- Linear sum and difference (): Absolute uncertainties add in quadrature weighted by constant scale factors.
- Power-law products and quotients (): Relative fractional uncertainties add in quadrature weighted by absolute power exponents.
- Covariance term with correlation coefficient :
What the result means
The calculated standard uncertainty represents the standard deviation of the output probability distribution. Under approximate Gaussian inputs or asymptotic Central Limit Theorem behavior, the coverage interval carries an approximate level of confidence (), while offers approximately confidence ().
Additionally, the relative variance budget reveals the exact fractional contribution of each instrument to overall experimental error.
When not to use it
- Large relative uncertainties: If and displays strong local curvature (e.g. or ), first-order Taylor truncation fails, producing asymmetric distributions that require Monte Carlo sampling.
- Near-singularities or division by zero: If an interval approaches zero in a reciprocal or logarithmic argument, the theoretical variance diverges and first-order formulas give completely spurious numbers.
- Overlooking strong correlations: Treating correlated calibration constants or shared measurement channels as independent can grossly underestimate final uncertainty or miscalculate differential cancellations.
Operational summary
- Write the explicit model equation .
- Compute analytical partial derivatives and evaluate them at the central mean values .
- Check whether parameters are statistically independent or correlated.
- Combine variances in quadrature according to the Gauss formula.
- Report the final value rounded to consistent significant digits matching standard uncertainty precision.
Error and Uncertainty Propagation Procedure
Before calculating
Before manipulating formulas, ensure that all input variables have defined central values and standard uncertainties stated at the same confidence level (typically standard uncertainty according to the GUM / ISO guide). Verify unit consistency across all parameters and check whether cross-correlations exist among measurement channels.
Step 1: identify the mathematical object
Explicitly write down the physical functional model connecting input parameters to the output variable: Inspect the algebraic structure:
- Is it a pure linear combination ()?
- Is it a power-law monomial ()?
- Is it a complex transcendental relation ()?
Step 2: choose the operation
Select the most efficient evaluation path:
- For monomials and power products: Use fractional relative uncertainty in quadrature: , which avoids tedious partial differentiation.
- For sums and differences: Sum absolute variances directly: .
- For general multivariable equations: Compute analytical partial derivatives explicitly.
Step 3: preserve units and signs
Evaluate each partial derivative at the sample mean coordinate .
- Each partial derivative carries physical dimensions .
- Multiplying by (with units ) ensures the contribution strictly matches output dimensions .
- Preserve algebraic signs of derivatives if covariance terms exist, because conflicting signs with positive covariance reduce total output variance.
Step 4: calculate
Substitute values into the Gauss propagation formula: Evaluate the central output value:
Step 5: interpret the result
- Uncertainty budget: Identify which quadratic component provides the largest percentage to the total variance. That term indicates the experimental bottleneck.
- Significant figures: Round standard uncertainty to one or at most two significant figures (following standard metrological conventions).
- Match the decimal place of the central estimate to the precision of .
- Format the final statement:
Self-check checklist
- Do all terms inside the square root have identical physical dimensions ?
- Did I verify independence before assuming cross-covariances are zero?
- Are relative input uncertainties small enough () to justify the first-order Taylor approximation?
- Does the decimal precision of the central value match the rounded uncertainty?
- Did I remember to square both the partial derivatives and standard uncertainties within the radical?
Guided example: Density of a solid sphere
Physical situation
An experimentalist seeks to determine the mass density of a precision metal sphere by independently measuring its mass on a digital scale and its outer diameter using a Vernier caliper:
- Mass:
- Diameter:
The two measurements are independent (separate instruments).
Mathematical translation
Density is defined through volume and diameter as: For a pure power-law monomial, relative quadrature propagation is preferred:
Step-by-step calculation
- Central density value:
- Individual relative standard uncertainties:
- Quadrature weighting and sum:
- Absolute standard uncertainty:
Reading the result
Rounding uncertainty to one significant figure: (or to two figures: ). The formatted physical result is: The variance decomposition shows that diameter accounts for of the total variance ( vs ). The exponent factor of 3 squares to 9, magnifying relative uncertainty. Upgrading the scale is futile; precision can only be enhanced by using a micrometer screw on the diameter.
Common mistake avoided
Adding relative uncertainties linearly: instead of quadrature summation. Linear addition falsely assumes perfect positive correlation under worst-case limits.
Inverse example: Permissible tolerance for measuring gravity with a simple pendulum
Physical situation
An experimental laboratory requires measuring local gravitational acceleration using a simple pendulum with a strict relative uncertainty limit (). The wire length is nominally measured with standard uncertainty (, ).
Given result
Target global relative uncertainty: . Measured length relative uncertainty: .
Analytical reconstruction
The period for small pendulum oscillations is , which solves for gravity: Quadrature propagation gives: Isolating the required timing tolerance:
For a nominal period :
What physical question it answers
How many consecutive oscillations must be timed if a manual human stopwatch reaction time carries an uncertainty ? Since the average period uncertainty over oscillations is : A minimum of 90 to 100 complete oscillations must be timed to meet the target without requiring electronic photogates.
Limit verification
If , the radicand turns zero or negative, demonstrating that it is physically impossible to achieve the required accuracy on without first upgrading the length measurement, even with a hypothetical atomic clock with zero timing error.
Common Mistakes in Error and Uncertainty Propagation
1. Adding uncertainties linearly instead of in quadrature
It seems reasonable because one intuitively thinks of a "worst-case scenario" where all experimental errors conspire in the same unfavorable direction. It fails because for independent random variables, the probability of every measurement simultaneously hitting its extreme limit in the same destructive direction is virtually zero; positive and negative fluctuations partially cancel out in the root-mean-square average. It is detected when reported error bars are noticeably larger than the actual scatter observed across repeated experimental trials. It is corrected by always combining independent standard uncertainties in quadrature using the square root of the sum of squared partial contributions. Mini-example: for with and , the true combined standard uncertainty is , not .
2. Treating dependent variables as independent
It seems reasonable because breaking a lengthy expression into simple modular sub-blocks and applying standard formulas to each block appears convenient. It fails because if the same measured quantity appears in multiple terms of an equation (such as or differences between positions on the same ruler), the terms are statistically correlated; neglecting cross-covariance leads to massive errors. It is detected whenever a variable bearing the same physical symbol appears in multiple places without computing analytical derivatives directly with respect to original independent inputs. It is corrected by differentiating the full function with respect to primary independent variables, or by including the complete covariance matrix. Mini-example: for , treating the two terms as independent yields , whereas physically identically, carrying exactly zero uncertainty.
3. Forgetting to square partial derivatives or exponents in relative formulas
It seems reasonable because the mathematical notation is dense, making it easy to mistake for . It fails because it destroys dimensional homogeneity: the term under the radical loses dimensions of . It is immediately detected by carrying out a dimensional check inside the radical. It is corrected by verifying that every sensitivity coefficient enters the radical as a squared term. Mini-example: in , fractional relative uncertainty is , so its variance contribution is , never .
4. Using first-order Taylor expansion when relative uncertainties are large
It seems reasonable because Gauss's equation is universally taught as "the propagation formula". It fails because Gauss's formula truncates Taylor series at first order . If and the second derivative is large, the quadratic term significantly biases both the expected value and the variance. It is detected by testing . If this ratio exceeds , linear propagation is invalid. It is corrected by employing Monte Carlo simulations or analytical transformation of probability density functions. Mini-example: if and , linear propagation yields and , but values near zero push toward infinity, generating a heavily skewed distribution whose true mean is far greater than 1.
5. Mismatched decimal precision between central estimate and uncertainty
It seems reasonable because digital calculators show 8 or 10 digits and users reflexively transcribe every digit onto laboratory reports. It fails because reporting is scientific nonsense: if there is uncertainty in the tenths (), digits in the thousandths and millionths carry zero physical significance. It is detected by checking the final decimal place of the central value against that of the uncertainty. It is corrected by rounding standard uncertainty to one significant figure (or two if starting with 1 or 2) and adjusting the central estimate to match that exact decimal rank. Mini-example: rounds to (or ).
Quick detection rule
Before finalizing any uncertainty calculation, apply this three-point sanity filter:
- Dimensions: Does the calculated uncertainty have the exact same physical units as the central value?
- Dominance: Does the parameter with the largest relative uncertainty and highest exponent dominate the total variance?
- Limiting cases: If one input uncertainty tends to zero, does the output uncertainty smoothly reduce to the expected single-variable formula?
Physical Applications of Error and Uncertainty Propagation
1. Elastic modulus determination in tensile testing
Appears in materials science and mechanical engineering when measuring Young's modulus , using load cells for tension force , gauge length , specimen cross-section from micrometer readings, and elongation from laser extensometers. It is calculated using power-law propagation: . The result provides the certified tolerance interval for Young's modulus to assess whether aerospace titanium or steel alloys meet structural safety standards. The critical danger is ignoring the quadratic exponent weighting on diameter (): a mere uncertainty on cylindrical rod diameter escalates into a uncertainty in Young's modulus, potentially concealing material fatigue limits. As a final sanity check, extensometer resolution is verified to dominate for small strains and measurements are benchmarked against standard reference specimens.
2. Thermodynamics: specific heat capacity in calorimetry
Appears when measuring the specific heat capacity of an unknown sample via the method of mixtures: . It is calculated by evaluating partial derivatives with respect to masses , calorimeter water equivalent , and temperature readings . The result gives the material's specific heat with rigorous confidence intervals to distinguish between metals with close heat capacities (such as lead vs gold). The critical danger is assuming temperatures taken with the same probe are independent without assessing systematic calibration drift, or failing to realize that if is tiny, temperature subtraction catastrophically amplifies relative error. As a final sanity check, experiments are designed such that , keeping relative thermal error below .
3. Astrophysics: stellar luminosity from trigonometric parallax
Appears when determining the absolute luminosity of a distant star by measuring apparent radiative flux via photometry and distance , where is trigonometric parallax from astrometry satellites (e.g. Gaia). It is calculated via , yielding: . The result establishes the admissible bolometric energy output used to position stars on the Hertzsprung-Russell diagram and constrain stellar mass and age. The critical danger is applying linear propagation when parallax is comparable to its own uncertainty (, known as the nonlinear Lutz-Kelker bias), where asymmetric distributions cause first-order Taylor expansions to grossly underestimate true luminosity. As a final sanity check, astrometric sources are filtered to require prior to adopting linear Gaussian propagation.
4. Optics: focal length from thin lens conjugate points
Appears on optical benches when determining the focal length of a converging lens by measuring object distance and sharp image distance on a viewing screen: , so . It is calculated by taking implicit derivatives of the reciprocal form: , giving . The result supplies manufacturing tolerances for compound achromatic lenses and microscope objectives. The critical danger is calculating propagation on assuming numerator and denominator are independent, which overlooks strong algebraic covariance and falsely inflates estimated error bars. As a final sanity check, for symmetric conjugate points (), the expression collapses cleanly to .
5. Electromagnetism: electrical resistivity via four-point probe
Appears in solid-state physics when measuring resistivity of a prismatic conductor: , where resistance is , is width, is thickness, and is voltage contact separation. It is calculated by combining fractional uncertainties: . The result provides the intrinsic material resistivity for comparison with quantum Drude-Sommerfeld conduction models. The critical danger is failing to recognize that in thin films, thickness is often sub-micron with relative uncertainties that far exceed all other instrumentation channels combined. As a final sanity check, a variance decomposition table is constructed to confirm what fraction of experimental variance originates from thickness metrology before reporting resistivity values.
Guided Practice: Error and Uncertainty Propagation
Level 1: recognition
Identify the correct propagation formula for the following functions of independent random variables and with standard uncertainties and :
Solution:
- By linear combination: .
- By power monomial (): .
- Differentiating : (the absolute uncertainty of a natural logarithm equals the relative uncertainty of its argument).
Level 2: direct application
Ohm's law gives the power dissipated in an electrical resistor as . Laboratory measurements yield:
- Current:
- Resistance:
Calculate the central dissipated power and its standard uncertainty .
Solution:
- Central estimate: .
- Fractional uncertainties: (); ().
- Relative propagation: .
- ().
- Absolute standard uncertainty: .
- Final statement: or .
Level 3: tool selection
The thermoelectric voltage generated by a thermocouple is , with Seebeck coefficient , and . Which propagation route is preferred: full multivariable expansion or a two-stage modular reduction?
Solution: The two-step modular method is clean and robust:
- Define intermediate temperature difference . Because and are independent: . Central value: .
- Now is a product of two independent variables: Central value: . Absolute uncertainty: . Result: .
Level 4: physical interpretation
Two identical nominal resistors and are wired in parallel: . Compute the standard uncertainty of assuming independent measurements. Explain why parallel combination uncertainty is lower than that of either individual resistor.
Solution: Central value: . Partial derivatives: . By symmetry, . Gauss formula: Result: . Physical interpretation: In parallel circuits, current splits between paths. If one branch resistance fluctuates upwards while the other fluctuates downwards, the total conductance variation partially self-compensates. The sensitivity derivatives are , dampening single-component fluctuations.
Level 5: intentional mistake
A student evaluates the uncertainty of for and . The student writes: "Relative error of is . The denominator is . Treating as a quotient of independent variables, I sum relative errors in quadrature: ". Identify the fatal conceptual error and compute the exact result.
Conceptual failure: The parameter appears in both the numerator and the denominator. Thus, and are not statistically independent; they share a strong positive covariance. Applying the independent quotient formula ignores covariance and grossly overestimates uncertainty.
Rigorous correction: Differentiate directly with respect to original independent variables and : Since and are independent: With central estimate , the true relative uncertainty is , significantly smaller than the student's erroneous .