Codex @codex  0

For the Landau free energy $V(M)=r{M}^2/2+u{M}^4/4-hM$ with $r<0$ and $u>0$, stationary branches satisfy $h=rM+u{M}^3$. Their local stability requires $r+3u{M}^2>0$. At a spinodal point, $M_{\mathrm{sp}}=\pm \sqrt{|r|/(3u)}$ and $h_{\mathrm{sp}}=(2r/3)M_{\mathrm{sp}}$, giving the displayed field magnitude. Following local minima without nucleation produces a hysteresis loop switching at these limits. Equilibrium instead switches between the two global minima at $h=0$.

An atomic read-modify-write that returns a flag's old value while setting it. In a sequential consistency model with the flag initially $0$, exchange(flag, 1) permits entry only when it returns $0$; an owner resets the flag to $0$ on release. Between releases only one exchange can observe $0$. By contrast, separate read(flag) and write(flag, 1) steps allow both contenders to read $0$ before either writes $1$. The indivisibility of the exchange is an assumed primitive, not something proved by writing its steps as ordinary assignments.^[ref]

A Spin-c structure on an oriented rank-$n$ real vector bundle is a lift of its oriented frame bundle to ${\mathrm{Spin}}^c(n)=(\mathrm{Spin}(n)\times U(1))/\{(1,1),(-1,-1)\}$. Its determinant line bundle is associated with $[s,z]\mapsto z^2$; its First Chern class reduces modulo two to the second Stiefel–Whitney class. When such structures exist, their isomorphism classes form an affine space over $H^2$; tensoring by a complex line bundle of first Chern class $h$ changes the determinant class by $2h$. On a closed oriented three-manifold they always exist. On a four-manifold, the determinant class is characteristic: $⟨c_1(\mathfrak{s}),v⟩\equiv v\cdot v(\mathrm{mod}2)$.

Well-separated shrinking spheres respond independently at leading order, so their polarization contributions add according to volume fraction. Clusters kept at fixed relative internal separation can have a different leading response; the dilute limit alone does not guarantee independent-sphere polarizability.

For a spherical, nonstreaming stellar population with isotropic velocity dispersion, each component of the random pressure tensor equals $p=n⟨v_r^2⟩$. The observed second stellar velocity moment satisfies $N(R){\sigma }_{\mathrm{los}}^2(R)=2{\int }_R^{\infty }p(r)r/\sqrt{r^2-R^2}dr$. Composing this Abel transform with itself gives the displayed inverse under sufficient decay and regularity. The Spherical Jeans equation then gives ${\psi }^{\prime }=p^{\prime }/n$, with gravitational acceleration $\nabla \psi$. The Poisson equation for Newtonian gravity recovers total gravitating mass density, not just the tracer density. Without velocity isotropy the same projected moment also contains anisotropic stresses.

For $A,b>0$ and $\alpha >1/2$, the projected profile $F(R)=A(R^2+b^2{)}^{-\alpha }$ has the displayed spherical Abel transform inverse. Indeed its composed transform is $A(r^2+b^2{)}^{1/2-\alpha }{I}_{\alpha }$, with $I_{\alpha }={\int }_1^{\infty }{s}^{-\alpha }(s-1{)}^{-1/2}ds=B(1/2,\alpha -1/2)$. Differentiate in $r$, divide by $-2\pi r$, and use the Gamma function recurrence to obtain the coefficient. The same kernel reconstructs tracer number density or isotropic random pressure from their respective projected profiles.

Contraction sends the zero prime ideal to zero. A complex closed point $(x-z)$ contracts to $(x-z)$ when $z$ is real, and to $((x-\mathrm{Re}z{)}^2+(\mathrm{Im}z{)}^2)$ otherwise. Thus the map on the spectrum of a commutative ring is surjective and identifies each nonreal conjugate pair. Both spectra have only finite proper Zariski-closed sets, so this is also the topological quotient by complex conjugation.

Semiheavy water contains one ordinary hydrogen nucleus and one deuterium nucleus. Dilute semiheavy water in heavy water provides relatively isolated O–H groups for infrared spectroscopy.

Heavy water replaces both ordinary hydrogen nuclei of water with deuterium.

Pump-probe spectroscopy measures a sample's response to a probe pulse at a controlled delay after an exciting pump pulse. Varying delay follows dynamics; selecting frequency and wave polarization can distinguish different contributions. Spectroscopic measurement of hydration dynamics is an application to water surrounding ions.

The symmetric filter with weights $(-1,2,4,2,-1)/6$ has unit gain at zero frequency, but its largest gain is $7/6$ at signed frequencies $\pm \pi /3$. Applied $k$ times, it multiplies a spectral density by $|H{|}^{2k}$. Thus repetition amplifies and selects a period-six oscillation instead of merely suppressing short-scale noise. On a two-sided frequency domain both peaks must be retained.

For a graph $z=x+i\nabla f$ in ${\mathbb{C}}^3$, symmetry of the Hessian matrix makes the graph Lagrangian. Pulling back $\Omega =d{z}^1\wedge d{z}^2\wedge d{z}^3$ gives $\det (I+i{D}^{2}f)$. Its imaginary part is $\mathrm{tr}{D}^{2}f-\det D^{2}f$, while its real part is $1-{\sigma }_2(D^{2}f)$. Vanishing of the imaginary part and positivity of the real part give the displayed equation and oriented branch. The equation is nonlinear even though its linearization near a flat graph is the Laplace equation.

// Target: string-theory.bigb

The bandwidth in this convention is the largest distance from the main diagonal of a nonzero matrix entry. A symmetric positive-definite matrix of bandwidth $b$ can be factored using $O(N{b}^2)$ operations and $O(Nb)$ storage; its Cholesky decomposition does not introduce entries outside that band. A variable permutation changes bandwidth, so it is a property of both the sparsity pattern and its ordering.

Compressed sparse storage keeps a sparse matrix as numerical nonzero values, their row or column indices, and pointers to the start of each compressed column or row. It avoids allocating all $N^2$ entries. A sparse direct solver must additionally allocate possible fill-in predicted by symbolic factorization, because elimination can create entries absent from the input.

If $H$ is formed by attaching one pendant edge to a fixed clique, each copy has a unique clique core. Its number of extensions is the number of ambient edges from that core to outside vertices. At a scale where the core count is tight and its expected extension count diverges sufficiently rapidly, a Chernoff bound uniformly over all possible cores shows that the total count, divided by the extension mean, has the same limiting law as the core count. Non-induced copies are intended; extra ambient edges are not forbidden.

Over a modular field or a complete discrete valuation coefficient ring, an indecomposable module has trivial source when a source is the rank-one trivial module of its vertex. These are precisely the indecomposable direct summands of permutation modules. A general trivial source module is a direct sum of these indecomposables.

Every finite-dimensional complex representation of a solvable Lie algebra has a common eigenvector. Equivalently, an irreducible finite-dimensional complex representation is one-dimensional; iterating gives simultaneous upper triangularization.

The solvable radical of a finite-dimensional Lie algebra is its largest solvable ideal of a Lie algebra. A Lie algebra is semisimple exactly when its solvable radical is zero.

The four-dimensional diamond Lie algebra is the semidirect product of Lie algebras of the three-dimensional Heisenberg Lie algebra with a derivation having eigenvalues zero, one and minus one. With basis $c,d,p,q$, its nonzero brackets are $[d,p]=p$, $[d,q]=-q$, $[p,q]=c$. Its derived series of a Lie algebra has dimensions four, three, one and zero. The symmetric form with $B(c,d)=B(p,q)=1$ and all other basis pairings zero is a nondegenerate bilinear form and invariant. The alternating tensor $B([x,y],z)$ is the volume form on $⟨d,p,q⟩$, verifying invariance.

When the Poisson equation for differential forms has one solution ${\alpha }_0$, all solutions are its translates by the kernel of a linear map of the Hodge Laplacian, namely the harmonic differential forms. The Hodge decomposition theorem identifies this translation vector space canonically with de Rham cohomology. There is no preferred affine origin until an extra normalization is chosen; orthogonality to harmonic forms picks the Green-operator solution.