For the cubic polytropic interior, $\nabla \rho$ vanishes at each vertex, so the locally defined potential $\Phi =C-2K\rho$ predicts zero gravitational acceleration there. But at the vertex $(0,0,0)$, the actual self-gravitational acceleration of the positive mass distribution iswhose three components are strictly positive. The fields cannot match continuously. Thus the interior Helmholtz equation and zero density on the faces do not construct an isolated static cubic star. External stresses or an external gravitational field would be needed to realize such a boundary-value construction.

Choose disjoint subsets $K_1,K_2\subseteq [n]$ of size $k\ge 1$ with $2k\le n$. Let $\mathcal{A}$ consist of subsets containing all of $K_1$ and none of $K_2$; let $\mathcal{B}$ consist of subsets omitting at least one point of $K_1$ and containing at least one point of $K_2$. These form a cross-Sperner family pair, with sizes $2^{n-2k}$ and $(2^k-1{)}^2{2}^{n-2k}$. Their square roots sum to $2^{n/2}$, proving sharpness of the Cross-Sperner inequality. The free coordinates outside the two blocks account for the factor $2^{n-2k}$.

In a homentropic flow, the cross-helicity conservation law givesConsequently cross-helicity density is conserved along each trajectory exactly when the right-hand side vanishes. In a steady state, mass conservation gives $\nabla \cdot \mathbf{u}=-\mathbf{u}\cdot \nabla \log \rho$, so the criterion becomesThe absence of an entropy source in a conservation law does not alone make its density an advected scalar: compression and transport along the magnetic field still change that density.

The orthogonal transformation ${\psi }_{\pm }=({\varphi }_1\pm {\varphi }_2)/\sqrt{2}$ takes $g({\varphi }_1^4+{\varphi }_2^4+6{\varphi }_1^2{\varphi }_2^2)$ to $2g({\psi }_{+}^4+{\psi }_{-}^4)$. These are the same two decoupled Ising models expressed in rotated fields.

For the cotangent bundle projection $\pi :T^{\ast }X\to X$, the canonical differential one-form is ${\lambda }_{(x,\xi )}(v)=\xi (d\pi (v))$. In coordinates it is ${\sum }_j{\xi }_{j}d{x}_j$. The canonical symplectic form is $-d\lambda$ in the position-first convention ${\sum }_{j}d{x}_j\wedge d{\xi }_j$.

For $|N^2|\ll {\Omega }^2$, this leading amplitude-growth rate is largest at thermal diffusion rate of a Fourier mode $\beta =\Omega$, giving ${\sigma }_{\max }=-N^2/(4\Omega )$ when $N^2<0$.

A continuous local martingale $M$ with $M_0=0$ and deterministically bounded quadratic variation on every finite horizon is a square-integrable martingale, with $\mathbb{E}{M}_t^2=\mathbb{E}[M{]}_t$. Localization, the Doob L2 maximal inequality, and the resulting integrable bound on the squared supremum justify removing the localizing sequence.

The quotient of a horizontal strip by a horizontal translation. The model $(\mathbb{R}/\mathbb{Z})\times (0,M)$ has conformal modulus of an annulus $M$. Averaging horizontal loop lengths and applying Cauchy-Schwarz inequality proves that the core-loop extremal length equals $1/M$.

The conditional entropy is the integral of the conditional information function. Its chain rule expresses the entropy of a join of measurable partitions as unconditional entropy plus conditional entropy. Conditioning reduces entropy, also for countable partitions of finite entropy.

For increasing sigma-algebras ${\mathcal{G}}_n$, put $f_n=I_{\mu }(\xi \mid {\mathcal{G}}_n)$ and $F={\sup }_n{f}_n$. For each atom $A\in \xi$ and $t\ge 0$,Together with the bound by $\mu (A)$ and the tail integral formula for moments, this yields $\int Fd\mu \le H_{\mu }(\xi )+1$. The inequality follows by stopping the conditional-expectation martingale $\mathbb{E}[1_A\mid {\mathcal{G}}_n]$ the first time it falls below $e^{-t}$.

If D-separation and conditional independence are equivalent for a directed acyclic graph, its moral graph is its conditional independence graph. After conditioning on all other vertices, an active path can only be a direct edge or a two-edge collider through a common child: two adjacent interior vertices cannot both be colliders. These are exactly the moral edges.

For Gaussian data, regress each variable on all remaining variables using Lasso. Nonzero coefficients estimate its neighbours in the conditional independence graph. Symmetrize the separate regressions using either the union or the intersection of their selected directed neighbourhoods.

For real $A_{\mu }$ in positive-definite Euclidean signature, $\partial \cdot A$ is real and $A_{\mu }{A}_{\mu }\ge 0$. Therefore $\partial \cdot A+i{A}^2=0$ forces $A^2=0$, and hence $A=0$. Its only real gauge orbit is the zero-field orbit; a field with nonzero electromagnetic curvature cannot be gauge-transformed to zero. Consequently this complex equation is not an admissible gauge fixing for general Hermitian Euclidean U(1) gauge symmetry configurations. A formal complexified treatment needs a specified contour and cannot be justified by a real delta-functional insertion.

A massless complex bosonic charged scalar field with $D_{\mu }={\partial }_{\mu }+i{A}_{\mu }$ contributes $[\det (-D^2){]}^{-1}$ to a Gaussian background-field integral. A Faddeev-Popov ghost field pair contributes $\det {\mathcal{O}}_A$. On the formal complex quadratic Abelian gauge condition, ${\mathcal{O}}_A=-D^2$, so the two determinants cancel and their effective-action contributions sum to zero. Use matching regulators, boundary conditions and removed zero modes. This is a formal cancellation of closed loops; the reality obstruction for a complex Euclidean gauge condition precludes deducing that physical scalar quantum electrodynamics has no quantum effects.

A polydisc is a product of open discs in $\mathbb{C}$. It is a contractible complex manifold, with vanishing positive-degree de Rham cohomology and vanishing Dolbeault cohomology in positive antiholomorphic degree.

The structure sheaf assigns to an open set its ring of holomorphic functions. Its invertible sections form the sheaf ${\mathcal{O}}_M^{\ast }$ of nowhere-zero holomorphic functions.

Expand both sides using the definition of a commutator: the middle terms $BAC$ cancel, leaving $ABC-BCA$. Thus commutation with a fixed operator is a derivation of an algebra. In particular, $[A,[B,C]]=[[A,B],C]+[B,[A,C]]$, which gives a short way to derive a Lie algebra representation from generator actions on an underlying algebra.

An instantaneous kinetic suppression estimate replaces sound speed by the velocity dispersion of cold dark matter. Nonrelativistic particles in thermal contact with photons have $\sigma \propto a^{-1/2}$; after kinetic decoupling, their momenta redshift and $\sigma \propto a^{-1}$. A background dynamical estimate using total density is then constant during radiation domination and decreases as $a^{-1/2}$ during matter domination. Using only the species' own matter density instead makes the self-gravitating collisionless Jeans length decrease as $a^{-1/2}$ throughout the decoupled nonrelativistic era. Neither instantaneous estimate is the accumulated distance traveled by collisionless free streaming.

An associated point of a coherent sheaf is a point whose corresponding prime is the annihilator of an element of the module on an affine chart. There are finitely many on a Noetherian scheme. A section of a line bundle avoiding them acts injectively on the sheaf, even when the scheme is nonreduced. Over an infinite field a sufficiently ample linear system supplies such a section.

The support dimension is the dimension of a scheme of the closed support of a coherent sheaf. Tensoring with a line bundle leaves its support unchanged. Quotienting by a section that avoids its associated points reduces the support dimension by at least one.