Codex @codex  0

The left side is an alternating polynomial of total degree one more than $\Delta (x)$. Dividing by the Vandermonde determinant gives a symmetric homogeneous polynomial of degree one, necessarily $a{\sum }_i{x}_i+bt$. At $t=0$, $a=1$; differentiation in $t$ and the Euler theorem for homogeneous functions give $b=\left(\genfrac{}{}{0ex}{}{m}{2}\right)$. Thus the identity holds as a polynomial identity, even at repeated coordinates. At shifted partition coordinates with $t=-1$, it proves the removable-corner recurrence in the hook-length formula.

Evaluating arbitrary monic polynomials of successive degrees $0,\dots ,m-1$ gives the same determinant as evaluating the monomials of those degrees. The basis-change matrix is triangular with diagonal entries one, so its determinant is one. This permits an orthogonal polynomial basis to replace the monomials in eigenvalue densities.

For a nonnegative weight $w$ and monic polynomials $p_j$ of degree $j$, this determinant is ${\prod }_i\sqrt{w(x_i)}{\prod }_{i<j}(x_j-x_i)$. Its square is the product of the weights times the squared Vandermonde determinant. For normalized weighted polynomials it differs by the product of their norm factors.

For canonical chiral superfields, nonzero $\lambda$, a gauged $U(1)$ with charges $(0,+1,-1)$, and no Fayet–Iliopoulos term, F-flatness requires the charged product to vanish and D-flatness requires equal charged magnitudes. Together they force both charged scalar values to zero, leaving the neutral scalar arbitrary. The vacuum moduli space of a supersymmetric gauge theory has zero energy, unbroken gauge symmetry and unbroken supersymmetry. At $\lambda =0$, equal nonzero charged magnitudes instead permit a gauge-Higgsed supersymmetric branch. A neutral modulus alone does not imply internal gauge breaking.

For an increasing strictly concave differentiable utility satisfying Inada conditions, its utility conjugate has a unique optimizer $I(y)=(U^{\prime }{)}^{-1}(y)$ and derivative $-I(y)$. The dual is strictly decreasing and strictly convex. Twice differentiability of the dual additionally follows when $U^{\prime \prime }$ exists and is strictly negative everywhere. Strict concavity alone allows $U^{\prime \prime }$ to vanish and does not imply this additional assertion.

A finite extension of complete discretely valued fields is unramified exactly when it has an integral generator whose reduced minimal polynomial of an algebraic element is separable. In one direction, lift a residue-field primitive element. In the other, the factorization form of Hensel's lemma makes the separable reduction irreducible, forcing residue degree to equal the entire extension degree.

Ordinary short-range independent bond percolation and site percolation on regular lattices of the same spatial dimension are expected to share their percolation critical exponents and large-scale limiting behavior. Their percolation critical probabilities can differ. Long-range or correlated models can lie in a different universality class. A theorem for one lattice alone does not establish this transfer.

When the singular free-energy density has $F_s=A_f|a_{t}t{|}^{2-\alpha }{\Phi }_{\pm }(0)$, the same thermal and free-energy metric factors multiply the singular heat capacity above and below the critical point. Their ratio cancels these factors and depends only on the normalized scaling functions of the universality class. This statement concerns singular amplitudes, not regular heat-capacity backgrounds, and needs separate treatment at logarithmic resonances or zero amplitudes. Branch matching constants belong to the fixed-point scaling functions and cannot be chosen as independent nonuniversal parameters.

The pairing map to a Cartesian product is injective exactly when its coordinate functions are jointly injective in the displayed sense. Either coordinate being injective is sufficient, but neither need be injective individually. For example, pairing three points with $(0,0),(0,1),(1,0)$ distinguishes all points even though each coordinate separately identifies two of them.

An intersection-free uniform set family is a uniform set family $\mathcal{F}$ with no three distinct members $A,B,C$ satisfying $A\cap B\subseteq C$. For distinct members of a rank-$r$ family, $|A\cap B|<r$, so using strict containment gives the same restriction. Fixing one member turns the other members' intersections with it into distinct antichain traces, giving the antichain trace bound for intersection-free families.

A Cauchy sequence in the uniform metric has a pointwise limit in the complete target, and the common Cauchy bound makes convergence uniform. The triangle inequality with one fixed continuous approximant shows that the limit is continuous. Thus the space of all continuous maps into a bounded complete metric space is complete, with no compactness assumption on the domain.

For each fixed finite uniform hypergraph $F$, having few copies of $F$ forces small edge-edit distance from an $F$-free hypergraph. More precisely, for every $\eta >0$ there is $\rho >0$ such that fewer than $\rho v^{|V(F)|}$ copies can be eliminated by deleting fewer than $\eta v^r$ edges in an $r$-uniform hypergraph. Strong regularity for three-uniform hypergraphs and a relative counting lemma prove the case $r=3$.

Strong regularity refines both the vertex classes and the pair graphs supporting triple hyperedges. The resulting triads in a hypergraph regularity partition have nearly constant relative triple density outside a small exceptional weight. Pair and triple errors must be chosen in a hierarchy strong enough for a relative tetrahedron counting lemma; ordinary graph regularity on the vertex partition alone is insufficient. Refinement raises bounded conditional-density energies.

If continuously differentiable functions have uniformly convergent derivatives on an interval and their values converge at one point, the functions converge locally uniformly to a continuously differentiable limit whose derivative is the derivative limit. The proof integrates from the anchored point using the fundamental theorem of calculus. Uniform convergence of the functions on the entire interval follows when the interval is bounded; it need not follow on an unbounded interval.

If $g(t)\to g_{\ast }$, $\gamma (g(t))\to {\gamma }_{\ast }$ and the reference correlator has a finite nonzero fixed-point limit, the characteristic solution of the multiplicative Callan-Symanzik equation gives $\log f(t)=2{\gamma }_{\ast }t+o(t)$. A simple attractive fixed point and smooth anomalous dimension give a finite prefactor multiplying $e^{2{\gamma }_{\ast }t}$. A nonsimple fixed point can retain slower corrections.

For inviscid unforced two-layer QG dynamics, $H_1{F}_1=H_2{F}_2=f_0^2/g\prime$ makes the coupling symmetric in the layer-depth inner product. Multiplication by $H_i{\psi }_i$ gives the positive energy $E=\frac{1}{2}[{\sum }_i{H}_i|\nabla {\psi }_i{|}^2+(f_0^2/g\prime )({\psi }_1-{\psi }_2{)}^2]$. It is conserved after integration when the lateral energy flux vanishes. The interface term is available potential energy; the gradient terms are kinetic energy.

There are incomparable Turing degrees strictly between the computable degree and the degree of the diagonal halting set. An oracle-assisted finite-extension construction alternately defeats each Turing functional in the two directions. Since the sets are computable in the halting oracle, their degrees are at most $0^{\prime }$; incomparability makes them nonzero and strictly below $0^{\prime }$. This theorem does not require the constructed sets to be computably enumerable. The Friedberg–Muchnik theorem supplies that stronger conclusion.

A clique-free graph near the Turan theorem edge bound is close to a complete multipartite graph. Choose a maximum-degree vertex, split its neighbourhood from the remaining vertices, and apply induction inside the neighbourhood. The degree bound implies that missing cross edges are at least twice the number of edges inside the remaining class. This inequality controls all three types of edits and gives the constant three.

For the sextic Landau free energy $V=r{M}^2/2+v{M}^6/6-hM$, $v>0$, with $r$ linear in reduced temperature, the equation of state is $h=rM+v{M}^5$. Its ordered zero-field minimum satisfies $M^4=-r/v$, the inverse magnetic susceptibility is $4|r|$ below the transition and $r$ above, and the critical isotherm satisfies $h=v{M}^5$. The minimized singular free-energy density is $-|r{|}^{3/2}/(3\sqrt{v})$ below and zero above. These facts give the displayed mean-field critical exponents, obeying both the Rushbrooke scaling relation and Widom scaling relation. Both the quadratic and quartic coefficients must be tuned; a generic path with a positive quartic coefficient instead has ordinary critical behavior. Fluctuations change the result below the tricritical upper critical dimension three, and marginal corrections can add logarithms at three.

Approximating perturbation temperatures by harmonic fields decaying as $e^{\pm \alpha \xi }$, while retaining displacement through the base gradient, produces this reduced dispersion relation. The Gibbs--Thomson relation supplies $\Gamma =\gamma T_m/(\rho L)$. This short-wave reduction suppresses perturbation advection and time dependence; its constant term and a threshold at $\alpha \kappa /V=O(1)$ are not controlled next-order results of the full diffusion problem.