A symmetric beam-radius perturbation for overlap branch selection compares two controlled settings of one Gaussian beam radius: $q{w}_2$ and $w_2/q$, with known $q>1$. Under the centred, matched-wavefront curvature model of reciprocal size-ratio ambiguity in centred Gaussian overlap, writeThe hyperbolic secant form makes the symmetry explicit: the two settings evaluate the same even function at $u+h$ and $u-h$. Their ordering identifies the sign of $u$, as shown in branch selection by a controlled beam-radius change.

An original extension removes an unknown common scale and recovers the radius ratio itself. Suppose the two measured positive efficiencies satisfyThe factor $A$ is a shared multiplicative nuisance parameter, such as an unchanged response normalization. The symmetric log-overlap ratio eliminates it exactly:For the last equality, use the addition formula for hyperbolic cosine to write the fraction as $(1+t)/(1-t)$, where $t=\tanh u\tanh h$. The defining logarithmic identity for the inverse hyperbolic tangent completes the derivation. Because $h>0$, $D_h$ is positive for the initially narrower beam, negative for the wider beam, and zero at matching.

The inversion of a symmetric Gaussian overlap log-ratio now givesA finite radius ratio exists exactly when $|D_h|<4h$. This condition follows from $|\tanh u|<1$; equality is approached only as one radius ratio tends to zero or infinity. A measured log-ratio outside that interval has no finite solution in this ideal two-setting model.

For an original numerical example, take $q=1.5$, true $\rho =0.8$ and unknown scale $A=0.75$. The ideal readings are $V_{+}=0.7256114$ and $V_{-}=0.5172352$. They give $D_h=0.3385169$, recovering $\rho =0.8$ without supplying $A$ to the inversion. The physical bound is $4h=1.6218604$.

Finite measurement noise still limits branch selection. For small relative errors, the delta method givesA perfectly shared multiplicative fluctuation cancels sample by sample, paralleling common-gain cancellation in heterodyne overlap uncertainty. Independent relative standard uncertainties of $1\%$ in the two readings instead give $u(D_h)\simeq 0.014142$. At the worked point, the derivative of the inverse gives $du/d{D}_h=-0.6780385$, hence about $0.959\%$ relative standard uncertainty in $\rho$. At exact matching the two branches coincide; a noisy sign cannot identify a distinct physical branch there.

These conclusions require $A$ and the other optical mode matching conditions to remain shared across the settings. Changing a lens can alter wavefront curvature and polarization as well as radius. NIST's physical heterodyne apparatus explicitly controlled polarization and spatial matching.^[ref] Larger radius changes may strengthen the log-ratio response while lowering either measured efficiency and changing its noise. Step choice therefore depends on the apparatus and noise model.

Shared-blank covariance in carbon recovery is the statistical dependence between net-carbon results that subtract the same estimated background. Independent specimen measurements can become correlated through that common subtraction. The covariance matters when averaging results, comparing specimens or deciding how much effort to allocate to blank measurements.

Let $Q_i=T_i-\overline{B}$, with independent specimen totals $T_i$ and a shared blank estimate independent of those totals. ThenHere $u_B$ is the standard uncertainty of the blank estimate. The added matrix term represents one shared random quantity, not a separate new blank error for each specimen. Common-reference covariance is explicitly retained in the GUM.^[ref]

For a weighted mean with ${\sum }_i{w}_i=1$,The specimen terms can decrease through averaging, but the shared blank term remains. With independent unequal specimen uncertainties, the minimum-variance weights remain proportional to $1/u_{T_i}^2$ under this particular common-additive model; the common term does not depend on the normalized weights.

A contrast behaves differently: $Q_i-Q_j=T_i-T_j$, so the same blank cancels exactly. This cancellation requires the identical additive correction on the same carbon basis. Different blank batches, collection durations or conversion factors need not cancel. Dividing each result by a different uncertain initial carbon inventory adds another measurement layer.

An original planning example chooses $n_T$ specimen-total measurements and $n_B$ independent blank measurements, with fixed total count $N=n_T+n_B$. If individual standard deviations are ${\sigma }_T,{\sigma }_B$, the net mean has varianceA continuous minimum at equal cost satisfies $n_T/n_B={\sigma }_T/{\sigma }_B$. With stipulated $N=12$, ${\sigma }_T=1$ mg and ${\sigma }_B=2$ mg, four specimen measurements and eight blanks give variance $0.75\mathrm{m}{\mathrm{g}}^2$. Ten specimen measurements and two blanks give $2.1\mathrm{m}{\mathrm{g}}^2$. More specimen readings alone can therefore be a poor allocation. Blank-allocation design for carbon recovery also needs actual preparation costs and biological independence.

The OECD carbon-dioxide evolution test measures gas production relative to inoculum blanks, but notes that endogenous activity with a test chemical may differ from the control.^[ref] Replication estimates random variation under the chosen background model. It cannot establish that the treated system's background is exactly additive. Preserve the experimental blank lineage and distinguish sampling uncertainty from a possible change in the background process.

A bearing axial tolerance stack expresses the effect of contributing dimensional deviations on the realized axial position of a bearing assembly. Each contribution enters with the sign and sensitivity imposed by the geometry. The resulting setting variation consumes bearing axial travel margin. The manufacturer's locating/non-locating bearing discussion identifies relative axial displacement and accumulated dimensional variation as design considerations.^[ref]

For an original linear stack, let shaft, housing and shim deviations be $\delta L_s$, $\delta L_h$ and $\delta t$, with setting errorIf their independent admissible ranges are respectively $\pm 0.02$, $\pm 0.03$ and $\pm 0.01\mathrm{mm}$, the worst-case setting range is $\pm 0.06\mathrm{mm}$. The positive extreme uses the upper shaft and shim deviations with the lower housing deviation. Here “independent admissible ranges” means that all combinations are allowed, rather than a probabilistic independence assertion.

A design with nominal margin0.10mm and required reserve0.05mm can accommodate at most0.05mm of bounded setting error. This stack is therefore too wide by0.01mm. Reducing the housing deviation bound from0.03 to0.02mm makes the worst-case sum0.05mm and meets that geometric reserve exactly. A bearing nominal axial setting can shift the range but cannot shrink its width.

Statistical propagation answers another question. With coefficient vector $a=(1,-1,1)$ and covariance matrix $\Sigma$, the setting variance isFor independent errors with standard uncertainties0.010,0.010 and0.005mm, this gives $u(\eta )=0.015\mathrm{mm}$. If the shaft and housing errors instead have correlation0.9 while the shim remains independent, the subtraction cancels much of their shared variation:giving about0.00671mm. Reversing a geometric sign or changing correlation changes that result. The GUM requires the covariance contribution when inputs are correlated.^[ref]

Neither statistical value replaces the0.06mm deterministic bound without a justified model relating probabilities and allowed ranges. Shared reference measurements or common thermal conditions can introduce dependence. Keeping the dimensional signs, bounds and covariance assumptions in the stack makes the resulting bearing axial setting tolerance reproducible.

Conditioning of two-span beam compliance inference describes how perturbations in two measured compliances and support spans affect the inferred bending coefficient. In the model$C_0$ represents an unchanged series contribution and $B$ is beam flexural rigidity. The cubic beam term follows from the midspan compliance of a simply supported beam.^[ref] The subtraction is sensitive when the spans are close, or when the beam-response difference is small compared with readout errors.

Let $D=L_2^3-L_1^3\ne 0$ and temporarily treat the spans as exact. The sensitivity coefficients are $\partial \hat{a}/\partial C_1=-1/D$ and $\partial \hat{a}/\partial C_2=1/D$. Consequently,This is the standard measurement uncertainty propagation rule applied to a linear combination; the covariance term matters when the readings share errors.^[ref]

For an original numerical comparison, stipulate $B=10\mathrm{N}{\mathrm{m}}^2$, so $a=1/480{\mathrm{N}}^{-1}{\mathrm{m}}^{-2}$, and independent standard uncertainties $u(C_i)=10^{-6}m/N$. Spans $0.200$ and $0.210\mathrm{m}$ give $D=0.001261{\mathrm{m}}^3$ and $u(\hat{a})=0.001122{\mathrm{N}}^{-1}{\mathrm{m}}^{-2}$, about 54 percent of $a$. Increasing the second span to $0.300\mathrm{m}$ gives $D=0.019{\mathrm{m}}^3$ and $u(\hat{a})=0.00007443{\mathrm{N}}^{-1}{\mathrm{m}}^{-2}$, about 3.57 percent. The wider spacing makes the same compliance readout precision much more informative.

Span uncertainty enters through additional sensitivity coefficients:For uncorrelated span readings, their first-order contribution to $u^2(\hat{a})$ is $9{\hat{a}}^2[L_1^4{u}^2(L_1)+L_2^4{u}^2(L_2)]/D^2$, before any compliance/span correlations are included. An identical additive readout offset cancels from $C_2-C_1$, whereas a changing offset does not.

A practical span comparison holds the specimen, contacts, loading position and displacement channel as consistent as possible. Close spans amplify measurement noise; simply choosing distant spans can instead expose a failure of the assumed model. Shear produces a term proportional to $L$, and changing contacts can change $C_0$. A third span tests those assumptions. Finally, inversion to $B$ is strongly nonlinear near $a=0$: the 54-percent case cannot be adequately summarized by a small symmetric relative uncertainty on $B$.

The volt-ampere, symbolVA, is the unit commonly used to express apparent power. At a terminal pair, RMS potential difference in volts multiplied by RMS current in amperes gives the numerical value in volt-amperes. The unit product has the same coherent SI dimensions as the watt:This unit identity does not make apparent power and active power the same quantity. The SI text explicitly warns that different physical quantities can share a unit and that the quantity must be specified.^[ref]

For an original example,250V RMS at8A RMS gives2000VA, or2kVA. If the absorbing load has power factor0.75, its active power is1500W. A1500W value cannot be inferred from the2kVA alone without the phase/waveform information summarized by that factor.

Hypothetical equipment can have separate apparent- and active-power limits. A1000VA/600W limit would permit a500W, factor0.5 load only at the apparent-power boundary, since it requires1000VA. A700W, factor-one load would require only700VA but exceed the separate600W limit. These examples interpret stated numerical constraints rather than specify an actual product's behavior.

For single-frequency sinusoids, the magnitude of complex electrical power is expressed in volt-amperes, while its real part is commonly expressed in watts and its imaginary part in reactive volt-amperes. Those names help keep the quantities distinct even though their base-unit dimensions agree.^[ref] With distorted signals, retain the actual RMS-product definition of apparent power rather than assuming a single fundamental phasor accounts for all current.

The category of affine schemes has affine schemes as objects and morphisms of schemes as arrows. The contravariant functor $A\mapsto \mathrm{Spec}A$ gives an equivalencewith the opposite of the category of commutative rings. Precisely, every ring homomorphism $A\to B$ corresponds to a unique map $\mathrm{Spec}B\to \mathrm{Spec}A$, and every morphism of schemes between affine schemes arises this way.^[ref]

For example, $k[t]\to k[x]$, $t\mapsto x^2$, induces the squaring map of affine lines. A map from $\mathrm{Spec}k$ to $\mathrm{Spec}A$ instead corresponds to a $k$-algebra map $A\to k$, expressing a rational point. A Cartesian product of affine $k$-schemes corresponds to a tensor product of commutative algebras: $\mathrm{Spec}A{\times }_{\mathrm{Spec}k}\mathrm{Spec}B\cong \mathrm{Spec}(A{\otimes }_{k}B)$. Reversing arrows explains why geometric products become algebraic coproducts.

Standard-state activity conversion changes the numerical thermodynamic activity assigned to a fixed physical state when its reference chemical potential changes. The observable equilibrium and physical chemical potential stay the same. The activity and its standard chemical potential must therefore be converted together.

At fixed temperature $T$, writeIf ${\delta }_i={\tilde{\mu }}_i^{\circ }-{\mu }_i^{\circ }$, subtraction givesHere $R$ is the molar gas constant. This follows from the IUPAC definition of relative activity and its specified standard state.^[ref] Changing just the activity in the first equation would instead change the calculated physical chemical potential.

For an invented conversion ${\tilde{a}}_i=10a_i$, the compensating reference shift is ${\delta }_i=-RT\ln 10$. An old activity $0.03$ becomes $0.30$; the two expressions for ${\mu }_i$ are identical. An activity of one consequently identifies a reference condition under the chosen convention, not an invariant amount of material.

An activity conversion of an equilibrium constant follows the same logic. For the reaction A $\rightleftharpoons$ B, take $K=a_B/a_A$ at equilibrium and convert by ${\tilde{a}}_A=10a_A$, ${\tilde{a}}_B=2a_B$. Then $\tilde{K}=K/5$. If $K=5$, the converted value is $1$, whilebecause originally ${\Delta }_r{G}^{\circ }=-RT\ln 5$. For any physical composition, the corresponding reaction quotient also changes by $1/5$, so ${\Delta }_r{G}^{\circ }+RT\ln Q$ remains unchanged. These are reference changes, not altered reaction chemistry.

The same requirement governs activity equality for coexisting liquids: compare activities only after identifying their standard states, composition scales and reference conventions. Equal numerical values expressed under incompatible conventions do not, by themselves, establish liquid-liquid equilibrium.

Two-state vibrational frequency memory models a probe that switches between two frequency environments while retaining a time-dependent relation to its earlier state. It distinguishes state occupancy, a vibrational frequency-state residence time and decay of the vibrational frequency-frequency correlation function.

Let a continuous-time Markov chain switch from state A to B at rate $a>0$ and from B to A at rate $b>0$. Its stationary probabilities areFor spectroscopic wavenumbers ${\nu }_A,{\nu }_B$, the stationary mean is $\overline{\nu }=p_A{\nu }_A+p_B{\nu }_B$ and the variance isThe centered state values form a decaying mode of the two-state transition generator, with rate $a+b$. Consequently,The vibrational frequency-state residence times are instead $1/a$ in A and $1/b$ in B. Correlation decay includes paths that leave and return, so it is not identical to survival without a switch.

An original example uses ${\nu }_A=1000$, ${\nu }_B=1012\mathrm{c}{\mathrm{m}}^{-1}$, $a=0.1$ and $b=0.3\mathrm{p}{\mathrm{s}}^{-1}$. Then $p_A=0.75$, $p_B=0.25$, $\overline{\nu }=1003\mathrm{c}{\mathrm{m}}^{-1}$, $C(0)=27\mathrm{c}{\mathrm{m}}^{-2}$ and ${\tau }_c=2.5\mathrm{ps}$. The residence times are $10$ and approximately $3.33\mathrm{ps}$.

Starting in A, the probability of being in A later isAt $2.5\mathrm{ps}$ it is about $0.842$, while the probability of never leaving A is only $e^{-aT}\simeq 0.779$. Their difference includes return trajectories. At long times, the stationary probability of matching the initial state approaches $p_A^2+p_B^2=0.625$, while normalized frequency covariance tends to zero. A nonzero same-state baseline therefore need not mean persistent covariance.

Primary two-dimensional infrared spectroscopy theory connects waiting-time-dependent spectral geometry with frequency memory under response approximations.^[ref] The rates and wavenumbers above are illustrative. A real assignment also needs spectral resolution, pulse characterization and a population-relaxation model; agreement with one exponential decay does not uniquely establish two microscopic states.

Common-gain cancellation in heterodyne overlap uncertainty is the exact invariance of the normalized beat amplitudewhen the corrected peak beat current $B$ and both separately measured arm currents $I_1,I_2$ are multiplied by the same factor $g>0$. The factor occurs once in the numerator and once in the denominator. This is scale invariance: the ratio is a homogeneous function of degree zero. The cancellation holds for every realization of a random common factor, without requiring it to be independent of the currents.

More generally, take $B,I_1,I_2>0$ and let their residual multiplicative measurement calibration factors be $g_B,g_1,g_2$. The observed normalization satisfiesThus the gain-matching condition for heterodyne normalization is $g_B^2=g_1{g}_2$; the three factors need not all be equal. For example, $g_B=1$, $g_1=1.04$ and $g_2=1/1.04$ leave the ratio unchanged. The denominator depends on the geometric mean of its two factors.

Writing the natural logarithms of the factors as a random vector $\mathbf{G}$ makes the remaining uncertainty particularly clear. With $\mathbf{v}=(1,-1/2,-1/2{)}^T$,This identity is exact for the logarithmic error. The relative variance of the original ratio is only approximately equal to it when the errors are small, as in the variance of a corrected heterodyne overlap estimate. Keeping the covariance terms follows the general measurement-propagation rule.^[ref]

For an original imperfect-sharing model, set $\log g_j={\alpha }_{j}Z+{ϵ}_j$. Assume $Z,{ϵ}_B,{ϵ}_1,{ϵ}_2$ are zero-mean independent random variables. The coefficient of the shared fluctuation is $c={\alpha }_B-({\alpha }_1+{\alpha }_2)/2$, soTake ${\alpha }_B=1$, ${\alpha }_1={\alpha }_2=0.95$, with standard deviations $0.03$ for $Z$, $0.01$ for ${ϵ}_B$ and $0.004$ for each arm's separate error. Then $c=0.05$ and $v_d=0.00011025$, giving logarithmic standard uncertainty $0.0105$, approximately $1.05\%$ relative uncertainty. A large shared fluctuation can leave a small residual, but incomplete matching prevents exact cancellation.

If the log-errors additionally have a normal distribution, then $d\sim N(0,v_d)$ and the normalized readout has a lognormal distribution. Its exact expected value is $\gamma e^{v_d/2}$, not $\gamma$. At $\gamma =0.75$, this example gives mean $0.7500413$ and standard deviation $0.0078757$. The lognormal bias of a heterodyne overlap estimate comes from exponentiating the remaining error; the perfectly shared factor still cancels.

The physical calibration paths determine which model applies. NIST's receiver experiment combined two lasers through a beam splitter, polarizer and single-mode optical fiber, while separately correcting electrical loss and impedance mismatch.^[ref] An electronic gain change confined to the beat-frequency path need not appear in the arm-current measurements. Likewise, adding a current offset is not multiplication by a common factor. Background correction and the sharing of calibration factors must therefore be established before claiming cancellation.

Character-device lifetime after deletion is the interval during which a removed character device still needs valid backing state because existing users can invoke its operations. Linux cdev_del removes the device from new-open lookup; it does not invalidate already-open file descriptors. The kernel explicitly permits their file-operation callbacks after deletion returns.^[ref]

Consider an original event sequence. Process A opens an interface and retains a pointer to driver state. Removal calls cdev_del; process B can no longer obtain a new open through that registration. Process A then calls read. Freeing the state immediately after deletion would make that callback access dead storage: a use-after-free. The lookup lifetime and the backing allocation lifetime are different.

A useful ownership model gives the allocation one registration reference and one reference for each successful open. In a simplified reference counting design with $n$ opens, the reference count is $1+n$. Removal drops the registration reference; each final close drops its open reference. With two opens, the sequence is $3\to 2\to 1\to 0$, and storage is reclaimed only at zero. This is a model of ownership, not a complete driver implementation: taking references must itself be synchronized with removal, and asynchronous work can require additional references.

The character device may be disconnected from its hardware before its storage is reclaimed. Existing operations can observe a synchronized disconnected state and return an appropriate error while the allocation remains valid. Reference protection alone does not make removed hardware usable or serialize simultaneous operations.

For combined device objects, cdev_device_add and cdev_device_del have their own documented pairing and parent-reference rules. The add helper can expose callbacks even when it reports failure; the delete helper distinguishes stopped sysfs callbacks from still-callable operations on existing opens.^[ref] Therefore unwinding a failed character-device registration must follow the actual publication and ownership state. Releasing the device number reservation is separate from proving that every user of private storage has finished.

Extremal calibration for nested confidence families obtains simultaneous protection for many candidate bounds by checking their most demanding marginal endpoints. It uses the ordering of a nested family rather than treating every candidate as an unrelated comparison. The simultaneous event then also protects a choice made after observing the data.

Consider the detection model $r=qp$, with upper confidence bounds $r_U(\alpha )$ decreasing in their failure budget $\alpha$ and lower bounds $q_L(\beta )$ increasing in $\beta$. For a prescribed set of candidate allocations $D$, let ${\alpha }_{\ast }$ and ${\beta }_{\ast }$ be the largest respective budgets, with valid bounds defined at those endpoints. Onevery candidate satisfiesThe union bound gives simultaneous coverage at least $1-{\alpha }_{\ast }-{\beta }_{\ast }$. Neither independence of the estimates nor a finite number of candidates is needed for this common-event proof.

For the line segment $\beta ={\gamma }_0-\alpha$, $a\le \alpha \le b$, the endpoints are ${\alpha }_{\ast }=b$ and ${\beta }_{\ast }={\gamma }_0-a$. The protected failure budget is therefore ${\gamma }_0+(b-a)$. The width of the candidate interval consumes part of the simultaneous budget; it cannot be ignored simply because every point on the segment has the same marginal budget sum.

An original exact-tail example has zero detections in $n=37$ and successful detection of all $m=20$ measurement calibration positives. Binomial distribution tail inversion gives $r_U(\alpha )=1-{\alpha }^{1/37}$ and $q_L(\beta )={\beta }^{1/20}$. NIST describes the one-sided tail construction and simultaneous error-budget principle.^[ref] For candidates $(0.01,0.03)$ and $(0.02,0.02)$, the bounds are about 0.13946 and 0.12201. Their extremal endpoint combination $(0.02,0.03)$ gives about 0.11956 and at least 95% coverage. It is a tighter bound with the larger combined budget, and its validity follows directly from the endpoint event.

The construction requires the stated nesting and valid endpoint bounds. A family whose order reverses or whose measurement calibration changes across candidates needs a new argument. If the lower endpoint bound for detection is zero, the prevalence upper bound is one, rather than an undefined division.

Bootstrap ratio bias with unequal cluster sizes arises because the pooled mean in a cluster bootstrap is a ratio with a random denominator. Let the empirical distribution over the $K$ observed groups assign mass $1/K$ to each pair $(n_j,T_j)$ of group size and response sum. One bootstrap replicate draws $K$ such pairs and computes ${\overline{T}}^{\ast }/{\overline{n}}^{\ast }$. Its conditional expectation need not equal $r=\overline{T}/\overline{n}$, even though the numerator and denominator averages are individually unbiased for their empirical means.

A second-order Taylor expansion of $f(t,n)=t/n$ explains the leading effect. Write $v_n$ and $c_{Tn}$ for the empirical variance of one group size and empirical covariance of one group size with its response sum, using denominator $K$. The conditional bootstrap bias is approximatelyThe second derivatives are $f_{nn}=2\overline{T}/{\overline{n}}^3$ and $f_{tn}=-1/{\overline{n}}^2$; the variances/covariance of the averages bring in $1/K$. This delta method approximation requires a denominator sufficiently concentrated away from zero and control of the remainder. It is not an exact identity for a few highly unequal groups.

For an original three-group example, take $(n,T)=(1,0),(2,2),(4,16)$. Then $r=18/7\approx 2.57143$, $\overline{n}=7/3$, $v_n=14/9$, and $c_{Tn}=26/3$. The second-order bias estimate is $-2/7\approx -0.28571$. Enumerating all $3^3=27$ ordered bootstrap draws instead gives mean about $2.24797$, hence exact conditional bias about $-0.32346$. The approximation identifies the direction and mechanism but misses a visible remainder at this small group count.

Equal group sizes remove the random denominator and this particular ratio bias. If every group has the same response mean, $T_j=r{n}_j$, every replicate ratio is exactly $r$ regardless of size. Neither case justifies replacing a row-weighted estimand with an equally weighted group mean in general; see unequal-cluster weighting in a cluster bootstrap. The primary Stata specification samples entire clusters and allows replicate row counts to vary.^[ref]

Pivot-location uncertainty in a rotational clearance bound describes how an error in the point about which a rigid rotation is modeled changes predicted occupied-point motion. A radius measured about one pivot is not automatically valid about another. The underlying planning problem must include both translation and orientation of the robot’s actual geometry.^[ref]

Let $Q$ be a fixed rotation matrix, $\hat{c}$ the modeled pivot, and $c=\hat{c}+e$ the actual pivot. First suppose the initial physical point $p$ is known exactly and both descriptions use the same rotation $Q$. The modeled and actual endpoints areso their difference is exactlyThis vanishes for zero rotation even if the pivot location is uncertain. Treating pivot error as an arbitrary full translation at every angle can therefore be unnecessarily conservative.

For a rotation through principal angle $0\le \theta \le \pi$ about a known axis direction, the component of $e$ along that direction is unchanged by $Q$. Its perpendicular component giveswhen $\Vert e\Vert \le {ϵ}_c$. The chord-length factor is the same geometry used in the angular clearance bound for a rotating body. For a $30^{\circ }$ rotation and ${ϵ}_c=2\mathrm{mm}$, the maximum endpoint error from pivot location alone is about $1.035\mathrm{mm}$. An equally large pivot offset parallel to the axis produces no endpoint change in this model.

If the initial point also has error $p-\hat{p}=\delta p$ with $\Vert \delta p\Vert \le {ϵ}_p$, thenFor the difference of displacement vectors, rather than final positions, the shape term is $(Q-I)\delta p$, giving the different bound $2({ϵ}_p+{ϵ}_c)\sin (\theta /2)$. The requested geometric quantity determines which allowance applies.

A complementary radius argument bounds total actual motion. If modeled points satisfy $\Vert \hat{p}-\hat{c}\Vert \le \hat{R}$, then $\Vert p-c\Vert \le \hat{R}+{ϵ}_p+{ϵ}_c$, and total point displacement is at most $2(\hat{R}+{ϵ}_p+{ϵ}_c)\sin (\theta /2)$. This is the enclosure approach in uncertainty in a rigid-body bounding radius; it need not equal an endpoint-error calculation against a nominal path.

Correlations can reduce the bound. If the same coordinate-frame translation shifts both the modeled point and pivot, relative geometry may be unchanged; treating those two descriptions as independent physical errors loses that cancellation. Conversely, rotation-axis direction uncertainty in clearance bounds changes $Q$ itself and is not covered by the fixed-$Q$ pivot formula.

A proposed rotary-stage check observes several rigid fiducials, estimates the pivot and axis in one coordinate frame, and compares independent endpoint measurements at several angles with the predicted chord scaling. Include attached tools and measurement uncertainty. When the robot moves against an uncertain obstacle, combine this occupied-point model with a separately justified distance-query enclosure; a correct pivot bound does not establish the obstacle model’s accuracy.

Section compression is shortening of a cut section relative to the corresponding specimen-block dimension, usually measured parallel to the cutting direction in ultramicrotomy. It is a physical deformation introduced during preparation, so an accurately calibrated microscope can still measure a distorted specimen. Manufacturer guidance for polymer sectioning connects reduced compression with smaller knife wedge angles, while noting the resulting greater sensitivity of the cutting edge.^[ref]

Let $L_b$ be a reference length in the block and $L_s$ its recovered section length along the same direction. Define a positive compression fractionThe corresponding engineering strain is $\epsilon =(L_s-L_b)/L_b=-c$. State this sign convention: a reported positive percentage compression and a negative longitudinal strain can describe the same shortening.

For an original geometrical model, a $10\mu \mathrm{m}$ feature recovered as $8\mu \mathrm{m}$ has $c=0.20$. If transverse dimensions are unchanged and the shortening is uniform, an originally circular feature becomes an ellipse with axis ratio $0.8$. Its area becomes $80\%$ of the original, not $64\%$: only one direction was shortened. Under the additional assumption of volume conservation, a nominal $70\mathrm{nm}$ layer would have thicknessNeither transverse constancy nor volume conservation is automatic. Material loss, cracking, relaxation and nonuniform deformation can invalidate the model; section length alone cannot establish recovered thickness.

A useful materials check compares recognizable features in the block face and collected section, recording cutting direction, knife wedge angle, knife clearance angle and specimen conditions. Repeating the comparison at several positions tests whether one compression fraction is adequate. Under the simple model above, expanding the shortened coordinate by $1/0.8=1.25$ would reverse the geometrical shortening, but this is a model-based correction rather than an extra observation. Image registration can align features without proving that it has recovered their original shapes.

A right-topological semigroup is a semigroup with a topology such that, for each fixed $a$, the right translation $R_a:x\mapsto xa$ is a continuous map. The varying input is on the left. Requiring $x\mapsto ax$ instead gives a left-topological semigroup; requiring multiplication jointly continuous gives a topological semigroup.

For a one-sided example, take all functions $\mathbb{R}\to \mathbb{R}$ with function composition and the product topology, so convergence is pointwise convergence. For fixed $g$, the map $f\mapsto f\circ g$ is continuous because its value at $x$ is the evaluation of $f$ at the fixed point $g(x)$.

Left composition can fail to be continuous. Let $g(x)=1$ for $x>0$ and zero otherwise, and let $f_n$ be constant $1/n$. Then $f_n$ converges pointwise to the zero function, but $g\circ f_n$ is constantly one while $g\circ 0$ is constantly zero. Thus right-translation continuity alone does not imply continuity of the other translations.

The tidal range is the difference in sea-surface height between a specified high tide and the neighboring low tide, measured relative to the same datum. A high-water level of $4.2\mathrm{m}$ and low-water level of $1.1\mathrm{m}$ give a range of $3.1\mathrm{m}$.

For a sinusoidal tide $\eta (t)=A\cos \omega t$, the range is $2A$, not the amplitude $A$. Interference between lunar and solar tidal contributions produces larger spring ranges and smaller neap ranges. Coastline geometry, water depth and resonance modify the local response, so the tidal range cannot be inferred from astronomical forcing alone.

A ghost-level consistency test for a delayed pulse replica checks whether measured side lobes agree with the simple model of one real delayed pulse and its nonlinear correlation ghost. It can reject that model; agreement alone does not prove that no real prepulse exists.

Use the separated, identical-shape replica model in third-order pulse correlation ghost. Let $a$ be the positive-delay lobe and $b$ the opposite-delay lobe, each divided by the central correlation peak. For delayed-to-main intensity ratio $0<\epsilon <1$,Thus the measured ratio gives $\epsilon =b/a$, and the first equation supplies an additional consistency condition. The frequently useful approximation $b\simeq a^2$ omits the small central-peak correction; exactly, $b/a^2=1+{\epsilon }^3$.

For an original pair of measured relative heights $a=0.080$ and $b=0.020$, their ratio would require $\epsilon =0.25$. That value predicts $a=0.25/1.015625\approx 0.246$, not $0.080$. These two readings therefore cannot both come from the stated single-replica model with equal instrument sensitivity at the two delays. A real earlier pulse is one possible explanation, but background, unequal pulse shapes or additional replicas can also invalidate the model.

An independent check varies the delayed replica while holding the main pulse fixed. Before central-peak normalization, halving $\epsilon$ halves the real side lobe and quarters its ghost. This attenuation scaling of a third-order correlation ghost probes the nonlinear origin rather than only one accidental height match. The existing parent diagram shows a direct numerical example without an actual pulse at the ghost's delay.

The historical correlator's inserted-etalon experiment provided a controlled physical postpulse and a known temporal direction.^[ref] The algebraic height test here is an independent ideal calculation. Use unsaturated, background-corrected readings with comparable response and lobe resolution; otherwise the measured ratios need not represent the model's intensities.

Gaussian instrument broadening in third-order pulse correlation is the widening produced when an ideal third-order intensity autocorrelation is convolved with an additional Gaussian instrument response. It is a model of the measurement, not a universal correction for every correlator. The finite width of the optical nonlinear gate is already part of the ideal third-order trace and must not be counted again as an independent response.

Let a Gaussian pulse have intensity standard deviation ${\sigma }_I$. Its ideal trace is a Gaussian $C(\tau )=C_0\exp [-{\tau }^2/(2{\sigma }_3^2)]$ with ${\sigma }_3^2=3{\sigma }_I^2/2$. Take the additional normalized impulse response to beThe convolution $M=C\ast R$ isThe response preserves integrated trace area while reducing peak height and increasing variance. Since every Gaussian full width at half maximum has the same conversion factor from standard deviation,

For an original example, ${\tau }_I=80\mathrm{fs}$ and ${\tau }_R=60\mathrm{fs}$ give an ideal correlation width about $98.0\mathrm{fs}$ and a measured width about $114.9\mathrm{fs}$. The peak falls to approximately 0.853 of the ideal peak under this unit-area response. Dividing the measured width only by $\sqrt{3/2}$ would overestimate the pulse duration.

The correct Gaussian inversion is ${\tau }_I=\sqrt{(2/3)({\tau }_M^2-{\tau }_R^2)}$ when the radicand is positive. Its conditioning worsens near the response floor: the derivatives with respect to ${\tau }_M$ and ${\tau }_R$ are $(2/3){\tau }_M/{\tau }_I$ and $-(2/3){\tau }_R/{\tau }_I$. Small width errors can therefore cause large errors in a narrowly resolved pulse. Gaussian pulse-width deconvolution uncertainty must include uncertainty of the characterized response, with covariance if relevant.

The primary correlator used second-harmonic generation, sum-frequency generation, crossed beams and spatial imaging to encode delay. It did not assert that every additional broadening mechanism was a Gaussian convolution.^[ref] To apply this model, characterize the response under the same optical alignment, spectral acceptance and detector conditions. Non-Gaussian wings, clipping or unresolved side lobes require a different model; a smaller sampling step cannot by itself remove optical broadening.