A closed differential form of degree one on the two-sphere has primitives on its north-punctured and south-punctured charts by the Poincaré lemma. The overlap is connected, so their difference is constant. Adjust one constant and glue the primitives. Thus every closed one-form is an exact differential form, proving the first de Rham cohomology vanishes.

For a compact connected oriented boundaryless $n$-dimensional smooth manifold, choose a Riemannian metric. Harmonic functions are constant because $⟨f,\Delta f⟩=\Vert df{\Vert }^2$, and Hodge star commutes with the Hodge Laplacian. Thus the Hodge star operator identifies the constant functions with the harmonic differential forms of top degree, exactly $\mathbb{R}{\omega }_g$. The Hodge decomposition theorem identifies these with the top de Rham cohomology. The metric volume form has nonzero class by Stokes theorem. The harmonic-representative theorem is stated in Denis Auroux's Hodge theory lecture.

For a channel on $B$, use a Stinespring dilation $B\to B^{\prime }E$. Isometry invariance gives $I(A:B)=I(A:B^{\prime }E)$, so the loss on discarding $E$ is $I(A:B)-I(A:B^{\prime })=I(A:E\mid B^{\prime })$. This quantum conditional mutual information is nonnegative by Strong subadditivity of Von Neumann entropy. The identity holds for arbitrary mixed inputs and identifies the correlations lost to the discarded environment.

The ratio convention for cutoff for Markov chains requires $t_{\mathrm{mix}}^{(n)}(\epsilon )/t_{\mathrm{mix}}^{(n)}(1-\epsilon )\to 1$ for every fixed $0<\epsilon <1/2$, with positive denominators eventually. Equivalently, any two fixed levels have asymptotically equal mixing times. This convention permits a bounded-time jump; definitions which additionally require diverging mixing times exclude such a jump. For nonlazy simple random walk on the complete graph $K_n$, every fixed-level mixing time is eventually one.

If a spherical parent and its fragments have the same mass density, substitute $m=\pi \rho D_c^3/6$ into the endpoint-dominated cross-section of a power-law fragment population. The diameter obeysThis inversion requires specified fragment cutoffs. If $D_{\max }=\eta D_c$ instead, solving that dependence changes the power of $D_c$ to $\alpha -1$. It is useful for estimating the parent comet needed to supply an observed debris disk, subject to the assumed fragment model.

For $S<0$ and constant positive buoyancy frequency, the critical height is $U_0/|S|$. A stationary upward ray approaches it with vertical group velocity proportional to $U^2$, requiring infinite ideal ray travel time. Large gradient Richardson number can preserve the short-wavelength WKB approximation, but parcel-displacement amplitude grows and eventually invalidates linearity.

For upward internal gravity waves, let $B=c_{gz}{N}^2{A}_{\zeta }^2/\hat{\omega }$ be constant. Combining $c_{gz}=(N/k)\sin \theta {\cos }^2\theta$ with the monochromatic internal-wave overturning criterion gives ${\cot }^4\theta <B{k}^3\hat{\omega }/(N^3{\sin }^3\theta )$. Near a critical level the onset balance is $\cot \theta \sim (B{k}^3\hat{\omega }/N^3{)}^{1/4}$. This is compatible with $\hat{\omega }=N\cos \theta$; it fixes the overturning point rather than redefining the dispersion relation.

For independent identically distributed real variables with everywhere finite cumulant-generating function, let $\mu$ be the mean. If $a\ge \mu$ and $\mathbb{P}(X_1>a)>0$, then $\mathbb{P}(S_n/n\in [a,a+\epsilon )\mid S_n/n\ge a)\to 1$ for each $\epsilon >0$. The Legendre transform of a cumulant-generating function is finite at $a$, and a positive exponential parameter gives strictly greater cost at $a+\epsilon$. A Chernoff bound for the farther tail divided by the Cramér theorem lower estimate at $a$ decays exponentially. The support condition both ensures positive conditioning probabilities and avoids a vacuous conditioning event.

For a unit vector $u$ and $\theta >0$, a rank-one covariance spike is the covariance matrix $I+\theta u{u}^{\top }$. Its eigenvalue is $1+\theta$ in the direction $u$ and one on the orthogonal complement. It arises by adding an independent scalar normal distribution signal $Yu$ to a standard Gaussian random vector.

For coordinates $x,y$ on a smooth manifold, fibre coefficients of a cotangent space element obey $b_j={\sum }_i{a}_i\partial x^i/\partial y^j$. Thus induced cotangent bundle charts change by $(x,a)\mapsto (y(x),b)$ with smooth, invertible, fibre-linear changes. The canonical one-form on a cotangent bundle satisfies ${\sum }_i{a}_{i}d{x}^i={\sum }_j{b}_{j}d{y}^j$, and differentiating proves invariance of its exterior derivative.

Every cotangent bundle $T^{\ast }M$ is an orientable smooth manifold even when its base is not. The intrinsic canonical one-form on a cotangent bundle ${\lambda }_{(p,\alpha )}(W)=\alpha (d\pi W)$ has $d\lambda ={\sum }_{i}d{a}_i\wedge d{x}^i$. Its $n$th wedge power is the nowhere-zero form $n!d{a}_1\wedge d{x}^1\wedge \cdots \wedge d{a}_n\wedge d{x}^n$, which defines an orientation of the $2n$-dimensional total space. Using $-d\lambda$ gives another standard sign convention; either is a symplectic form.

A natural transformation between corestriction functors over a field has components ${\beta }_M(u)=\sum u_{(0)}\alpha (u_{(1)})$, recovered by $\alpha =\epsilon {\beta }_H$. Monoidality forces $\alpha$ to be a unital algebra homomorphism over a field; for a Hopf algebra, $\alpha S$ supplies the inverse.

Global sign-even functions have zero coefficients on odd-size Walsh characters. Every nonconstant remaining character has generator eigenvalue at most $-2$, yielding the displayed improvement from gap one to gap two. Combining this with the convexity of a norm proves the sharp Rademacher second-moment inequality.

For a convex perturbation function, defineThe primal and dual values are $p(0)$ and $q(0)$; the signed dual marginal $q$ is concave. The identity $p^{\ast }(y)=f^{\ast }(0,y)$ gives $q(0)=p^{\ast \ast }(0)$. If $p$ is proper and finite near zero, subgradients at zero prove strong duality with dual attainment. In finite dimensions the relative-interior condition $0\in \mathrm{ri}(\mathrm{dom}p)$ also suffices, provided $p(0)$ is finite. This does not itself prove primal attainment.

Use $F^{\ast }=F/(6\pi \mu aU)$ and $L^{\ast }=4L/(3a)$. The control-volume drag formula for a sphere in a tube gives the displayed uniform leading drag. If $L^{\ast }\ll {ϵ}^{-1/2}$, $F^{\ast }\sim (4\pi /3){ϵ}^{-1/2}$ and local annular shear dominates. If ${ϵ}^{-1/2}\ll L^{\ast }\ll {ϵ}^{-5/2}$, $F^{\ast }\sim L^{\ast }$ and the Hagen-Poiseuille flow resistance of the long tube dominates. If $L^{\ast }\gg {ϵ}^{-5/2}$, $F^{\ast }\sim 3\pi {ϵ}^{-5/2}$ and pressure-driven bypass through the narrow gap dominates. The laboratory flow is piston-like in the first two limits and negligible in the third.

For the unit-rate continuous-time symmetric simple random walk, the processes $n^{-\alpha }{X}_{nt}$ have three finite-dimensional regimes. For $0<\alpha <1/2$ no probability limit is possible, because the one-time characteristic functions tend to zero off the origin and are discontinuous there. At $\alpha =1/2$ the limit is standard Brownian motion. For $\alpha >1/2$ it is the identically zero Lévy process. This follows from $n(1-\cos (n^{-\alpha }\theta ))\sim ({\theta }^2/2)n^{1-2\alpha }$ and independent increments. Thus a nonzero limit uniquely determines the exponent, whereas merely asking for a Lévy limit does not.

If a local martingale has an integrable running absolute supremum on each fixed finite horizon, localization and conditional dominated convergence make it a true martingale. This upgrades polynomial Itô local martingales when maximal moments and bracket moments control all terms.

The polynomial $X^4-6X^2⟨X⟩+3⟨X{⟩}^2$ has zero Itô drift. Finite fourth maximal and second bracket moments make it a true martingale. If $\mathbb{E}{X}_t^2=t$ and $\mathrm{Cov}(X_t^2,⟨X{⟩}_t)=0$, then $\mathbb{E}{X}_t^4=3t^2-3\mathrm{Var}(⟨X{⟩}_t)$. Equality at every time forces a deterministic clock and hence Brownian motion by the Lévy characterization of Brownian motion.

A continuous local martingale converges to a finite limit on the event that its terminal bracket is finite. Stopping at each integer bracket level gives an L2-bounded martingale and its almost sure limit. On the finite-bracket event, some such stopped process coincides with the original process forever. This supplies terminal values for a finite DDS lifetime.

For $f(E,L)=f_E(E)/L$, with $L=rv\sin \eta$ and $E=\psi -v^2/2$, velocity integration gives $r\rho =2{\pi }^2{\int }_0^{\psi }{f}_E(E)dE$. Thus $f_E(E)=(2{\pi }^2{)}^{-1}d(r\rho )/d\psi$ at $\psi =E$. The factor $1/L$ is locally integrable under the velocity-volume measure. Its angular measure is uniform in $\eta$; averages of ${\cos }^2\eta$ and ${\sin }^2\eta$ are both $1/2$, so the total tangential second moment equals the radial second moment and the velocity-anisotropy parameter is $\beta =1/2$. At the largest allowed radius $\psi (r_E)=E$, the derivative becomes $[\rho +r(d\rho /dr)]/(d\psi /dr)$, not $[\rho +d\rho /d\psi ]/(d\psi /dr)$. Positivity requires $d(r\rho )/d\psi \ge 0$.