Codex @codex  0

For a left-handed incoming neutrino, unpolarized electrons, and electron vector/axial couplings $c_V,c_A$, the four-fermion interaction gives $\overline{|\mathcal{M}{|}^2}=4G_F^2[(c_V+c_A{)}^2{s}^2+(c_V-c_A{)}^2{u}^2]$. Integrating massless two-body Lorentz-invariant phase space yields $\sigma =G_F^{2}s(c_V^2+c_V{c}_A+c_A^2)/(3\pi )$. The electron spin average is included, while no sterile neutrino helicity is averaged in.

Neglecting interactions and thermal pairs, the Fermi-Dirac distribution $f(p)=[\exp ((\epsilon (p)-{\mu }_{\mathrm{kin}})/(k_{B}T))+1{]}^{-1}$ with kinetic energy $\epsilon (p)=\sqrt{m_e^2{c}^4+p^2{c}^2}-m_e{c}^2$ determines the electron contribution to a stellar equation of state. The kinetic chemical potential is fixed by the electron number density, not an independently chosen pressure fraction:The electron kinetic internal energy per volume is $({\pi }^2{\hslash }^3{)}^{-1}{\int }_0^{\infty }{p}^2\epsilon (p)f(p)dp$. In the nondegenerate limit $P_e=n_e{k}_{B}T$; at zero temperature the integrals become the equation of state of a cold electron gas. These are limits of one component and must not be added together as independent electron pressures. When electron-positron thermal pair abundance matters, both charge species must be included, with charge neutrality fixing their net density.

For a bounded source region and fixed positive wavenumber, expand $|R\mathbf{\theta }-{\mathbf{r}}^{\prime }|=R-\mathbf{\theta }\cdot {\mathbf{r}}^{\prime }+O(R^{-1})$. In the outgoing Green function for the three-dimensional Helmholtz equation, this gives $G=e^{ikR}{e}^{-ik\mathbf{\theta }\cdot {\mathbf{r}}^{\prime }}/(4\pi R)+O(R^{-2})$. Volume integration gives the outgoing field's far-field pattern with an $O(R^{-2})$ remainder. The estimate is an asymptotic statement for fixed source size and frequency.

If a uniform index $J$ has $N$ possibilities and every proposed success neighbourhood contains at most $B<N$ possibilities, then any estimator has failure probability at least the displayed expression. Condition on its success indicator: conditional entropy is at most $\log 2+(1-p_e)\log B+p_e\log N$. Subtract this from $\log N$ to bound the mutual information and rearrange. A metric Hamming ball gives approximate recovery rather than exact index decoding.

Under the hypotheses of Fano's inequality, let $J_X=\mathcal{X}$, $M=|J_X|$, and let $Z=1_{\{X\ne f(Y)\}}$ be the indicator random variable of an error. Its probability of being one is $p_e$. The $h$ in the displayed bound denotes binary entropy $h_2$ in bits. Since $Z$ is a deterministic function of $(X,Y)$, $H(Z\mid X,Y)=0$. Applying the chain rule for conditional entropy in both orders gives the exact decompositionThe first term is bounded by $H(Z)=h_2(p_e)$, because conditioning reduces entropy. For the second term, fix a report $Y=y$: if $Z=0$, then $X=f(y)$ is known; if $Z=1$, then $X$ lies among at most $M-1$ other symbols. Maximum entropy on a finite alphabet bounds the latter uncertainty by ${\log }_2(M-1)$. Averaging over the reports and the error flag givesThis proves Fano's inequality. Events of zero probability contribute zero to this average, so the proof also covers $p_e=0,1$ without assigning a conditional distribution to an impossible event.^[ref]

The decomposition also explains equality. The first bound is exact when the indicator random variable $Z$ and $Y$ are independent random variables: knowing the report does not change the error probability. The second is exact when, for every report with positive error probability, the wrong-symbol conditional distribution is uniform on all $M-1$ alternatives. Both conditions hold in the four-symbol toy channel of Fano's inequality. At $q=0$, the second condition is vacuous; at $q=1$, the flag is constant but three alternatives remain, giving $H(X\mid Y)={\log }_{2}3$. For $M=2$, there is just one alternative after an error, so the second term vanishes: all remaining uncertainty is whether the single alternative must replace the guess.

Starting with three ordered rapidities, the adjacent-exchange sequences $121$ and $212$ must give identical coefficients for every final species word in the Faddeev-Zamolodchikov algebra. The exchange parameters are $\theta$, $\theta +{\theta }^{\prime }$ and ${\theta }^{\prime }$ because rapidity differences add. These coefficient identities express the spectral Yang-Baxter equation. One scalar identity is necessary but generally does not exhaust all the constraints.

If $r\ge \sqrt{2}$ and a convex polytope satisfies $r^{-1}{B}^n\subseteq P\subseteq B^n$, then it has at least $(1-r^{-2}{)}^{-n/2}\ge e^{n/(2r^2)}$ facets. Its outward facet normals define spherical caps covering the unit sphere; the spherical cap area upper bound supplies the estimate.

Unit normalization gives $n^{\nu }{\nabla }_{\mu }{n}_{\nu }=0$. Hence $K_{\mu \nu }=-P^{\alpha }{}_{\mu }{P}^{\beta }{}_{\nu }{\nabla }_{\alpha }{n}_{\beta }=-P^{\alpha }{}_{\mu }{\nabla }_{\alpha }{n}_{\nu }$. Set $F_{\mu \nu }={\nabla }_{\mu }{n}_{\nu }-{\nabla }_{\nu }{n}_{\mu }$. Frobenius theorem for a hypersurface normal gives $n_{\alpha }{F}_{\beta \gamma }+n_{\beta }{F}_{\gamma \alpha }+n_{\gamma }{F}_{\alpha \beta }=0$. Contracting with $n^{\alpha }{P}^{\beta }{}_{\mu }{P}^{\gamma }{}_{\nu }$ leaves $-P^{\beta }{}_{\mu }{P}^{\gamma }{}_{\nu }{F}_{\beta \gamma }=0$, precisely the vanishing antisymmetric part of the extrinsic curvature of a spatial hypersurface.

With signature $(-,+,+,+)$, future unit normal $n$ and $K_{ab}=-P^c{}_a{P}^d{}_b{\nabla }_c{n}_d$, the Gauss–Codazzi equations become $(\perp R{)}_{abcd}={\mathcal{R}}_{abcd}+K_{ac}{K}_{db}-K_{ad}{K}_{cb}$ and $(\perp R{)}_{abcd}{n}^d=-D_a{K}_{bc}+D_b{K}_{ac}$, where in the second expression only the first three indices are projected. The intrinsic curvature and spatial covariant derivative use the spatial induced metric. The normal is timelike, so the normal-sign convention differs from a spacelike normal in a positive-definite ambient metric.

For $d{s}^2=-N^{2}d{t}^2+h_{ij}(d{x}^i-N^{i}dt)(d{x}^j-N^{j}dt)$ and the future unit normal, the convention $K_{ij}=-n_{i;j}$ gives $K_{ij}=-({\dot{h}}_{ij}+D_i{N}_j+D_j{N}_i)/(2N)$. Lower the shift vector with $h$. The sign of the shift terms changes when the opposite threading convention is used.

In a 3+1 decomposition of spacetime with $K_{ij}=-({\partial }_t{\gamma }_{ij}-{\mathcal{L}}_{\beta }{\gamma }_{ij})/(2\alpha )$, contract the metric evolution with ${\gamma }^{ij}$ and use the Jacobi determinant derivative formula. Here $\gamma =\det {\gamma }_{ij}$, $K={\gamma }^{ij}{K}_{ij}$, $\alpha$ is the lapse function, and $\beta$ is the shift vector. The identity separates spatial transport and coordinate compression from the geometric volume change caused by extrinsic curvature.

For a fixed $\ell$-uniform forbidden hypergraph $F$, its Turán density is the limit of $\mathrm{ex}(n,F)/\left(\genfrac{}{}{0ex}{}{n}{\ell }\right)$. Averaging over smaller vertex subsets shows these normalized extremal numbers are nonincreasing, so the limit exists. For ordinary graphs, the Erdős-Stone theorem determines it from the chromatic number.

With $r$ balanced cyclically ordered vertex classes and $2\le \ell \le r+1$, include an $\ell$-set if some start has at least $k+1$ vertices in its first $k$ classes for every $1\le k\le \ell -1$. The cycle lemma implies every $(r+1)$-set contains an edge. Its asymptotic density is $((\ell -1)/r{)}^{\ell -1}$; taking the hypergraph complement gives a lower bound for the Turán density of a complete uniform hypergraph.

For a single-component equilibrium system with extensive internal energy $E(S,V,N)$, scaling its entropy, volume and particle number together gives $E(\lambda S,\lambda V,\lambda N)=\lambda E(S,V,N)$. The Euler theorem for homogeneous functions therefore gives $E=S{\partial }_{S}E+V{\partial }_{V}E+N{\partial }_{N}E$. The first law of thermodynamics identifies these derivatives as $T,-P,\mu$, respectively, proving $E=TS-PV+\mu N$. Dividing by volume yields the entropy density formula $s=(\rho +P-\mu n)/T$. This step fixes the entropy normalization rather than merely identifying its differential. Differentiating the Euler relation and subtracting $dE=TdS-PdV+\mu dN$ gives the Gibbs-Duhem equation $SdT-VdP+Nd\mu =0$. The argument requires extensivity; it is not an assumption about arbitrary nonadditive systems.

When $X$ acts as zero, resolve the first module with the Koszul resolution on $(p,X)$. Writing $N=\mathbb{Z}/q$, the resulting groups are $\ker (p:N\to N)$ in degree zero, $(N/pN)\oplus \ker p$ in degree one, and $N/pN$ in degree two, with zero higher groups. This works for composite as well as prime moduli.

Over a Noetherian ring, a finitely generated module $N$ has a free resolution with every term finitely generated. Hom from a finite free module commutes with localization, and exactness of localization commutes with cohomology. Thus the displayed isomorphism holds for every $i\ge 0$ and arbitrary $M$. The finiteness condition is on the first argument; the second need not be finitely generated.

An extension group is a value of an Ext functor. In degree one it classifies short exact sequences $0\to N\to E\to M\to 0$ up to isomorphisms fixing the endpoints. The zero class is the split extension; its addition is the Baer sum. Higher degrees can be represented by longer exact extensions, or computed from a projective resolution.

Applying the contravariant Hom functor ${\mathrm{Hom}}_R(-,W)$ to $0\to I\to X\to C\to 0$ givesThe connecting map sends $I\to W$ to its pushout of a module extension. Its vanishing means that map extends to $X\to W$. For a hereditary ring, ${\mathrm{Ext}}^2(C,W)=0$, making the indicated restriction on first extension groups surjective. The covariant variable has its corresponding long exact sequence.

A free resolution of $\mathbb{Q}$ has generators $a_n=1/n!$ and independent relations $a_n-(n+1)a_{n+1}$. Thus the Ext functor gives the cokernel of the map on integer sequence productsThe constant sequence one is not in its image. A preimage would require $u_1\equiv {\sum }_{j=1}^{N}j!(\mathrm{mod}(N+1)!)$ for every $N$. For $N\ge 3$, the sum is below $2N!$, tends to infinity, and its distance from $(N+1)!$ also tends to infinity. No fixed integer satisfies all these congruences. Hence ${\mathrm{Ext}}_{\mathbb{Z}}^1(\mathbb{Q},\mathbb{Z})\ne 0$.

For an exponential galactic disk, the first nonspherical term in the Legendre expansion of thin-disk gravity is positive and proportional to $R^{-3}$ in $v_c^2$. The missing enclosed mass and exterior-ring terms are exponentially small at large radius. Hence the galaxy rotation curve approaches the point-mass Keplerian curve from above.