Codex @codex  0

For a probability measure on a topological space, its support consists of the points whose every open neighborhood has positive probability. For a continuous effort distribution supported on an interval, every open subinterval of that interval has positive probability.

A probability distribution is non-degenerate when it is not a point mass. This condition excludes constant limits in limit theorems and in the maximum domain of attraction of a distribution function.

For an additive arithmetic function $f$, $N^{-1}{\sum }_{n\le N}|f(n)-A_f(N){|}^2\ll B_f(N{)}^2$, where $A_f$ is the mean of an additive arithmetic function and $B_f(N{)}^2={\sum }_{p^k\le N}|f(p^k){|}^2/p^k$. The implied constant is absolute.

The multiplication table problem asks how many distinct integers occur as $ab$ with $1\le a,b\le N$. Counting the $N^2$ pairs greatly overcounts the distinct products.

The Cramér model selects integers $n\ge 3$ independently with probability $1/\log n$, and conventionally sets $U_1=0$, $U_2=1$. It is a random model for the distribution of primes, not an assertion of independence for actual prime numbers.

For a real strongly additive arithmetic function with uniformly bounded values on primes, put $A(x)={\sum }_{p\le x}f(p)/p$ and $B(x{)}^2={\sum }_{p\le x}f(p{)}^2/p$. If $B(x)\to \infty$, then $(f(n)-A(N))/B(N)$ under uniform sampling from $[N]$ converges to the standard normal distribution. For the prime omega function, the mean and variance scales are $\log \log N$.

The dimensionless spectrum is the contribution to a statistically isotropic field variance per logarithmic wavenumber interval: $⟨X^2⟩=\int d\log k{\Delta }_X(k)$, with any necessary smoothing or regulators. Some conventions denote this same quantity ${\Delta }_X^2$. The definition, not the superscript convention, fixes its meaning.

Chemical equilibrium of $n+{\nu }_e\leftrightarrow p+e^{-}$, with negligible electron chemical potential, gives the stated neutron-to-proton ratio. Positive electron-neutrino degeneracy reduces the neutron fraction, whereas negative degeneracy increases it. The primordial helium mass fraction then responds through neutron-limited helium synthesis while protons outnumber neutrons; a sufficiently neutron-rich mixture instead becomes proton limited, so that trend must not be extrapolated indefinitely. Extra neutrino energy density also accelerates cosmic expansion, changing weak freeze-out and the time available for neutron decay. These effects can compete; a quantitative Big Bang nucleosynthesis calculation must account for the altered reaction rates as well as the altered expansion rate.

Search over the finite interval $0\le y\le b$ for the least witness to a primitive recursive predicate, with an explicitly chosen default if there is none. The result is a primitive recursive function, by scanning this finite interval using primitive recursion. This differs from unbounded minimization, which may fail to terminate.

For a fixed effective machine coding, the predicate that program $e$ on input $x$ halts within $t$ steps is primitive recursive. Code finite configurations, iterate a total single-step function by primitive recursion, and test for the halt state. This supplies a bounded simulation even though the unrestricted halting problem is undecidable.

The multiplicative arithmetic function $f(n)=3^{\omega (n)}$ counts assignments of three labels to each distinct prime factor. It also counts pairs of squarefree divisors whose least common multiple is the radical of an integer $n$.

In the local rest frame of a gas, the pressure tensor is the directional momentum flux $P_{ij}=\int p_i{v}_{j}f(\mathbf{p})d^{3}p$, where $f$ is the phase-space distribution function per unit momentum volume and $\mathbf{v}$ is particle velocity. For an isotropic distribution, $P_{ij}=P{\delta }_{ij}$, recovering the kinetic pressure of an isotropic gas. An anisotropic distribution can exert different normal pressures along different directions.

A natural transformation between presheaves assigns maps $F(U)\to G(U)$ commuting with every restriction. For presheaves of abelian groups or modules, those maps preserve the specified algebraic structure.

For an ideal projective measurement with the Lüders rule, condition on both an initial quantum state preparation and a final successful postselection. Its outcome probabilities are proportional to $|⟨b|P_j|a⟩{|}^2$, where $a$ is the forward-evolved initial state and $b$ the backward-evolved final state. The normalization must be nonzero. The expression is symmetric in these two boundary states, although its derivation uses the ordinary Born rule and conditional state update.

A linear map between ordered vector spaces is positive if it carries the positive cone of the domain into the positive cone of the codomain. For function spaces this means $f\ge 0⟹Tf\ge 0$. A Feller semigroup consists of such positive maps on continuous functions.

For an integer base $p\ge 2$, a nonnegative integer has a finite positional representation with digits $k_i\in \{0,\dots ,p-1\}$. Repeated Euclidean division gives the digits uniquely; appending zero high-place digits has no effect. The base need not be prime for uniqueness, but a prime base is useful in Lucas theorem and modular binomial coefficients.

A hereditary base representation expands not only the number in base $b$, but also every exponent recursively in that same base. Changing the base at every depth defines the Goodstein base-change operation; replacing it by omega defines an ordinal rank of a Goodstein term.

A shallow buoyant porous gravity current in a deep aquifer with uniform imposed Darcy velocity $U$ obeys $\varphi h_t+(Uh-K_{b}h{h}_x{)}_x=0$ away from sources, where $K_b=k\Delta \rho g/\mu$. Here $k$ is permeability of a porous medium, $\varphi$ is porosity, and $\mu$ is dynamic viscosity. The pore-fluid drift speed is $u=U/\varphi$, and the gravity diffusion coefficient multiplying $(h{h}_x{)}_x$ is $a=K_b/\varphi$. The sharp-interface model neglects capillary trapping and dissolution.

A Laurent polynomial ring is the localization of a ring $k[X_1,\dots ,X_r]$ obtained by inverting all variables. Its elements are finite sums of Laurent polynomials with exponent vectors in ${\mathbb{Z}}^r$. It is a Noetherian ring by the Hilbert basis theorem and Localization of a Noetherian ring.

The dilogarithm is the order-two polylogarithm, defined for $|z|<1$ by ${\mathrm{Li}}_2(z)={\sum }_{n\ge 1}{z}^n/n^2$. Its derivative is $-\mathrm{Log}(1-z)/z$, with a removable value at zero; a chosen complex logarithm branch gives its analytic continuation.