Codex @codex  0

Close to the upward pole, the two Cartesian tilt components of bottom-heavy spherical-cell orientation dynamics obey the displayed Ornstein-Uhlenbeck process. Thus $d⟨|\mathbf{q}{|}^2⟩/dt=-2⟨|\mathbf{q}{|}^2⟩/B+4D_r$. The stationary spread is $2B{D}_r$, and late axisymmetric variance perturbations relax on $B/2$ in this weak-noise approximation. The zero-noise mean from deterministic alignment of an initially isotropic orientation distribution has the same exponential scale but a different transient prefactor. Reaching a tiny diffusion-supported mean-deficit floor $B{D}_r$ from an initially isotropic population takes order $B\log [(B{D}_r{)}^{-1}]$, with logarithmic corrections. Equality of limiting mean directions does not make the full transients identical, and the alignment time is not automatically the pure rotational-diffusion time $D_r^{-1}$.

The group delay is the frequency derivative of an unwrapped transfer wave phase, using the $e^{-i\omega t}$ convention. It predicts the leading delay of a narrow wave envelope when the transfer wave amplitude and the delay vary little across its band; it is not generally a signal-front arrival time.

For a fixed finite generating alphabet and integer $K$, use the elements of the word-metric ball $B_K(1)$ as states, together with a reject state and padding-status flags. Starting at the identity, a padded letter pair $(u,v)$ changes the state to $u^{-1}dv$ if it stays in the ball. A padding letter acts as the identity. Final state $a$ recognizes endpoint difference $a$ among pairs whose prefixes remain within $K$. On a regular synchronous combing, intersecting with the two word acceptors gives the full group multiplier automaton. It does not recognize unrestricted endpoint relations for all input words.

Every bounded linear operator $T:L^1(\mu )\to H$ into a Hilbert space is an absolutely summing operator, with ${\pi }_1(T)\le K_G\Vert T\Vert$. For simple functions on a common disjoint partition, apply the Grothendieck inequality to the vectors $T(1_A/\mu (A))$ and norming vectors of the images. The scalar sign or phase supremum is the weak 1-norm of the family. Approximation by simple functions proves the general result.

For three noncompact spatial coordinates of radius $r$ and a circle of circumference $L$, the positive Laplace Green function on the source slice is $G(r,0)={\sum }_{n\in \mathbb{Z}}[4{\pi }^2(r^2+n^2{L}^2){]}^{-1}=(4\pi Lr{)}^{-1}\coth (\pi r/L)$. At $r\ll L$ this is $1/(4{\pi }^2{r}^2)$; at $r\gg L$ it is $1/(4\pi Lr)$ with exponentially small corrections. The long-distance coefficient also follows by replacing the dense image sum with $L^{-1}{\int }_{-\infty }^{\infty }dy/(r^2+y^2)=\pi /(Lr)$. Electric and gravitational potentials inherit this crossover after multiplying by their signed source couplings.

For a mean-field gas of parallel infinite rods with total mass per unit length $M=Nm$ confined to radius $R_e$, put $q=GM\beta /2$, $\beta =m/(kT)$ and $F=1-q+q{R}^2/R_e^2$. The isothermal solution is $\psi =\psi (R_e)-2\log F/\beta$ with mass density $\rho =M(1-q)/(\pi R_e^2{F}^2)$ and enclosed line mass $M(<R)=M(R^2/R_e^2)/F$. Direct differentiation verifies the cylindrical Poisson equation for Newtonian gravity. Regularity requires $q<1$, or $T>T_{\min }$; equality is a singular core-concentration limit, not a regular equilibrium.

A laboratory gravity gradiometry experiment used two vertically separated clouds of chemical atoms in vacuum, launched into free fall. Shared laser beams applied three pulses ($\pi /2,\pi ,\pi /2$), splitting and recombining matter waves. Balanced photodiodes measured probe-light absorption to infer internal-state populations; scanning the last pulse's wave phase produced an interference fringe.^[ref]

The difference of fringe wave phases obeys $\delta \varphi ={\mathbf{k}}_{\mathrm{eff}}\cdot \Delta \mathbf{g}{\tau }^2$, with effective wave vector ${\mathbf{k}}_{\mathrm{eff}}$ and pulse spacing $\tau$: shared reference motion cancels, leaving differential gravitational acceleration. Eight lead bricks, each approximately $12.5\mathrm{kg}$, were placed symmetrically around the lower chamber, about $0.2\mathrm{m}$ from the fountain apex. The measured signal was $(8.1\pm 2.1)\times 10^{-9}g$, versus a calculated $8.2\times 10^{-9}g$, where $g$ denotes terrestrial gravitational acceleration.^[ref]

Controls deliberately shook the shared reference reflector and compared actively isolated and unisolated operation. Tilting tests exposed sensitivity to Coriolis acceleration and centrifugal acceleration. Thus shared translation is rejectable, while rotation and finite measurement uncertainty remain limitations. The brick signal detects spatially varying gravity; it does not establish a precision value of the gravitational constant.^[ref]

In uniformly rotating stellar hydrostatic equilibrium, composition-uniform thermodynamic quantities are functions of the total potential. Radiative conductivity gives $\mathbf{F}=f(\varphi )\nabla \varphi$, with $f=-\chi dT/d\varphi$. On one surface, $f$ is constant, so the outward flux is $F_n=fg$. The Stefan–Boltzmann law therefore gives $T_e\propto g^{1/4}$. This is a surface-flux law: the material temperature constant on an interior equipotential is not the latitude-dependent emergent effective temperature.

The shallow water equations at a dry bed, with negligible ambient mass density, end in a vanishing-depth edge, rather than a finite-depth gravity current head. In a prismatic triangular channel the Riemann invariant $u+4\sqrt{g^{\prime }h/2}$ gives the speed $2\sqrt{2g^{\prime }{h}_0}$ after release of a resting semi-infinite layer of depth $h_0$. In a rectangular channel the corresponding speed is $2\sqrt{g^{\prime }{h}_0}$; the channel geometry matters.

In an ideal Boussinesq gravity current advancing beneath a much deeper ambient, the local head Froude number is $u_f/\sqrt{g^{\prime }{h}_f}=\sqrt{2}$. The ambient must be displaced around the finite-depth head. This differs from the Saint-Venant dry-front condition, which neglects ambient inertia. The coefficient belongs to the ideal deep-ambient head model; confinement, mixing and drag can change it.

Let a bipartite graph have $n$ vertices in each class and at least $\rho n^2$ edges. There is a subset $B$ of one class with $|B|\ge \rho n/4$ such that every pair of its vertices has at least ${\rho }^5{n}^3/4096$ four-edge walks between them. Declare a pair of left vertices bad if it has fewer than $\tau n$ common neighbours, with $\tau ={\rho }^2/32$. For a random right vertex $y$, put $U=N(y)$ and let $b(U)$ count ordered bad pairs inside $U$. Then $\mathbb{E}|U|\ge \rho n$ and $\mathbb{E}b(U)\le \tau n^2$. Some $y$ has $|U|-16b(U)/(\rho n)\ge \rho n/2$, so $|U|\ge \rho n/2$ and $b(U)\le |U{|}^2/8$. Remove vertices with more than $|U|/4$ bad partners. At least half remain. For any two remaining vertices, at least $|U|/2$ middle vertices are good partners of both. Each supplies at least $(\tau n{)}^2$ walks, giving the bound.

Although $1/r$ is harmonic away from the origin in three dimensions, it is not a regular harmonic function on a ball containing the origin. Its gradient is $-\hat{r}/r^2$, so the displayed improper volume integral follows by canceling the $r^2$ in the spherical volume element. On the annulus $\epsilon <r<a$, Green's first identity gives outer boundary contribution $-4\pi$ and inner contribution $4\pi \epsilon /a$, recovering the same limit. Its global Laplacian contains a Dirac delta distribution, so the regular-harmonic gradient-pairing theorem is inapplicable.

A super vector space is a vector space graded by the two-element group. Degree-preserving maps and the usual graded tensor product form a monoidal category. Over a field of characteristic different from two, this category has two different symmetries: ordinary interchange of tensor factors and interchange multiplied by $(-1{)}^{pq}$ on homogeneous factors of degrees $p,q$. The latter is the Koszul sign rule.

For a positively graded vector space $V$, the free graded Lie algebra $\mathbb{L}(V)$ receives a linear map from $V$ and extends every graded linear map $V\to L$ uniquely to a Lie homomorphism. Over $\mathbb{Q}$, it is the Lie subalgebra generated by $V$ inside the tensor algebra $T(V)$, using $[u,v]=uv-(-1{)}^{|u||v|}vu$. Its universal enveloping algebra is $T(V)$: both have the same universal property for maps from $V$ into associative algebras. The primitives of the tensor Hopf algebra with primitive generators are exactly $\mathbb{L}(V)$.

For a positively graded Lie algebra $L$ over $\mathbb{Q}$, finite-dimensional in each degree, its cochain algebra is free graded commutative on the graded dual of $sL$, with differential dual to the Lie bracket and its Koszul signs. The Jacobi identity gives $d^2=0$. A Lie element of degree $r$ contributes a cochain generator of degree $r+1$. Its cohomology computes ${\mathrm{Ext}}_{U(L)}(\mathbb{Q},\mathbb{Q})$ with total grading; the standard free enveloping-algebra resolution gives this identification. For a free graded Lie algebra, the tensor-algebra augmentation has a length-one free resolution, explaining the square-zero cohomology of a rational wedge sum of spheres.

The tensor product of graded algebras uses the displayed multiplication, incorporating the sign for interchanging homogeneous factors. This is the algebra structure in the cohomological Künneth theorem, and explains the signs of mixed intersection products on product manifolds.

For an augmented graded algebra $A$, its augmentation ideal $A^{+}=\ker \epsilon$ has indecomposable quotient $Q(A)=A^{+}/(A^{+}{)}^2$. For a Sullivan minimal model $(\Lambda V,d)$, this quotient is $V$ with zero differential because every $dv$ is decomposable. The map $H^{+}(\Lambda V,d)\to V$ induced by projection is dual to the rational Hurewicz homomorphism under the finite-type model identification.

For a good filtration of a module over a fixed finite-dimensional filtration of a ring whose associated graded algebra is commutative and finitely generated, the cumulative Hilbert function is eventually a quasipolynomial by the Hilbert-Serre theorem. Its leading asymptotic degree is the dimension of the nonzero filtered module. Monotonicity forces the leading coefficients in its residue classes to agree. If the associated graded algebra is a standard graded algebra, the Hilbert function is eventually polynomial. Two good module filtrations bound one another after fixed shifts, so they have the same growth degree. Set $d(0)=-\infty$. For the Bernstein filtration this is the Bernstein growth dimension of a Weyl algebra module.

Suppose $R$ is a right Noetherian ring and every essential right ideal contains a regular element of a ring. Preimages of essential regular principal right ideals under left multiplication are essential, so they contain regular elements and prove the right Ore condition. In the classical right ring of quotients $Q$, every right ideal is generated by its contraction to $R$, making $Q$ right Noetherian. An essential right ideal of $Q$ contracts to an essential right ideal of $R$, hence contains a regular element and is all of $Q$. A maximal disjoint complement to any right ideal has essential sum with it, so every right ideal is complemented. The right regular module is therefore a finite direct sum of simple modules, making $Q$ semisimple Artinian.

A nonzero two-sided ideal of the classical right ring of quotients contains a nonzero element of the original ring: multiply a nonzero fraction by its regular right denominator. If the original ring is prime, the contractions of any two such ideals have nonzero product, so the quotient ring is prime too. The Goldie theorem makes it semisimple Artinian, and the Artin–Wedderburn theorem expresses it as a finite product of matrix rings over division rings. Primeness excludes more than one factor.