The displayed property holds for every $h$ and every $|S|\le s$, with $0\le \rho <1$ and $\tau >0$. It converts the cone inequality from basis pursuit minimality and the tube inequality from noisy feasibility into a two-constant bound $\Vert \hat{x}-x_0{\Vert }_2\le C_1\eta +C_2{\sigma }_s(x_0)/\sqrt{s}$. Both constants are needed in general; a fixed coefficient one on the approximation term does not follow.

In three dimensions, let $J(q)=r+\gamma (q^2-q_{\ast }^2{)}^2$, with $q_{\ast }>0$ and small $r>0$. Near the soft shell, $J(q)\simeq r+4\gamma q_{\ast }^2(q-q_{\ast }{)}^2$, soThe radial integral uses ${\int }_{-\infty }^{\infty }ds/(r+A{s}^2)=\pi /\sqrt{Ar}$. The $r^{-1/2}$ divergence obstructs the zero-mass limit of a self-consistent Gaussian variational approximation at a fixed nonzero ordering wavevector. This is the mechanism behind the Brazovskii fluctuation-induced first-order transition; Gross, Ignatiev and Chakraborty's study of fluctuation-driven ordering analyzes the corresponding standard Brazovskii model.

In a model of Peano arithmetic, an element realizes this partial type exactly when it is not a standard numeral. A model omitting it is isomorphic to the standard natural-number structure. For a complete consistent extension $T$ of arithmetic, the type is nonprincipal exactly when $T$ is the theory of true arithmetic: apply the omitting types theorem in one direction and use an actual standard witness to refute any proposed isolating formula in the other. For incomplete theories, a principal partial type can still be omitted by some models.

The strictly positive case states that a real square matrix $W$ with $W_{ij}>0$ has a positive simple eigenvalue $\lambda$ and positive left and right eigenvectors, with all other eigenvalues strictly smaller in modulus. The Brouwer fixed-point theorem applied to $v\mapsto Wv/(1^{T}Wv)$ on the nonnegative unit simplex gives $v>0$ and $Wv=\lambda v$. For another eigenvector $z$, maximize $|z_i|/v_i$; the triangle inequality gives $|\mu |\le \lambda$. Equality forces every modulus ratio and complex argument to agree because every entry is positive, so $z$ is proportional to $v$ and $\mu =\lambda$. Apply the same argument to $W^T$ for a positive left eigenvector; its positive pairing with $v$ rules out a generalized eigenvector at $\lambda$, establishing algebraic simplicity. For merely nonnegative matrices a nonnegative leading eigenvector exists. An irreducible nonnegative matrix has a positive leading eigenvector and simple Perron eigenvalue; a primitive nonnegative matrix has the strict modulus gap.

A square nonnegative matrix $A$ is irreducible if for each pair $(i,j)$ there is an integer $k\ge 0$ with $(A^k{)}_{ij}>0$. This says that every index can reach every other through positive entries. The Perron–Frobenius theorem then gives a positive leading eigenvector and an algebraically simple eigenvalue. Irreducibility alone permits other eigenvalues of the same modulus: the cyclic permutation matrix $\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$ has eigenvalues $1,-1$.

For every commutative ring $R$,Every nilpotent element lies in every prime ideal. If $a$ is not nilpotent, an ideal maximal among those disjoint from $\{1,a,a^2,\dots \}$ is a prime ideal avoiding $a$, by the Zorn lemma and the maximality argument.

With $X^2=0$ and invertible $F_X$, the additional chiral superfield $Y=y+\sqrt{2}\theta \chi +{\theta }^2{F}_Y$ satisfying $XY=0$ has $y=(G\chi )/F_X-(GG)F_Y/(2F_X^2)$. Its Weyl spinor $\chi$ and auxiliary field $F_Y$ remain independent. This eliminates the independent scalar. It does not force $Y^2=0$.

The Landau-de Gennes free energy is a rotational symmetry preserving Landau free energy of the nematic order parameter. One three-dimensional normalization through fourth order isThe cubic invariant generically produces a first-order phase transition. Its absence in two dimensions is an algebraic identity, not a guarantee that a mean-field approximation captures all fluctuations.

Under rotation by a rotation matrix, a symmetric second-rank tensor transforms by conjugation, so its traces of powers are invariant. For a three-dimensional traceless second-rank tensor, the Cayley-Hamilton theorem implies $\mathrm{Tr}{Q}^4=(\mathrm{Tr}{Q}^2{)}^2/2$. In two dimensions its eigenvalues are $s,-s$, so $\mathrm{Tr}{Q}^3=0$. These identities organize the Landau-de Gennes free energy.

A uniaxial nematic order parameter has one distinguished nematic director and equal eigenvalues in its perpendicular plane. In the displayed normalization the eigenvalues are $\lambda ,-\lambda /2,-\lambda /2$, giving $\mathrm{Tr}{Q}^2=3{\lambda }^2/2$ and $\mathrm{Tr}{Q}^3=3{\lambda }^3/4$. Positive and negative $\lambda$ describe prolate and oblate orientational anisotropy, respectively; reversing the nematic director leaves the tensor unchanged.

For $g=N\mathbf{v}$ and any $\tilde{g}\in C^2[a,b]$ taking the same values at at least two distinct knots, $J(\tilde{g})=J(g)+J(\tilde{g}-g)$. To prove it, set $r=\tilde{g}-g$, integrate $g^{\prime \prime }{r}^{\prime \prime }$ by parts on each polynomial interval and use $g^{(4)}=0$, $r(x_i)=0$, continuous $g^{\prime \prime }$ and linear exterior pieces. Boundary terms cancel. Expanding the square proves the identity. Equality forces $r^{\prime \prime }=0$, so $r$ is an affine function and its two prescribed zeros make it identically zero.

Let $b_i=N{e}_i$ be the interpolating cardinal basis and set ${\Gamma }_{ij}={\int }_a^b{b}_i^{\prime \prime }{b}_j^{\prime \prime }dx$. Linearity gives $J(N\mathbf{v})={\mathbf{v}}^T\Gamma \mathbf{v}$, and this Gram matrix is a positive semidefinite matrix. Its null space consists precisely of vectors $(\alpha +\beta x_i{)}_i$, by the null-space statement for the second derivative roughness penalty. Thus its rank is $n-2$, including the zero matrix when $n=2$.

A straight rigidly rotating classical string has speed of light at a free endpoint. Its energy and angular momentum satisfy a Regge trajectory. A segment with one anchored and one free end has $J=E^2/(\pi T)$, twice the slope of the string with two free ends.

A real Cartier class on a projective scheme is ample if and only if its top self-intersection on every positive-dimensional integral subvariety is positive. For the converse curve tests give nefness. Small ample perturbations and rational approximation give ample rational $B,C$ with $D-A=B-C$ satisfying the algebraic Morse inequality for ample divisors, hence bigness. Induction gives ample restrictions on codimension-one subvarieties; uniform ample subtraction from a big divisor with ample exceptional restrictions makes $D-ϵA$ nef. The nef-plus-ample ampleness lemma concludes. For reducible schemes perform the finite component tests simultaneously.

For $n\ge 3$, a nonnegative entire weak subsolution of a bounded measurable uniformly elliptic divergence-form equation that belongs to $L^p({\mathbb{R}}^n)$ for some $p>1$ is zero almost everywhere. Rescaling the local Moser iteration estimate gives $\Vert u{\Vert }_{L^{\infty }(B_{R/2})}\le C{R}^{-n/p}\Vert u{\Vert }_{L^p(B_R)}$. Let $R\to \infty$.

For a proper morphism $f:X\to Y$ with $Y$ a locally Noetherian scheme, Stein factorization separates its connected-fiber part from its finite part:The morphism $g$ is proper with geometrically connected scheme-theoretic fibres, $h$ is a finite morphism, and $g_{\ast }{\mathcal{O}}_X={\mathcal{O}}_Z$. The coherent sheaf $f_{\ast }{\mathcal{O}}_X$ makes the relative spectrum finite over $Y$; the connectedness assertion is the substantive part of the theorem.^[ref]

For a finite morphism, $Z=X$ and $g$ is the identity. For $X=Y\times {\mathbb{P}}^1$ with the projection to $Y$, the intermediate scheme is $Y$. Thus the construction records disconnected finite-sheet data without retaining the positive-dimensional geometry inside each connected fibre.

If $X$ is normal, so is $Z$. For a surjective proper morphism from a smooth algebraic surface to a smooth algebraic curve over an algebraically closed field, $Z$ is therefore a smooth algebraic curve. It is projective when the target curve is projective; properness relative to an affine curve does not itself imply projectivity over the ground field.

A monoid automorphism is a bijective operation- and identity-preserving self-map of a monoid. Its inverse is also a monoid homomorphism. Permuting prime numbers and extending by prime factorization gives all automorphisms of the multiplicative monoid of positive natural numbers; extending by $0\mapsto 0$ gives automorphisms of the multiplicative monoid including zero.

The Ramanujan tau function gives the Fourier coefficients at positive indices of the modular discriminant: $\Delta (z)={\sum }_{n\ge 1}\tau (n)q^n$, with $\tau (1)=1$. The Serre derivative and vanishing of weight-fourteen level-one cusp forms give $qd\Delta /dq=E_2\Delta$ and hence the convolution recurrence

For a random classifier $C$ determined by training information $\mathcal{T}$, and an independent test pair $(X,Y)$, its conditional misclassification risk is $L(C)=\mathbb{P}(C(X)\ne Y\mid \mathcal{T})$. It is itself a training-dependent random variable. The tower property of conditional expectation gives $\mathbb{E}L(C)=\mathbb{P}(C(X)\ne Y)$.

On a complete connected Riemannian manifold, let $c(v)$ for a unit tangent vector $v$ be the supremum of times for which $t\mapsto {\exp }_p(tv)$ minimizes Riemannian distance from $p$. The cut locus consists of the endpoints ${\exp }_p(c(v)v)$ with $c(v)<\infty$. Radial minimization fails beyond this first cut time; distance spheres can cease to be smooth there.