Shared-offset cancellation in a baseline-corrected pulse integral

Shared-offset cancellation in a baseline-corrected pulse integral occurs when the raw integral and its background estimate assign exactly the same coefficient to a common additive error. For sampled readings $\mathbf{x}$, let the corrected energy be $\hat{U}={\mathbf{a}}^T\mathbf{x}$, with weights expressed in the required time and calibration units. Adding an unknown common power offset $c$ givesThus exact cancellation requires ${\mathbf{a}}^{T}1=0$. It is a property of the measurement weights, not an assumption that the offset is negligible. The parent covariance between a raw pulse integral and its baseline correction gives the corresponding variance identity.

An original mismatch example integrates the raw trace over $T=8.0\mu \mathrm{s}$ but mistakenly scales the baseline with $\hat{T}=7.8\mu \mathrm{s}$. With identical calibration, the residual offset is $(T-\hat{T})c$. If $c$ has standard uncertainty $0.30\mathrm{mW}$, its contribution is $0.060\mathrm{nJ}$. It would have vanished for matched durations. A calibration mismatch between raw and blank paths similarly changes their effective coefficients even when their nominal durations agree.

The same linear-algebra test extends to a shared linear drift. If each sample at time $t_i$ gains an error $c_0+c_1{t}_i$, both components cancel whenThese moment conditions for baseline-drift cancellation require the actual sample times and weights. Removing a constant offset does not automatically remove drift, and timing uncertainty can spoil the second condition.

NIST's thermocouple pulse-energy apparatus used before/after baseline averages to compensate background and thermal drift.^[ref] The weight test above is an original general formulation. For uncertain residual errors, propagate the complete joint covariance rather than treating repeated appearances of the same offset as independent.^[ref]

Moment conditions for baseline-drift cancellation specify which polynomial backgrounds a linear measurement removes. Let readings at known times $t_i$ enter the corrected pulse estimate as $\hat{U}={\sum }_i{a}_i{x}_i$, with the integration/calibration units included in $a_i$. A background $b(t)={\sum }_{q=0}^p{c}_q{t}^q$ contributes nothing wheneverSubstitution gives this result directly. The zeroth condition removes a common offset; the first additionally removes linear drift. These conditions concern the actual weights and times, not only the number of background samples.

An original one-bin signal model measures a pulse at $t=0$, with uncontaminated reference samples at $-h$ and $h$. UseThe weights sum to zero and have zero first time moment. Constant and linear backgrounds cancel exactly, but a quadratic background $c_2{t}^2$ leaves bias $-\Delta t{c}_2{h}^2$. With chosen $h=2\mu \mathrm{s}$, $\Delta t=1\mu \mathrm{s}$ and $c_2=0.05mW/\mu {\mathrm{s}}^2$, the bias is $-0.20\mathrm{nJ}$. Here the pulse is stipulated to occupy the central bin; the formula is not a universal integral estimator for an arbitrary waveform.

Cancellation has a noise cost of polynomial baseline cancellation. For independent equal-variance reading errors ${\sigma }^2$, the chosen estimate has variance $(3/2)\Delta t^2{\sigma }^2$, even though its constant and linear bias terms vanish. General correlations use ${\mathbf{a}}^{T}C\mathbf{a}$ instead.^[ref]

NIST's historical pulse-energy apparatus used before/after baselines for background and thermal-drift compensation.^[ref] The polynomial test above is an original general analysis. Pulse contamination in a reference, uncertain timing or drift outside the assumed polynomial family can leave a residual even when the nominal algebraic conditions hold.

The noise cost of polynomial baseline cancellation is the change in random measurement uncertainty when extra background trends are removed. For a linear pulse estimate $\hat{U}={\mathbf{a}}^T\mathbf{x}$ and reading-error covariance matrix $C$,The moment conditions for baseline-drift cancellation constrain $\mathbf{a}$ to reject specified polynomial backgrounds. They do not make the remaining random error vanish.^[ref]

For an original comparison, assume a pulse occupies only the central sample and the other samples contain background alone. Three samples at $-h,0,h$ with weights $\Delta t(-1/2,1,-1/2)$ cancel constant and linear backgrounds. Five samples at $-2h,-h,0,h,2h$ can instead useThese weights preserve the central signal and have zero moments of orders $0,1,2,3$. For independent reading errors of equal variance ${\sigma }^2$, the three-sample variance is $3\Delta t^2{\sigma }^2/2$, while the five-sample variance isWith $\sigma =1\mathrm{mW}$ and $\Delta t=1\mu \mathrm{s}$, the standard uncertainties are approximately $1.225$ and $1.394\mathrm{nJ}$. The second design removes quadratic and cubic drift as well, but its larger reference weights increase noise. This compares two specified estimators; it is not a claim that collecting more background data must worsen precision.

NIST's pulse-energy apparatus used before/after baseline measurements for background and thermal-drift correction.^[ref] The polynomial comparison above is an original model for choosing such measurements. Choosing minimum-noise weights under baseline moment constraints can exploit additional reference samples and their measured correlations. Pulse leakage into a reference or drift outside the cancelled polynomial family still creates bias.

Minimum-noise weights under baseline moment constraints choose a linear pulse estimator with the smallest variance among those that preserve a specified signal and remove specified backgrounds. Write the reading vector as $\mathbf{x}=\theta \mathbf{s}+H\mathbf{\beta }+\mathbf{ϵ}$, where $\mathbf{s}$ is a known signal template, the columns of $H$ contain baseline shapes, and the error covariance matrix $C$ is positive definite. For $\hat{\theta }={\mathbf{a}}^T\mathbf{x}$, requireColumns $1,t,t^2,\dots$ in $H$ implement the moment conditions for baseline-drift cancellation. The noise cost of polynomial baseline cancellation depends on which feasible weights are chosen.

If the constraint columns are independent, Lagrange multipliers giveFor any feasible perturbation $\mathbf{v}$, $F^T\mathbf{v}=0$ and ${\mathbf{v}}^{T}C\mathbf{a}=0$, so the variance increases by ${\mathbf{v}}^{T}C\mathbf{v}$. This proves the minimum and connects the estimator to generalized least squares. The covariance propagation is the full quadratic form, not a sum that discards correlations.^[ref]

For an original one-bin pulse example, use five equally spaced times $-2h,-h,0,h,2h$, a signal present only at the centre, and independent errors of variance ${\sigma }^2$. To remove just constant and linear backgrounds, the optimal dimensionless weights are $(-1/4,-1/4,1,-1/4,-1/4)$. Their variance is $5{\sigma }^2/4$, lower than $3{\sigma }^2/2$ for the centre and its two nearest references alone. Multiplying the amplitude estimate by a bin duration $\Delta t$ gives energy variance $5\Delta t^2{\sigma }^2/4$. Extra uncontaminated references can reduce noise when the cancelled background family stays the same.

The inverse requires genuinely independent constraints. Constraint redundancy in baseline-noise minimization calls for removing redundant columns and checking feasibility; a signal template inside the nuisance span cannot be preserved while that span is rejected. NIST's before/after pulse baselines provide the physical measurement context.^[ref] The five-point design is an original idealization and assumes no pulse signal in its reference samples.

Constraint redundancy in baseline-noise minimization occurs when some signal-preservation or baseline-rejection conditions are linear combinations of others. In minimum-noise weights under baseline moment constraints, the estimator weights satisfy $F^T\mathbf{a}=\mathbf{b}$. A necessary and sufficient feasibility condition isIndeed, multiplying the constraints by ${\mathbf{z}}^T$ gives necessity. Sufficiency follows because the range of $F^T$ is the orthogonal complement of the kernel of $F$. Redundant conditions are harmless only when their required responses obey the same dependencies.

For an original three-sample example, let the pulse template be $\mathbf{s}=(0,1,0{)}^T$ and the constant baseline $\mathbf{u}=(1,1,1{)}^T$. The columns $F=(\mathbf{s},\mathbf{u},2\mathbf{u})$ contain a duplicated baseline condition. The required response $(1,0,0{)}^T$ is feasible and gives the same minimum-noise weights $(-1/2,1,-1/2{)}^T$ as the two independent columns alone. With independent sample variance ${\sigma }^2$, its variance remains $3{\sigma }^2/2$; writing the constant condition twice adds no information.

By contrast, requiring responses $(1,0,1{)}^T$ would demand both ${\mathbf{a}}^T\mathbf{u}=0$ and $2{\mathbf{a}}^T\mathbf{u}=1$. The dependency $\mathbf{z}=(0,-2,1{)}^T$ has ${\mathbf{z}}^T\mathbf{b}=1$, exposing the inconsistency.

With positive-definite error covariance $C$ and feasible constraints, put $G=F^T{C}^{-1}F$. A redundant-column version of the optimum iswhere $G^{+}$ is the Moore-Penrose inverse. Feasibility ensures $G{G}^{+}\mathbf{b}=\mathbf{b}$. Without the null-space feasibility test for baseline-estimator constraints, this formula can silently return approximate responses instead of the requested exact cancellations. Variance still uses the full covariance quadratic form.^[ref]

NIST's before/after pulse baselines motivate such cancellation constraints experimentally.^[ref] A singular value decomposition can diagnose numerical dependence, but a small singular value caused by time units or poor scaling is not automatically permission to discard a physical drift-rejection requirement.

The null-space feasibility test for baseline-estimator constraints determines whether any measurement weights can preserve a specified pulse response while removing the requested backgrounds. Write the conditions as $F^T\mathbf{a}=\mathbf{b}$. The criterion in constraint redundancy in baseline-noise minimization is that $\mathbf{b}$ be orthogonal to every vector in the kernel of $F$.

A singular value decomposition makes this a finite test. Let $V_0$ contain an orthonormal basis for the kernel of $F$ and $V_r$ the complementary right singular vectors. ThenThe vector $\mathbf{e}$ is the component of the required responses outside the attainable response space. No covariance weighting can make an exactly infeasible set of responses feasible.

For an original three-reading example, suppose the sampled signal template is constant: $\mathbf{s}=(1,1,1{)}^T$. Requiring unit signal response while rejecting a constant baseline gives $F=(\mathbf{s},\mathbf{s})$ and $\mathbf{b}=(1,0{)}^T$. The kernel basis vector $(1,-1{)}^T/\sqrt{2}$ has inner product $1/\sqrt{2}$ with $\mathbf{b}$, so the conditions are incompatible. A constant signal cannot be distinguished from an unknown constant background by those readings alone.

Projecting $\mathbf{b}$ onto the attainable space gives $(1/2,1/2{)}^T$. The minimum-norm approximate weights are $(1/6,1/6,1/6{)}^T$, giving both signal and baseline response one half. Under independent unit-variance errors their variance is only $1/12$, but this low value belongs to a different, biased measurement response. It does not solve the requested cancellation problem.

A numerical feasibility residual for baseline constraints needs meaningful scaling of the conditions and a justified singular-value tolerance. Changing time units or allowing a small physical leakage changes the numerical interpretation; it must not silently turn an exact rejection requirement into an approximate one.

NIST's before/after pulse baselines motivate the physical need for a separable pulse and background.^[ref] Once feasibility is established, minimum-noise weights under baseline moment constraints uses the actual error covariance to choose among valid estimators. Extra timing information or a different signal template can restore identifiability when the original conditions fail.

A numerical feasibility residual for baseline constraints measures how closely computed pulse-estimator weights satisfy their requested responses. For $F^T\mathbf{a}=\mathbf{b}$, evaluateThis is not the same diagnostic as the projected unattainable response in null-space feasibility test for baseline-estimator constraints. That test asks whether a solution exists at the chosen matrix rank; the residual checks the weights actually returned.

Small numerical components need physical scaling. If the measurement model is $\mathbf{x}=\theta \mathbf{s}+{\sum }_j{\beta }_j{\mathbf{h}}_j+\mathbf{ϵ}$, an estimator intended to preserve the signal and reject the backgrounds instead has biasThus an unweighted Euclidean residual norm is not a universal error bound. Coefficient magnitudes and the units of each constraint matter.

For an original example, suppose the constant-background residual is $r_0=10^{-6}$ and the linear-time residual is $r_1=10^{-12}\mathrm{s}$. A background offset $1\mathrm{mV}$ contributes $1\mathrm{nV}$ through the first residual. A drift rate $1mV/\mu \mathrm{s}=10^{3}V/s$ also contributes $1\mathrm{nV}$ through the second. The much smaller raw numerical value is not a much smaller physical leakage. Expressing time in microseconds changes $r_1$ to $10^{-6}\mu \mathrm{s}$ without changing that leakage.

A response-normalized tolerance for baseline-feasibility residuals can specify allowed response errors ${\delta }_j>0$ in matching units and check $\eta ={\max }_j|r_j|/{\delta }_j\le 1$. When coefficient bounds $|\theta |\le B_s$, $|{\beta }_j|\le B_j$ are justified, the corresponding bias bound is $B_s|r_s|+{\sum }_j{B}_j|r_j|$. A noise-minimizing estimator still needs a separate variance calculation from the actual covariance.^[ref]

NIST's before/after pulse baselines provide the physical setting for rejecting background and drift.^[ref] Report the chosen constraint scaling and tolerated leakage. A small solver residual alone establishes neither low variance nor negligible bias for every possible background.

A response-normalized tolerance for baseline-feasibility residuals measures a pulse estimator's constraint errors against physically chosen response limits. For residual $\mathbf{r}=F^T\hat{\mathbf{a}}-\mathbf{b}$, assign positive tolerances ${\delta }_j$ in the corresponding response units and calculateThe criterion $\eta \le 1$ means every specified response limit is satisfied. Numerical feasibility residual for baseline constraints explains why a raw unscaled norm alone has no universal physical interpretation.

These tolerances can enforce a deterministic bias budget. If signal and background coefficients are bounded by $|\theta |\le B_s$ and $|{\beta }_j|\le B_j$, thenThe second inequality follows when the normalized test passes. The allocation of a deterministic bias budget among baseline constraints therefore connects a numerical acceptance criterion to a stated physical error allowance.

For an original example, bound the signal amplitude by $1\mathrm{mV}$, constant background by $20\mathrm{mV}$ and drift rate by $100V/s$. Choose signal-response tolerance $2\times 10^{-6}$, constant-response tolerance $2\times 10^{-7}$ and linear-time-response tolerance $4\times 10^{-11}\mathrm{s}$. Their maximum bias contributions are respectively $2$, $4$ and $4\mathrm{nV}$, totaling $10\mathrm{nV}$. If all actual residuals are half these tolerances, $\eta =0.5$ and the corresponding bias bound is $5\mathrm{nV}$.

The normalized test can be invariant to constraint units. Multiplying one equation and its required response by a nonzero factor $q_j$ multiplies its residual by $q_j$; replacing its tolerance by $|q_j|{\delta }_j$ keeps the ratio unchanged. The associated coefficient bound changes inversely, so the physical product $B_j{\delta }_j$ is unchanged as well.

NIST's before/after pulse baselines supply a measurement setting where residual offset and drift responses matter.^[ref] The example bounds and tolerances are stipulated, not specifications of that apparatus. This deterministic leakage test is separate from noise variance, which needs the actual measurement covariance.^[ref] Backgrounds outside the assumed family also need separate treatment.

Allocation of a deterministic bias budget among baseline constraints assigns how much residual signal-response and background-leakage error each constraint may contribute. Let the allowed total bias be $E>0$, and let coefficient bounds $B_j>0$ multiply response errors $r_j$. Choose nonnegative fractions $f_j$ with ${\sum }_j{f}_j\le 1$ and setIf every computed response obeys $|r_j|\le {\delta }_j$, the triangle inequality gives $|\mathrm{Bias}|\le {\sum }_j{B}_j{\delta }_j\le E$. The response-normalized tolerance for baseline-feasibility residuals checks those component limits. Positive tolerances require positive allocated fractions; a zero allocation demands exact cancellation in the stated model.

For an original example, take $E=12\mathrm{nV}$ and bounds of $2\mathrm{mV}$ for signal amplitude, $10\mathrm{mV}$ for constant background and $100V/s$ for linear drift. Allocate fractions $1/6$, $1/3$ and $1/2$. The respective bias shares are $2$, $4$ and $6\mathrm{nV}$, giving tolerancesEqual bias shares would instead allow $4\mathrm{nV}$ each, relaxing the signal-response tolerance to $2\times 10^{-6}$ while tightening the drift tolerance to $4\times 10^{-11}\mathrm{s}$. Both allocations guarantee the same total bound when their assumptions hold; their numerical and experimental demands differ.

An allocation should reflect attainable constraint accuracy and the cost of tightening each response. Cost-weighted allocation of baseline-response tolerances can formalize that tradeoff. Equal numerical tolerances across differently dimensioned conditions do not mean equal physical bias contributions. If a bound $B_j$ is uncertain, use a justified upper bound or include its uncertainty explicitly before calling the total a guarantee.

NIST's pulse-energy apparatus used before/after measurements for baseline and drift correction.^[ref] The bounds above are illustrative design choices. This budget controls deterministic leakage within the assumed background family. It is separate from measurement-noise variance, whose covariance contributions must still be propagated.^[ref]

Cost-weighted allocation of baseline-response tolerances chooses how tightly to enforce each baseline constraint when different tolerances require different effort. The allocation of a deterministic bias budget among baseline constraints gives the physical restriction ${\sum }_j{B}_j{\delta }_j\le E$. An optimization also needs an explicit cost model; the bias bound alone does not choose a unique allocation.

For one illustrative model, let $0<{\delta }_j\le {\delta }_j^{\mathrm{ref}}$ and minimizeTighter tolerances cost more, and the logarithm compares quantities in matching units. This is a stipulated convex effort model, not an empirical law for every numerical solver or measurement procedure.

When the budget binds and no reference upper bound is active, a constraint multiplier gives $-a_j/{\delta }_j+\lambda B_j=0$. ThereforeThe positive curvature $a_j/{\delta }_j^2$ establishes the unique interior minimum. A more expensive-to-tighten condition receives more of the allowed physical bias, while its coefficient bound converts that share to response units.

For an original two-constraint example, take $E=10\mathrm{nV}$, offset bound $B_1=10\mathrm{mV}$, drift-rate bound $B_2=100V/s$ and costs $a_1=1$, $a_2=3$. The optimum allocates $2.5$ and $7.5\mathrm{nV}$, giving ${\delta }_1=2.5\times 10^{-7}$ and ${\delta }_2=7.5\times 10^{-11}\mathrm{s}$. If their reference limits are $10^{-5}$ and $10^{-8}\mathrm{s}$, both are interior. Compared with equal physical bias shares, this optimum reduces the chosen cost by $\log (1/2)+3\log (3/2)\approx 0.523$ cost units.

Active-set clipping in cost-weighted baseline-tolerance allocation is needed if an interior solution exceeds a reference limit. If all reference limits already satisfy the bias budget, no tightening is needed in this cost model. Otherwise cap active components and redistribute the remaining budget among the others.

NIST's pulse-energy baselines motivate controlling residual offset and drift responses.^[ref] The selected tolerances control deterministic leakage within the stated coefficient bounds. Noise variance and unmodelled background shapes remain separate parts of the measurement analysis.

Active-set clipping in cost-weighted baseline-tolerance allocation enforces the reference caps that an interior solution of cost-weighted allocation of baseline-response tolerances may violate. Keep the parent's stipulated logarithmic effort modelHere $B_j{\delta }_j$ is a physical bias contribution in the common units of $E$. If $E\ge {\sum }_j{B}_j{\delta }_j^{\mathrm{ref}}$, no tightening is needed. Otherwise the budget binds, and the Karush-Kuhn-Tucker conditions giveThe positive Lagrange multiplier $\lambda$ prices scarce bias budget. For a set $A$ of capped components and remaining free set $F$, stationarity givesprovided the denominator is positive and the resulting choices agree with the proposed capped/free status. The monotonicity of the multiplier equation for capped tolerances permits a scalar search; strict convexity of the objective gives a unique allocation.

For an original cap-activating version of the parent's apparatus example, let $E=10\mathrm{nV}$, $a_1=1$, $a_2=3$, $B_1=0.01\mathrm{V}$, and $B_2=100\mathrm{V}{\mathrm{s}}^{-1}$. Set reference bias contributions $B_1{\delta }_1^{\mathrm{ref}}=1\mathrm{nV}$ and $B_2{\delta }_2^{\mathrm{ref}}=20\mathrm{nV}$. The unconstrained shares $2.5$ and $7.5\mathrm{nV}$ violate the first cap. Capping it leaves $9\mathrm{nV}$ for the second component, soMerely clipping the first share and leaving the second at $7.5\mathrm{nV}$ wastes $1.5\mathrm{nV}$ of permitted bias and unnecessarily increases the chosen effort. Reallocation lowers that effort by $3\log (9/7.5)\approx 0.547$ units.

The physical motivation remains leakage from residual offset and drift in a pulsed-radiometer baseline, documented in NIST's calibration apparatus.^[ref] The logarithmic cost and the numerical caps here are illustrative assumptions, not reported apparatus constants.

Monotonicity of the multiplier equation for capped tolerances makes the allocation in active-set clipping in cost-weighted baseline-tolerance allocation computable by a scalar search, even at a change of active constraints. Express each capped physical bias contribution as $c_j=B_j{\delta }_j^{\mathrm{ref}}>0$. The total allocated bias at positive Lagrange multiplier $\lambda$ isEach summand is continuous and nonincreasing. Its breakpoint is $\lambda =a_j/c_j$; below that value it is capped, and above it it is strictly decreasing. Between breakpoints,Thus $Q$ is initially constant at ${\sum }_j{c}_j$ and becomes strictly decreasing once the first component is free. Continuity persists when the derivative changes.

For a binding budget $0<E<{\sum }_j{c}_j$, there is exactly one solution of $Q(\lambda )=E$. It lies in the explicit positive bracketbecause $Q({\lambda }_{\mathrm{lo}})={\sum }_j{c}_j>E$ and $Q({\lambda }_{\mathrm{hi}})\le E$. The bisection method preserves a bracket without requiring a derivative at the root. A tolerance-budget residual bound for multiplier bisection can then relate the stopping rule to the physical bias budget instead of only to the multiplier's units.

For an original dimensionless illustration, take $(a_1,a_2,a_3)=(1,2,1)$, $(c_1,c_2,c_3)=(1,1,4)$, and $E=3$, with bias expressed in one common reference unit. The bracket is $[1/4,4/3]$. At $\lambda =1$, the contributions are $(1,1,1)$ and sum to three. This root is itself a breakpoint: the first contribution changes between capped and free there. The derivative is $-1$ just below it and $-2$ just above it, while the function remains continuous and strictly decreasing.

The argument uses the positive coefficients and logarithmic effort model specified by the parent. NIST's pulse-radiometer discussion motivates controlling offset and leakage, but does not prescribe that mathematical cost model.^[ref]

A tolerance-budget residual bound for multiplier bisection controls the physical bias left unused by a numerical allocation, rather than only the numerical error in its Lagrange multiplier. Use $Q(\lambda )={\sum }_j\min (c_j,a_j/\lambda )$ from monotonicity of the multiplier equation for capped tolerances. Suppose a positive bracket $[\ell ,u]$ satisfies $Q(\ell )\ge E\ge Q(u)$. Choosing the upper endpoint gives a feasible allocation, with residualChoosing the lower endpoint can violate the budget. The direction of monotonicity therefore matters even when both endpoints are numerically close.

For an a priori bound, put $A={\sum }_j{a}_j$. On the entire bracket, each summand obeys Lipschitz continuity with constant at most $a_j/{\ell }^2$, including across its breakpoint. HenceAfter $m$ bisections of an original bracket $[{\ell }_0,u_0]$ with ${\ell }_0>0$, the corresponding worst-case bound is $A(u_0-{\ell }_0)/(2^m{\ell }_0^2)$. This is conservative; evaluating the two endpoint budgets can give a much tighter residual certificate.

For an original stopping example, use $(a_j)=(1,2,1)$, $(c_j)=(1,1,4)$ and $E=3$ in common normalized bias units. The bracket $[0.99,1.03]$ straddles the root. Its feasible upper endpoint leaves $3-Q(1.03)\approx 0.05825$ unused. One bisection evaluates $Q(1.01)<3$ and replaces the upper endpoint, reducing that unused amount to about $0.01980$. A residual allowance of $0.03$ is now met, despite a breakpoint lying inside the bracket.

This gives a thresholded stopping of a capped-tolerance multiplier search in the same units as the permitted bias. Floating-point comparisons also need an allowance for rounding if they are to serve as hard certificates. The underlying bias coefficients and cost model remain assumptions of cost-weighted allocation of baseline-response tolerances; numerical precision cannot validate missing physical terms. NIST's pulse-radiometer account motivates the offset/leakage constraints rather than prescribing this numerical stopping rule.^[ref]

Thresholded stopping of a capped-tolerance multiplier search ends a numerical allocation when a feasible physical budget is sufficiently well used. With the decreasing budget function $Q(\lambda )$ in tolerance-budget residual bound for multiplier bisection, an exact upper bracket endpoint $u$ satisfies $Q(u)\le E$. A residual requirement is $E-Q(u)\le \zeta$, where $\zeta >0$ has the same physical units as the permitted deterministic bias $E$. A small change in $u$ alone does not establish that condition.

Numerical evaluation also needs a bound. Suppose the reported value $\overline{Q}$ has validated absolute error $|Q-\overline{Q}|\le {ϵ}_Q$. Both feasibility and the residual requirement are certified ifEquivalently, the acceptable reported value lies inThis window is empty if $\zeta <2{ϵ}_Q$. Iterating the multiplier more accurately cannot by itself overcome an evaluation-error bound larger than the desired physical certificate.

For an original numerical certificate, let $E=10\mathrm{nV}$, $\zeta =0.10\mathrm{nV}$ and ${ϵ}_Q=0.02\mathrm{nV}$. Values $9.92\le \overline{Q}\le 9.98\mathrm{nV}$ are certifiable. A reported $9.95\mathrm{nV}$ places the actual budget in $[9.93,9.97]\mathrm{nV}$, so it is feasible and leaves at most $0.07\mathrm{nV}$ unused. A reported $9.99\mathrm{nV}$ is closer to ten but could represent $10.01\mathrm{nV}$ and therefore does not certify feasibility.

The evaluation allowance must itself be justified, for example by validated arithmetic or an explicit forward-error analysis. Uncertain physical coefficients also need their stipulated worst-case bounds before the numerical sum can certify the physical error. NIST's pulse-radiometer discussion motivates the offset and leakage terms; it does not provide the hypothetical numerical tolerances above.^[ref]