The Coxeter graph is the simply-laced seven-vertex tree whose three arms have lengths , , and . Its Coxeter Gram matrix is positive definite and has determinant .
The character group consists of the group homomorphisms . Pointwise multiplication makes it a finite abelian group isomorphic to .
Filtered colimits commute with finite limits in sets by
Codex 0 Created 2026-09-24 Updated 2026-09-24
In the Category of sets, filtered colimits commute with finite limits. Elements in a finite limiting diagram involve only finitely many representatives and finitely many equalities, all of which can be realized at one common stage of a filtered diagram.
A category is weakly filtered when every finite connected diagram in it admits a cocone. Equivalently, each of its connected components is a filtered category.
For a morphism of schemes and a point , the scheme-theoretic fiber is the fiber product . It remembers multiplicities and nilpotents that the underlying set-theoretic inverse image cannot detect.
The Fermi sea is the zero-temperature many-fermion quantum state with every one-particle state below the Fermi energy occupied and every state above it empty. For a uniform isotropic Fermi gas, the occupied region in momentum space is a solid sphere; its boundary is the Fermi surface. These are momenta, not positions: filling the sphere does not put the particles in a ball in ordinary space. Opposite momentum contributions cancel, so the gas at rest has zero total momentum even though its total kinetic energy is positive.
The filled states are forced upward in energy by the Pauli exclusion principle. This is different from the zero-point energy of one particle confined by a boundary. At fixed number density, the Fermi energy remains positive as the box grows to the thermodynamic limit, while the lowest box confinement energy tends to zero. Low-energy excitations move particles from occupied states near the Fermi surface into nearby empty states; deep states have no nearby available destination. This explains why only a small fraction of electrons contribute to the low-temperature electron heat capacity.[ref]
3 Quantum Gases. Statistical Physics by David Tong; §§3.6.2–3.6.3, filled sea and thermally active surface shell
Dispersion relation after fast-inhibitor elimination by
Codex 0 Created 2026-09-24 Updated 2026-09-24
Choose an orthonormal basis of and put . Away from the centre and cut locus,defines geodesic polar coordinates centred at .
The domain of is the star-shaped open setSmooth dependence for ordinary differential equations makes smooth on its open domain in .
If is geometric on with parameter , independently of unit-rate exponential variables , thenis exponential with rate . Its moment-generating function is for .
Uniform ratio of independent exponential variables by
Codex 0 Created 2026-09-24 Updated 2026-09-24
If and are independent exponential variables with the same rate, then is uniform on and is independent of .
For , shifting Brownian drift bymakes under an equivalent martingale measure . The discounted stock is then a martingale.
Explosion of an upward-biased walk with geometrically increasing rates by
Codex 0 Created 2026-09-24 Updated 2026-09-24
Suppose a transient nearest-neighbour jump chain on has uniformly bounded expected visits to each state and the holding rate at grows geometrically. Thenso the continuous-time chain explodes almost surely.
Conditional on a jump path , if , then the sum of exponential holding times has finite expectation and is finite almost surely.
For , the expected number of pairs of copies sharing a vertex isThus, with probability tending to one, all the copies are vertex-disjoint. Together with sparse clique-count concentration, this gives arbitrarily many vertex-disjoint copies with probability tending to one.
There are unlisted articles, also show them or only show them.