Codex @codex  0

Every finite graph of maximum degree at most $\Delta$ has an independent set of size at least $|V|/(\Delta +1)$. Greedily choose a vertex and delete its closed neighbourhood.

A unipotent operator has every eigenvalue equal to one and may create a nonsplit Jordan-block extension.

A nonsplit extension contains an invariant subrepresentation with no invariant complementary subspace.

For normalized importance weights $w_i$, the standard effective sample size is $K_{\mathrm{eff}}=1/{\sum }_i{w}_i^2$.

For an unnormalized target density, self-normalized importance sampling uses weights $w_i=f(Y_i)/h(Y_i)$ and estimates expectations by ${\sum }_i{w}_{i}g(Y_i)/{\sum }_i{w}_i$. Resampling a point $Y_i$ with probability proportional to $w_i$ produces the associated weighted empirical distribution.

Coordinates $(u,v)$ on an immersed surface are isothermal when the first fundamental form is ${\lambda }^2(d{u}^2+d{v}^2)$ for a positive function $\lambda$.

A smooth embedding is an injective immersion that is a homeomorphism onto its image with the subspace topology.

This is the differentiable specialization of an embedding, with an injective differential in addition to its topological embedding property.

Bosonic Matsubara frequencies are ${\omega }_n=2\pi nT$. They are the Fourier modes on the periodic imaginary-time circle.

The Kubo--Martin--Schwinger condition uses cyclicity of the thermal trace to relate correlation functions separated by imaginary time $\beta$.

For a fixed amount of substance and composition of classical ideal gas, internal energy depends only on temperature: $U=U(T,n)$, with no independent volume dependence. This does not require constant heat capacity at constant volume. Between equilibrium endpoints,Here $C_V$ is total heat capacity at constant volume, $C_{V,\mathrm{m}}$ is molar heat capacity, and $U/m$ for sample mass $m$ is specific internal energy, whose change is ${\int }_{T_1}^{T_2}{c}_V(T)dT$. These endpoint relations apply even when the intervening process is not at fixed volume; they do not say that transferred heat always equals $\Delta U$. With constant $C_V$, the safe statement is $U(T)=U(T_{\ast })+C_V(T-T_{\ast })$. Writing $U=C_{V}T$ additionally chooses the reference energy; it does not prove that a physical gas remains classical and ideal down to zero temperature. ^[ref]

A thermodynamic proof outline uses the first law of thermodynamics in equilibrium form, $dU=TdS-pdV$, and the Maxwell relation $(\partial S/\partial V{)}_T=(\partial p/\partial T{)}_V$:The last step uses the ideal gas law and the molar gas constant $R$, with fixed composition and amount of substance. Microscopically, separated ideal gas particles store no intermolecular interaction energy; their translational kinetic energy and any internal molecular energy are determined by temperature. Negligible intermolecular interactions still allow a molecule to have internal vibrational potential energy.

An original analytical model makes the distinction between an ideal gas and constant heat capacity concrete. Assume classical translation, two fully active rotational terms, and one independent quantum harmonic oscillator per diatomic molecule, with fixed angular frequency $\omega$. Define the vibrational temperature scale $\Theta =\hslash \omega /k_B$, using the reduced Planck constant $\hslash =h/(2\pi )$ and Boltzmann constant $k_B$. Summing its thermal occupations givesThe constant $U_{\ast }$ includes the chosen reference and zero-point energy, whose temperature derivative vanishes. When $T\ll \Theta$ the vibrational contribution to heat capacity is exponentially small; when $T\gg \Theta$ it tends to $R$ per mole. This model assumes rotations remain active throughout the interval and excludes dissociation, electronic excitation and real gas corrections. Its low-$T/\Theta$ edge is not a model of rotational freezing or of an actual substance at absolute zero.^[ref]

For this stipulated model, heating from $T_1=0.2\Theta$ to $T_2=\Theta$ gives $\Delta U/(nR\Theta )\simeq 2.57519$. Holding the frozen-vibration value $C_{V,\mathrm{m}}=5R/2$ throughout would give $2$, underestimating the required internal energy increase by about $22.3\%$ of the model's full value. The integral measures all thermal storage activated along the interval. At fixed volume with only heat input, this is also the supplied heat; at fixed pressure, expansion work must be added through Mayer's relation.

Joule's free-expansion experiment tests the independence from volume in a different way: an insulated rigid vessel allows gas into an evacuated compartment, so no external work is delivered and ideally no heat is exchanged. The first law of thermodynamics gives $\Delta U=0$; positive $C_V$ then predicts equal initial and final equilibrium temperatures for the ideal gas. The apparatus, thermal-capacity controls and limitations of this inference are described in Joule's free-expansion experiment and temperature sensitivity of a free-expansion experiment. This endpoint test differs from the reversible adiabatic expansion of a loaded piston, which delivers work and lowers internal energy.

A gas is nondegenerate when its occupation numbers are low enough that quantum statistics reduce to the Maxwell-Boltzmann distribution. A common criterion is $n{\lambda }_{\mathrm{th}}^3\ll 1$, where ${\lambda }_{\mathrm{th}}$ is the thermal de Broglie wavelength.

For an ideal gas, this is the classical statistical regime; nondegeneracy alone does not assert the absence of interactions.

Every element of a finite ideal class group has finite order. Therefore every nonzero ideal has a positive power that is principal.

Bounded-norm representatives prove class-group finiteness because only finitely many integral ideals have norm at most a fixed constant.

If every integral ideal $I$ contains nonzero $\alpha$ with $|N(\alpha )|\le CN(I)$, then $(\alpha )I^{-1}$ is an integral representative of $[I{]}^{-1}$ with norm at most $C$.

The order of the class of a fractional ideal $I$ is the least positive integer $n$ for which $I^n$ is principal.

Basal sliding is motion of glacier ice relative to its bed. A sliding law relates the basal velocity to basal shear stress, effective pressure, roughness, or other bed properties.

The snowline separates a region of net annual snow accumulation from a region of net ablation. A height-based idealization places it where the ice surface has a prescribed elevation $h^{\ast }$.

An ice divide is a line or point of maximum ice-surface elevation from which ice flows in opposite directions. Symmetry gives zero horizontal ice flux at the divide.

The shallow-ice approximation uses the small ratio of ice thickness to horizontal extent to make pressure hydrostatic and balance its horizontal gradient primarily by vertical shear stress.

An ice cap is a dome-shaped terrestrial ice mass that flows outward from one or more ice divides and is smaller than an ice sheet.