Boltzmann distribution Created 2026-09-28 Updated 2026-10-14
The Boltzmann distribution assigns probabilities to individual microstates in a canonical ensemble, a statistical ensemble for thermal contact. The system exchanges energy with a thermal reservoir at fixed positive absolute temperature , while its particle number and external parameters, such as volume, stay fixed. The thermal reservoir is large enough that these exchanges barely change its temperature; the coupling permits thermal equilibrium but contributes negligible interaction energy. All the microstates considered have the same . No chemical potential term is needed in their weights; fixed does not imply that the chemical potential is zero.
For a finite discrete set of microstates with energies , write
Here is the Boltzmann constant, is the inverse temperature, is a Boltzmann factor, and is the partition function. The Boltzmann factor is a weight; dividing by the partition function makes it a probability. [ref]
The useful surprise is that a fixed temperature still permits thermal fluctuations in the system's energy. The Boltzmann distribution predicts their probabilities and expected values without tracking every microscopic exchange. Its exponential function also makes rare excited microstates sensitive to temperature: an energy gap much larger than gives strong Boltzmann suppression, while warming increases their relative populations. A population ratio can therefore reveal a gap or serve as a thermometer, provided thermal equilibrium and the relevant state degeneracies are known.
Historically, Josiah Willard Gibbs's Elementary Principles in Statistical Mechanics (1902) presents the canonical ensemble in Chapter IV. His equations 90–92 give an exponential function of energy and its normalization, in classical phase space. This classical formulation exhibits the same weighting principle. [ref] [ref]
Group microstates by their energy . The state degeneracy counts how many microstates have that energy; their aggregate probability is
Here is the probability of the macrostate retaining only energy, while is the probability of one individual microstate. For two such macrostates,
Counting more microstates can compensate for a smaller Boltzmann factor. Omitting the state degeneracy confuses a sum over microstates with a sum over distinct energies. [ref]
Consider two distinguishable, noninteracting two-level systems, each with energies and . Their four microstates have total energies . Thus the three energy macrostates have state degeneracies . This is a stipulated finite model, not a measured material.
Set . The four individual Boltzmann factors are , so the partition function and aggregate probabilities are
Each of the two middle microstates has probability , while their shared energy macrostate has probability .
At the temperature satisfying , the Boltzmann factor is and the partition function is . Therefore
The middle energy is as likely as the ground state energy because its state degeneracy is twice as large. Yet each individual middle microstate is only half as likely as the ground state microstate. The diagram places the four energies beside their individual probabilities, then shows the sums within each macrostate.
Figure 1.
Four microstates and three energy macrostates at a gap of
. Details.
The expected value of energy follows directly by weighting the three possible energies:
At this is . An individual energy measurement still returns , or ; the expected value describes the ensemble average, rather than a fourth possible measured energy.
Keep the gap fixed and vary positive temperature. With , the Boltzmann factor is . In the four-microstate example, as , : the unique ground state has probability tending to one, and the other microstates have probabilities tending to zero. If several microstates instead shared the lowest energy, their state degeneracy would split that limiting population equally.
As in this fixed finite model, all four individual Boltzmann factors tend to one, so all four individual microstates have probability tending to . The three aggregate probabilities instead approach
The equal-population limit applies to this finite set of microstates. An infinite collection of microstates cannot all have the same positive normalized probability, so the statement cannot be extended to an unbounded energy spectrum. Real systems may also acquire additional accessible microstates as temperature rises.
The plotted crossing occurs at , where . For larger positive temperatures, the middle macrostate is more probable than the lowest-energy macrostate, although the lowest-energy individual microstate remains more probable than either individual middle microstate. The expected value of energy rises from zero toward in this finite model.
Collision strength 2026-10-24
A dimensionless atomic collision measure used to parameterize electron-impact transition coefficients. In the Maxwellian approximation used here, in , and detailed balance fixes the excitation coefficient. Its value and temperature dependence encode atomic scattering physics beyond the elementary Boltzmann factor.
A reversed bond costs , so its Boltzmann factor is a natural thermal coordinate near the zero-temperature chain fixed point. Exact length-two decimation gives , and the One-dimensional Ising correlation function gives . This is a length exponent one with respect to . The correlation length instead diverges exponentially in inverse physical temperature; claiming a conventional finite power would confuse scaling coordinates. Choosing gives multiplier and power two in that alternative coordinate, the same physical length.
Einstein solid 2026-10-14
The Einstein model of a solid represents the vibrations of chemical atoms by independent one-dimensional quantum harmonic oscillators, all with the same positive angular frequency . Equivalently, each chemical atom has three independent oscillator directions. The common angular frequency is a simplifying model assumption, not a claim about every vibration of a real solid. Hold the volume, and fixed. Define the characteristic temperature and the dimensionless ratio . The vibrational internal energy is
The first term is the zero-point energy . It is constant at fixed , so it contributes no heat capacity at constant volume. The temperature-dependent term gives
This is the vibrational heat capacity at constant volume of the model, with no expansion or other contributions included. [ref]
For a worked comparison, choose the model parameter . The normalized heat capacity at constant volume depends only on :
Temperature in
At , one mole of chemical atoms therefore has vibrational heat capacity at constant volume , using the unrounded model value. Even at twice the characteristic temperature, the model remains about below the Dulong-Petit law limit. These are calculations for the ideal Einstein solid, not material measurements.
Figure 1.
Einstein solid vibrational heat capacity approaches the Dulong-Petit law limit
. The model ratio over , with the four computed cases marked. The dashed classical line is ; quantum freeze-out suppresses the low-temperature response. All quantum harmonic oscillators have the same stipulated angular frequency. Details.
A short derivation uses the thermal partition function of a quantum harmonic oscillator. The energy eigenvalues and their Boltzmann factors form a geometric series, giving the one-oscillator canonical partition function . The mean occupation is , hence the displayed after summing over independent quantum harmonic oscillators. Taking its derivative with gives the displayed heat capacity at constant volume. [ref]
The two limits explain the shape. At high temperature, a Taylor series in small gives
At low temperature, , so
The zero-point energy remains even when the thermal response is tiny: freeze-out means that changing temperature scarcely changes the occupations, not that the chemical atoms have zero energy. This is the useful lesson of the Einstein model of a solid: the classical counting rule reappears when many levels are accessible, while discrete excitation spacings explain its failure upon cooling.
The exponential low-temperature decay is also the model's limitation. Real three-dimensional crystalline solids have acoustic phonon branches with arbitrarily small angular frequencies in the bulk limit. The Debye model includes these collective normal modes and predicts a low-temperature vibrational contribution , which the single-frequency Einstein solid cannot reproduce. This qualification concerns the vibrational contribution; additional excitations can change a material's total heat capacity. [ref]
Einstein introduced the quantum treatment of solid vibrations in his 1907 paper Die Plancksche Theorie der Strahlung und die Theorie der spezifischen Wärme. Its historical importance is that quantum excitation energies explained why the classical Dulong-Petit law could fail; the modern quantum harmonic oscillator formulation above includes the zero-point energy explicitly. [ref]
Equipartition theorem Created 2026-09-24 Updated 2026-10-20
The equipartition theorem says that each independent quadratic term in a Hamiltonian described by classical mechanics has mean energy in a canonical ensemble. Here is the Boltzmann constant and the absolute temperature. Count terms in the energy, rather than vaguely counting everything that can move: one harmonic oscillator has one position degree of freedom but TWO quadratic terms, one in momentum and one in displacement.
A precise sufficient setting is with , where is one of the canonical variables, denotes all remaining variables, and the phase space integration measure factors as . The range of is the whole real line, independently of ; there is no constraint coupling its allowed values to other variables. The partition function must be finite, and the relevant expected values must exist. The Boltzmann factor then gives
The probability density function is a normal distribution with variance . A larger coefficient narrows the fluctuations enough to cancel its greater energy cost. This is why the mean contribution is independent of mass or spring constant.[ref]
For a proof outline, the one-variable Gaussian integral is , so . More generally, integration by parts in a canonical variable gives when its boundary term vanishes and the integrals converge. For this is twice its mean energy. At a finite hard boundary the boundary term need not vanish; hard-wall correction to harmonic equipartition illustrates the resulting departure. A constraint, a nonquadratic potential energy, or a noncanonical integration measure therefore requires its own calculation. The theorem is an ensemble average, not equality of instantaneous energies, and applying it to a recorded trajectory requires equilibration and sufficient sampling.
For a classical one-dimensional harmonic oscillator, with positive mass and spring constant ,
The origin is the equilibrium position. Its heat capacity is at fixed , not . Although the two mean energies agree, their measured amplitudes do not: and . In a harmonic optical trap, the position measurement observes the potential energy contribution; it does not measure both contributions by observing alone.[ref]
For particles in a three-dimensional classical monatomic gas, neglect interactions and thermally accessible internal excitations. Its three translational momentum terms give internal energy , heat capacity at constant volume , and heat capacity at constant pressure . Per mole, replace by the molar gas constant . For example, using stipulated , the molar heat capacity at fixed volume is . These results assume a dilute, nonrelativistic ideal gas with classical translational statistics, rather than a quantum degeneracy regime.
For an ideal gas of diatomic molecules, modeled as two chemical atoms with a bond, there are three translational quadratic terms, two accessible rotational kinetic energy terms for changes of bond orientation, and one bond-stretching harmonic oscillator with two quadratic terms. Rotation about the bond axis is not an additional active mode in this linear-molecule model. The three familiar limits of heat capacity at constant volume are
Corresponding molar heat capacities are , and . Counting the stretching harmonic oscillator only once as would give the wrong last value.[ref]
The frozen regimes require quantum mechanics. In the simple molecular rotation model, with state degeneracy , , and moment of inertia . For the bond-stretching quantum harmonic oscillator, with angular frequency and from the Planck constant. When , the three limits above correspond to , , and , provided translational motion remains classical. They are smooth crossovers, not abrupt switches. Real molecules can have different allowed rotational populations; at high temperature, thermal dissociation, internal excitations and nonharmonic bond motion can invalidate the fixed-molecule model before its last limit is reached.[ref]
For a quantum harmonic oscillator with fixed , put . Its exact mean energy and heat capacity are
At , the mean energy approaches and approaches . At , thermal excitation is exponentially suppressed and tends to zero, although the zero-point energy survives. Frozen thus means little thermal response, not zero motion or zero energy.[ref]
Figure 1. . Original computed equilibrium curves, not measured gas data. Left: approaches its classical value 1 as grows. Right: for stipulated . The rotational partition function is with every nonnegative integer allowed; is the variance of divided by . No molecular nuclear-spin restrictions, thermal dissociation or nonharmonic effects are modeled. Horizontal guides mark the three limiting values, not exact plateaus at finite temperature. Details.
A motivating measurement is thermal calibration of an optical trap. A focused laser through a microscope objective confines a bead in water; imaging or a quadrant photodetector records a position time series. Gieseler and colleagues describe a polystyrene bead of radius at , a trapping laser, and photodetector acquisition at . Their recorded bead continues undergoing Brownian motion; higher trapping power produces a narrower equilibrium position distribution. Infer the centered variance, not a squared distance from an arbitrary camera origin:
The normal distribution position histogram and agreement with dynamical calibration methods support the local harmonic optical trap interpretation. For a stipulated example, and imply . This calculated scale is not an experimental reading.[ref]
Position calibration is essential: if detector output has conversion , its physical variance is . An unknown scale cannot be determined together with from that one variance. A complementary calibration demonstrated by Tolić-Nørrelykke and colleagues combines the power spectrum of thermal motion with the bead response to known sinusoidal motion of a translation stage. The driven response supplies an additional length scale, and their method does not require bead size, liquid dynamic viscosity or wall distance as inputs. It still uses a thermal dynamical model; agreement between methods is a consistency check, not a theory-free proof of equipartition theorem.[ref]
The readout itself can hide fluctuations. Wong and Halvorsen used a optical trap and adjustable-exposure CCD imaging of a bead in water. They varied exposure and trapping power, held the bead away from the nearest wall, adjusted illumination to maintain comparable images, and measured tracking noise using a stuck bead. The measured variance fell as exposure increased; corrected results agreed with their time-averaging model. For a stationary overdamped harmonic optical trap, with optical trap relaxation time , an exposure of length measures . Its ideal noise-free variance is
For , : using the blurred variance in the uncorrected formula overestimates by . At , the calculated factor is . Additive tracking noise instead raises the measured variance and biases the inferred downward if left uncorrected.[ref]
Figure 2.
Equal mean quadratic energies with unequal fluctuations, and exposure-biased readout
. Original analytic models, not bead trajectories or measured curves. Left: equal-energy contours in scaled phase space, with , and , for . Increasing stiffness narrows position fluctuations but leaves both mean quadratic contributions equal to . Right: the exact noise-free exposure reduction ; at , and naive inferred stiffness is times true stiffness. The exposure calculation assumes stationary overdamped harmonic Brownian motion and uniform averaging. Details.
Useful controls are to record over many optical trap relaxation times, compare blocks for drift, calibrate the position scale, measure fixed-bead noise, vary exposure, and check the position histogram for departures from a normal distribution. A sparse sequence of accurate instantaneous positions can estimate an equilibrium variance; a long exposure averages away motion even if many frames are collected. Flow, appreciable laser heating, escape from the harmonic region or nonconservative forces can break the assumed thermal equilibrium. Inferring by imposing equipartition theorem is a calibration, whereas testing the relation requires an independently established stiffness and position scale. The beautiful practical connection is that microscopic randomness can set a force scale: once calibrated, a small constant applied force displaces the mean by . The same quadratic-term counting predicts macroscopic heat capacity and makes microscopic fluctuations useful measurements.
Four-spin Ising ring Created 2026-10-18 Updated 2026-10-20
Take a cycle graph with four labeled graph vertices and four distinct edges . Set , , and impose periodic boundary conditions by writing . The square drawing represents a one-dimensional ring: it has no diagonal interactions and is not a two-dimensional lattice.
Call an edge between opposite Ising spins a domain wall. If is their number, the four bond products sum to , so the energy is
Each domain wall costs relative to an aligned bond. Returning around the ring must return to the starting Ising spin, so is even: equivalently, . Choosing an even set of wall edges and then choosing determines the entire pattern. The state degeneracy is therefore , using a binomial coefficient.
Domain walls State degeneracy Energy Total Boltzmann factor weight
The twelve middle microstates consist of eight patterns with one exceptional Ising spin and four patterns with two adjacent Ising spins and two adjacent Ising spins. The two alternating patterns have four domain walls. All microstates are shown below.
Figure 1.
All sixteen configurations of the four-spin Ising ring, grouped by domain walls and energy
. Original enumeration of the four distinct ring edges. Blue vertices denote Ising spins, orange vertices denote Ising spins, and dashed red edges mark domain walls. These are exact model configurations. Details.
Writing , the partition function and the probability of each energy class are
For an original exact example, choose . Then , , and , , . Each aligned microstate has probability , each middle microstate , and each alternating microstate : multiply by state degeneracy before comparing whole classes. As , all sixteen microstates become equally likely, but the class probabilities approach . As , the two all-aligned microstates each have limiting probability .
Hard-sphere gas Created 2026-09-29 Updated 2026-10-14
A hard-sphere gas is a classical model of identical impenetrable spheres, each of diameter and radius . Its pair potential is for centre separation and for ; the convention at exact contact has no effect on the integral. It isolates the effect of particle size without an attractive potential energy.
Figure 1.
Hard-sphere centre exclusion, the square-well Mayer f-function, and the exact temperature dependence of the toy second virial coefficient
. Details.
The upper-left panel is a cross-section of a three-dimensional forbidden region: the second centre cannot enter a sphere of radius around the first centre. The particles themselves have radius . Consequently, with particle volume and pair excluded volume ,
The last equality follows directly from the Mayer f-function: throughout the forbidden volume and zero outside it. Confusing particle radius with contact separation changes the answer by a factor of eight; omitting the unordered-pair factor changes it by a further factor of two.
Define the packing fraction , where is number density. Then the virial expansion begins
For example, at the toy value , the leading correction predicts ; the omitted terms still matter if accuracy beyond this approximation is needed. The classical second virial coefficient is independent of temperature because the geometry of forbidden configurations does not change when the gas is warmed. The pressure itself still scales with temperature at fixed number density.
This model makes the positive correction particularly clear: eliminating overlapping configurations changes the dependence of the available configuration space on volume, even though the allowed configurations all have zero interaction energy. The figure's other panels add a toy attractive shell and show how its Boltzmann factor competes with that geometry. The hard-sphere gas is a useful reference model, while a low-order virial expansion remains a dilute-gas approximation rather than a dense sphere packing formula.
Let and for the conditional distributions of parahydrogen and orthohydrogen, with . Differentiating the normalized Boltzmann factors gives . Thus the rotational heat capacity at constant volume per molecule of a composition frozen at is
At conversion equilibrium, the law of total variance adds a nonnegative contribution from the changing species populations:
The last term is the contribution from conversion. Compare the first two terms with a frozen sample at the same instantaneous composition; a frozen sample generally has different weights too. This formula follows directly from the variance of a mixture: subtract the overall mean inside each species, expand the square, and the cross terms vanish because each conditional deviation has zero mean. It also proves nonnegative rotational heat capacity in either model.
Figure 1. . Original numerical sums of the stated linear rigid rotor model through . The upper panel compares the equilibrium orthohydrogen fraction with frozen normal hydrogen; the lower panel also shows pure parahydrogen. These are dimensionless predictions, not experimental curves. Only internal molecular rotation contributes: translation, molecular vibration, interactions between molecules, and external-field splittings are omitted. Details.
For an original worked example at , summing the allowed ladders gives , , and . The calculated rotational heat capacities are and for frozen normal hydrogen. The contrast is large because changing species accesses the to separation, whereas fixed species must use the larger to or to separations. These are model numbers at a chosen dimensionless temperature, not measured hydrogen data.
Both rotational heat capacities approach zero as , although frozen normal hydrogen retains nonzero rotational internal energy. Both approach as within the rotor model. The high-temperature limit is a formal limit with all other excitations suppressed; actual molecular hydrogen eventually needs molecular vibration, nonrigidity, and dissociation. Multiplying the per-molecule result by the Avogadro constant gives rotational molar heat capacity in units of the molar gas constant . A dilute classical ideal gas additionally contributes from translation to its heat capacity at constant volume.
Inverse temperature Created 2026-10-05 Updated 2026-10-14
Inverse temperature is , where is the Boltzmann constant and is the absolute temperature. A canonical ensemble weights an energy by its Boltzmann factor . Calling couplings dimensionless means absorbing this factor into their energy coefficients. The alternative convention makes inverse temperature ; physical and dimensionless couplings must not be mixed.
In a thermal Euclidean worldline path integral with , is also the circumference of the imaginary-time circle.
Macrostate Created 2026-09-24 Updated 2026-10-14
A macrostate groups microstates sharing prescribed coarse data. The grouping depends on what is retained: here retain only total energy. For the two distinguishable two-level systems, the macrostates have state degeneracies . Although two units are not macroscopic in size, they make this loss of information visible: knowing does not tell us which unit is excited.
At inverse temperature , each unit's excited-state probability is . Their independence gives microstate probabilities in the order above. Adding within each macrostate gives
The total expected value of energy is therefore , matching two units each with expected value of energy . Equal state degeneracies would give the wrong answer: macrostate probabilities combine counting with the Boltzmann factor. At very high positive temperature, all four microstates become equally likely, but these three macrostate probabilities approach .
Figure 1.
Four microstates grouped into three energy macrostates, with their thermal probabilities
. Details.
Maxwell-Boltzmann distribution Created 2026-09-24 Updated 2026-10-14
The Maxwell-Boltzmann distribution describes the random velocities and speeds of particles in a classical ideal gas at thermal equilibrium. Individual particles keep changing velocity through collisions, while the equilibrium probability distribution stays fixed. For one species of particle mass at positive temperature , the characteristic scale is
where is the Boltzmann constant. A signed velocity component follows a normal distribution; the nonnegative magnitude follows the Maxwell speed distribution. Their peaks differ because a speed measurement groups together all directions of motion.
Use the gas rest frame, three spatial dimensions, and nonrelativistic particles, with where is the speed of light. Assume a dilute gas whose interactions between encounters can be neglected in the ideal gas approximation and whose translational motion is classical. A sufficient condition for negligible quantum exchange effects is , where is the number density and the thermal de Broglie wavelength. Diluteness alone does not guarantee thermal equilibrium; the gas must have equilibrated. These are the assumptions behind the classical Maxwell-Boltzmann velocity distribution. [ref] [ref]
The connection to Maxwell–Boltzmann statistics is the Boltzmann factor for translational kinetic energy, . Normalizing over velocity gives a probability density; an occupation factor instead specifies a mean occupation, with chemical potential . Their normalizations serve different purposes. [ref]
This connects microscopic motion to measurements: a gas thermometer uses the ideal gas law, collisions and the mean free path govern transport, and measurements of spectral lines use thermal Doppler broadening to infer temperature. Each probes a different aspect of the same thermal motion.
In 1860, James Clerk Maxwell presented the component and speed laws in Part I, Proposition IV of Illustrations of the Dynamical Theory of Gases, pp. 22–23. His argument combined independence of the three velocity components with isotropy, and he explicitly compared the component law with the normal distribution of observational errors. Independence is an assumption of that argument; perpendicular coordinate axes alone do not establish it. [ref]
Maxwell speed distribution Created 2026-10-03 Updated 2026-10-14
The Maxwell speed distribution is the probability density function for the magnitude . Unlike a signed velocity component, speed cannot be negative:
For , the probability of a speed in is , and . The density has units of inverse speed, so its height alone is not a probability. [ref]
All velocities with magnitudes from to occupy a thin spherical shell of volume in velocity space. The isotropy of the Maxwell-Boltzmann velocity distribution makes its density constant over each shell, giving for any fixed unit direction . A larger radius offers more directions and more volume. The increasing shell factor initially wins over the decreasing Boltzmann factor, so and the most probable speed is positive. This is the geometric reason that the peaks of the vector and speed densities disagree.
With the dimensionless quantity , every such gas has the same rescaled speed density:
For comparison, has the standard normal distribution density on the whole real line. The Maxwell speed distribution is neither the positive half of this curve nor the distribution of : it combines three components.
Figure 1.
One signed velocity component peaks at zero, while speed peaks above zero because of spherical shells
. Details.
The first two moments of the Maxwell speed distribution give the mean and root mean square:
Consequently the mean translational kinetic energy is , as required by the equipartition theorem. [ref] The mean speed weights fast particles more than the density peak does, and the root mean square weights them more strongly still.
Changing temperature or particle mass only changes . At fixed mass, four times the temperature doubles every characteristic speed; at fixed temperature, four times the mass halves them. A stretched density becomes lower so that its area stays one. For two species at the same temperature, equal mean translational kinetic energy therefore means different typical speeds.
Figure 2.
Fourfold temperature doubles the speed scale, while fourfold particle mass halves it
. Details.
Mayer f-function Created 2026-09-29 Updated 2026-10-14
The Mayer f-function measures how a pair potential changes a pair's Boltzmann factor relative to the noninteracting value one:
It vanishes where , lies between and for repulsion, and is positive for attraction. Even an infinite hard-core potential energy produces the finite value . This is why expanding in Mayer f-functions handles a hard-sphere gas more naturally than a Taylor series in . [ref]
For pairwise-additive potential energy , the exact identity
turns the configurational part of the canonical partition function into a sum of products associated with pairs. Drawing one edge for each chosen factor gives the graphs used in the cluster expansion. The second virial coefficient uses just one pair's relative-position integral, .
For the square-well toy pair potential in second virial coefficient, in the core, in the attractive shell, and beyond it. Its positive plateau need not be small: low number density, rather than small at every separation, controls the dilute-gas approximation. The integral weights each plateau by spherical-shell volume; equal-looking unweighted areas on a plot of versus need not cancel in .
Choose a vibrational Raman shift magnitude , excitation vacuum wavelength and temperature . These are original illustrative inputs, not a measured 1928 optical spectrum or a claim about a particular liquid. They give
Take reciprocal lengths in consistent units before converting to nanometres. At , and . The predicted line-integrated radiant intensity ratio is , whereas the ideal photon count-rate ratio is . Thus the radiometric ratio is about percent, rather than the percent obtained by using the Boltzmann factor alone.
Figure 1.
Molecular energy transfer and an original one-mode Raman scattering line model
. Upper panels show initial and final vibrational levels with schematic virtual intermediates. Lower panel uses the stated , , example. Chosen equal Gaussian function linewidths have standard deviation ; the Rayleigh scattering line has an arbitrarily chosen integrated area of relative to a unit Stokes area. The anti-Stokes area follows the line-integrated radiant intensity formula. The vertical axis is logarithmic. No line shape, width, relative elastic strength or line position is a historical measurement. Source. Details.
For a finite-range isotropic Heisenberg model, the Mermin-Wagner theorem excludes spontaneous magnetic order in one dimension at every nonzero temperature. Long-wavelength rotations cost very little energy: a smooth orientational fluctuation has , so its thermal variance contains , which diverges in the infrared. In a Heisenberg ferromagnet, the same obstruction appears as a divergent thermal occupation of quadratic long-wave spin waves. This explains why a finite magnetization cannot be supported, although correlations can be strong over a long finite distance. The rigorous statement requires short-range interactions and the stated continuous symmetry; interchain coupling and anisotropy change the problem. Symmetry forcing the mean to zero in a finite chain alone would not prove absence of thermodynamic order. [ref]
For the Ising model, use dimensionless , , and . Its pair Boltzmann factor is
Multiplying N such factors around the periodic ring counts each bond once and each field term twice with weight one half. Summing the closed spin-index sequence therefore gives the transfer matrix for the one-dimensional Ising model
The two eigenvalues are
At finite temperature every entry of P is positive, so the Perron–Frobenius theorem gives . Consequently
The exact finite-N correction to the extensive expression is . No assumption that is positive is needed.
Differentiate at fixed temperature. For , . The Ising-chain magnetization with spin-half normalization gives total magnetic moment
This is the thermodynamic-limit result; the moment per site is M/N. For every finite , , even with the thermodynamic limit taken first. The zero-field magnetic susceptibility per site is , large but finite.
The Ising-chain domain-wall energy convention explains the result for : changing a parallel bond into an antiparallel bond costs J in this spin-half normalization. Domain walls, occurring in pairs on a ring, acquire a nonzero density at any nonzero temperature. Indeed the zero-field correlation length is at low temperature. The Ising symmetry is discrete, so this is a separate one-dimensional domain-wall mechanism rather than an application of the continuous-symmetry theorem. At zero temperature a ferromagnetic chain can select a fully polarized state; the and limits do not commute.
Let and use the two spin values as row and column labels. Define the spin-chain transfer matrix
It is a real symmetric matrix because ; every entry is strictly positive for finite bond energies at . The Boltzmann factor of a spin configuration factorizes into the product . Summing the intermediate spin labels is exactly matrix multiplication, and the final closure imposes periodic boundary conditions. Thus
Writing , its eigenvalues are
A positive-entry matrix need not have two positive eigenvalues; can be negative. The Perron–Frobenius theorem ensures here. Therefore the Helmholtz free energy is , and its value per spin in the thermodynamic limit is .
For an open chain there are bonds, with both endpoint Ising spins independently summed. Retain the same spin-chain transfer matrix, but replace the trace by endpoint vectors. With ,
This follows directly by expanding the product of Boltzmann factors. If are orthonormal eigenvectors of the symmetric matrix , the equivalent spectral decomposition is
Fixed endpoint Ising spins replace the corresponding by a basis vector; extra endpoint energies replace its entries by the corresponding Boltzmann factors. The leading bulk Helmholtz free energy per spin agrees with the periodic result, because the boundary changes only subextensive terms. In particular, gives , as required for one free Ising spin.