Multivariate Measurement Uncertainty & GUM Supplement 2
Propagation of Covariance Matrices, Hyper-Ellipsoidal Coverage Regions, and Vector Measurands in Multi-Output Metrology
The foundational Guide to the Expression of Uncertainty in Measurement (GUM) was formulated around a singular premise: a measurement produces a single scalar output quantity, $Y = f(X_1, X_2, \dots, X_N)$. From this single output, metrologists calculate a combined standard uncertainty $u_c(y)$ and expand it to a one-dimensional interval $[y - U, y + U]$.
However, modern precision calibration and industrial metrology frequently produce multiple simultaneous output quantities. Whether measuring the complex impedance of an RF component (resistance and reactance), locating a feature with a 3D Coordinate Measuring Machine (X, Y, Z), or simultaneously determining the slope and intercept of a calibration curve, evaluating outputs independently fails to capture the physical reality of the measurement.
To address this fundamental limitation, the Joint Committee for Guides in Metrology published JCGM 102:2011 (GUM Supplement 2): Extension to any number of output quantities. This guide formalizes vector-valued measurement models, output covariance propagation via Jacobian sensitivity matrices, and the evaluation of hyper-ellipsoidal coverage regions.
1. The Multi-Output Challenge: Why Single-Output Models Fail
When a measurement system evaluates several parameters at the same time, treating each parameter as an isolated scalar is a critical metrological error. Consider three universal calibration scenarios:
Complex Impedance (R, X)
An LCR bridge or Vector Network Analyzer (VNA) measures voltage and current vectors to output real resistance $R$ and imaginary reactance $X$, or magnitude $|Z|$ and phase $\theta$. Because both outputs derive from the identical digitized waveforms and detector calibrations, their uncertainties are intrinsically coupled.
3D CMM Coordinates (X, Y, Z)
A Coordinate Measuring Machine probing a hole center returns spatial coordinates $(X, Y, Z)$. Thermal expansion of the granite bridge, stylus probe lobing, and optical scale alignments affect all three axes simultaneously, generating substantial cross-axis covariances.
Slope & Intercept (m, c)
Fitting a linear calibration function $y = mx + c$ via ordinary or weighted least squares yields estimates for both slope $m$ and intercept $c$. These parameters are universally negatively correlated ($r < 0$); rocking the slope rotates the line around the centroid of the calibration points.
The Fatal Flaw of the "Rectangular Bounding Box"
If a metrologist applies traditional single-output GUM to each output independently, they calculate standard uncertainties $u(y_1)$ and $u(y_2)$, multiply each by $k = 2$, and report two independent intervals:
In two dimensions, the Cartesian product of these two intervals, $I_1 \times I_2$, forms a rectangular bounding box. This practice causes two severe statistical and operational failures:
- Severe Probability Distortion (False Confidence): Even under complete independence, the joint probability of two independent 95% events is $0.95 \times 0.95 = 90.25\%$. In three dimensions (3D CMM), it drops to $0.95^3 = 85.74\%$. Stating that the bounding box represents a "95% confidence region" is statistically false.
- The "Ghost Corner" Problem: When outputs are correlated (e.g. $r = 0.85$), the true probability distribution forms a tilted ellipse. The corners of the rectangular box fall far outside the true ellipse in regions of virtually zero probability density. A manufacturer relying on the box will accept out-of-spec parts located in these empty corners, while rejecting perfectly conforming parts at the tips of the ellipse that fall just outside the box.
2. The Mathematical Framework of GUM Supplement 2
GUM Supplement 2 formalizes the generalization from a single scalar measurand to an $m$-dimensional vector measurand $\mathbf{Y}$, determined by an $N$-dimensional vector of input quantities $\mathbf{X}$.
Input Vector ($N$ Quantities)
Where $\mathbf{X}$ is the vector of input random variables and $\mathbf{x}$ is the vector of best estimates (expectations).
Vector Measurand ($m$ Outputs)
Where $\mathbf{Y}$ is the vector measurand and $\mathbf{y} = \mathbf{f}(\mathbf{x})$ is the vector of output estimates.
The relationship is governed by a vector-valued measurement function $\mathbf{f} = [f_1, f_2, \dots, f_m]^T$:
The Jacobian Sensitivity Matrix ($\mathbf{J}$)
In univariate GUM, sensitivity coefficients are scalars $c_i = \frac{\partial f}{\partial x_i}$. In multivariate GUM, the sensitivity structure is characterized by the Jacobian Matrix $\mathbf{J}$ of dimension $m \times N$:
Each element $J_{ji} = \frac{\partial f_j}{\partial X_i}$ quantifies how sensitively output component $Y_j$ responds to a small perturbation in input component $X_i$.
The Input Covariance Matrix ($\mathbf{U}_{\mathbf{X}}$)
The dispersion and mutual dependencies of all $N$ input quantities are stored in the symmetric $N \times N$ input covariance matrix $\mathbf{U}_{\mathbf{X}}$:
Diagonal terms $u^2(X_i)$ are the input variances, while off-diagonal terms $u(X_i, X_j) = u(X_j, X_i)$ are the covariances evaluated through Type A simultaneous sampling or Type B shared-influence analysis.
The Multivariate Law of Propagation of Uncertainty
Under a first-order Taylor series linearization, the uncertainty of the vector measurand propagates via matrix multiplication into the $m \times m$ output covariance matrix $\mathbf{U}_{\mathbf{Y}}$:
Where $\mathbf{J}^T$ is the transpose of the Jacobian matrix (dimension $N \times m$). The resulting matrix $\mathbf{U}_{\mathbf{Y}}$ is an $m \times m$ symmetric, positive semi-definite matrix:
The diagonal elements $u(Y_j) = \sqrt{[\mathbf{U}_{\mathbf{Y}}]_{jj}}$ represent the standard uncertainties of the respective output components, while the off-diagonal elements define the mutual output covariances.
Metrological Insight: Induced Output Correlation
Even if all input quantities are completely mutually independent ($\mathbf{U}_{\mathbf{X}}$ is strictly diagonal), the output quantities will almost always be correlated whenever they depend on shared inputs! The off-diagonal terms of $\mathbf{U}_{\mathbf{Y}}$ are non-zero:
The output correlation coefficient is then:
3. Hyper-Ellipsoidal Coverage Regions vs. Rectangular Bounding Boxes
In univariate metrology, expanded uncertainty defines a coverage interval $y \pm k \cdot u(y)$. In multivariate metrology, the output uncertainty is defined by a multi-dimensional coverage region $\mathcal{R}_p$ that encloses a specified fraction $p$ (e.g. 95%) of the multivariate probability distribution.
The Mahalanobis Distance & Coverage Hyper-Ellipsoid
Under the multivariate normal distribution (or by central limit theorem for vector sums), the optimal minimum-volume coverage region is an $m$-dimensional hyper-ellipsoid centered at $\mathbf{y}$:
The quadratic form $d_M^2 = (\mathbf{Y} - \mathbf{y})^T \, \mathbf{U}_{\mathbf{Y}}^{-1} \, (\mathbf{Y} - \mathbf{y})$ is the squared Mahalanobis distance. It measures the statistical distance from any point $\mathbf{Y}$ to the center $\mathbf{y}$, weighted by the inverse covariance matrix $\mathbf{U}_{\mathbf{Y}}^{-1}$.
Geometric Comparison: Coverage Ellipse vs. Naive Bounding Box
Visualizing the severe errors of independent scalar intervals in the presence of output correlation ($r = -0.85$).
Geometry & Principal Axes via Eigendecomposition
The geometry of the coverage hyper-ellipsoid is obtained directly from the spectral decomposition of the output covariance matrix $\mathbf{U}_{\mathbf{Y}} = \mathbf{V} \mathbf{\Lambda} \mathbf{V}^T$:
- Principal Axis Directions: The eigenvectors $\mathbf{v}_1, \mathbf{v}_2, \dots, \mathbf{v}_m$ define the orthogonal spatial axes of the hyper-ellipsoid (its rotation in parameter space).
- Semi-Axis Lengths: The length of the $i$-th principal semi-axis is given by:$a_i = k_p \sqrt{\lambda_i}$where $\lambda_i$ is the $i$-th eigenvalue of $\mathbf{U}_{\mathbf{Y}}$ and $k_p$ is the multivariate coverage factor.
- Hyper-Volume of the Ellipsoid: The total volume enclosed by the coverage region is:$V_m = \frac{\pi^{m/2}}{\Gamma\left(\frac{m}{2} + 1\right)} k_p^m \sqrt{\det(\mathbf{U}_{\mathbf{Y}})}$Under a Gaussian distribution, the hyper-ellipsoid is mathematically proven to be the region of absolute minimum volume for any specified coverage probability $p$.
4. Coverage Factor Calculation in $m$ Dimensions ($k = \sqrt{\chi^2_m(p)}$)
In standard univariate GUM, metrologists habitually set the coverage factor to $k = 2$ for an approximate 95.45% confidence interval.
In multivariate metrology, setting $k = 2$ is completely invalid. As the dimension $m$ increases, the probability mass inside a fixed radius drops precipitously.
The Chi-Square ($\chi^2$) Distribution Foundation
Under multivariate normality, the squared Mahalanobis distance $d_M^2$ is the sum of $m$ independent squared standard normal variables. Therefore, $d_M^2$ follows a chi-square distribution with $m$ degrees of freedom:
To encompass a coverage probability $p$ (e.g. $p = 0.95$), the coverage factor $k_p$ must equal the square root of the $p$-quantile of the $\chi^2_m$ distribution:
Multivariate Coverage Factor Reference Table
The table below demonstrates the "dimensionality tax": as dimension $m$ expands, $k$ must increase substantially to maintain a 95% coverage level. Notice the collapse in true coverage if someone mistakenly applies the univariate rule $k = 2$:
| Dimension ($m$) | Physical Metrology Example | $\chi^2_m(0.95)$ | Coverage Factor $k_{95\%}$ | Coverage Factor $k_{99\%}$ | Actual Coverage if $k = 2$ |
|---|---|---|---|---|---|
| m = 1 | Scalar voltage, single gage block length | 3.841 | 1.960 ≈ 2.000 | 2.576 | 95.45% |
| m = 2 | Complex impedance (R, X), 2D laser position (X, Y) | 5.991 | 2.448 | 3.035 | 86.47% (Fail) |
| m = 3 | 3D CMM coordinates (X, Y, Z), Colorimetry (X, Y, Z) | 7.815 | 2.796 | 3.368 | 73.85% (Critical) |
| m = 4 | Full 2-port VNA S-parameters (S11, S21) | 9.488 | 3.080 | 3.644 | 59.40% |
| m = 6 | 6-DOF Robot Pose (X, Y, Z, Roll, Pitch, Yaw) | 12.592 | 3.549 | 4.108 | 35.28% |
For a 2D measurand, the exact cumulative probability within radius $k$ is given analytically by $P(d_M \le k) = 1 - e^{-k^2/2}$. If one sets $k = 2$, the coverage is $1 - e^{-2} = 86.47\%$, leaving over 13.5% of valid calibration results outside the stated interval!
5. Comprehensive Step-by-Step Worked Example: Polar-to-Cartesian Spatial Metrology
To make the matrix arithmetic completely concrete, let us work through an exact metrology problem: a Polar Laser Tracker / Coordinate Measuring System locating a precision fiducial target on an aerospace structure.
Measurement Configuration & Input Specifications
The instrument measures range $r$ (distance from origin) via laser interferometry, and azimuth angle $\theta$ via an optical angular encoder. The outputs of interest are the 2D Cartesian coordinates $(X, Y)$ of the fiducial point.
Because range and angle are measured by independent hardware transducers, their input covariance is zero: $u(r, \theta) = 0$.
Step 1: Calculate Nominal Output Estimates ($\mathbf{y}$)
The vector measurement model is:
Substituting the estimates $r = 100.000\text{ mm}$ and $\theta = 30^\circ$ ($\cos 30^\circ = \frac{\sqrt{3}}{2} \approx 0.866025$, $\sin 30^\circ = 0.500000$):
Step 2: Construct the Input Covariance Matrix ($\mathbf{U}_{\mathbf{X}}$)
Since the inputs are uncorrelated, $\mathbf{U}_{\mathbf{X}}$ is diagonal:
Step 3: Evaluate the Analytical Jacobian Sensitivity Matrix ($\mathbf{J}$)
Taking partial derivatives of each output with respect to each input:
Evaluating numerically at $r = 100$ and $\theta = 30^\circ$:
Step 4: Perform Step-by-Step Matrix Multiplication ($\mathbf{U}_{\mathbf{Y}} = \mathbf{J} \mathbf{U}_{\mathbf{X}} \mathbf{J}^T$)
First, multiply $\mathbf{A} = \mathbf{J} \mathbf{U}_{\mathbf{X}}$:
Next, post-multiply by $\mathbf{J}^T = \begin{bmatrix} 0.866025 & 0.500000 \\ -50.0000 & 86.6025 \end{bmatrix}$ to obtain $\mathbf{U}_{\mathbf{Y}}$:
Element [1,1] (Variance of X):
$u^2(X) = (0.00216506)(0.866025) + (-0.00020000)(-50.0000) = 0.0018750 + 0.0100000 = 0.011875\text{ mm}^2$
Element [1,2] & [2,1] (Covariance between X and Y):
$u(X, Y) = (0.00216506)(0.500000) + (-0.00020000)(86.6025) = 0.0010825 - 0.0173205 = -0.016238\text{ mm}^2$
Element [2,2] (Variance of Y):
$u^2(Y) = (0.00125000)(0.500000) + (0.00034641)(86.6025) = 0.0006250 + 0.0300000 = 0.030625\text{ mm}^2$
Assembling the complete output covariance matrix $\mathbf{U}_{\mathbf{Y}}$:
Step 5: Output Uncertainties & Correlation Analysis
The correlation coefficient is:
Although the raw sensor inputs ($r$ and $\theta$) were 100% uncorrelated, the coordinate transformation induced a massive negative correlation ($r = -0.85$). When $X$ shifts positive due to angular deviation, $Y$ must shift negative!
Step 6: Eigendecomposition & Coverage Ellipse Geometry
We find the eigenvalues of $\mathbf{U}_{\mathbf{Y}}$ by solving the characteristic equation $\det(\mathbf{U}_{\mathbf{Y}} - \lambda \mathbf{I}) = 0$:
Where:
Solving the quadratic equation gives the two principal variances:
Step 7: Determine the 95% Coverage Factor & Ellipse Dimensions
For dimension $m = 2$ at coverage probability $p = 0.95$, we look up the chi-square quantile:
The semi-major axis $a$ and semi-minor axis $b$ of the 95% coverage ellipse are:
Quantitative Comparison: True Ellipse vs. Naive Bounding Box
Area: $A_{\text{ellipse}} = \pi \cdot a \cdot b = \pi \times 0.490 \times 0.122 = 0.188\text{ mm}^2$
✓ Encloses exactly 95.0% of all future measurements. Minimal possible volume.
Box dimensions: $[2 \times 2 u(X)] \times [2 \times 2 u(Y)] = 0.436 \times 0.700\text{ mm}$
Area: $A_{\text{box}} = 0.436 \times 0.700 = 0.305\text{ mm}^2$
✗ 62% larger area than the ellipse, yet only provides ~86.5% joint coverage due to severe correlation distortion!
6. Multivariate Monte Carlo Method (JCGM 102 Clause 7)
When the measurement model $\mathbf{f}(\mathbf{X})$ is strongly non-linear (e.g. high angular uncertainties over large distances) or when input distributions are non-normal (e.g. asymmetric U-shaped RF phase errors), the first-order Taylor series approximation $\mathbf{U}_{\mathbf{Y}} = \mathbf{J} \mathbf{U}_{\mathbf{X}} \mathbf{J}^T$ becomes inadequate.
JCGM 102 Section 7 formalizes the Multivariate Monte Carlo Method (MCM):
- Sample Generation: Generate $M$ independent sample vectors $\mathbf{x}_1, \mathbf{x}_2, \dots, \mathbf{x}_M$ (typically $M = 10^5$ to $10^6$) from the assigned multivariate joint probability density function $g_{\mathbf{X}}(\boldsymbol{\xi})$ of the inputs.
- Vector Model Evaluation: For each drawn vector $\mathbf{x}_k$, evaluate the vector measurement model:$\mathbf{y}_k = \mathbf{f}(\mathbf{x}_k), \quad k = 1, 2, \dots, M$
- Sample Mean and Covariance: Evaluate the sample average vector $\bar{\mathbf{y}}$ and sample output covariance matrix $\mathbf{S}_{\mathbf{y}}$:$\bar{\mathbf{y}} = \frac{1}{M} \sum_{k=1}^M \mathbf{y}_k, \qquad \mathbf{S}_{\mathbf{y}} = \frac{1}{M-1} \sum_{k=1}^M (\mathbf{y}_k - \bar{\mathbf{y}})(\mathbf{y}_k - \bar{\mathbf{y}})^T$
- Coverage Region Construction: Compute the Mahalanobis distance $d_{M,k}^2$ for all $M$ points relative to $\bar{\mathbf{y}}$ and $\mathbf{S}_{\mathbf{y}}$. Sort the distances in ascending order, and define the empirical coverage region boundary at the $p \cdot M$-th index.
- Validation of the Linear Formulation: Compare the coverage factor and region bounds obtained via MCM against the linear Jacobian propagation. If the difference is smaller than the laboratory's numerical tolerance criterion $\delta$, the linear GUM S2 propagation is validated.
7. ISO/IEC 17025 Accreditation & Reporting Guidelines
For laboratories accredited under ISO/IEC 17025:2017, reporting vector measurands on calibration certificates requires specific disclosures to prevent client misinterpretation:
1. Never Report Marginal Intervals Alone
Stating only $X = 86.60 \pm 0.22\text{ mm}$ and $Y = 50.00 \pm 0.35\text{ mm}$ creates the illusion of an independent bounding box. The certificate must state either the full covariance matrix $\mathbf{U}_{\mathbf{Y}}$ or the standard uncertainties alongside the dimensionless correlation matrix $\mathbf{R}$.
2. Explicitly State the Multi-Dimensional Coverage Factor
Always state: "The expanded uncertainty is stated as a 95% coverage hyper-ellipsoid using coverage factor $k = \sqrt{\chi^2_m(0.95)}$ ($k = 2.45$ for $m=2$, $k = 2.80$ for $m=3$), evaluated in accordance with JCGM 102:2011."
3. Conformance Assessment (Pass/Fail) in Vector Space
In modern Geometric Dimensioning and Tolerancing (GD&T) or RF reflection matching, tolerance zones are often circular or spherical (e.g. true position tolerance $\varnothing 0.5\text{ mm}$). A conformance decision is compliant only when the entire 95% coverage ellipse lies within the tolerance boundary, accounting for multivariate guardbanding (ILAC-G8:09/2019).
Multivariate Uncertainty Quick Summary
$\mathbf{Y} = \mathbf{f}(\mathbf{X})$ for $m$ simultaneous outputs.
$J_{ji} = \frac{\partial f_j}{\partial X_i}$ ($m \times N$ matrix).
$\mathbf{U}_{\mathbf{Y}} = \mathbf{J} \, \mathbf{U}_{\mathbf{X}} \, \mathbf{J}^T$ ($m \times m$ output covariance).
$k_p = \sqrt{\chi^2_m(p)}$ ($k = 2.448$ in 2D, $k = 2.796$ in 3D for 95%).