A Feller semigroup symmetric in the space associated with an invariant measure has a self-adjoint contraction realization in $L^2(\mu )$. Its two-point kernel measure $\mu (dx)P_t(x,dy)$ is symmetric. This reversibility expresses its joint energy as an integral of products of increments.

// Target: analysis.bigb

For fixed positive integer $k$ and $n>k$, the Fourier coefficient of the Fejér kernel at frequency $k$ multiplies the mode by $1-k/n$. The displayed error is exact. Consequently the order $n^{-1}$ cannot be replaced by $o(n^{-1})$ for all twice continuously differentiable periodic functions, even though each fixed Fourier mode is infinitely differentiable.

The positive normalized Fejér kernel has a $1/(n{t}^2)$ tail. Split the error integral at $\delta =n^{-\alpha }$ and use the chaining inequality $\omega (f,t)\le (1+t/\delta )\omega (f,\delta )$. Its tail contributes at most a constant times $n^{\alpha -1}(1+\alpha \log n)\omega (f,\delta )$. The factor is uniformly bounded for each fixed $\alpha <1$, proving the displayed estimate. Its constant need not remain bounded as $\alpha$ tends to one.

For $|\theta |\ll 1$ and $s=\delta Z\ll 1$, the Fay solution becomes $q\sim 4\delta \theta {\sum }_{j\ge 0}[((2j+1)s{)}^2+{\theta }^2{]}^{-1}$. The partial-fraction identity for the hyperbolic tangent sums this to the displayed smooth shock layer. It resolves the odd transition from $-\pi /Z$ to $+\pi /Z$ on angular thickness $O(\delta Z)$; at $\theta =0$ both sides vanish and the comparison is read through their derivatives.

For the standard fundamental sequences of limit ordinals below epsilon zero, the index order corresponds to eventual, rather than necessarily pointwise, growth. For example, under $\omega [n]=n+1$ and successor iteration $n+1$ times, $F_{\omega }(1)=F_2(1)=7$ whereas $F_3(1)=2047$. Limit stages are diagonal choices, so a larger index can give a smaller value at small arguments.

Suppose $A,b$ have integer entries of absolute value at most $U\ge 1$, $A$ has $n$ columns, and $Ax\ge b$ is infeasible. A Farkas certificate for linear inequalities can be chosen with $\lambda \ge 0$, $A^T\lambda =0$, $1^T\lambda =1$ and the displayed lower bound. Normalize an infeasibility certificate to obtain the last equality, then maximize $b^T\lambda$ over the resulting compact linear polyhedron. A maximizing extreme point has at most $n+1$ positive entries: otherwise the augmented columns $(A_i^T,1)$ on its support would be dependent, allowing feasible perturbations in both directions. For its $k\le n+1$ independent supported columns, select $k$ independent equations. Cramer's rule expresses the supported entries with a common nonzero integer determinant denominator. That determinant has absolute value at most $k!U^k\le [(n+1)U{]}^{n+1}$. The positive value $b^T\lambda$ therefore has a positive integer numerator over a denominator of at most this size, proving the bound.

For the high-frequency Faraday effect in a cold plasma, the rotation measure is the coefficient in $\Delta \varphi ={\lambda }^2\mathrm{RM}$. It is a density-weighted line integral of the line-of-sight magnetic field; the coefficient $a_0$ depends on the units. A sign convention for the line of sight fixes its sign. Correlations across an extended source can constrain a foreground magnetic energy spectrum, subject to statistical assumptions.

Two equal masses $m$ orbiting their centre of mass at radius $R$ have separation $2R$. Newton's law of universal gravitation gives the displayed orbital frequency. Their mass quadrupole moment varies at twice that frequency, producing gravitational radiation with two gravitational wave polarizations. For inclination $\iota$, its leading plus and cross amplitudes are proportional to $1+{\cos }^2\iota$ and $2\cos \iota$, respectively. Face-on radiation is circularly polarized; edge-on radiation is linearly polarized.

For a weakly self-gravitating bound source of size $R$, mass $M$ and nonspherical dynamical mass quadrupole moment $Q=O(M{R}^2)$, the virial theorem gives $v^2=O(GM/R)=O(ϵ)$. Its time scale is $R/v$, so $\ddot{Q}=O(M{v}^2)$. The far-zone quadrupole strain then has a spatial half-strain coefficient $E=O(GM{v}^2/r)=O({ϵ}^{2}R/r)$ in units $c=1$. The physical transverse-traceless strain is $2E^{\mathrm{TT}}$. Spherical or stationary sources can have zero radiation, so this is a characteristic scale for a changing nonspherical quadrupole, not a positive lower bound. The radiation zone also requires $r\gg R/v$.

For a line $L$ on a degree-$d$ smooth surface in ${\mathbb{P}}^3$, the adjunction formula gives $L^2=2-d$. If $d\ge 3$, all lines are negative curves, hence there are only countably many by countability of negative curves. Their projective Fano scheme of lines cannot have a positive-dimensional complex component, since such a component has uncountably many points. A zero-dimensional projective scheme of finite type has finitely many points, proving the assertion.

Cubic forms in four variables form ${\mathbb{P}}^{19}$. Lines form the four-dimensional Grassmannian $G=\mathrm{Gr}(2,4)$. The incidence pairs $(\ell ,[F])$ with $F{|}_{\ell }=0$ form a projective-space bundle with fibre ${\mathbb{P}}^{15}$ over $G$, since restriction to a line imposes four independent linear conditions. Hence the incidence variety is irreducible of dimension 19. For $F=x_0^2{x}_2+x_1^2{x}_3$, a nearby line written $x_2=a_0{x}_0+a_1{x}_1$, $x_3=b_0{x}_0+b_1{x}_1$ lies on $F$ precisely when all four parameters vanish. This is an isolated point of that fibre. The fiber dimension theorem forces the image to have dimension 19, and projectivity makes the image closed. It is therefore all of ${\mathbb{P}}^{19}$, proving geometric existence over an algebraically closed field.

For every $\rho >0$, some $\delta >0$ makes every sufficiently large Fano-free three-uniform hypergraph of density at least $3/4-\delta$ admit a partition with at most $\rho n^3$ internal triples. The argument compares four hypergraph link graphs around a tetrahedron. Forbidden rainbow perfect matchings in their edge-coloured union force an approximate pattern with multiplicity two within the parts and four between them. A positive internal triple density would produce a complete tripartite six-vertex template, and its pairs together with a link vertex would complete a Fano plane.

In the translating-cylinder frame, a wall moves at $-U$ and the nearby cylinder surface at $W$. With gap $d+x^2/(2a)$ and equal outer pressures, lubrication theory gives the displayed forces with $J_1=\pi \sqrt{2a/d}$. Wall and cylinder shear forces alone do not balance because the sloping cylinder's pressure force is of the same order. Their complete sum is zero. Pressure exerts no moment about the circular cylinder center, while shear supplies the leading singular rotational resistance.

A Faddeev-Popov ghost is an auxiliary Grassmann-valued field transforming as a scalar field introduced to express the Faddeev-Popov determinant as a functional integral. Its anticommuting variables reproduce a determinant rather than the inverse determinant associated with an ordinary commuting scalar field.

In a non-Abelian covariant gauge, the Faddeev-Popov operator depends on the gauge field, giving ghost interaction vertices and ghost loops. These contributions are required for consistent cancellation of unphysical gauge-polarization effects. Ghosts are not physical asymptotic particles, so their scalar transformation and anticommuting variables do not contradict the Spin-statistics theorem for physical states. In an Abelian linear gauge with a field-independent determinant, the ghosts decouple; that simplification need not hold for every nonlinear gauge condition.

Suppose a gauge fixing condition intersects each gauge orbit once in the local region under consideration, and its linearized Faddeev-Popov operator has no residual zero modes after boundary conditions are imposed. The functional Jacobian for changing from the gauge transformation parameter to the gauge condition gives the displayed identity. Inserting it in a gauge-invariant functional integral allows the integration along the gauge orbit to factor out and cancel the formal gauge-group volume. In a perturbative neighborhood the Jacobian's sign or phase is fixed; a field-independent determinant factor is absorbed into normalization. The Gribov ambiguity prevents treating this local identity as a globally unique gauge choice without further qualifications.

A factorial series with integral digits $0\le a_n<n$ is an irrational number exactly when positive digits occur infinitely often and digits below their maximum occur infinitely often. Under these two conditions every scaled tail $N!{\sum }_{n>N}{a}_n/n!$ lies strictly between zero and one. If the sum were a rational number $A/B$, choose $N\ge B$; then $N!A/B$ and the scaled finite head are integers, contradicting the strict tail bound. Conversely, an eventually zero digit sequence gives a finite rational number sum, and an eventually maximal sequence gives a finite head plus $1/N!$, again a rational number.

A fractional factorial design uses a selected subset of the full factor-level combinations. In a regular two-level fraction, encode levels by signs and impose $k$ independent equations ${\prod }_{j\in G_i}{x}_j=s_i$. independence of the generator incidence vectors over ${\mathbb{F}}_2$ leaves $2^{m-k}$ runs. Reduced run count creates aliasing in a fractional factorial design, which must be evaluated against the effects scientifically required.

In a two-level factorial design, a factor subset defines a sign column. The coefficient of this column is its response contrast divided by the number of runs when the columns are orthogonal. A singleton describes a main effect and a pair describes a two-factor interaction. On the full cube, distinct columns have zero inner product: summing over any coordinate in their symmetric difference cancels the terms.

A main effect compares the mean response at different levels of one factor after averaging over the other factors according to the design. With sign coding, its two-level difference is twice the singleton factorial contrast coefficient. In a fractional factorial design, that coefficient can include aliased higher-order effects.

The latent factor vector has mean zero and covariance $I_q$, the specific errors have mean zero and diagonal covariance $\Psi$, and the two are uncorrelated. Thus the off-diagonal covariance is explained by shared factors. Normality additionally gives a likelihood model, but the covariance identity needs only these second-moment assumptions. Positive diagonal entries of $\Psi$ describe variation not explained by the factors. Unlike principal component analysis, the model separates shared and specific variation rather than only maximizing total projected variance.