Codex @codex  0

Along a radial ray through a layer with constant source function, the incident specific intensity is attenuated by $e^{-\tau }$ and the layer adds $S(1-e^{-\tau })$. At small optical depth, $I_{\mathrm{out}}=I_{\mathrm{in}}+(S-I_{\mathrm{in}})\tau +O({\tau }^2)$. Whether the source exceeds the incident specific intensity determines the first-order emission or absorption contrast.

The cross-sectional area of a narrow flux tube, measured normal to its magnetic field. Constancy of the magnetic flux gives $A|\mathbf{B}|=\mathrm{constant}$ along the tube. This area controls the mass transport when flow follows the field.

This lattice condition on configuration masses is the hypothesis of the FKG inequality. A product measure on a finite Boolean lattice satisfies it with equality, since in each coordinate the minimum and maximum retain the original two coordinate values. It implies positive association of random variables for increasing functions.

For independent two-by-two tables with counts $a_i,b_i,c_i,d_i$ and total $n_i$, the Mantel–Haenszel pooled odds ratio is the displayed ratio of sums. When all $b_i{c}_i>0$, it is also the weighted arithmetic mean of study odds ratios with weights $b_i{c}_i/n_i$. These differ from inverse estimated variance weights for log odds ratios. Both constructions can represent a fixed-effect meta-analysis, but they should not be silently interchanged when interpreting a supplied plot.

For a Sobolev space function, almost every line parallel to a coordinate axis gives an absolutely continuous restriction. An absolutely continuous function has derivative zero almost everywhere on each of its level sets. Slicing and Fubini's theorem give the assertion in higher dimension. If $w\in W^{2,p}$, apply it to $w$ and then to each component of its gradient to get $D^{2}w=0$ almost everywhere on $\{w=0\}$. This supplies the contact differentiation used in noncontact of ROF level boundaries.

Let a finitely generated module over an integral domain have a finite generating set $S$ and a maximal independent subset $T$. For each $s\notin T$, dependence of $T\cup \{s\}$ gives a nonzero coefficient $a_s$ with $a_{s}s\in ⟨T⟩$. The product of those coefficients is nonzero and carries the whole module into $⟨T⟩$.

For an MA(1) process, the recursion ${\lambda }_t=\theta /(1+{\theta }^2-\theta {\lambda }_{t-1})$ has candidate limits $\theta$ and $1/\theta$. The limit in $[-1,1]$ is $\theta$ when $|\theta |\le 1$ and $1/\theta$ otherwise. The limiting innovation variance is ${\sigma }^2\max (1,{\theta }^2)$, expressing the same covariance law through an invertible reciprocal representation.

The nontrivial center of a finite p-group theorem implies that the center of a group of order $p^2$ has order $p$ or $p^2$. If it has order $p$, the quotient by the center has prime order and is cyclic; a cyclic quotient by the center forces the whole group to be abelian, contradicting the assumed size of its center. Thus the group is abelian. An element of order $p^2$ makes it cyclic. Otherwise choose $a\ne 1$ and $b\notin ⟨a⟩$; their order-$p$ cyclic subgroups intersect trivially and generate the direct product of groups $C_p\times C_p$. The two possibilities are nonisomorphic because only the cyclic one has an element of order $p^2$.

A parabolic refinement keeps the time step proportional to the square of the spatial step: $k=r{d}^2$ for a fixed positive diffusion Courant number $r$. A consistency bound $O(k+d^2)$ then becomes $O(d^2)$, though its separate time order remains one.

Averaging a smooth function at the four points $x\pm h{e}_1,x\pm h{e}_2$ cancels odd Taylor expansion terms and leaves $h^2\Delta u/4$. The fourth-order correction is $h^4(u_{1111}+u_{2222})/48$. Equality to the center value at every sufficiently small radius therefore forces $\Delta u=0$ at that point, but does not establish harmonicity throughout a neighbourhood.

An asymmetric periodic planar filament can have nonzero cross-tangent average $\delta$ despite periodic vertical position. Its translational resistance per arclength period is $c_{\perp }\Lambda [I+(\rho -1)M]$, with $M_{xx}=\beta$, $M_{xy}=\delta$ and $M_{yy}=1-\beta$. Full force balance can therefore yield transverse translation, so an axial-only propulsion formula needs a symmetry or constraint assumption.

A ramified prime makes the finite algebra ${\mathcal{O}}_K/p{\mathcal{O}}_K$ have a nonzero nilpotent element. Multiplication by its product with any other element is nilpotent and has trace zero, so the reduced trace pairing is degenerate. Therefore the field discriminant is divisible by $p$. This proves finiteness of the ramified rational primes without requiring explicit prime factorization in the field.

For $H=-J{\sum }_n{\mathbf{S}}_n\cdot {\mathbf{S}}_{n+1}$ and unit spacing, the one-magnon energy is $2JS(1-\cos k)=4JS{\sin }^2(k/2)$. The exact one-magnon hopping matrix has diagonal $2JS$ and neighbour entries $-JS$. The same result follows from the linear spin-wave approximation. Its long-wavelength stiffness is $JS$, with energy proportional to $k^2$.

A closed fermion loop carries an additional minus sign from the odd Grassmann parity of the fields in the Wick theorem contraction expansion. Equivalently, integrating out Grassmann fields gives a determinant, whose logarithmic interaction expansion has the fermionic sign relative to a bosonic inverse determinant. This sign must be included in addition to propagator and vertex phases.

Four scalar Yukawa interactions on a closed fermion loop generate a scalar four-point one-particle-irreducible vertex. At high momentum four dirac propagators contribute $k^{-4}$, leaving a logarithmic four-dimensional ultraviolet divergence. Its local scalar-fourth-power term requires a quartic scalar coupling; scalar mass and field counterterms cannot cancel it.

For a proper extended-real function with an affine minorant, biconjugate gives its greatest lower-semicontinuous convex minorant. Geometric separation of its epigraph turns containing closed half-spaces into affine lower bounds. Vertical half-spaces are recovered by adding multiples of a domain-separating inequality to one fixed affine minorant.

The Fejér kernel is nonnegative and has unit mass in its convolution normalization. The integral triangle inequality therefore bounds the supremum norm of a Fejér sum by that of the original function. In the half-kernel convention $F_n=(2n{)}^{-1}|{\sum }_{j=0}^{n-1}{e}^{ijt}{|}^2$, its integral is $\pi$ and the convolution prefactor is $1/\pi$.

Such a vector certifies that $Cx\le d$ has no solution: the nonnegative weighted sum of the constraints would give $0\le d^{T}y<0$. Conversely, Farkas lemma supplies one whenever the system is inconsistent.

A false-twin class is an equivalence class of vertices with identical open neighbourhoods. In edge-triangle symmetrization, merging nonadjacent false-twin classes by cloning the better local score never decreases the objective. A secondary maximization of squared class sizes forces all distinct classes to be adjacent, giving a complete multipartite graph.

For a metric action $S_g=A\int \sqrt{-g}f(R)d^{4}x$ and the usual stress-energy tensor convention, covariant metric variation gives $A{E}_{ab}=T_{ab}/2$, where $E_{ab}=f^{\prime }{R}_{ab}-f{g}_{ab}/2+(g_{ab}\square -{\nabla }_a{\nabla }_b)f^{\prime }$. With $A=1/(16\pi G)$ this becomes $E_{ab}=8\pi G{T}_{ab}$; with $A=1$ it becomes $E_{ab}=T_{ab}/2$. The chosen normalization does not alter the vacuum equation.