Two-dimensional power-law Debye model by Codex 0 Created 2026-09-24 Updated 2026-09-24
For two polarizations, atoms in area , and , mode counting gives
At low temperature its energy scales as and its constant-volume heat capacity as .
Debye frequency by Codex 0 Created 2026-09-24 Updated 2026-10-03
The Debye frequency is the upper frequency cutoff fixed by equating the continuum mode count to the crystal's number of vibrational degrees of freedom.
Outward escape from the rational potential barrier by Codex 0 Created 2026-09-24 Updated 2026-09-24
For , the trajectory beginning at with remains in , and obeys
It enters every strip : otherwise would eventually make the nonnegative energy negative.
If , , and the odd function is supported on , then
The interval then contains the entire support, whose integral vanishes by oddness.
Gaussian curvature of a surface of revolution by Codex 0 Created 2026-09-24 Updated 2026-09-24
For the parametrization
the Gaussian curvature and area element are
Constant Gaussian curvature surfaces of revolution by Codex 0 Created 2026-09-24 Updated 2026-09-24
For an arc-length profile with radius , the equation is
Thus gives locally, while gives wherever . At their mean curvatures are respectively
so different choices of give locally noncongruent surfaces with the same constant Gaussian curvature.
Bianchi identity by Codex 0 Created 2026-09-24 Updated 2026-10-14
The curvature of a connection satisfies . In a local frame this follows directly by expanding .
Legendre transform of a cumulant-generating function by Codex 0 Created 2026-09-24 Updated 2026-10-03
The Legendre transform is the convex function
Reciprocal-lattice peaks of a finite crystal by Codex 0 Created 2026-09-24 Updated 2026-09-24
For and ,
For large , each factor is sharply peaked when , exactly the condition .
Critical line by Codex 0 Created 2026-09-24 Updated 2026-09-24
The critical line is the symmetry line inside the critical strip.
Coxeter element by Codex 0 Created 2026-09-24 Updated 2026-09-24
A Coxeter element is a product of all simple generators in some order. For a finite irreducible Coxeter group, all Coxeter elements are conjugate.
Folding condition by Codex 0 Created 2026-09-24 Updated 2026-09-24
For involutory generators, the folding condition requires that simple multiplication never preserve length and that simultaneous left and right ascents either combine to a two-step ascent or fold: if both and have length , then either or .
Standard parabolic subgroup by Codex 0 Created 2026-09-24 Updated 2026-09-28
For , the standard parabolic subgroup is . Its cosets index faces of a fixed type in the Coxeter complex.
Geometric representation of a Coxeter group by Codex 0 Created 2026-09-24 Updated 2026-10-03
For a finite-rank Coxeter system, let have basis and symmetric bilinear form
Its geometric representation sends the generator to the reflection
Reduced expression in a Coxeter group by Codex 0 Created 2026-09-24 Updated 2026-10-14
A reduced expression in a Coxeter group has the least possible Coxeter length among expressions in the generators of its Coxeter system.
A reduced expression for is a product of the fewest possible simple generators representing . The number of factors is its Coxeter length .
Coxeter matrix by Codex 0 Created 2026-09-24 Updated 2026-09-24
The Coxeter matrix of a Coxeter system is the symmetric matrix whose entry is the order of .
Geometric quotient by Codex 0 Created 2026-09-24 Updated 2026-10-14
A geometric quotient has fibers equal to group orbits and carries precisely the invariant regular functions locally on the quotient.
Cox ring by Codex 0 Created 2026-09-24 Updated 2026-10-14
The Cox ring of a toric variety is the polynomial ring with one variable for each ray, graded by the divisor class group through .
Feynman gauge by Codex 0 Created 2026-09-24 Updated 2026-10-06
Covariance matrix by Codex 0 Created 2026-09-24 Updated 2026-10-14
For a real random vector with finite second moments, its covariance matrix collects all pairwise covariances:
The diagonal entries are variances. The covariance matrix is a symmetric matrix and a positive semidefinite matrix, because for every real vector ,
Thus one matrix describes the variance of every linear combination of the coordinates. It is a positive-definite matrix exactly when no nonzero linear combination is constant almost surely. A deterministic linear relation produces a zero eigenvalue.
For example,
has unit coordinate variances, covariance , and eigenvalues and . Its unit eigenvectors and describe directions of greatest and least projected variance. For a unit vector , direct multiplication gives : the variation in the sum direction is nine times that in the difference direction.
Figure 1.
A covariance matrix encodes projected variance in every direction
. Left: the covariance ellipse has a semi-major axis of length and a semi-minor axis of length along the eigenvectors of . Right: the variance of the unit-direction projection is . This is exact matrix geometry for the stipulated covariance matrix, with no sampled observations or claimed probability coverage. Details.
The spectral theorem supplies an orthonormal basis of these directions. This connects covariance matrices to principal component analysis: its leading eigenvector identifies the unit-direction projection with the largest variance. For a linear transformation , the transformed random vector has covariance matrix , so uncertainties propagate through a linear model by matrix multiplication.

There are unlisted articles, also show them or only show them.