A scan statistic searches a family of candidate locations or subsets and reports the largest local statistic. Under a null hypothesis, a union bound converts a tail estimate for each candidate into a bound for the maximum; no independence between local statistics is required. Structured alternatives often permit a chi-squared testing lower bound using the overlap geometry of two candidates.

If $q={\sigma }^{2}p$ and $q^{\prime }=2bp$, then $pLu=(q{u}_x{)}^{\prime }/2$. Insert compact cutoffs ${\chi }_R$, integrate the backward equation in time, and integrate by parts twice to move spatial derivatives onto ${\chi }_R$. The error is bounded by $t\Vert u{\Vert }_{\infty }(C{R}^{-2}\Vert q{\Vert }_1+C{R}^{-1}\Vert q^{\prime }{\Vert }_1)/2$. When these norms are finite it vanishes, proving $\int u(t)p=\int fp$ without assuming derivative behavior at infinity.

For the sum-zero standard representation of the symmetric group, the vectors $v_j=e_1+\cdots +e_j-j{e}_{j+1}$ form a Gelfand–Tsetlin basis. The Young–Jucys–Murphy element $X_i$ has eigenvalue $i-1$ for $i\le j$, $-1$ for $i=j+1$, and $i-2$ for $i>j+1$. Normalizing by $\sqrt{j(j+1)}$ gives an orthonormal basis corresponding to tableaux of shape $(n-1,1)$ whose second-row entry is $j+1$.

Put $C^0={⨁}_i\mathrm{Hom}(X_i,Y_i)$ and $C^1={⨁}_{\rho :i\to j}\mathrm{Hom}(X_i,Y_j)$. The differential has components $g_{\rho }{h}_i-h_j{f}_{\rho }$. Its kernel is ${\mathrm{Hom}}_Q(X,Y)$ and its cokernel is ${\mathrm{Ext}}_Q^1(X,Y)$. In a vertexwise splitting of an extension, the off-diagonal arrow blocks change by these coboundaries when the splitting changes.

In normalization $Q=T_3+Y$, the left quark doublet has $Y=1/6$, right up/down singlets have $2/3,-1/3$, the left lepton doublet has $-1/2$, the right charged lepton has $-1$, and the Higgs doublet has $1/2$. The alternative convention $Q=T_3+\hat{Y}/2$ uses $\hat{Y}=2Y$. Up-type Yukawa interactions use the conjugate doublet of hypercharge $-1/2$.

For $H=\frac{1}{2}\sum p_j^2/h_j^2-\psi$, $l=p_{\varphi }$ and a Stäckel potential, multiplying the separated Hamilton-Jacobi equation by $\lambda -\mu$ gives $2(\tau +\alpha )(\tau +\beta )p_{\tau }^2-(\alpha -\beta )l^2/[2(\tau +\alpha )]-G(\tau )-E\tau =-I$ for both $\tau =\lambda ,\mu$. Eliminating $E$ gives $I=\frac{1}{2}[\mu v_{\lambda }^2+\lambda v_{\mu }^2+(\lambda +\mu +\alpha )v_{\varphi }^2]-[\mu G(\lambda )-\lambda G(\mu )]/(\lambda -\mu )$. Physical components are $v_j=h_j{\dot{q}}_j$ and $p_j=h_j{v}_j$. Separation proves conservation locally; direct Poisson brackets extend it across regular coordinate patches.

For fixed $E,l,I$, separated motion obeys $p_{\tau }^2=[E\tau +G(\tau )-I+(\alpha -\beta )l^2/(2(\tau +\alpha ))]/[2(\tau +\alpha )(\tau +\beta )]$. Allowed intervals are where this is nonnegative, with turning points and coordinate-fold endpoints treated separately. A generic nonresonant bound orbit with $l\ne 0$ circulates azimuthally and densely samples a projected volume bounded by confocal spheroids and hyperboloids. It is not uniformly distributed in volume. Resonant or zero-angular-momentum orbits can project to lower-dimensional regions; integrability alone does not imply that every orbit fills a three-dimensional shell.

The steady upstream film of an infinite blade has $h_x=-3(h-1)/h^3$. Thus $X(h)=h^3/9+h^2/6+h/3+\log (h-1)/3$. The head is fixed by under-blade leakage balancing the incoming film. The deep pile has a cubic profile, while the actual upstream transition has an exponential tail towards $h=1$.

For a rounded blade with local parabolic lubrication gap $d=ϵ+x^2/(2\delta )$, $ϵ\ll \delta$, the Couette-Poiseuille flow in a thin gap yields a floor-driven flux $2ϵ/3$ and pressure-driven leakage proportional to ${ϵ}^{5/2}\Delta p/\sqrt{\delta }$. Positive $J$ is from the upstream pile towards the rear.

A long blade with negligible under-blade leakage diverts incoming fluid laterally. A deep-pile profile $h^3=9[x_N(y)-x]$ and integrated flux conservation give $d(\int h^{4}dx)/dy=-12y$, hence $x_N=[126({\alpha }^2-y^2){]}^{3/7}/9$. This leading approximation excludes the nose and blade-tip transition regions.

The risk of an estimator under squared Euclidean error is its expected squared distance from the true parameter. Pointwise risk domination can be strict even when the supremum risk agrees, because the supremum can be approached at parameters tending to infinity.

Given finitely many points in a right triangle with hypotenuse endpoints $a,b$, there is a path from $a$ to $b$ visiting them all with sum of squared edge lengths at most $\Vert a-b{\Vert }^2$. Repeated altitude subdivision reduces to cells containing one point. Joining the child paths preserves the squared-cost bound by the Pythagorean theorem; deleting an auxiliary right-angle vertex preserves it by the law of cosines.

The square class of $a\in K^{\ast }$ is its image in the square-class group of a field $K^{\ast }/K^{\ast 2}$. Two nonzero elements have the same square class exactly when their quotient is a square. Every element of this quotient has order dividing $2$. Over the rational numbers, a square class has a unique signed squarefree integer representative.

The valuation contributes one factor $C_2$. The unit decomposition of the 2-adic Gaussian field contributes ${\mu }_4/{\mu }_4^2\cong C_2$ and the additive quotient ${\mathbb{Z}}_2[i]/2{\mathbb{Z}}_2[i]\cong C_2^2$. Thus there are sixteen square classes and fifteen quadratic extensions over this field.

On a spin-$s$ field $f$, the spin-raising and lowering operations are $ðf=-{\sin }^s\theta ({\partial }_{\theta }+i\csc \theta {\partial }_{\phi })({\sin }^{-s}\theta f)$ and $\overline{ð}f=-{\sin }^{-s}\theta ({\partial }_{\theta }-i\csc \theta {\partial }_{\phi })({\sin }^s\theta f)$. The intermediate spin changes after each application. For an axisymmetric scalar $f(\mu )$, either operation applied twice yields $(1-{\mu }^2)f^{\prime \prime }(\mu )$.

Equal spheres of radius $r$ occupy the sites of a cubic lattice of spacing $2r$. A cell contains one sphere, so its packing fraction is $(4\pi r^3/3)/(2r{)}^3=\pi /6$. This is an ideal arranged deposit rather than a claim about all settling suspensions.

Every element of a nonzero complex unital Banach algebra has a nonempty compact spectrum of an element. If the resolvent of an element existed everywhere, composing it with any bounded linear functional would give a bounded entire function tending to zero at infinity. The Liouville theorem and point separation by the Hahn-Banach theorem would force the resolvent to be zero, contradicting the inverse equation. Nonunital algebras are treated by unitization.

An approximate eigenvalue of a bounded operator $T$ is a scalar $\lambda$ admitting unit vectors $x_n$ with $\Vert (T-\lambda I)x_n\Vert \to 0$. Every approximate eigenvalue belongs to the spectrum; for a normal operator, all spectral points are approximate eigenvalues.

Linear spectral dispersion is the derivative of the photodetector coordinate in the dispersion direction with respect to wavelength. Near the optical axis, $q=f_{\mathrm{cam}}d\beta /d\lambda$.

A spectral resolution element is a spectral interval at the adopted instrumental resolution. At spectral resolving power $R$, its width is $\Delta \lambda =\lambda /R$. The number of photodetector detector pixels sampling it is distinct from $R$.