A many-soliton spatial shift is pairwise additive when $\Delta x_i={\sum }_{j\ne i}\Delta x_{i|j}$. In the all-kink sector of Sine-Gordon theory, $\Delta x_{i|j}=-\mathrm{sgn}(v_i-v_j)\log {\tanh }^2[({\theta }_i-{\theta }_j)/2]/\cosh {\theta }_i$. Dominant spectator exponentials in the Sine-Gordon multisoliton tau representation multiply the effective exponential of kink $i$, so their logarithms add. This is a classical signature of factorized scattering, with no independent many-body contribution to the asymptotic shift.

The first Gaussian Sobolev space consists of functions and their weak first derivatives square-integrable for standard Gaussian measure. If $f=\sum c_n{h}_n$ in the normalized Probabilists' Hermite polynomial basis, Gaussian integration by parts gives $⟨f^{\prime },h_{n-1}⟩=\sqrt{n}{c}_n$. Thus Parseval identity identifies it with $\sum (1+n)|c_n{|}^2<\infty$, and polynomial truncations converge in its norm. It is the form domain of the Gaussian number operator, with Gaussian Dirichlet energy $\sum n|c_n{|}^2$.

A homogeneous Sobolev space controls derivatives without an independent low-frequency L2 norm: formally $\Vert f{\Vert }_{{\dot{H}}^s}^2=\int |\xi {|}^{2s}|\hat{f}(\xi ){|}^{2}d\xi$, with the normalization chosen according to the Fourier transform. Completions or quotient conventions must be specified when polynomial ambiguities occur. In three dimensions ${\dot{H}}^1$ is represented by $L^6$ functions with gradient in $L^2$, and $\Vert f{\Vert }_6\le C\Vert \nabla f{\Vert }_2$.

This is the closure of the compactly supported test functions $C_c^{\infty }(U)$ in the $H^2(U)$ norm. On a smooth bounded domain it consists precisely of the $H^2$ functions with zero value and zero normal derivative traces. Tangential first derivatives then vanish as well. The clamped Hessian identity makes the Laplacian norm equivalent to the full $H^2$ norm on this space, enabling a Lax-Milgram theorem treatment of the clamped biharmonic problem.

This regular surface has two connected components, $t=\pm \sqrt{1+x^2+y^2}$. The symmetric-matrix model of the two-sheeted hyperboloid realizes them as the positive-definite and negative-definite symmetric determinant-one $2\times 2$ matrices. Each component is diffeomorphic to ${\mathbb{R}}^2$; this differs from the connected one-sheet hyperboloid.

A compact manifold is a smooth manifold whose underlying topological space is compact. Every smooth vector field on a compact manifold without boundary is complete: its integral curves exist for all real time. A finite-time endpoint obstruction would require the curve to escape every compact subset of the domain; compactness and local existence prevent that escape.

With boundary, the direction matters. A vector field tangent to the boundary gives a two-sided flow remaining in the manifold. A field pointing inward at the boundary can instead give a forward flow, while the negative-time curve leaves the manifold. On the compact interval $[0,1]$, the field $x(1-x){\partial }_x$ is tangent at both endpoints and is complete. The field $(1/2-x){\partial }_x$ points inward at both endpoints, but its backward flow from zero immediately exits the interval.

A band sum joins two embedded spheres or links by a narrow tube along an arc, removing a small disk from each and joining their boundaries. In a handle slide, the construction uses a parallel framed copy of the second attaching sphere and transports its framing of an embedded sphere along the band.

A smooth function is flat at $a$ when every derivative, including order zero, vanishes at $a$. The function $e^{-1/x^2}$ off zero, extended by zero at zero, is flat there but not identically zero near zero. Thus its Taylor series does not determine it. A real analytic function that is flat at a point vanishes on a neighborhood of that point.

The massless derivative Skyrme model has chiral symmetry $U\mapsto LU{R}^{†}$. For the fixed finite-energy boundary condition $U(\infty )=1$, a transformation preserves the same vacuum exactly when $L{R}^{†}=1$, or $L=R$. This leaves conjugation $U\mapsto AU{A}^{†}$, the isospin action. Since $A$ and $-A$ act identically, its effective group is $SO(3)$. Together with spatial translations and rotations it generates the localized zero-mode orbit of a Skyrmion. Independent axial rotations change the massless vacuum and are not additional normalizable rigid orientation modes in that fixed-vacuum sector. A usual positive pion-mass term preserves only conjugation even before the boundary condition is imposed.

The particular quartic-derivative interaction in the Skyrme model, with $L_{\mu }=U^{†}{\partial }_{\mu }U$. Its static energy is positive and scales inversely with soliton size, opposing collapse under Derrick scaling. It is one choice of four-derivative mesonic interaction, not the whole general fourth-order chiral perturbation theory Lagrangian.

For irrational $\alpha$, the irrational skew shift is the skew product $T_{\alpha }(x,y)=(x+\alpha ,y+x)$ on the torus $(\mathbb{R}/\mathbb{Z}{)}^2$. It preserves normalized Lebesgue measure and has iterates $T_{\alpha }^n(x,y)=(x+n\alpha ,y+nx+\alpha n(n-1)/2)$ modulo one. Its Koopman operator sends the Fourier basis character $e_{r,s}=e^{2\pi i(rx+sy)}$ to $e^{2\pi ir\alpha }{e}_{r+s,s}$. The resulting infinite chains of Fourier coefficients show that it is an ergodic transformation. Moreover, uniform equidistribution of an irrational skew shift proves unique ergodicity.

The stochastic SIR model is a continuous-time Markov chain with infection jump $(-1,1,0)$ at rate $\beta SI$ and recovery jump $(0,-1,1)$ at rate $\gamma I$. The state space consists of nonnegative integer compartment counts with conserved total population.

For the closed deterministic SIR model with $S(0)=S_0$, $R(0)=0$, infection rate $\beta SI$ and recovery rate $\gamma I$, division of the two flow equations gives $S(t)=S_0{e}^{-\beta R(t)/\gamma }$. Population conservation then expresses $I$ in terms of $R$.

The deterministic SIR model with initial susceptible count $S_0$ grows initially exactly when $\beta S_0>\gamma$. Its basic reproduction number is $\beta S_0/\gamma$ under unnormalized mass-action infection. If that ratio is at most one, decreasing $S$ prevents later infectious growth.

A triangulation of a topological space is a homeomorphism from the realization of a simplicial complex to that space. In three-manifold topology, thickening its one-skeleton and the dual one-skeleton constructs a Heegaard splitting.

In a feasible simplex basis, increasing a nonbasic variable by $\theta$ changes basic coordinates to $x-\theta d$. Nonnegativity limits $\theta$ by the smallest ratio $x_i/d_i$ with $d_i>0$; a minimizing coordinate leaves the basis. Ties can leave zero-valued basic variables. This pivot test is distinct from the analytic ratio test for series convergence.

A simplex dictionary expresses the basic variables and the objective as affine functions of the nonbasic variables in a linear program. Setting the nonbasic variables to zero gives a basic feasible solution when all basic values are nonnegative. A simplex algorithm pivot exchanges one basic and one nonbasic variable. For maximization, a feasible dictionary with all nonbasic objective coefficients nonpositive certifies optimality.

The dual simplex algorithm keeps the objective row dual feasible while repairing negative basic values. In a maximization dictionary $x_B=b+{\sum }_j{a}_j{x}_j$ with $b<0$ and nonbasic objective coefficients $d_j\le 0$, eligible entering columns have $a_j>0$; choose one minimizing $(-d_j)/a_j$. The pivot restores progress toward primal feasibility without losing the objective bound.

For the simple symmetric random walk on $\mathbb{Z}$, the renewal equation relates first-return and return probability generating functions. The central-binomial return series is $U(s)=(1-s^2{)}^{-1/2}$, giving $F(s)=1-U(s{)}^{-1}$. Its value tends to one at $s=1$, but its derivative diverges there: the walk has null recurrent states.

For a simple symmetric random walk, the estimate $\mathbb{E}{e}^{\theta S_n}\le e^{n{\theta }^2/2}$ and the exponential maximal inequality give $\mathbb{P}({\max }_{k\le n}{S}_k\ge t\sqrt{n})\le e^{-t^2/2}$ for $t\ge 0$.