An edge length is a nonnegative numerical label assigned to an edge of a graph to measure the length or cost of traversing it. A path's length is the sum of its edge lengths, and the shortest-path distance is the infimum of these sums. This metric use is more restrictive than a general edge weight, which can be negative in other models.

For a triangle with edge lengths $\ell (AB)=2$, $\ell (BC)=3$, and $\ell (AC)=10$, the shortest distance from $A$ to $C$ is five via $B$, although the direct edge has length ten. Thus edge length and vertex-to-vertex distance need not coincide.

Strictly positive lengths on a finite connected graph give a metric on its vertices. Zero-length edges can identify distinct vertices at distance zero, producing a pseudometric; negative edges can destroy the metric interpretation. The labels need not equal the apparent lengths of edges in a drawing.

Tail-volume loss and ratio inflation in truncated expiration connects unrecorded late gas to a biased FEV1 to FVC ratio. Suppose a valid first-second volume $A$ is retained, the recorded total is $M$, and additional uncollected volume is $L\ge 0$. The complete ratio is $A/(M+L)$, while using $M$ as FVC gives $A/M$.

If independent information bounds $L\le L_{\max }$, thenFor an original example with $A=2.4$ L, $M=3$ L and $L_{\max }=1$ L, the complete ratio lies between 0.60 and 0.80 under this bound. This is a deterministic interval conditional on the tail bound, not automatically a statistical confidence interval.

Bounding uncollected expiratory volume from terminal flow adds a model. Let volumetric flow rate after the stop time be $Q(T+s)=q_T{e}^{-s/\tau }$. The missing volume isIf $\tau \le {\tau }_{\max }$, this gives $L\le q_T{\tau }_{\max }$. For stipulated terminal volumetric flow rate $q_T=0.050\mathrm{L}{\mathrm{s}}^{-1}$ and ${\tau }_{\max }=4$ s, the bound is 0.20 L. With the same $A$ and $M$, the ratio is then between 0.75 and 0.80.

The bound extends to a positive sum of exponential tails: if each component has terminal volumetric flow rate $q_i$ and time constant at most ${\tau }_{\max }$, then $L={\sum }_i{q}_i{\tau }_i\le {\tau }_{\max }{\sum }_i{q}_i$. Without a justified upper time scale, however, very small terminal volumetric flow rate can coexist with a large slowly emptying volume. A visually flat trace alone does not supply that missing assumption.

The relative inflation from using the truncated ratio is especially simple:for positive $A$. In the bounded 0.20 L example it is at most $0.20/3\approx 6.67\%$. The result assumes termination after a valid first second; an invalid numerator needs another error model.

The primary spirometry standard evaluates end of forced expiration and distinguishes it from the validity of FEV1.^[ref] The calculations explain sensitivity to lost tail volume rather than replace the standard's actual maneuver criteria.

The Germano identity is an exact relation between stresses at two filtering levels and a stress computable from the resolved field. Let a bar denote a grid filter and a hat a test filter. With the subgrid-scale stress conventionthe identity statesIt follows by substituting ${\hat{\tau }}_{ij}=\widehat{\overline{u_i{u}_j}}-\widehat{{\bar{u}}_i{\bar{u}}_j}$ and cancelling the common term. Massimo Germano and collaborators used this relation to construct a dynamic subgrid-scale model.^[ref]

A scalar block-average example makes every term visible. Start with four velocity values grouped as $(0,2)$ and $(2,4)$. Averaging within each group gives $\bar{u}=(1,3)$ and $\overline{u^2}=(2,10)$, hence $\tau =(1,1)$. A test average over the two groups then givesThus $L=T-\hat{\tau }$ reads $1=2-1$. The resolved group averages contain enough information for $L$, although they alone do not determine the original within-group variances.

The identity has no fitted coefficient. To estimate a missing subgrid-scale stress, a closure assumes some model form at both filtering levels and tries to make their difference agree with the known $L_{ij}$. Extracting a varying coefficient from a filter, choosing a filter width and stabilizing a fit are modeling decisions; they do not enter the cancellation proof.

A test filter is an additional spatial averaging filter applied to already resolved data in a dynamic subgrid-scale model. If $\bar{f}=G\ast f$ is the field after the grid filter, a test kernel $H$ givesIt probes interactions within the available resolved motion at a coarser analysis level. It does not measure the original subgrid motion directly.^[ref]

For example, suppose two resolved values of one velocity component are $1$ and $3\mathrm{m}{\mathrm{s}}^{-1}$. A test average gives $\hat{\bar{u}}=2\mathrm{m}{\mathrm{s}}^{-1}$ and $\widehat{{\bar{u}}^2}=5{\mathrm{m}}^2{\mathrm{s}}^{-2}$, so the resolved differenceis nonzero. This quantity is computable from the resolved samples; a dynamic subgrid-scale model uses such information to constrain a closure.

The combined filter is $H\ast G$, so its width cannot always be identified with the width of $H$ alone. A centred box averaging filter of width $\Delta$ has second moment ${\Delta }^2/12$. Combining it with one of width $2\Delta$ gives second moment $5{\Delta }^2/12$, because centred convolution kernels add their second moments. A single box of width $\sqrt{5}\Delta$ has the same second moment, but not the same kernel shape.

Choosing a width convention is therefore part of the model. The Germano identity holds for the filters actually defined; an assumed relation between modeled stresses at those levels is an additional approximation. Near boundaries, the test operation also needs a specified treatment of data outside the available region.

An estimating score has Neyman orthogonality when its population expectation has zero first derivative in every admissible nuisance direction at the truth. Writing $M(\theta ,\eta )=\mathbb{E}\psi (W;\theta ,\eta )$, this means $D_{\eta }M({\theta }_0,{\eta }_0)[h]=0$. It is a property of the score and model, not ordinary perpendicularity of observed data vectors.

For $Y={\theta }_{0}D+g_0(X)+U$, with $\mathbb{E}[U\mid X,D]=0$ and $m_0(X)=\mathbb{E}[D\mid X]$, take $\psi =(Y-\theta D-g(X))(D-m(X))$. A perturbation of $g$ contributes $-\mathbb{E}[h_g(X)(D-m_0(X))]=0$; a perturbation of $m$ contributes $-\mathbb{E}[U{h}_m(X)]=0$. Suitable second-order smoothness then makes small nuisance errors enter the population equation at higher order. Estimation still needs identification, moment and convergence-rate conditions.^[ref]

Fingering convection is a form of double-diffusive convection in which a rapidly diffusing stabilizing contribution to buoyancy competes with a more slowly diffusing destabilizing contribution. The combined mass density stratification can resist an ordinary vertical displacement, yet unequal diffusion permits narrow rising and sinking structures to grow.

A displaced parcel initially carries both contributions. If the restoring anomaly diffuses away faster than the destabilizing anomaly, the remaining buoyancy reinforces its motion. In the common thermal-compositional case, thermal diffusivity exceeds solutal diffusivity; the initial stability of the combined mass density profile is therefore insufficient to decide stability once diffusion acts.^[ref]

In seawater, salt fingering realizes this competition with temperature and salinity: the thermal contribution stabilizes while salt-rich material above fresher material supplies the destabilizing contribution. Its laboratory examples make the different transport rates visible.^[ref]

In a star, chemical composition can play the slower role. A larger mean molecular weight tends to increase mass density at fixed pressure and temperature, so a molecular-weight inversion can oppose the thermal restoring effect. Rapid thermal transport can then permit fingering even when the total local stratification is stable.^[ref]

The density ratio measures the competition, and the salt-finger instability criterion shows why there is also an upper limit to the stabilizing contribution: if it is too strong, unequal diffusion no longer produces growing modes. The elevator mode gives a particularly simple local pattern with vertical motion and no height dependence.

DNAzyme product-release limitation is a kinetic regime in which slow departure of cleaved products delays reuse of a DNAzyme, even when the chemical cleavage step is fast. Product formation and regeneration of free catalyst are separate events. A DNAzyme turnover experiment must therefore distinguish one cleavage per catalyst from repeated cycles.

Consider an intentionally simplified saturated-substrate cycle,Here $ES$ is an enzyme-substrate complex and $EP$ a catalyst–product complex. If the two irreversible steps have exponential waiting times and binding of fresh substrate is effectively immediate, the mean DNAzyme catalytic-cycle waiting time is the sum of their means:With stipulated $k_{\mathrm{chem}}=1{\mathrm{s}}^{-1}$ and $k_{\mathrm{rel}}=0.01{\mathrm{s}}^{-1}$, the average cycle takes 101 s and $k_{\mathrm{turn}}\approx 0.00990{\mathrm{s}}^{-1}$. Making chemistry ten times faster reduces the cycle only to 100.1 s. The slow release dominates this model; the numbers are not measurements of a particular DNAzyme.

Under those assumptions a rapid first cleavage can precede much slower continued production. A burst alone is not a unique identification of slow release: catalyst inactivation or mixed active populations can also change the trace. Comparing chemical cleavage with independent product-dissociation observations is more informative than assigning a mechanism from curve shape alone.

The regime is not a definition of every DNAzyme. The primary kinetic analysis by S. W. Santoro and Gerald F. Joyce instead reported substrate-binding limitation of catalytic efficiency for their RNA-cleaving DNA enzyme under the studied conditions.^[ref] Different concentrations and measured quantities can expose different limiting steps; a claim about efficiency at low substrate is not automatically a claim about the slowest saturated turnover step.

Formazan recovery identifiability asks whether measurements distinguish the amount of formazan formed from the fraction recovered in the optical reading. Better repeatability does not necessarily separate those quantities.

Let $n$ be total product formed, $r\in [0,1]$ the dissolved formazan recovery fraction, and $K=ϵ\ell /V$ a known optical conversion factor in a suitable fixed-path solution model. Then net absorbance isThe manufacturer's procedure separates formation of crystals, dissolution and measurement, motivating these distinct model quantities.^[ref] Knowing $B$ and $K$ determines the dissolved amount $d=B/K=rn$, but not the two parameters separately.

For any admissible scale $a>0$, replacing $(r,n)$ by $(ar,n/a)$ leaves $d$ unchanged, provided $ar\le 1$. For observed $d=6\mu \mathrm{mol}$, both $(r,n)=(1,6\mu \mathrm{mol})$ and $(1/2,12\mu \mathrm{mol})$ fit. In this conserved-product model the bound $r\le 1$ implies $n\ge d$, with no finite upper bound supplied by that measurement alone. This is an identifiability limitation, rather than merely a large measurement uncertainty.

Changing volumes or optical paths can provide several known factors $K_j$, but measurements $B_j=K_{j}rn$ still determine only the same product if $r$ and $n$ stay fixed. Such changes can test the optical law without resolving the underlying ambiguity.

An original matched-addition model illustrates what extra information could help. Suppose a known amount $\Delta n$ is added before the recovery step and experiences exactly the same unknown fraction $r$ as the native product. Converting both readings to dissolved amounts givesIf $d_0=6\mu \mathrm{mol}$ and adding $2\mu \mathrm{mol}$ increases the dissolved amount by $1\mu \mathrm{mol}$, the model gives $r=0.5$ and $n=12\mu \mathrm{mol}$. Adding already dissolved product after the recovery step would instead test later optical response and would not identify earlier losses.

The shared-recovery assumption must be justified: a dissolved spike can behave differently from product crystals formed inside a preparation. A second measurement helps only if its relation to the unknown quantities is independently established. Repeated measurement of the same product $rn$ cannot supply that missing relation.

A flow calorimeter uses a flowing material to carry energy from a measurement region. In a common arrangement, a heated receiver exchanges energy with a coolant stream. Measurements of mass flow rate and inlet/outlet temperatures determine the stream's enthalpy gain, while the vessel and environmental paths are included in the overall balance.^[ref]

For a steady stream with negligible changes in bulk kinetic energy and height,The approximation uses a suitable approximately constant specific heat capacity. An absorber, inlet and outlet thermometers, and a calibrated flow measurement turn this equation into an apparatus rather than just a temperature reading.

For a synthetic example, let $\dot{m}=0.010\mathrm{kg}{\mathrm{s}}^{-1}$ and $c_p=4000\mathrm{J}\mathrm{k}{\mathrm{g}}^{-1}{\mathrm{K}}^{-1}$. A $0.60\mathrm{K}$ rise gives $P_{\mathrm{fluid}}=24\mathrm{W}$. If a 30-watt electrical reference produces this response under matched conditions, the observed response fraction is $0.8$. Under an explicitly tested proportional-response assumption, a later 36-watt fluid reading would correspond to a 45-watt source.

A single calibration point does not establish that assumption at every power. The full balance includes receiver storage and other losses:Warm-up, leakage, thermometer offsets and transport delays can all affect a time-varying measurement. Calorimeter calibration and electrical calorimetry can test the response across a range, with the same thermodynamic system boundary used for calibration and the unknown source.

The alternating digit sum of a nonnegative integer in radix $b\ge 2$ iswith a positive sign on the units digit. Starting the signs from the opposite end can change the overall sign, so the convention should be stated.

Because $b\equiv -1(\mathrm{mod}b+1)$, the positional expansion gives $n\equiv A_b(n)(\mathrm{mod}b+1)$. This proves a divisibility test: $b+1$ divides the number exactly when it divides its alternating digit sum. In decimal notation, $1023$ has alternating sum $3-2+0-1=0$ and equals $11\cdot 93$.

The rule differs from the ordinary digit sum test modulo $b-1$, which instead uses $b\equiv 1$. Both follow from the same modular arithmetic principle of replacing the radix by its residue before evaluating the digit polynomial.

The bit-reversal permutation of $\{0,\dots ,2^m-1\}$ writes each index using exactly $m$ binary digits, reverses those digits, and interprets the result as another index. Leading zeros matter. Reversing twice restores the original index, so this permutation is an involution.

For $m=3$, the index order becomes $0,4,2,6,1,5,3,7$: for example, $3=011_2$ maps to $110_2=6$. It occurs naturally in radix-two Fast Fourier transform implementations. Repeatedly separating even from odd indices consumes the low-order bits first; traversing the resulting recursion tree reverses the order in which the index bits are read. Some implementations permute inputs, others permute outputs, and other layouts avoid an explicit reversal. The discrete Fourier transform itself is independent of this storage choice.^[ref]

Second-order thermal mismatch uncertainty retains product terms that a linear uncertainty propagation can miss when calculating differential thermal-expansion uncertainty. For known nominal length $L$, expansion-coefficient difference $a$ and common temperature offset $\theta$, the correction is $d=La\theta$. Both first derivatives vanish at $a=\theta =0$, but the product of uncertain inputs need not vanish.

An original exact calculation assumes independent random variables with means $a_0,{\theta }_0$ and variances ${\sigma }_a^2,{\sigma }_{\theta }^2$. Independence givesTo derive the variance, use $\mathbb{E}[a^2{\theta }^2]=\mathbb{E}[a^2]\mathbb{E}[{\theta }^2]$ and subtract $a_0^2{\theta }_0^2$. No normal-distribution assumption is required for this independent-input result. The last term is absent from first-order propagation.

For stipulated $L=100\mathrm{mm}$, $a_0={\theta }_0=0$, ${\sigma }_a=10^{-6}{\mathrm{K}}^{-1}$ and ${\sigma }_{\theta }=0.1\mathrm{K}$, the exact standard deviation is 10 nm. A zero central correction therefore does not establish zero uncertainty. The GUM specifically warns that significant nonlinearity requires higher-order terms.^[ref]

Correlated inputs introduce a further distinction between the central product and the output mean. If $(a,\theta )$ has a multivariate normal distribution with covariance $c$, expansion about its means and the Gaussian fourth-moment identity giveThe covariance term in the mean must not be silently discarded. With the same zero means and standard deviations as above, but correlation coefficient $1/2$, the mean correction is 5 nm and its standard deviation about 11.18 nm. These are probability-model calculations, not measured block specifications.

The formulas assume known $L$ and a justified joint input model. A thermal-product input-distribution check must address shared temperature calibration and coefficient estimation before assigning a correlation. NIST's physical comparison procedure treats thermal corrections through measured temperatures and material expansion properties.^[ref] Keeping the nonlinear contribution is useful only when the inputs describe that actual measurement.

Eccentric lumen stenosis concerns a narrowed vessel lumen whose geometry breaks the symmetry of a circular, concentric reference model. Noncircular shape and displacement away from the reference centre are distinct geometric features; neither alone identifies the composition of the surrounding tissue. The practical issue is that one observed diameter may not characterize the remaining lumen area.

For an original noncircular model, take an elliptical lumen with semiaxes $a$ and $b$. Its area and area-equivalent lumen diameter areIf full principal diameters are $D_1=2a$ and $D_2=2b$, then $D_{\mathrm{eq}}=\sqrt{D_1{D}_2}$. This circle has the same area, not necessarily the same flow resistance, as the ellipse.

The width of the ellipse projected onto an axis at angle $\theta$ to its major axis isWith $a=2$ and $b=1\mathrm{mm}$, principal projected widths range from $4$ to $2\mathrm{mm}$. Relative to a circular $4\mathrm{mm}$ reference, those two widths would suggest diameter reductions $0\%$ and $50\%$, although the model's true area reduction is fixed at $50\%$. The area-equivalent diameter is about $2.828\mathrm{mm}$.

This ideal projection calculation explains why observation direction matters. It is not a complete model of a contrast-filled, curved, moving vessel. An observed image also depends on viewing geometry, overlap, resolution and the boundary-reconstruction method. Judkins' primary coronary-arteriography work used selective catheterization with serial and cine recording, providing an apparatus for observing the contrast-filled arterial route.^[ref]

Diameter versus area stenosis conversions that square one diameter ratio assume a circular model. They should not be applied automatically to a single width of an eccentric or noncircular lumen. Two principal diameters can determine the area of the stated ellipse, but a general irregular outline requires more shape information. Shape, percentage narrowing and the physiological consequence of vascular stenosis remain separate questions.

Let a square matrix $A$ have a leading $k\times k$ block $B$. For row and column indices $i,j>k$, let $D_{ij}$ be the determinant formed by bordering $B$ with row $i$ and column $j$, keeping that order. For $i<r$ and $j<s$, the Sylvester identity for bordered minors isIt is a polynomial identity and remains valid when $B$ is singular; dividing by $\det B$ requires an additional nonzero condition.^[ref]

For $k=1$ and $A=\mathrm{diag}(2,3,5)$, the bordered minors are $D_{22}=6$, $D_{33}=10$, $D_{23}=D_{32}=0$. The identity reads $60=2\cdot 30$. In Bareiss algorithm, this identity explains why division by a previous pivot can be exact over the integers.