A Noetherian scheme with no embedded associated primes is reduced if it is reduced at all its generic points. Locally, a nonzero nilpotent ideal would have an associated prime, necessarily a minimal prime. Its localization there would be nonzero, contradicting generic reducedness. This is useful with the unmixedness of a complete intersection.

In a totally ramified Galois extension, the uniformizer criterion for lower ramification groups gives $\sigma \in G_m\setminus G_{m+1}$ exactly when $v_L((\sigma (\pi )-\pi )/\pi )=m$. The Newton polygon root valuation theorem therefore identifies a slope $-m$ in the coefficient-index convention with a lower ramification jump at $m$. Its horizontal length is the number of automorphisms in that difference. Under the reflected Newton polygon convention the same jump has slope $+m$.

A prescribed point is almost surely never visited by planar Brownian motion started elsewhere. The harmonic function $\log |z-w|$ gives an annular hitting probability that tends to zero as the inner radius decreases to zero. This does not contradict recurrence of planar Brownian motion, which concerns neighbourhoods.

The realification of a complex matrix has real determinant $|{\det }_{\mathbb{C}}A{|}^2$. Indeed the invertible complex coordinate change $(x,y)\mapsto (x+iy,x-iy)$ conjugates its complexified block matrix to $\mathrm{diag}(A,\overline{A})$. Taking determinants gives the identity, including singular matrices.

This group records finite unit residues and signs at the selected real places of a modulus of a number field. Omit the residue factor for trivial finite modulus. Its quotient by the image of the unit group is naturally the kernel of the map from the ray class group to the ordinary ideal class group. The weak approximation for number fields theorem supplies elements realizing the specified data, and units account for changing a generator of a principal fractional ideal.

If $p_i=⟨{\psi }_i|\rho |{\psi }_i⟩=0$, positivity gives $\sqrt{\rho }|{\psi }_i⟩=0$, so the corresponding basis vector is in $\ker \rho$. Therefore $\ker \Delta (\rho )\subseteq \ker \rho$, and $\mathrm{supp}\rho \subseteq \mathrm{supp}\Delta (\rho )$. This makes the quantum relative entropy of $\rho$ relative to its rank-one dephasing finite.

Because $\log \Delta (\rho )$ is diagonal, $\mathrm{Tr}(\rho \log \Delta (\rho ))=\mathrm{Tr}(\Delta (\rho )\log \Delta (\rho ))$. Hence $D_{\mathrm{rel}}(\rho \Vert \Delta (\rho ))=S(\Delta (\rho ))-S(\rho )$. Support inclusion under rank-one dephasing handles zero probabilities, and Klein's inequality makes the difference nonnegative. Equality holds exactly when the state was already diagonal.

A single-coordinate Gibbs sampler update preserves the remaining coordinates and independently redraws the selected coordinate from its full conditional distribution. The joint measure of old and new states factors into a marginal and two identical conditional factors, making it symmetric. A fixed-probability mixture of such kernels therefore satisfies detailed balance.

A boundary condition for a finite-box random-cluster measure is a partition of the boundary vertices. All vertices in one block are identified before counting open components; the identifications carry no Bernoulli edge factors. The weight is $p^{o(\omega )}(1-p{)}^{|E|-o(\omega )}{q}^{k_{\xi }(\omega )}$. A coarser partition makes more identifications. General partitions need not have a planar realization.

For an edge with endpoints already connected without that edge, including any boundary wiring, the conditional open probability is $p$. Otherwise opening the edge merges two components, so the conditional probability is $p/(p+q(1-p))$. For $q\ge 1$, this conditional probability increases when more other edges are open or more boundary vertices are identified. This is the local mechanism of boundary monotonicity of the random-cluster measure.

Planar random-cluster duality relates edge odds by $[p/(1-p)][p^{\ast }/(1-p^{\ast })]=q$. The fixed point $p=p^{\ast }$ has odds $\sqrt{q}$, giving the displayed parameter. A self-dual parameter does not by itself establish a critical threshold on an arbitrary planar graph. At this parameter the symmetric cluster weight at the self-dual parameter makes the primal-dual cluster counts explicit.

If $a^3=3$ and ${\zeta }_3$ is a primitive cube root of unity, then ${\pi }^3=1+2{\zeta }_3$ and ${\pi }^6=-3$. The Eisenstein polynomial $X^6+3$ therefore presents the entire degree-six splitting field, and $\pi$ is a uniformizer. Its normalised valuation gives $v_L(3)=6$, $v_L(a)=2$ and $v_L({\zeta }_3-1)=3$. The order-three automorphisms displace $\pi$ with valuation four, whereas transpositions displace it with valuation one.

Continuity of temperature, pressure and mass density matches the ideal gas envelope pressure $\mathcal{R}{\rho }_b{T}_c$ to the nonrelativistic electron degeneracy pressure $K_{\mathrm{NR}}{\rho }_b^{5/3}$. Substituting this base mass density into the radiative-zero white-dwarf envelope law gives the luminosity-temperature scaling behind Mestel's cooling law. The matched point is a transition approximation; the cold degeneracy law does not represent finite-temperature corrections there exactly.

Integrating the hydrostatic pressure support equation with the radiative-zero white-dwarf envelope law yields $T=4GM(1/r-1/R)/(17\mathcal{R})$. Matching $T=T_c$ at $r_b$ gives $s=R-r_b$ as displayed. A strongly degenerate bulk core has thermal energy small compared with its Fermi energy, making $q\ll 1$ and hence $s\ll R$. The inequality $T_c\gg T_{\mathrm{eff}}$ alone does not establish geometrical thinness.

In three dimensions set $w=ru$ for a radial function satisfying $\square u=F$. If the source has support in $s\le r\le s+1$ and $|F(s,r)|\le (1+s{)}^{-2}$, the Duhamel principle bounds its contribution to $w(t,t+a)$ by $\frac{1}{2}\log (1+t)$ for $1/2\le a\le 1$. Its backward characteristic interval meets the source in a set of length at most one, and $r|F|\le (1+s{)}^{-1}$. Division by $r\simeq 1+t$ gives $|u|\lesssim \log (2+t)/(1+t)$ for compactly supported initial data.

Single-valuedness of the condensate field gives total complex argument change $2\pi q$ on a closed loop avoiding zeros, where $q$ is an integer winding number. Integrating the superfluid velocity around that loop gives the displayed circulation. It is unchanged by smooth deformations of the loop that do not cross a quantum vortex.

A quantum vortex becomes energetically favourable in a rotating reference frame when $\Delta E-\Omega \Delta L_z<0$. For a singly quantized vortex in a long radially Thomas–Fermi condensate, the cutoff-shell estimate isIntegrating the trapped number density against $u_{\theta }^2$ produces the logarithm and constant; integrating it against angular momentum per particle gives $\Delta L_z\simeq \pi H{n}_0\hslash R_r^2/2$. Resolved-core corrections can alter the nonlogarithmic constant. This criterion compares equilibrium rotating-frame energies and does not remove a dynamical vortex-entry barrier.

If a continuous nonzero complex field tends uniformly to one on large circles, its values on a sufficiently large circle lie in a disk about one that excludes zero. That disk is contractible, so the field's winding number on that circle is zero. A lone unit-charge quantum vortex therefore cannot satisfy the literal boundary $\psi \to 1$. For a vortex it is the wave amplitude, rather than the entire complex field, that can approach one; $f(r)e^{i\theta }$ gives a simple illustration of direction-dependent far-field complex argument.

The Rankine-Hugoniot condition for the quadratic hindered-settling flux gives $V=u_s({\varphi }_L+{\varphi }_R-1)$, with lower and upper states labelled $L,R$. It includes a downward clearing front (${\varphi }_R=0$), an upward deposition front (${\varphi }_L=1$), and a stationary final deposit/clear-fluid interface.

If lower initial concentration $b$ is less than upper concentration $a$, the entropy solution expands into a fan with $\varphi =[1+(z-z_m)/(u_{s}t)]/2$. Its characteristic speeds range from $u_s(2b-1)$ to $u_s(2a-1)$. The fan can be clipped by a clearing or deposition shock.