For independent bond percolation on the cubic lattice, define ${\tau }_p(x,y)={\mathbb{P}}_p(x\leftrightarrow y)$ and $g_n={\mathbb{P}}_p(0\leftrightarrow \partial {\Lambda }_n)$, with $g_0=1$. Split an open self-avoiding walk at its first radius-$m$ boundary vertex $y$. The remaining segment reaches distance at least $n-m$ from $y$, using disjoint edges. The BK inequality, translation invariance and the union bound yield the displayed estimate. Keeping the individual connection weights can be stronger than replacing their sum by $|\partial {\Lambda }_m|g_m$.

If $\kappa$ is the least omega-measurable cardinal and $U$ witnesses it, failure of $\kappa$-completeness partitions a member of $U$ into fewer than $\kappa$ fibres, none belonging to $U$. The pushforward ultrafilter under the fibre-index map is then a nonprincipal countably complete measure on a smaller cardinal, a contradiction. Thus $U$ is $\kappa$-complete and $\kappa$ is a measurable cardinal.

For $p\ge 5$, the Gamma 1 congruence subgroup has $(p-1)/2$ modular cusps of cusp width one and $(p-1)/2$ of cusp width $p$. Primitive columns modulo $p$, taken up to sign, are acted on by $(a,c)\mapsto (a+bc,c)$. The classes with $c=0$ have cusp width one, the others cusp width $p$. There are no effective elliptic stabilizers. The genus formula for a modular curve gives genus $(p-5)(p-7)/24$.

For $0<q\le 1$, this strict inequality for every nonzero $v\in \ker A$ and every $|S|\le s$ is equivalent to unique constrained ${\ell }^q$ recovery of every sparse vector of order $s$. For sufficiency, use $|x_i+v_i{|}^q\ge |x_i{|}^q-|v_i{|}^q$ on the support of a vector. For necessity compare $x=-v_S$ with $v_{S^c}$, which have the same measurements. The statement concerns uniform recovery over the whole sparse class, rather than a single signed vector.

For a four-dimensional spherically symmetric metric $d{s}^2=-2fdUdV+r^{2}d{\Omega }^2$, the affine null gradients are $f^{-1}{\partial }_V$ and $f^{-1}{\partial }_U$. Their null expansions are $2r_{,V}/(fr)$ and $2r_{,U}/(fr)$. Their null shear and null twist vanish because the transverse metric changes only by a common scale and the covectors are exact gradients.

For a four-dimensional spherical metric $d{s}^2=-fd{v}^2+2dvdr+r^{2}d{\Omega }^2$, a radial null vector normal $K$ to a round sphere has null expansion ${\theta }_K=\frac{1}{2}{q}^{AB}{\mathcal{L}}_K{q}_{AB}=2K(r)/r$, where $q_{AB}=r^2{\gamma }_{AB}$. The angular metric changes only by a common scale, so radial congruences have zero null shear; hypersurface orthogonality also gives zero null twist. The convention here is the trace, not the screen-averaged expansion.

For a zero-start continuous local martingale $M$ with $[M{]}_{\infty }\le C$ deterministically, its stochastic exponential is a uniformly integrable martingale. For each $p>1$, ${\sup }_t\mathbb{E}\mathcal{E}(M{)}_t^p\le e^{p(p-1)C/2}$. Its terminal value is strictly positive, so it defines an equivalent infinite-horizon change of measure by the Girsanov theorem.

If an untyped lambda term has a beta-normal form, leftmost outermost beta reduction reaches a normal form. Thus an infinite normal-order computation certifies the absence of a beta-normal form. This is the normalization result needed to make a lambda simulation respect undefined outputs.

Let $u^{†}$ be a least-squares solution and $w=K^{\ast }Kv\in \partial J(u^{†})$. For a minimizer $u_{\alpha }$ of $\Vert Ku-f{\Vert }^2/2+\alpha J(u)$, expand the objective about $u^{†}$. The normal equation for a linear inverse problem removes the data-residual cross term, while the Bregman distance definition givesCompare the minimizer with $u^{†}-\alpha v$, where the square vanishes, and divide by $\alpha$. The bound is informative when that comparator has finite penalty.

For a normal bounded operator, $\sigma (T)={\sigma }_{\mathrm{ap}}(T)$. If $T-\lambda I$ is bounded below, its range is closed; normality makes its adjoint injective, so the range is also dense and the operator is invertible.

The spectrum of the dual number ring $k[ϵ]/({ϵ}^2)$ is a nonreduced scheme of length two supported at one point. Its nonzero nilpotent $ϵ$ retains first-order information that the underlying singleton topological space forgets. It differs from the disjoint union of two reduced $k$-points.

A nonnegative local martingale is a supermartingale. If its integrable terminal limit has the same expectation as its initial value, conditional Fatou lemma gives $\mathbb{E}[Z_{\infty }\mid {\mathcal{F}}_t]\le Z_t$, and equality of expectations makes this an equality. It is therefore a uniformly integrable martingale.

For $M_0=1$ and $M_t\to 0$, stop at the infimum of strict crossings above $a>1$. Continuity bounds the stopped process by $a$ and makes its value at a finite crossing time exactly $a$. Its expectation remains one, and bounded convergence at infinity yields $\mathbb{P}(\sup M>a)=1/a$. The maximum has density $m^{-2}$ on $m>1$, with no endpoint atom.

An isotropic escaping stellar wind has the donor star's mean specific orbital angular momentum. With ${\dot{M}}_d<0$, retained fraction $f$, negligible spin and no additional wind torque, $\dot{J}=(1-f){\dot{M}}_d{a}_d^2\Omega$. The retained matter redistributes angular momentum internally. Unlike isotropic re-emission from a binary star, the escaping material originates at the donor rather than the accretor. With no retention this reduces to Jeans-mode mass loss.

For an ideal $H\subseteq R[[X]]$, let $A_n$ consist of coefficients of $X^n$ in members of $H$ with all lower coefficients zero. These are ideals of $R$ and $A_n\subseteq A_{n+1}$, by multiplication by $X$. If $R$ is Noetherian, this chain stabilizes. Choose series whose leading coefficients generate the finitely many distinct coefficient ideals, then cancel coefficients successively. The accumulated multipliers are formal power series, giving an ordinary finite ideal generating set for $H$, rather than merely a dense subideal.

In $R=k[t_1,t_2,\dots ]/(t_1^2,t_2^2,\dots )$, the nilradical is generated by all ${\bar{t}}_i$. Every element uses finitely many variables and is nilpotent, while each square-free product ${\bar{t}}_1\cdots {\bar{t}}_j$ is nonzero. Thus this nilradical is not a nilpotent ideal. A Noetherian ring cannot have this behavior: finitely many nilpotent generators give a nilpotent ideal.

Over an algebraically closed field, a finite-dimensional Lie algebra is nilpotent exactly when every two-dimensional Lie subalgebra is abelian. A nonnilpotent Adjoint representation matrix has a nonzero eigenvalue $\lambda$ with eigenvector $y$, so $[x,y]=\lambda y$ generates a nonabelian two-dimensional subalgebra. Conversely a subalgebra of a nilpotent Lie algebra is nilpotent, while a nonabelian two-dimensional algebra has a basis $u,v$ with $[u,v]=v$ and a nonnilpotent adjoint matrix. Algebraic closure is what guarantees the required eigenvector.

For $0<k<1$, a neutral mode of the equal-width Hazel model behaves as $w\sim z^{1-k}$ near $z=0$. Its derivative diverges as $z^{-k}$, so it is not a classical continuously differentiable mode across the critical level of an internal gravity wave. The horizontal velocity is proportional to $w^{\prime }/k$; its local kinetic energy is finite only for $k<1/2$, because ${\int }_0^{ϵ}{z}^{-2k}dz$ converges precisely then. One possible neutral-mode convention is the boundary value from $U-c$ with $c_i\downarrow 0$, which fixes the phase of the power on the negative-$z$ side. The Miles–Howard theorem concerns growing modes with nonreal $c$ and does not rule out such singular neutral limits.

Let $\mathcal{R}=k_B/({\mu }_m{m}_p)$ for constant mean molecular weight ${\mu }_m$ in proton-mass units, and let $\sigma$ be the Stefan–Boltzmann constant in the Stefan–Boltzmann law. The gas sound speed used here satisfies $c_s^2=\mathcal{R}T$, and $\Omega$ is the local orbital frequency. For the local opacity approximation $\kappa ={\kappa }_0{\rho }^{1/3}{T}^{10}$, a gas-supported optically thick alpha disk has $\rho \sim \Sigma /H$ and $\mathcal{R}T\sim {\Omega }^2{H}^2$. Integrated viscous heating is $F_{+}\sim \alpha \Sigma {\Omega }^3{H}^2$. Radiative diffusion gives $F_{-}\sim (\sigma /{\kappa }_0)T^{-6}{\Sigma }^{-4/3}{H}^{1/3}\sim (\sigma /{\kappa }_0){\mathcal{R}}^6{\Omega }^{-12}{\Sigma }^{-4/3}{H}^{-35/3}$. Equating the fluxes proves the thickness scaling. At fixed composition and $\alpha$, it gives $H/r\propto r^{53/82}{\Sigma }^{-7/41}$ and $c_s\propto r^{6/41}{\Sigma }^{-7/41}$ in Keplerian rotation. Radial powers therefore require a surface-density profile; they are not determined by opacity alone. The formula is local to the stated opacity regime and small disk aspect ratio.

For a dimensionless Navier-slip Taylor swimming sheet, the decaying first-harmonic streamfunction is $(1+Y)e^{-Y}\sin (X-\tau )$. Its tangential surface velocity and surface shear both vanish at $Y=0$. Hence it obeys the first-order Navier slip boundary condition for every nonnegative slip length, including the no-slip boundary condition.