For $x^{\prime \prime }+[1+ϵ\cos t+f{ϵ}^2]x=0$, let $T={ϵ}^{2}t$ and $x_0=a(T)\cos t+b(T)\sin t$. First-order forcing produces a constant and second harmonics, not a resonant harmonic. Their feedback at second order gives the displayed solvability condition in the method of multiple scales. The slow squared growth rate is $(f+1/12)(5/12-f)/4$. Consequently the leading instability interval is $-1/12<f<5/12$; outside its closure the slow amplitudes oscillate. The endpoints are degenerate and require the fourth-order edges of the second Mathieu instability tongue for exact small-parameter stability.

A correlogram plots the estimated autocorrelation function against lag. The plot helps distinguish the finite autocorrelation cutoff of a moving-average model from the decaying dependence of a causal autoregressive model. Estimated cutoffs are diagnostics, not exact finite-sample identities.

With string tension $T=1/(2\pi {\alpha }^{\prime })$, the free-ended open string $X^0=a\tau$, $X^1+i{X}^2=a\cos \sigma e^{i\tau }$, $0\le \sigma \le \pi$, is straight at every target time. Its Nambu–Goto equations of motion and Virasoro constraints hold, and its ends move at light speed. Integrating the target-space Noether charges of a string gives $M=\pi Ta$ and $J=\pi T{a}^2/2$. Thus $J={\alpha }^{\prime }{M}^2$. Extending the same map to $0\le \sigma \le 2\pi$ describes a double-covered folded closed string, with twice the mass and twice the angular momentum, hence $J={\alpha }^{\prime }{M}^2/2$. The different slopes record the different boundary topology.

The divisibility is between generators of characteristic ideals. Auxiliary-prime derivative operators applied to a root-of-unity Euler system produce Kummer classes with controlled valuations. The congruence axiom identifies the valuation at a new auxiliary prime with a residue symbol of the preceding class. The Chebotarev density theorem chooses prime representatives of desired ideal classes, and iterating bounds their elementary divisors by the index of the cyclotomic unit. Passing to the norm tower gives the displayed divisibility, with finite errors removed at height-one primes. The reverse divisibility requires the global index and norm-defect comparison.

For a cyclic group of order $m$ with generator $\sigma$, let $N={\sum }_{i=0}^{m-1}{\sigma }^i$. Subtracting adjacent coefficients and using ${\sigma }^m=1$ proves the displayed group-ring identity. If $p^r\mid m$, then $(\sigma -1)D\equiv -N(\mathrm{mod}{p}^r)$. Together with the norm relations of a root-of-unity Euler system, this makes derivative classes invariant modulo p-power powers and permits Kummer descent, with roots-of-unity corrections where necessary. The congruence axiom controls the associated residue and valuation maps.

Let $q\nmid m$ be outside the excluded primes, let $\zeta$ have order $m$, and let $\rho$ be a primitive qth root of unity. Galois equivariance identifies the conjugates with $\Phi ({\rho }^i\zeta )$ for $1\le i\le q-1$. The distribution axiom includes the missing $i=0$ factor, so the field norm is $\Phi ({\zeta }^q)/\Phi (\zeta )$. Arithmetic Frobenius sends $\zeta$ to ${\zeta }^q$, giving the displayed factor. At higher powers of an already ramified prime all q translates occur instead. These are different norm relations; norm compatibility in just a p-power tower does not supply the auxiliary-prime relation by itself.

At one matrix entry $a$, let $\rho ,\mu ,\nu ,\lambda$ be the shapes of the northwest, northeast, southwest and southeast matrix prefixes under the RSK correspondence. The displayed row-length recurrence expresses merged insertion paths: the new entry supplies the first-row carry, and the overlap of the two incoming row extensions beyond the northwest shape is bumped into the next row. Zero boundary shapes determine the whole diagram. Transposing the matrix exchanges $\mu ,\nu$, leaving the rule invariant.

For a type $\alpha$, each successive difference is a rim hook of size ${\alpha }_i$; zero parts give empty differences of height zero. Label its cells by $i$. Such fillings are weakly increasing along rows and columns, and the height is the sum of the occupied strips' numbers of rows minus one. Empty parts are omitted from the associated product of positive power sums; the finite-variable degree-zero power sum is not inserted.

For a connected Riemannian manifold of dimension $n\ge 2$, assume geodesic completeness and $\mathrm{Ric}\ge (n-1)\kappa g$ for a constant $\kappa >0$. The Riemannian distance then has diameter at most $\pi /\sqrt{\kappa }$; the manifold is compact and its fundamental group is finite. The dimension restriction excludes the vacuous one-dimensional Ricci bound.

At a point of a Riemannian manifold, Ricci curvature is isotropic when $\mathrm{Ric}(v,v)/g(v,v)$ is independent of nonzero tangent direction. Polarization makes this equivalent to the displayed tensor identity. In dimension three, sectional curvatures from Ricci curvature in dimension three gives every sectional curvature at that point the value $c_p/2$. In higher dimensions isotropic Ricci curvature does not determine every two-plane curvature.

For a Riemannian manifold of dimension $n\ge 2$, the normalized directional Ricci curvature averages, rather than sums, the $n-1$ sectional curvatures through a unit vector. Thus the Bonnet-Myers theorem gives $\mathrm{diam}M\le \pi /\sqrt{k}$ from $\overline{\mathrm{Ric}}\ge kg$. With trace Ricci curvature the corresponding hypothesis is $\mathrm{Ric}\ge (n-1)kg$. The distinction changes positive constants but not the signs of Ricci curvature.

For a complete connected $n$-dimensional Riemannian manifold with nonnegative Ricci curvature, the displayed ratio is nonincreasing, tends to one at zero, and is at most one. In particular $\mathrm{Vol}B(p,r)\le {\omega }_n{r}^n$. In geodesic polar coordinates, the radial Jacobi field determinant is at most the Euclidean density $r^{n-1}$ until the cut time. The trace of the radial Riccati equation for distance spheres, with Cauchy-Schwarz inequality, proves this comparison. Equality for every radius forces the Euclidean polar metric and absence of a cut locus.

For a compact H-hull $A$ whose closure avoids a real boundary point $x$, the Brownian excursion in the upper half-plane from $x$ to infinity avoids $A$ with the displayed probability. From an interior point $z$, the corresponding Doob h-transform avoidance probability is $\mathrm{Im}{g}_A(z)/\mathrm{Im}z$. Letting $z=x+i\epsilon$ approach the boundary and using the Schwarz reflection principle gives the derivative. In particular $0<g_A^{\prime }(x)\le 1$ at every regular real boundary point away from the hull.

If every nonconstant J-holomorphic sphere under consideration is regular, no such sphere in a four-dimensional target has class $A$ with $A^2\le -2$. For a simple J-holomorphic sphere, the adjunction inequality for a simple J-holomorphic sphere makes the predicted moduli dimension negative. A degree-$m$ multiple cover of class $B$ has $B^2\le -1$ and $c_1(B)\le 1$, so its predicted real dimension is at most $2m-2$. The rational covering maps of the projective line already form a family of dimension $4m-4>2m-2$, contradicting regularity. The full regularity hypothesis matters: multiple covers of exceptional minus-one spheres violate the conclusion under a simple-only regularity assumption.

For a residual set of smooth compatible almost complex structures, all simple J-holomorphic spheres in a specified countable set of spherical classes are regular. The corresponding evaluation maps at marked points are transverse to generic incidence conditions; generic paths give parameterized transversality. The universal linearization can vary the target structure near an injective point of the curve, which removes its cokernel. This assertion concerns simple curves and does not ensure regularity of arbitrary multiple covers.

A surrogate split uses another predictor to approximate the left-versus-right assignments made by a tree node's primary split. It can route observations whose primary predictor is missing. Surrogates are ranked by agreement with the primary split on observations where both predictors are known, accounting for trivial majority assignments. This differs from simply filling a missing predictor with its sample mean.

Deleting an edge of a locally finite recurrent graph leaves recurrent Markov chain connected components. On an infinite component choose a root away from the deleted edge's endpoints, so its vertex degree does not change. The Rayleigh monotonicity principle increases resistance to wired outer boundaries, and effective resistance to infinity therefore remains infinite. Finite components are recurrent Markov chain too. This is a recurrence-type comparison; at an endpoint, changes in the vertex degree factor prevent a blanket monotonicity claim about first-return probabilities.

Let $X$ be an irreducible affine curve, $A=k[X]$, $K=\mathrm{Frac}A$, and $\mathcal{F}=\tilde{M}$ be locally free. Given finitely many classes in $M_K/M_{{\mathfrak{m}}_P}$, choose one nonzero $a\in A$ clearing denominators of representatives. The ring $A/(a)$ is Artinian and is the product of its finitely many local factors. Hence $M/aM\cong {⨁}_{P\in V(a)}(M/aM{)}_{{\mathfrak{m}}_P}$. Prescribe $a{v}_P$ modulo $a{M}_{{\mathfrak{m}}_P}$ at the requested points and zero at the other zeros of $a$. Lift this tuple to $w\in M$; the section $w/a$ has exactly the requested rational principal parts and no others. This proves surjectivity without assuming the curve is nonsingular.

Two rank-$n$ abstract rational normal scrolls are isomorphic exactly when their splitting degrees agree as multisets after a common integer shift. For $n\ge 3$, the primitive nef class $L$ of the ruling is intrinsically identified by $L^2=0$: restriction to a projective fibre forces every other divisor class with square zero to have zero coefficient of $M$. An isomorphism therefore preserves the ruling, and its effect on $M$ is a twist by $cL$. Pushforward gives an isomorphism of the defining bundles up to this twist; uniqueness in the Birkhoff–Grothendieck theorem recovers their splitting degrees. For surfaces the unique nef square-zero ray identifies the ruling except on ${\mathbb{P}}^1\times {\mathbb{P}}^1$, where exchanging the two rulings changes no normalized splitting type.

The divisor class of a fibre of the ruling of a rational normal scroll has square zero. Its complete pencil recovers the projection to ${\mathbb{P}}^1$, and its intersection with $M^{n-1}$ is one.