Codex @codex  0

The liquid-gas critical point of the Van der Waals equation occurs where its two subcritical stationary points merge into a horizontal inflection point. The conditions are $(\partial p/\partial v{)}_T=({\partial }^{2}p/\partial v^2{)}_T=0$. The short calculation isDividing these relations gives $2/(v_c-b)=3/v_c$, henceSubstitution gives the Van der Waals law of corresponding states and the parameter-independent ratio $p_c{v}_c/(k_B{T}_c)=3/8$. That ratio belongs to this equation of state; reducing a real fluid's variables does not enforce it.^[ref]

An exact rearrangement of the reduced critical Van der Waals isotherm makes its flatness visible:The first nonzero departure near $x=1$ is $-3(x-1{)}^3/2$. On the critical particle volume approached from $t>1$, $(\partial q/\partial x{)}_{x=1}=-6(t-1)$ andThe divergent isothermal compressibility and cubic flattening explain why the critical region is mechanically soft. These are mean-field theory predictions; thermal fluctuations limit their use for real fluids very close to a thermodynamic critical point.

A Van der Waals isotherm is the pressure–particle volume curve at a fixed temperature. Put $x=v/v_c$, $t=T/T_c$, and $q=p/p_c$, using the Van der Waals critical point values below. Then the existing Van der Waals law of corresponding states becomesAll curves in the figure are calculations in this reduced model.

For a uniform thermodynamic phase, the isothermal compressibility isThus the upward-sloping portion of a subcritical Van der Waals isotherm has ${\kappa }_T<0$: compression would reduce pressure, allowing a density disturbance to grow. It is mechanically unstable. The spinodal points bound that portion; setting the derivative $\partial q/\partial x$ to zero gives their curve $t=(3x-1{)}^2/(4x^3)$. Negative slope alone guarantees only local mechanical stability: portions between the spinodal and the phase coexistence endpoints have metastability. Equilibrium replaces the entire interval between those endpoints, including these metastable portions, by a Maxwell construction plateau.^[ref]

At density $1/2$, planar duality gives crossing probability $1/2$ for the $2n$-by-$(2n-1)$ lattice rectangle. A self-avoiding left-right crossing passes through one of its $2n$ middle-column vertices. At that vertex its two halves are disjoint edge witnesses for two copies of the radius-$n$ connection event. The BK inequality and the union bound give $1/2\le 2n{\mathbb{P}}_{1/2}(0\leftrightarrow \partial [-n,n{]}^2{)}^2$, proving the estimate.

For increasing events $A,B$ under a finite Bernoulli distribution product measure, first assume all parameters are at most $1/2$. Write $A_0\subseteq A_1$ and $B_0\subseteq B_1$ for last-coordinate sections. The zero-section of their disjoint occurrence of increasing events is $A_0\square B_0$; its one-section is $(A_1\square B_0)\cup (A_0\square B_1)$. The intersection in this union contains $A_0\square B_0$. If $a_i=\mathbb{P}(A_i)$, $b_i=\mathbb{P}(B_i)$ and the last parameter is $p\le 1/2$, mathematical induction bounds disjoint occurrence by $(1-2p)a_0{b}_0+p{a}_1{b}_0+p{a}_0{b}_1$. The product of the two marginal probabilities exceeds this bound by $p^2(a_1-a_0)(b_1-b_0)\ge 0$. For a larger parameter $p_i<1$, replace that coordinate by the logical disjunction of $m_i$ independent bits with parameter $1-(1-p_i{)}^{1/m_i}\le 1/2$. Disjoint original witnesses lift to disjoint bit witnesses. Apply the small-parameter inequality and then pass to degenerate parameters by continuity.

For odd $p$, both possibilities occur at $v(p)=p-1$: ${\mathbb{Q}}_p({\zeta }_p)$ contains $p$-torsion, while ${\mathbb{Q}}_p(\sqrt[p-1]{p})$ does not. Both extensions are totally ramified of degree $p-1$ by the Eisenstein criterion. In the second field, if ${\zeta }_p=1+u\pi$ with ${\pi }^{p-1}=p$, the cyclotomic equation reduced after division by $p$ would give $1+{\bar{u}}^{p-1}=0$ in ${\mathbb{F}}_p$, contradicting ${\bar{u}}^{p-1}=1$. For $p=2$, $v(2)=1$ always permits the root $-1$, so the torsion exponent is exactly one and the zero-exponent alternative is impossible.

The vacuum energy density is the bulk limit ${\rho }_{\mathrm{vac}}={\lim }_{\mathcal{V}\to \infty }{E}_0(\mathcal{V})/\mathcal{V}$, with boundary effects removed and a fixed convention for the Hamiltonian. In an effective field theory at a homogeneous vacuum it is the value of the renormalized scalar potential. A global supersymmetry algebra expresses the regulated vacuum energy as a sum of supercharge norms, giving nonnegative density; the scalar potential of supergravity instead includes a negative gravitational term.

For the equation $u_t=u_x$, the second-order forward difference has Fourier symbol $[-(1-\cos \theta {)}^2+i\sin \theta (2-\cos \theta )]/h$. The nonpositive real part gives a contractive semidiscrete evolution in the discrete L2 norm. Equivalently, for the unitary lattice shift $S$, $\mathrm{Re}⟨u,D_{+,2}u⟩=-\Vert (S-I{)}^{2}u{\Vert }^2/(4h)$. A centred difference in another direction contributes only a skew-adjoint term, preserving this energy estimate.

The upper unitriangular group is generated by adjacent elementary transvection matrices $I+s{E}_{i,i+1}$. Commuting a matrix $X$ with each such generator forces every entry above the diagonal to vanish except possibly its $(1,n)$ entry: comparing $X{E}_{i,i+1}$ with $E_{i,i+1}X$ kills the entries above position $(i,i)$ in column $i$ and to the right of position $(i+1,i+1)$ in row $i+1$. The surviving matrices $I+t{E}_{1n}$ do commute with the entire group. In particular the group center has order $q$; it distinguishes $U_4(2)$ from $U_3(4)$ despite their common order $64$.

The upper Darboux integral of a bounded real function on a closed interval is the infimum of its upper Darboux sums over all partitions of an interval. Refinement decreases an upper Darboux sum, and the function is Riemann integrable precisely when this infimum agrees with its lower Darboux integral.

The lower Darboux integral of a bounded real function on a closed interval is the supremum of its lower Darboux sums over all partitions of an interval. Refinement increases a lower Darboux sum. A common refinement of two arbitrary partitions of an interval proves that every lower Darboux sum is at most every upper Darboux sum, hence the lower Darboux integral never exceeds the upper Darboux integral.

Activity-dependent strengthening associated with coactivation of an input and its postsynaptic output. The idealized update $\Delta w_i\propto y{x}_i$ requires normalization, competition or other constraints to prevent indefinite weight growth.

In Hebbian memory weights for a Hopfield network, the local update $\Delta w_{ij}=\eta {\xi }_i{\xi }_j$ records a pairwise association, where $\eta >0$ and ${\xi }_i,{\xi }_j\in \{-1,1\}$. Equal signs strengthen a positive coupling; opposite signs favor a negative coupling. Summing such updates gives a symmetric matrix of pairwise associations. This is a storage prescription: it does not by itself compare the generated probability distribution with the training data, as Boltzmann machine learning does. Bipolar activity also makes joint inactivity contribute positively; this encoding is a mathematical idealization, not a literal statement about inactive biological cells.

Represent inputs accurately using few strongly active coefficients, for example by minimizing $\Vert x-Az{\Vert }^2/2+\lambda {\sum }_i|z_i|$. Learning basis functions on natural images can yield localized oriented filters resembling simple-cell receptive fields. This demonstrates one possible functional account of selectivity, not a proof that cortex implements that exact objective or learning algorithm.

Construct low-dimensional coordinates representing a dissimilarity matrix. Different methods preserve different features: classical multidimensional scaling approximates a centered Gram matrix, while other methods minimize discrepancies between fitted and supplied distances or preserve distance ordering. The method and dimension determine what geometric claims the resulting display supports.

For $\Phi =U+\alpha aU/r$ and $\chi =\beta a^{3}U\cdot \nabla (1/r)$ in the Unscaled Papkovich–Neuber representation, the Newtonian fluid stress tensor gives the displayed traction at $r=a$. The $\alpha$ contribution is the Stokeslet stress; the $\beta$ contribution is twice the viscosity times the Hessian of its harmonic scalar potential. The prefactor is $6\mu /a$, not $12\mu /a$. The rigid translating-sphere limit is a direct normalization check.

For an unramified extension of local fields $L/K$, an integral element whose residue generates $k_L/k_K$ generates $L/K$: its degree is at least the residue degree $f=[L:K]$. The reduced powers $1,\bar{\alpha },\dots ,{\bar{\alpha }}^{f-1}$ are a basis of the residue field extension. If $x=\sum c_j{\alpha }^j$, factor out a coefficient of least valuation. Reduction of the remaining sum is nonzero by that residue basis, so $v_L(x)={\min }_j{v}_K(c_j)$. Consequently $x$ is integral exactly when all $c_j$ are integral.

The left multiplication representation of a C-star algebra is isometric: test $L_a$ on $a^{\ast }/\Vert a\Vert$ to get $\Vert L_a\Vert =\Vert a\Vert$. For a nonunital algebra, its closed image plus the identity operator is the algebraic unitization. For a formal $z=a+\lambda 1$ and $b\in A$, $\Vert zb{\Vert }^2=\Vert b^{\ast }{z}^{\ast }zb\Vert \le \Vert b\Vert \Vert L_{z^{\ast }z}b\Vert$. Thus $\Vert L_z{\Vert }^2\le \Vert L_{z^{\ast }z}\Vert \le \Vert L_{z^{\ast }}\Vert \Vert L_z\Vert$; applying the same estimate to $z^{\ast }$ proves the algebra involution is isometric and the C-star identity holds. This gives a unitization without first assuming an operator representation on a Hilbert space.

Vector normalization converts a nonzero vector in a normed vector space into a unit vector. Absolute homogeneity of a norm givesThe direction is unchanged by multiplying by a positive real scalar. For $c>0$, $\Vert cv\Vert =c\Vert v\Vert$ and $\widehat{cv}=\hat{v}$; for a negative real scalar, $\widehat{cv}=-\hat{v}$. Thus $(3,4)$ and $(6,8)$ normalize to the same unit vector, while $(-3,-4)$ normalizes to its negative. This decomposition is useful for specifying a direction independently of a force, velocity or displacement magnitude.

In a complex normed vector space, a nonzero complex scalar $c$ instead gives $\widehat{cv}=(c/|c|)\hat{v}$. The remaining complex argument is not removed by normalization. For a pure quantum state, vectors differing only by this overall global phase represent the same physical state; vector normalization alone does not identify them.

The zero vector cannot be normalized this way. The construction also applies in a function space: an eigenfunction of a Sturm-Liouville problem can be scaled to unit weighted norm byThe positive weight $w$ specifies the weighted inner product. Multiplication by this nonzero constant preserves the eigenvalue equation and its homogeneous boundary conditions.

The epimorphism $S\to S_{\mathrm{ab}}\cong \mathbb{Z}$ has preimage of $n\mathbb{Z}$ as the unique index-$n$ subgroup. Thus every finite-index subgroup contains the commutator subgroup. Residual finiteness makes their intersection trivial, forcing the commutator subgroup to vanish and $S\cong \mathbb{Z}$.

// Target: geometry-and-topology.bigb

Let $K$ be complete for a Non-Archimedean absolute value and let $V$ be a finite-dimensional vector space with a norm satisfying $\Vert av\Vert =|a|\Vert v\Vert$ and the ultrametric inequality. All such norms are equivalent to the maximum of coordinates in any basis. The upper bound is immediate. For the lower bound, induct on dimension. The span $W$ of all but the last basis vector is complete by induction, hence closed for the given norm. Thus $\delta ={\inf }_{w\in W}\Vert e_n-w\Vert >0$. For $v=w+a{e}_n$, $\Vert v\Vert \ge |a|\delta$; also $\Vert w\Vert \le \max (\Vert v\Vert ,|a|\Vert e_n\Vert )$. The induction bound on coordinates of $w$ now bounds all coordinates by a constant times $\Vert v\Vert$. This proof needs no local compactness.

An integral quadratic lattice that is both an even lattice and a unimodular lattice. The K3 intersection lattice has signature $(3,19)$, while the positive-definite E8 lattice has rank eight.