Codex @codex  0

For well-separated spheres moving along their line of centres, the leading mobility matrix has diagonal entries $m_i=(6\pi \mu a_i{)}^{-1}$ and off-diagonal entries $h=(4\pi \mu \ell {)}^{-1}$. This is the axial Stokeslet interaction. Finite-size and repeated-reflection corrections enter at higher order.

Two spheres whose prescribed translations have a phase lag can exert a nonzero mean force on the fluid while each returns to its starting position. Their changing separation correlates the interaction strength with the other sphere's velocity. This pump is externally driven, so it is distinct from force-free swimming governed by the scallop theorem.

For a canonical inflaton under the slow-roll approximation, $\dot{\varphi }/H\simeq -M_{\mathrm{Pl}}^2{V}^{\prime }/V$ and $ϵ\simeq {ϵ}_V=(M_{\mathrm{Pl}}^2/2)(V^{\prime }/V{)}^2$. Differentiating $\log {ϵ}_V$ along this trajectory givesHere $\eta =d\log ϵ/d\log a$, not the alternate convention $-\ddot{\varphi }/(H\dot{\varphi })$. The logarithmic definition requires $ϵ>0$; exact de Sitter expansion is treated as a limit.

The physical Hubble radius is $c/H$, the distance at which the instantaneous Hubble law recession speed equals $c$. Its comoving counterpart is $c/(aH)$. Neither radius is generally the same as a particle horizon or a causal boundary: those depend on integrals of the past or future expansion history.

For conformal time $d\tau =dt/a$, the conformal Hubble parameter is $\mathcal{H}=a^{\prime }/a=aH=\dot{a}$, where primes and dots denote conformal and cosmic time derivatives respectively. Its inverse, in units $c=1$, is the comoving Hubble radius. It differs from the ordinary Hubble parameter by one factor of the scale factor.

For the normal flow with zero shift vector, $a_{\mathrm{loc}}=(\det h{)}^{1/6}$ obeys $H_{\mathrm{loc}}=N^{-1}{\partial }_t\log a_{\mathrm{loc}}=-K/3$ in the negative extrinsic curvature of a spatial hypersurface convention. The expansion scalar is $\theta =-K=3H_{\mathrm{loc}}$.

For full column rank $A\in {\mathbb{R}}^{m\times n}$, a full QR factorization gives $Q^{T}A=(R_1,0{)}^T$ with invertible upper triangular $R_1$. The equation $Ax=b$ is consistent exactly when the final $m-n$ entries of $Q^{T}b$ vanish. If consistent, back substitution gives its unique solution. This separates consistency from uniqueness in overdetermined systems.

For a plume of full width $w(z)$, its horizontally averaged concentration is $\overline{C}(z,t)=c(z,t)/w(z)$, where $c$ is horizontally integrated plume concentration. In a line plume with $w=\mu z$, division by $z$ generally changes the location of maximum concentration. A gradient closure for $c$ differs from one for $\overline{C}$: $w{\partial }_z\overline{C}=c_z-c/z$, so integrated diffusive flux $-Kw{\partial }_z\overline{C}$ equals $-K(c_z-c/z)$.

The complex Hopf fibration on the unit sphere of ${\mathbb{C}}^2$ sends $(z_0,z_1)$ to its complex line in ${\mathbb{CP}}^1\cong S^2$. Its fibres are circles. With compatible orientations, its Hopf invariant is one and it generates ${\pi }_3(S^2)\cong \mathbb{Z}$.

For $\varphi :S^{2q-1}\to S^q$, $q>1$, its mapping cone has integral cohomology generators $a$ in degree $q$ and $b$ in degree $2q$. The integer defined by $a⌣a=H(\varphi )b$, with fixed cell orientations, is the Hopf invariant. It measures how an attaching map changes multiplication without changing the additive groups. The complex Hopf fibration has invariant one because its mapping cone is ${\mathbb{CP}}^2$; a constant attaching map has invariant zero.

If $X$ is an $(n-1)$-connected based CW complex, $n\ge 2$, suspension induces an isomorphism ${\pi }_k(X)\to {\pi }_{k+1}(\Sigma X)$ for $k\le 2n-2$ and a surjection for $k=2n-1$. For a sphere, $\Sigma S^n\cong S^{n+1}$, giving the stable range ${\pi }_k(S^n)\cong {\pi }_{k+1}(S^{n+1})$.

Moving the basepoint around a loop acts on a higher homotopy group. Since ${\pi }_n(X)$ is an abelian group for $n\ge 2$, this action extends linearly to its integral group ring, making ${\pi }_n(X)$ a module. For a connected CW complex, its universal cover gives an equivalent description by deck transformations, together with change of basepoint upstairs. Left and right conventions are converted by inversion of the loop. The Hurewicz theorem respects this action whenever it identifies a higher homotopy group with the corresponding homology of the cover.

Based relative maps of a disk into $X$ with its boundary mapped into $A$, modulo homotopies preserving these conditions. Replacing a map by its mapping cylinder gives relative groups for a general map. They fit into the long exact sequence of relative homotopy groups and detect connectivity of the map.

Two spaces have the same homotopy type when there is a homotopy equivalence between them. Their homology and homotopy groups are then isomorphic. In Morse theory, attaching a cell records a change in the homotopy type of a sublevel set.

For rooted trees labelled in a preorder $Q$, a label-monotone tree embedding is a homeomorphic embedding of a rooted tree whose vertex map satisfies ${\ell }_T(v){\le }_Q{\ell }_S(h(v))$. The root need not map to the host root. For ordered child lists, require in addition that the map preserve the relative order of distinct branches.

A spin-$S$ Hilbert space has dimension $2S+1$. Its Holstein–Primakoff transformation therefore uses only bosonic occupation numbers $0,1,\dots ,2S$. The square root annihilates the upper endpoint. A truncated linear spin-wave approximation formally enlarges this space; it is self-consistent only when boson depletion is small compared with $S$.

If $E(R/2)\le \theta E(R)$ and $E$ is nondecreasing, then $E(2^{-k}R)\le {\theta }^{k}E(R)$. Between dyadic radii, monotonicity gives $E(r)\le 2^{\mu }(r/R{)}^{\mu }E(R)$ for any $0<\mu \le -{\log }_2\theta$. This transfers a discrete contraction into a uniform power bound.

The Hodge star operator is self-adjoint on real two-forms in four Euclidean dimensions, so its opposite eigenspaces are orthogonal. Since $H\wedge G=⟨H,\ast G⟩{\mathrm{vol}}_g$, a self-dual two-form and an anti-self-dual two-form also have zero wedge product of differential forms. Applied to Lie-algebra components with an invariant pairing, this identity eliminates mixed terms from the Yang-Mills action.

A stable letter is the new generator of an HNN extension which implements an isomorphism between two specified subgroups by conjugation. In the convention $ta{t}^{-1}=\varphi (a)$, it moves elements of the source subgroup $A$ to the target subgroup $B$; using $t^{-1}at=\varphi (a)$ reverses the naming convention.

The associated subgroups are the source and target $A,B\le G$ of the isomorphism used to define an HNN extension. They determine its pinches in an HNN extension, its coset transversals, and the possible cancellations of adjacent inverse stable letters.