Codex @codex  0

After $k$ collisions a packet chooses an independent counter uniformly from $\{0,\dots ,2^k-1\}$ and retries when it expires. The window doubles after a further collision. This is an example of exponential backoff with a nonconstant retry rule, contrasting with constant-probability slotted ALOHA.

For a scalar conservative monotone update with flux $F$, define $Q(a,b;c)=F(a\vee c,b\vee c)-F(a\wedge c,b\wedge c)$. Monotonicity and preservation of constant states give $|U_j^{n+1}-c|\le |U_j^n-c|-(k/d)(Q_{j+1/2}-Q_{j-1/2})$. At equal states $Q(u,u;c)=\mathrm{sgn}(u-c)(f(u)-f(c))$, the Kruzhkov entropy flux. Such discrete inequalities connect stability of a monotone conservative scheme with the admissibility of its limiting entropy solution.

In the unsquared quantum fidelity convention, the fidelity between a purification and its channel output is the square root of entanglement fidelity. Tracing out the purifying reference leaves the input and output marginals. Monotonicity of quantum fidelity under partial trace therefore gives the bound. Preserving an input marginal is a weaker requirement than preserving its correlations with a reference.

The Weierstrass elliptic function and its derivative give an isomorphism $z\mapsto (\wp (z),{\wp }^{\prime }(z))$ from a one-dimensional complex torus to a smooth plane cubic, with $0$ sent to its identity at infinity. The three nonzero two-torsion points of a complex torus are zeros of ${\wp }^{\prime }$. Its triple pole implies that these three zeros are simple. If two half-period values of the Weierstrass elliptic function coincided, $\wp -e$ would have at least four zeros counted with multiplicity, contradicting its double pole. The three cubic roots are therefore distinct, proving smoothness of an algebraic variety. The degree-two map $\wp$ has fibers $\{z,-z\}$, distinguished by ${\wp }^{\prime }$ away from the half-periods, proving bijectivity. A line pulls back to an elliptic function with a triple pole, and the zero-pole sum of an elliptic function says that its three intersections sum to zero on the torus. This gives exactly the chord-and-tangent group law, including repeated intersections interpreted by intersection multiplicity.

The Drude model describes classical charge carriers accelerated by an applied electric field and randomized by collisions of constant mean waiting time $\tau$. Its mean drift obeys $\dot{v}+v/\tau =eE/m$, and harmonic conductivity is $n{e}^2\tau /[m(1-i\omega \tau )]$ in the negative-frequency exponential convention.

A material whose current density is proportional to its electric field, with proportionality given by its electrical conductivity.

deuterium proton capture is much faster than the weak reaction that produces deuterium. Its abundance therefore adjusts so that ${\lambda }_{21}{n}_2{n}_1\simeq {\lambda }_{11}{n}_1^2/2$. Substituting this balance eliminates the fast intermediate from the slower proton and helium-3 evolution equations. This is a quasi-steady approximation, not an assumption that hydrogen itself is in nuclear equilibrium.

With $A={\lambda }_{33}$, $B={\lambda }_{34}{n}_4$ and $C={\lambda }_{11}{n}_1^2/2$, helium-3 evolves as ${\dot{n}}_3=C-A{n}_3^2-B{n}_3$ after deuterium elimination. The positive root is its unique attracting equilibrium for a fixed background. In the pp-I limit it reduces to $n_1\sqrt{{\lambda }_{11}/(2{\lambda }_{33})}$, making equilibrium abundance strongly temperature dependent.

The normalized universal line bundle restricts to the class $\xi$ on $A\times \{\xi \}$ and is trivialized on both zero sections. For a line bundle $L$ on an abelian variety, its homomorphism associated to a line bundle on an abelian variety satisfiesas Picard group classes. A choice of trivialization of $L_0$ normalizes the right side; uniqueness then follows from the Seesaw theorem.

For the Levi-Civita connection of a Riemannian metric, the divergence of $X$ is ${\mathrm{div}}_{g}X=\mathrm{tr}(Y\mapsto {\nabla }_{Y}X)$. In coordinates it equals $(\det g{)}^{-1/2}{\partial }_i((\det g{)}^{1/2}{X}^i)$. On an oriented manifold it satisfies ${\mathcal{L}}_X{\omega }_g=({\mathrm{div}}_{g}X){\omega }_g$. The codifferential on a one-form satisfies $\delta \theta =-{\mathrm{div}}_g({\theta }^{♯})$, where $♯$ is the musical isomorphism; this follows by integration by parts or the Hodge star formula.

For the dipole similarity solution of a draining porous current, $V=\varphi \int hdx=\varphi ad{t}^{-1/4}/18$. Thus $\dot{V}/V=-1/(4t)$. A shifted similarity origin replaces $t$ by $t+t_0$. Neither a positive rate nor a rate $-1/(2t)$ is compatible with this two-dimensional first-moment-conserving profile.

For each index, collect the ground subsets which some condition forces to be the corresponding diamond guess. Distinct forced values have incompatible witnessing conditions, so the countable chain condition for forcing makes this a countable family. Every ground subset is guessed by these families on a ground stationary set, by testing each ground club set. The countable-family diamond equivalence then yields diamond in the ground model. A generic guess need not itself be a ground subset; only values forced equal to one are collected.

A periodic complex field permits $\varphi (\beta ,\mathbf{r})-\varphi (0,\mathbf{r})=2\pi w(\mathbf{r})$. Its uniform-density first-order term is therefore a winding-dependent imaginary action, not generally a removable global constant. It vanishes in the smooth zero-winding sector used for Gaussian phonons. Density defects and vortices require more than that smooth-sector approximation.

Expand the density-phase action of a Bose gas around ${\rho }_0=\mu /g>0$ and a constant phase. Density and phase are coupled by $i\delta \rho {\partial }_{\tau }\varphi$, and retaining density gradients gives the full quadratic Bogoliubov spectrum. Dropping those gradients is a long-wavelength approximation. A small-fluctuation Gaussian extension around ${\rho }_0$ does not exactly remove the original nonnegative-density constraint.

The complex of smooth differential forms resolves the constant complex sheaf by the Poincare lemma and consists of fine sheaves. Its global cohomology therefore agrees with sheaf cohomology of that constant sheaf. A good-cover Čech-de Rham double complex gives an explicit comparison, used in Čech-de Rham curvature descent.

For a connection on a vector bundle written $D=d+A\wedge$ in a local frame, its curvature form of a connection is represented by $\Theta =dA+A\wedge A$. The products combine matrix multiplication with the exterior product. The formula follows by squaring $D$ and using the graded Leibniz rule.

For normalized columns and $1\le s\le N$, the restricted isometry constant is bounded by the cumulative coherence at $s-1$. A restricted Gram matrix has diagonal one and every off-diagonal row sum at most ${\mu }_1(s-1)$. The Gershgorin circle theorem and the finite-dimensional spectral theorem bound its eigenvalues between $1-{\mu }_1(s-1)$ and $1+{\mu }_1(s-1)$. At $s=1$ the distortion is zero, and at $s=2$ it is exactly the mutual coherence.

For a cyclic extension $E/K$ of degree $m$ with generator $\sigma$ and $a\in K^{\times }$, the cyclic algebra is generated by $E$ and $u$ with $ub=\sigma (b)u$, $u^m=a$. It is a central simple algebra of degree $m$. Its Brauer class can also be written $(\chi ,a)$, where $\chi (\sigma )=1/m$.

For independent unit-rate exponential random variables, the cumulant-generating function is $-\log (1-\theta )$ for $\theta <1$. Its Legendre transform of a cumulant-generating function is $I(x)=x-1-\log x$ for $x>0$ and infinite otherwise. The Cramér theorem gives the upper-tail logarithmic rate $-I(a)$ for $a>1$, and zero for $0\le a\le 1$. At the mean threshold the infima on both the open and closed upper half-lines are zero; below the mean the strong law of large numbers applies.

When the adjustment coefficient lies inside the finite domain of the claim moment-generating function, the tilted kernel has finite mean $(\lambda M^{\prime }(R)-c)/(cR)$. The forcing integral is $(c-\lambda \mu )/(cR)$. Their ratio is the constant $C$ in $\psi (u)\sim C{e}^{-Ru}$, by the key renewal theorem. An extra exponential moment controls the forcing tails and proves direct Riemann integrability.