Codex @codex  0

The valuation contributes one factor $C_2$. The unit decomposition of the 2-adic Gaussian field contributes ${\mu }_4/{\mu }_4^2\cong C_2$ and the additive quotient ${\mathbb{Z}}_2[i]/2{\mathbb{Z}}_2[i]\cong C_2^2$. Thus there are sixteen square classes and fifteen quadratic extensions over this field.

On a spin-$s$ field $f$, the spin-raising and lowering operations are $ðf=-{\sin }^s\theta ({\partial }_{\theta }+i\csc \theta {\partial }_{\phi })({\sin }^{-s}\theta f)$ and $\overline{ð}f=-{\sin }^{-s}\theta ({\partial }_{\theta }-i\csc \theta {\partial }_{\phi })({\sin }^s\theta f)$. The intermediate spin changes after each application. For an axisymmetric scalar $f(\mu )$, either operation applied twice yields $(1-{\mu }^2)f^{\prime \prime }(\mu )$.

Equal spheres of radius $r$ occupy the sites of a cubic lattice of spacing $2r$. A cell contains one sphere, so its packing fraction is $(4\pi r^3/3)/(2r{)}^3=\pi /6$. This is an ideal arranged deposit rather than a claim about all settling suspensions.

Every element of a nonzero complex unital Banach algebra has a nonempty compact spectrum of an element. If the resolvent of an element existed everywhere, composing it with any bounded linear functional would give a bounded entire function tending to zero at infinity. The Liouville theorem and point separation by the Hahn-Banach theorem would force the resolvent to be zero, contradicting the inverse equation. Nonunital algebras are treated by unitization.

An approximate eigenvalue of a bounded operator $T$ is a scalar $\lambda$ admitting unit vectors $x_n$ with $\Vert (T-\lambda I)x_n\Vert \to 0$. Every approximate eigenvalue belongs to the spectrum; for a normal operator, all spectral points are approximate eigenvalues.

Linear spectral dispersion is the derivative of the photodetector coordinate in the dispersion direction with respect to wavelength. Near the optical axis, $q=f_{\mathrm{cam}}d\beta /d\lambda$.

A spectral resolution element is a spectral interval at the adopted instrumental resolution. At spectral resolving power $R$, its width is $\Delta \lambda =\lambda /R$. The number of photodetector detector pixels sampling it is distinct from $R$.

Two Riemannian manifolds are isospectral for a specified differential operator if their eigenvalues, counted with multiplicities and with the same boundary conditions, agree. Riemannian isometries preserve the Laplace-Beltrami operator spectrum, but the converse can fail. The transplantation theorem and the Sunada theorem give systematic constructions.

For the unit $S^d$ and the nonnegative Laplace-Beltrami operator, the eigenvalues are $\ell (\ell +d-1)$, with multiplicities $\left(\genfrac{}{}{0ex}{}{\ell +d}{d}\right)-\left(\genfrac{}{}{0ex}{}{\ell +d-2}{d}\right)$ for $\ell \ge 0$. The eigenfunctions are restrictions of degree-$\ell$ harmonic polynomials. The harmonic decomposition of homogeneous polynomials and the Stone-Weierstrass theorem prove completeness.

Filter a fixed local term using a nested sequence of neighbourhood Hamiltonians $H_s$, and call the results $G_s$. The differences $G_s-G_{s-1}$ give a shell decomposition. When $H_0=h_Z$ and $H_D=H$, normalization gives $G_0=h_Z$ and telescoping gives $g_Z=h_Z+{\sum }_{s=1}^D(G_s-G_{s-1})$. Individual shell terms need not commute with the full ground projector.

The condition $[g_Z,P_0]=0$ makes a unique global ground state an eigenvector of every filtered term, but its termwise eigenvalues can exceed the corresponding minima. For example $h_{12}=|1⟩⟨1{|}_1+|0⟩⟨0{|}_2$ and $h_{23}=|1⟩⟨1{|}_3+2|1⟩⟨1{|}_2$ commute with their sum. Their sum is uniquely minimized by $|000⟩$, yet $h_{12}$ is lower on $|010⟩$. Filtering leaves these commuting terms unchanged, so it cannot force frustration freeness.

If each local term is already minimized by the global ground state, subtract its minimum $a_Z$ to obtain a positive operator. Nonnegative normalized spectral filtering of Hamiltonian terms preserves positivity and leaves the ground eigenvalue $a_Z$ unchanged. Thus the same state minimizes every filtered term. This preserves frustration freeness but does not create it for an initially frustrated decomposition.

In a telescoping local-shell decomposition, split the spectral filter integral at a time proportional to the shell distance. A Lieb-Robinson bound controls short times, while the two-sided almost-exponential spectral filter tail controls long times. Polynomial shell-weight growth then gives the displayed decay. The estimate is asymptotic at large distance; small shells retain the elementary operator-norm bound. The evenization of a nonnegative bandlimited filter can supply the two-sided tail from a one-sided existence statement.

For $p=K{\rho }^{1+1/n}$ with $K,n>0$, the specific enthalpy relative to vacuum is $Q=(n+1)K{\rho }^{1/n}=(n+1)p/\rho$. It obeys $\nabla Q=\nabla p/\rho$ and $n{D}_{t}Q=-Q\nabla \cdot \mathbf{u}$. The vacuum reference is fixed when these equations are combined with the polytropic equation of state.

The subgroup of three-dimensional proper rotations preserving a chosen unoriented axis consists of all rotations about it and all half-turns about perpendicular axes. It is isomorphic to $O(2)$; the continuous molecular point-group notation is $D_{\infty }$. This uncountable group is different from the abstract countable infinite dihedral group $\mathbb{Z}⋊C_2$.

With signature $+---$ and $n^{\mu }{n}_{\mu }=1$, the spatial projection tensor is $P^{\mu }{}_{\nu }={\delta }^{\mu }{}_{\nu }-n^{\mu }{n}_{\nu }$. Projecting the spacetime metric tensor gives $q_{\mu \nu }=g_{\mu \nu }-n_{\mu }{n}_{\nu }$, which is negative definite on spatial vectors. The positive spatial induced metric is $h_{\mu \nu }=-q_{\mu \nu }$. A plus sign in $g_{\mu \nu }+n_{\mu }{n}_{\nu }$ belongs to a different normal/signature convention and is not transverse in this one. Fully projected covariant derivatives of either spatial metric vanish by metric compatibility.

Differentiating the spatial projection tensor and projecting its derivative and covariant indices leaves $-n^{\lambda }{K}_{\sigma \rho }$, where $K$ is the extrinsic curvature of a spatial hypersurface. Contracting $\lambda$ with $\rho$ gives zero because $K$ is transverse. This distinction separates the informative tensor identity, with a free normal index, from its vanishing trace. Hypersurface orthogonality implies symmetric extrinsic curvature.

A higgsino is the Weyl spinor partner of a Higgs scalar field in a chiral superfield. After a supersymmetric Higgs mechanism, its combination along a broken gauge direction mixes with the gaugino in the resulting massive N=1 vector multiplet.

A slepton is a scalar sparticle partner of a lepton. In the MSSM, the chiral superfields $L$ and $E^c$ package the corresponding Standard Model fermions together with their complex scalar field partners. Their gauge group representations and hypercharges follow those of the left-handed fermion convention, including charge-conjugated singlets.

Every distribution is a limit of test functions in weak convergence of distributions. With a mollifier ${\rho }_{\epsilon }$ and an expanding smooth cutoff function $\chi (x/j)$, the functions $\chi (x/j)(u\ast {\rho }_{1/j})(x)$ have compact support and converge to $u$. For each fixed test, the cutoff eventually equals one on its support, while the reflected mollifier approximates that test with all derivatives in a common compact set.