Zip1 is a meiosis-associated protein of Saccharomyces cerevisiae that forms part of the central region of the synaptonemal complex. It helps build the scaffold between homologous chromosomes during chromosome synapsis; ZIP1 denotes the gene encoding it.^[ref]

In the original mutant study, homologous chromosomes could pair, but normal synaptonemal complex formation failed and the cells arrested before the first division of meiosis. Immunofluorescence using antibodies against Zip1 located the protein on synapsed chromosomes rather than on unsynapsed chromosome axes.^[ref]

Together, loss of function and localization connect a molecular component to a visible structure. Merely seeing two nearby homologues measures pairing; detecting a continuous synaptonemal complex asks a different structural question. That separation makes Zip1 useful for studying how chromosome synapsis relates to meiotic recombination.

Symplectic topology studies global properties of symplectic manifolds and maps preserving their symplectic forms. Local coordinates put every symplectic form in the same standard form, by the Symplectic Darboux theorem; global embedding and deformation problems can nevertheless have rigid obstructions.

A striking example is the Gromov non-squeezing theorem. In ${\mathbb{R}}^{2n}$ with its standard symplectic form, the ball $B^{2n}(R)$ embeds symplectically into the cylinder $B^2(r)\times {\mathbb{R}}^{2n-2}$ only if $R\le r$. For $n\ge 2$ the cylinder has infinite volume, so ordinary volume comparison cannot explain the obstruction. The selected two-dimensional plane is a conjugate coordinate plane. Tools such as J-holomorphic curves connect this global rigidity to topology and Hamiltonian mechanics.^[ref]

A robust swing-foot clearance margin is a guaranteed lower separation between a robot's swing foot and terrain over a specified crossing interval and set of allowed errors. It differs from clearance computed only for a nominal trajectory. The interval must exclude intended ground contacts when a strictly positive margin is required.

An original point-foot model lets the planned terrain be $H(x)$ and the planned clearance be $c_0=z-H(x)$. Assume actual vertical foot error $|{\delta }_z|\le {ϵ}_z$, horizontal error $|{\delta }_x|\le {ϵ}_x$, and terrain-model height error bounded by ${ϵ}_H$. If $H$ has Lipschitz constant $L_H$ over the relevant neighborhood, thenThe actual clearance consequently satisfiesThis follows from the triangle inequality and covers all errors in the stated bounds. Their effects add in a worst-case calculation; combining them as independent random standard uncertainties would answer a different question.

For a local sloped-terrain example, take ${ϵ}_z=3\mathrm{mm}$, ${ϵ}_H=4\mathrm{mm}$, ${ϵ}_x=2\mathrm{mm}$ and $L_H=0.5$. The total clearance allowance is $3+4+0.5(2)=8\mathrm{mm}$. Guaranteeing a $5\mathrm{mm}$ margin therefore requires nominal clearance at least $13\mathrm{mm}$ throughout that crossing. A nominal $5\mathrm{mm}$ gap gives only a $-3\mathrm{mm}$ lower bound and cannot certify the requested separation.

Finite path samples need another allowance. Suppose the nominal clearance as a function of path parameter $s$ is Lipschitz with constant $L_c$, and every point lies within $\Delta s/2$ of a checked sample. If the smallest sampled clearance is $c_{\mathrm{sample}}$, a clearance bound between trajectory samples givesWith $L_c=0.10\mathrm{m}$ per unit parameter and sample spacing $\Delta s=0.10$, between-sample uncertainty costs another $5\mathrm{mm}$. The preceding example would then require sampled clearance at least $18\mathrm{mm}$ for a certified $5\mathrm{mm}$ margin.

Bounds must match the geometry. A vertical obstacle edge is not covered by a finite height-slope bound across its discontinuity; use the full configuration-space obstacle instead. Shared coordinate-frame errors can also cancel in a relative clearance, so separate component bounds can be conservative when their joint dependence is known.

The primary robotics formulation requires constraints along the full path and distinguishes planned from executed motion.^[ref] A proposed test records terrain and foot geometry in one reference frame, validates the stated error bounds, and compares a continuous-path certificate with observed minimum separation. A passing sample grid without the intervening bound does not establish the same guarantee.

A static tipping margin is the distance of an interior center of mass projection $c$ from the boundary of a horizontal support polygon $P$. It quantifies the horizontal displacement reserve in the gravity-only rigid-contact model. For a convex polygon written as $P=\{x:a_i\cdot x\le b_i\}$, with nonzero edge normals $a_i$, the margin isThis is the radius of the largest Euclidean ball about $c$ contained in $P$: each normalized edge inequality bounds how far the projection can move toward that edge. The admissible contact-reaction argument is proved in support polygon and in the primary equilibrium model.^[ref]

For an original rectangular footprint, let $P=[-0.30,0.30]\times [-0.20,0.20]$ in metres and $c=(0.10,0.05)\mathrm{m}$. Its four edge distances are $0.20$, $0.40$, $0.15$, and $0.25\mathrm{m}$, so $d=0.15\mathrm{m}$. Any horizontal projection perturbation of norm at most $0.05\mathrm{m}$ leaves a margin of at least $0.10\mathrm{m}$. This follows because each normalized edge gap changes by at most the perturbation norm.

Unsigned distance alone must not classify an exterior point as stable. At $c=(0.40,0.05)\mathrm{m}$, distance to the polygon boundary is still positive, namely $0.10\mathrm{m}$, but gravity-only balance is impossible. The minimum signed edge gap is then negative. For an exterior point, that minimum is a useful feasibility indicator; its magnitude is not generally the Euclidean distance to the polygon, especially beyond a corner.

A directional tipping margin can exceed the nearest-edge margin when the allowed displacement direction is restricted. The scalar $d$ protects against every horizontal direction, so it is the appropriate geometric reserve only for an isotropic displacement bound. It omits center of mass height, static friction, applied moments, and contact compliance. Under a specified horizontal load, tipping of a rigid body instead compares the load's overturning torque with the restoring gravitational torque.

Off-design pressure recovery of a supercritical airfoil describes how the surface pressure returns from a low-pressure region toward its downstream value when the supercritical airfoil operates away from its intended flow and loading condition. The changed recovery can move or strengthen a shock wave, create a second acceleration and compression region, or impose a different adverse pressure gradient on the viscous boundary layer. A contour optimized at one Mach number and incidence need not give the same behavior elsewhere.

A primary NASA investigation examined the second upper-surface velocity peak near the rear part of a supercritical section. It changed the rear upper contour to reduce that peak while keeping trailing-edge thickness fixed. Tests covered freestream Mach numbers $0.60$–$0.81$; the reported modification could improve an off-design feature while increasing drag at the design condition.^[ref] The observation is a tradeoff between tested contours and conditions, not a rule that every reduction of every secondary peak must increase drag.

The pressure measurement is a spatial profile. For $C_p=(p-p_{\infty })/q_{\infty }$ and dimensionless chord coordinate $\xi =x/c$,For an original example, a rise from $C_p=-0.8$ to $-0.3$ over $\Delta \xi =0.02$ at $q_{\infty }=12\mathrm{kPa}$ and $c=0.50\mathrm{m}$ gives $\Delta p=6\mathrm{kPa}$ over $10\mathrm{mm}$, an average gradient of $600kPa/m$. A pressure-tap spacing of $0.05c$ would be wider than that entire recovery region. Its measured difference could locate a large change only coarsely; it could not resolve the transition's detailed shape. This motivates pressure-gradient resolution across an airfoil shock.

The NASA apparatus used flush pressure orifices with denser coverage near strong gradients, together with a downstream rake measuring wake total and static pressures. Forces and moments were inferred by pressure integration, while drag was inferred separately from wake measurements.^[ref] A surface-pressure improvement and a lower integrated drag are separate observations and should be compared directly.

A proposed test holds the manufactured contour and transition treatment fixed while varying Mach number and angle of attack, then repeats for the modified contour. Where the scientific comparison requires equal lift, adjust incidence to match lift rather than comparing only equal geometric angles. Record surface pressure, wake drag and repeatability, and mark the transition strips and tunnel correction convention.

At transonic speed, an incompressible conversion from $C_p$ to local velocity cannot characterize a shock reliably. An abrupt measured recovery is consistent with a shock-associated compression, but sparse taps alone do not establish the instantaneous shock structure or the extent of separated flow. Complementary flow visualization or near-wall measurements can test those interpretations. The directly established result remains the measured pressure distribution and force or wake response under the reported conditions.

The subgrid-scale stress records velocity-product information missing from a filtered velocity field. For constant mass density and a specified spatial averaging filter, use the conventionIt enters the filtered momentum equation through $-{\partial }_j{\tau }_{ij}$. This ${\tau }_{ij}$ has units of squared speed; multiplication by mass density gives units of mechanical stress. Some sources use the opposite stress sign, so the momentum equation fixes the convention.^[ref]

For a normalized nonnegative kernel, define $v_i(r)=u_i(x-r)-{\bar{u}}_i(x)$. Expanding the product givesIt is therefore a weighted covariance at the chosen point. For every real vector $b$, $b_i{\tau }_{ij}{b}_j=\int G_{\Delta }(b_i{v}_i{)}^{2}dr\ge 0$, so the stress matrix is positive semidefinite. This argument depends on a nonnegative kernel; it cannot be applied unchanged to filters with negative weights.

For example, average equally weighted velocities $(a,0,0)$ and $(-a,0,0)$. The mean velocity vanishes but $\tau =\mathrm{diag}(a^2,0,0)$. With $a=2\mathrm{m}{\mathrm{s}}^{-1}$, ${\tau }_{11}=4{\mathrm{m}}^2{\mathrm{s}}^{-2}$. A zero mean has hidden nonzero motion.

The definition is exact. A subgrid-scale model instead approximates this tensor using available resolved data. In an incompressible flow, the isotropic part ${\tau }_{kk}{\delta }_{ij}/3$ can be absorbed into a modified pressure; the remaining deviatoric stress controls the modeled directional transfer.

The Smagorinsky model approximates the deviatoric subgrid-scale stress using an eddy viscosity determined by the resolved strain-rate tensor:Here ${\bar{S}}_{ij}=({\partial }_j{\bar{u}}_i+{\partial }_i{\bar{u}}_j)/2$, $\Delta$ is the filter length, $C_s$ is dimensionless, and repeated indices use the Einstein summation convention. The Kronecker delta selects the isotropic part. The construction estimates a missing effect from resolved deformation rather than calculating each unresolved eddy.^[ref]

For simple shear flow $\bar{u}=(\gamma y,0,0)$, the only nonzero strain components are ${\bar{S}}_{12}={\bar{S}}_{21}=\gamma /2$, giving $|\bar{S}|=|\gamma |$. Taking $C_s=0.1$, $\Delta =0.02\mathrm{m}$ and $\gamma =10{\mathrm{s}}^{-1}$ yieldsThese are illustrative parameter choices, not a universal fitted constant. The dimensions follow from ${\Delta }^2|\bar{S}|$.

For an incompressible flow, the resolved-to-unresolved kinetic energy transfer isA nonnegative eddy viscosity thus removes resolved kinetic energy and cannot represent local turbulent backscatter. Coefficients and near-wall treatment require physical and numerical judgment.

Joseph Smagorinsky's 1963 atmospheric-circulation experiment used a lateral exchange coefficient based on horizontal deformation and a length scale. The modern three-dimensional expression above extends that strain-dependent modeling idea; it should not be mistaken for the complete original atmospheric model.^[ref]

A dynamic subgrid-scale model estimates its closure coefficient from the resolved flow as the calculation proceeds. In a common construction, a second, coarser test filter probes interactions among resolved scales, providing information for a subgrid-scale model below the original resolution.^[ref]

Write a bar for the original spatial averaging filter and a hat for the test filter. DefineDirect subtraction gives the Germano identityThe rightmost expression uses only resolved quantities. The identity is exact for these definitions; extrapolating a closure between the filter levels is the modeling step.^[ref]

For instance, suppose a chosen closure writes the deviatoric stresses as ${\tau }^d=CA$ and $T^d=CB$, and assumes $C$ can be taken outside the test filtering. Then $L^d\approx CM$, where $M=B-\hat{A}$. One way to choose $C$ is to minimize ${\sum }_{ij}(L_{ij}^d-C{M}_{ij}{)}^2$. Differentiation giveswhen the denominator is nonzero. This is a least squares fit of a scalar to tensor data. In a one-component illustrative fit, $L^d=0.012$ and $M=0.3$ give $C=0.04$.

The coefficient need not remain positive. Depending on the closure, a negative value can permit turbulent backscatter, but a small denominator can also make an estimate unreliable. Averaging, bounds and treatment of weak strain are additional choices. Dynamically fitting a coefficient does not remove these assumptions or make unresolved motion observable.

A separable stochastic process admits a fixed countable set of indices that captures the relevant sample path behavior outside one common null set. In the usual real-valued setting on a metric space $T$, one formulation requires a countable set that is a dense subset $D\subseteq T$ and a null set $N$ such that, whenever $\omega \notin N$, each $(t,X_t(\omega ))$ lies in the closure of $\{(s,X_s(\omega )):s\in D\}$. Thus $t$ and the corresponding process value can be approximated together from $D$.

In particular, ${\sup }_{t\in T}{X}_t={\sup }_{s\in D}{X}_s$ outside $N$. The right side is a supremum over a countable set of random variables, so its measurability is accessible through the usual sigma-algebra operations. Continuous sample paths on $[0,1]$ have this property using the rational numbers as indices and endpoints.

The common null set matters. If $U$ has a uniform distribution on $[0,1]$ and $X_t=1_{\{U=t\}}$, each fixed $X_t$ is zero almost surely, yet ${\sup }_t{X}_t=1$ always. For any fixed countable $D$, ${\sup }_{t\in D}{X}_t=0$ almost surely. Agreement at every fixed time therefore does not imply agreement of pathwise suprema.^[ref]

Given independent and identically distributed random variables $X_1,\dots ,X_n$ with distribution $P$, the empirical process indexed by test functions $f\in \mathcal{F}$ isIt studies sampling fluctuations for a whole family of questions at once, rather than one fixed average. Its covariance is $\mathrm{Cov}({\mathbb{G}}_n(f),{\mathbb{G}}_n(g))=P(fg)-PfPg$ when the second moments exist.

Taking $f_x(t)=1_{\{t\le x\}}$ gives ${\mathbb{G}}_n(f_x)=\sqrt{n}(F_n(x)-F(x))$, where $F_n$ is the empirical distribution function. At a point with $F(x)=1/2$, the variance is $1/4$ regardless of $n$ after this normalization. Uniform bounds over $x$ underlie the Kolmogorov-Smirnov statistic. Convergence at every fixed test function is weaker than convergence uniformly over the class; chaining, entropy and measurability conditions address that extra difficulty.^[ref]

An Arratia flow is a system of coalescing one-dimensional Brownian motions: particles starting at different positions move independently until they meet, then follow the same Brownian path forever. Starting from ordered positions preserves their order because paths do not cross before merging. The full construction makes these finite-particle rules consistent for a continuum of starting points.^[ref]

For two standard Brownian particles starting distance $a>0$ apart, their difference before meeting has variance $2t$. If $\tau$ is their meeting time, the Brownian reflection principle giveswhere $\Phi$ is the standard-normal distribution function. This tends to zero as $t\to \infty$, so they eventually merge almost surely, although the mean meeting time is infinite because the tail decays only as $t^{-1/2}$.

The same rule arises as a scaling limit of coalescing random walks. It models histories that can join but cannot later separate; reversing time does not simply produce independent nonbranching Brownian paths.

A regularity structure is an algebraic framework for local expansions that can include singular distributions as well as smooth functions. Its formal data are $(A,T,G)$: a locally finite set $A\subset \mathbb{R}$ containing zero and bounded below; a graded vector space $T={⨁}_{\alpha \in A}{T}_{\alpha }$ of Banach spaces, with $T_0$ the constants; and a group $G$ of linear maps fixing $1$ such thatThus changing an expansion's base point modifies a symbol only through lower-homogeneity terms. Martin Hairer introduced this framework to treat classes of singular stochastic partial differential equations.^[ref]

Ordinary polynomials provide a complete elementary example. In one dimension take $A=\{0,1,2,\dots \}$, $T_n$ spanned by $X^n$, and realize $X^n$ around $x$ as $(z-x{)}^n$. The function $f(z)=z^2$ then has abstract local expansion $a_x=x^2+2xX+X^2$. To transfer the expansion from $y$ to $x$, substitute $X\mapsto X+x-y$. For example,The expression on the left is the expansion at $y=2$ transported to $x=1$. In particular, ${\Gamma }_{12}{X}^2-X^2=-2X+1$ has strictly lower degree, illustrating the defining triangular property.

A model of a regularity structure adds concrete distributions and analytic bounds to these abstract symbols. Writing their realizations as ${\Pi }_x$, compatibility requires ${\Pi }_x{\Gamma }_{xy}={\Pi }_y$ and ${\Gamma }_{xy}{\Gamma }_{yz}={\Gamma }_{xz}$. For singular equations the symbols extend beyond monomials; constructing a model, proving reconstruction and controlling corrections are additional steps. The triple alone does not make arbitrary products of distributions meaningful.^[ref]

A stochastic heat equation combines diffusive smoothing with random forcing. On the real line, a basic additive model iswhere $\xi$ is space-time white noise, formally specified by $\mathbb{E}[\xi (t,x)\xi (s,y)]=\delta (t-s)\delta (x-y)$. The noise is a random distribution, so this expression is interpreted through integration, not ordinary pointwise values. With zero initial data the mild solution isHere $W$ denotes the Gaussian noise integrated over space and time, and $G_{\kappa }$ is the heat kernel.^[ref]

The Itô isometry turns a rough random field into a tractable calculation:Thus the standard deviation at a fixed location grows like $t^{1/4}$ from zero. Diffusion reduces the influence of each earlier disturbance while fresh noise continually arrives.

Dimension changes the answer. In $d$ spatial dimensions the kernel's squared integral is proportional to $s^{-d/2}$. Its integral near zero is finite only for $d<2$. Consequently this additive white-noise model has pointwise finite-variance values in one dimension, whereas higher-dimensional versions require a distribution-valued interpretation or spatially smoother noise. The formal differential expression alone does not settle the solution's regularity.^[ref]

A mild solution of an evolution equation satisfies an integrated equation built from its linear evolution, rather than requiring all derivatives in the differential equation to exist pointwise. Let $A$ generate a strongly continuous strongly continuous semigroup $S(t)$, and consider $du=(Au+F(u))dt+Qd{W}_t$. Whenever the integrals are defined, its mild formulation isThe final term is a stochastic convolution. The linear evolution propagates both the initial condition and each later contribution for the remaining time. This is the infinite-dimensional counterpart of variation of constants.^[ref]

A deterministic heat equation already shows why the definition is useful. Take $A=\kappa {\partial }_x^2$ on $L^2(\mathbb{R})$, zero forcing, and the discontinuous initial function $u_0=1_{[0,1]}$. The mild solution is its convolution with the heat kernel:It is smooth for $t>0$ and approaches $u_0$ in $L^2$ as $t$ decreases to zero, even though the initial function lacks the derivatives appearing in the classical equation.

The word mild does not mean approximate. It specifies how the equation is interpreted. Existence, uniqueness and whether a mild solution is also a classical or distributional solution depend on the generator, initial data, nonlinear term and noise.

A stochastic convolution propagates random forcing through a linear evolution. Let $S(t)$ be a strongly continuous semigroup on a Hilbert space $H$, let $W$ be a Cylindrical Wiener process on a Hilbert space $U$, and let $Q:U\to H$ be a bounded linear operator. The expressionis an Itô integral whenever its integrand is square integrable in the Hilbert-Schmidt operator norm. In particular,This Itô isometry tests whether the accumulated forcing is actually $H$-valued. The factor $S(t-s)$ evolves the contribution arriving at time $s$ through the remaining time $t-s$. For $du=Audt+Qd{W}_t$ with deterministic initial value $u_0$, the mild solution is $u(t)=S(t)u_0+Z(t)$.^[ref]

For $S(t)=e^{-at}$, $Q=\sigma$ and real Brownian motion $B$, with $a>0$,This is the zero-initial-value Ornstein-Uhlenbeck process: damping limits the variance despite continued forcing. With $a=0$, the limit is ${\sigma }^{2}t$ instead. These formulas follow by integrating ${\sigma }^2{e}^{-2a(t-s)}$ in the Itô isometry.

The word convolution describes the dependence on the time difference $t-s$. It does not mean an ordinary integral against a differentiable noise function; Brownian motion requires a stochastic integral.

A stilbene composition consistency residual is the difference between an additional optical observation and the value predicted from a fitted stilbene isomer mixture. It tests agreement with the measurement model rather than directly measuring an impurity or proving sample purity.

In a stilbene isomer composition measurement, two calibrated wavelengths can determine modeled concentrations $c_E,c_Z$ of trans-Stilbene and cis-Stilbene. Let $a_j$ be background-subtracted absorbance divided by path length, and let $E_{12}$ contain the first two wavelengths' molar absorption coefficients. For nonsingular $E_{12}$,The vector $e_3$ contains the third wavelength's coefficients. That third observation was not used to fit the two concentrations, so it provides an additional consistency condition.

An original example uses coefficient rows $(2,1)$, $(1,3)$ and $(1,1)$ in consistent scaled units. Observations $(a_1,a_2)=(0.70,0.60)$ give $({\hat{c}}_E,{\hat{c}}_Z)=(0.30,0.10)$ and third-channel prediction $0.40$. An observed $a_3=0.43$ gives $r_3=0.03$. These are constructed coefficients, not measured stilbene spectra; the primary identity records establish that the two geometric isomers are chemically distinct despite their shared formula.^[ref][ref]

The fitted concentrations also carry reading error. In this example,With $q=(-0.4,-0.2,1{)}^{\mathsf{T}}$ and observation covariance matrix $\Sigma$, linear uncertainty propagation gives $u_r^2=q^{\mathsf{T}}\Sigma q$ when the coefficients are treated as fixed. Independent readings with equal standard uncertainty $0.01$ give $u_r=0.01\sqrt{1.2}\simeq 0.01095$. The residual is then about $2.74$ such standard uncertainties; interpreting that as a probability statement needs an additional distribution model. Calibration-coefficient uncertainty must also be included when material.^[ref]

A common additive offset $b$ changes this residual by $0.4b$, so it does not cancel automatically. A nonzero residual can reflect background, changing illumination, coefficient errors or an unmodeled absorber. Conversely, an extra component whose responses mimic a combination of the two modeled spectra can remain hidden even when the residual is zero. Consistency is evidence about a stated model, not a unique identification of the sample's full composition.