If the second rotor has zero drag, it cannot supply reaction torque. The single remaining helix must be both force-free and torque-free; a positive-definite resistance matrix forces its translation and rotation to vanish. The relative motor motion is absorbed by the zero-resistance rotor.

As the length ratio of an opposite-handed reaction helix tends to infinity, its translation and rotation tend to zero as $1/n$, while the finite first helix rotates at almost the full motor rate. Small motions of the long rotor balance finite force and torque. The common propulsion vanishes in this limit of the additive model.

With row vectors, external arrival rates $\nu$ and transient routing matrix $P$, the total arrival rates satisfy $\alpha =\nu +\alpha P=\nu (I-P{)}^{-1}$. These include all internal migrations and do not depend on colony service speeds.

For an open migration process, colony $j$ with population $k$ has total departure rate ${\varphi }_j(k)$. Its stationary weight is $b_j(k)={\alpha }_j^k/{\prod }_{h=1}^k{\varphi }_j(h)$. The colony weights factor independently and normalize when ${\sum }_{k\ge 0}{b}_j(k)<\infty$ for every colony. Global balance for a continuous-time Markov chain proves the formula even when routing is not reversible.

For positive traffic rates in single-server colonies, a total service budget $F>{\sum }_j{\alpha }_j$ minimizes the stationary mean population when the spare rates ${\varphi }_j-{\alpha }_j$ are proportional to $\sqrt{{\alpha }_j}$. The Cauchy-Schwarz inequality proves the optimum directly.

The open local operator and closed local operator associated with $U$ have meet the identity and join the largest local operator. The meet identity is $(u\Rightarrow p)\wedge (u\vee p)=p$. Every mono factors through its union with $U$ as a closed-operator-dense mono followed by an open-operator-dense mono, proving that their join makes every mono dense.

For integers $n=2k+d$ with $k\ge 1$ and $d\ge 0$, there are $n$ labelled points of $S^d$ such that every open hemisphere contains at least $k$ of them. The normalized vectors $(-1{)}^i(1,t_i,\dots ,t_i^d)$ for increasing $t_i$ give a signed moment curve construction. A nonzero polynomial of polynomial degree at most $d$ cannot have enough sign changes for fewer than $k$ positive alternating sample values. Zero sample values can be perturbed negatively by a Lagrange interpolation polynomial. Labels allow repeated positions when $d=0$.

The first levels are the oscillator vacuum, ${\alpha }_{-1}^I|0⟩$, and ${\alpha }_{-2}^I|0⟩,{\alpha }_{-1}^I{\alpha }_{-1}^J|0⟩$. At level two the transverse vector representation and symmetric square assemble into the massive symmetric traceless square of one extra rotation dimension.

With additive counterterms $\frac{1}{2}\delta Z(\partial \varphi {)}^2+\frac{1}{2}\delta m^2{\varphi }^2$, their Euclidean propagator insertion is $-(\delta Z{k}^2+\delta m^2)$. These minimal subtraction scheme coefficients cancel the cubic bubble insertion. A bare mass shift also subtracts $m^2\delta Z$ after wavefunction renormalization; it is not the same coefficient as the additive mass counterterm.

On $I=(-a,a)$, a first-order Sobolev space function has a continuous representative and obeysBound the average by the Cauchy-Schwarz inequality and average the identity $u(x)-u(y)={\int }_y^x{u}^{\prime }$. This also gives $[u{]}_{C^{0,1/2}}\le \Vert u^{\prime }{\Vert }_2$. A unit constant with the standard Sobolev norm cannot be asserted on arbitrary interval lengths: $u=1$ already disproves it when $2a<1$.

For the printed equatorial-basis convention,It is the Hadamard gate after a phase gate. The identities $J(\alpha )Z=XJ(\alpha )$ and $J(\alpha )X=e^{i\alpha }ZJ(-\alpha )$ follow by multiplying their matrices. For $\alpha =0,\pi /2$ these are Clifford gates. In particular $J(-\pi /2)=XJ(\pi /2)$, permitting a sign change of the measurement angle to be absorbed into a Pauli frame.

Two angle-zero one-bit teleportations with outcomes $p,q$ implement $X^{q}H{X}^{p}H=X^q{Z}^p$ on an arbitrary input, up to global phase. A Controlled-Z gate with a fixed $|1⟩$ quantum ancilla implements $Z$, so $Z^p$ removes the known $Z$ factor. The result is $X^q$ up to phase. With probability one half the desired Pauli X gate is applied; otherwise the input is unchanged. Repeating until $q=1$ gives an exact heralded correction with two attempts on average and almost-sure termination. It has no finite worst-case measurement count. A Pauli frame avoids this repeat-until-success procedure when only logical action or classical output statistics are required.

A two-vertex graph state starts with two $|+⟩$ states joined by a Controlled-Z gate. Measuring the first vertex in the $X$ basis leaves the second in $X^{s}H|+⟩=X^s|0⟩$, where $s$ is the measurement outcome. Thus a known zero input can be supplied to a measurement wire using only a graph-state resource and a known Pauli frame. This preparation link precedes the links implementing the desired logical J gate; later measurement angles and output-bit corrections absorb its byproduct.

Electrical conductivity $\sigma$ measures the local response of current density to electric field. In the rest frame of an isotropic Ohmic conductor, the local form of Ohm's law isLarger positive electrical conductivity gives larger current density at the same electric field. It is a bulk material coefficient, distinct from the geometry-dependent electrical conductance of a whole component and from a sheet's surface conductivity. Electrical resistivity is ${\rho }_{\mathrm{el}}=1/\sigma$ in this scalar model. ^[ref].

The local and whole-wire forms fit together particularly neatly. For uniform current in a straight homogeneous wire, with length $L$, wire cross-sectional area $A$, constant electrical conductivity and terminal electric potential difference $V$, the axial electric field has magnitude $E=V/L$. ThusFor the defined electrical resistance example $\sigma =5\times 10^5(\Omega \mathrm{m}{)}^{-1}$, $L=1\mathrm{m}$, $A=10^{-6}{\mathrm{m}}^2$ and $V=5\mathrm{V}$, the local values are $E=5V/m$ and $j=2.5\times 10^{6}A/{\mathrm{m}}^2$; integrating gives $I=2.5\mathrm{A}$. One material law therefore supplies both a spatial description and a terminal relation.

The scalar form requires isotropy. In an anisotropic material the response can instead be a tensor, $J_i={\sum }_j{\sigma }_{ij}{E}_j$, and current density need not be parallel to electric field; uniaxial conductivity tensor is one existing example. These statements concern the material's rest frame. A moving electrical conductor instead uses the moving-conductor Ohm law.

A spherical sigma model in polar fields $\varphi ,\alpha$ has kinetic metric $r(d{\varphi }^2+{\sin }^2\varphi d{\alpha }^2)/2$ in the usual one-half kinetic convention. The displayed positive potential selects the two polar vacua. For $r>0$ it supports static and rotating charged kinks, and a topological theta term shifts their canonical internal charge without changing the bulk equations.

For a nutrient-consuming chemotactic travelling band in a tube of cross-sectional area $a$, let $N=a{\int }_{\mathbb{R}}B(z)dz$. Integrating $v{C}^{\prime }=kB$ between depleted nutrient behind and $C_{\infty }$ ahead gives $v{C}_{\infty }=kN/a$, hence $v=Nk/(a{C}_{\infty })$. This is a nutrient budget: advancing by a unit length supplies $a{C}_{\infty }$ nutrient, while the bacteria consume at total rate $kN$. Diffusion and chemotactic sensitivity affect the band shape and admissibility, but not this speed at fixed $N,k,a,C_{\infty }$.

For $L_0|p⟩=-|p⟩$, the descendant $Z=(L_{-2}+\frac{3}{2}{L}_{-1}^2)|p⟩$ obeys $L_{1}Z=0$ and $L_{2}Z=(D-26)|p⟩/2$. It becomes physical and null at 26 and supplies the scalar quotient needed for the massive spin-two light-cone gauge in string theory spectrum.

The physical state space of old covariant quantization is quotiented by its physical spurious states, which are orthogonal to all physical states. In a ghost-free sector these form the radical of the semidefinite inner product. The quotient retains positive physical polarizations.

A radial null geodesic in a spherically symmetric spacetime has zero angular momentum and fixed angular coordinates. Its projection is a null curve of the two-dimensional radial Lorentzian metric.

For a quadratic derivative source $A^{\alpha \beta }{\partial }_{\alpha }u{\partial }_{\beta }u$, the classical null condition is $A^{\alpha \beta }{\ell }_{\alpha }{\ell }_{\beta }=0$ whenever $-{\ell }_0^2+|{\ell }_{\mathrm{sp}}{|}^2=0$. It removes the leading interaction of parallel lightlike derivatives. In three dimensions this structure gives global smooth solutions for sufficiently small, localized data through the vector field method for wave equations. This PDE condition is distinct from the null condition asserting that a single vector is lightlike.