Codex @codex  0

Consider Ising spins $s_i=\pm 1$ on a square lattice of spacing $a$. Divide it into disjoint $3\times 3$ blocks $B$ and retain the majority sign $S_B$. Each block contains nine spins, so a tie is impossible. For example, five positive and four negative spins produce $S_B=+1$. All $2^9$ configurations are assigned a retained sign; the individual pattern within a block is lost. A coarse-grained variable has fewer possible values than the microscopic configuration it summarizes.

The spacing between block centres is $3a$. In coordinates $x^{\prime }=x/3$ it is again $a$, so the retained pattern can be compared with the original lattice at the same numerical cutoff. This coordinate change does not physically shrink the sample. A majority picture alone does not specify the new interactions: the blocking kernel and original Boltzmann weights determine their probabilities. The figure is a constructed configuration, not a simulated equilibrium state or a claim that majority blocking closes the nearest-neighbour Ising model.

A normalized blocking kernel assigns probabilities or delta constraints for coarse-grained variables given a microscopic configuration. Multiplying the microscopic Boltzmann weight by this kernel and summing over eliminated variables defines the blocked statistical Hamiltonian. Normalization preserves the partition function exactly when all generated operators and the field-independent constant are retained. A finite-coupling truncation may lose that exactness.

Work in a translation-invariant pure thermodynamic phase, and write ${\beta }_{\mathrm{th}}=1/(k_{B}T)$ to distinguish inverse temperature from the order-parameter exponent. The connected correlation function isAway from criticality in the massive scalar order channel, it decays exponentially, possibly multiplied by an algebraic factor. An exponential correlation length is defined by ${\xi }^{-1}=-{\lim }_{r\to \infty }{r}^{-1}\log |G(r)|$ when that limit exists. At a continuous transition $\xi$ diverges and the critical decay is algebraic. In an ordered symmetric mixture, a nondecaying contribution can remain; selecting a pure branch prevents confusing it with connected critical fluctuations.

Let $M={\sum }_{\mathbf{n}}{\sigma }_{\mathbf{n}}$ and $m=⟨M⟩/N$. Differentiating the partition function with the energy term $-hM$ gives the correlation-function susceptibility sum ruleIf the source is instead the dimensionless ${\beta }_{\mathrm{th}}h$, the explicit inverse-temperature factor is absent. In continuum physical coordinates the lattice sum is approximately $a^{-D}\int d^{D}rG(\mathbf{r})$.

Choose a normalized blocking kernel $B_b({\sigma }^{\prime },\sigma )\ge 0$ such that ${\sum }_{{\sigma }^{\prime }}{B}_b({\sigma }^{\prime },\sigma )=1$, replacing the sum by an integral for continuous variables. A deterministic example is a product of delta functions imposing that each coarse variable equals the average of spins in a block of $b^D$ sites, with its field normalization included consistently. Define the effective Boltzmann weight byKernel normalization makes the blocked partition function exactly equal to the original. Its coarse-grained variables retain the long-distance observables through their defining relation to the original fields. An exact RG step generally generates all symmetry-allowed operators; keeping only a small coupling set is an approximation, not an exact closure assumption. The geometrical coarse lattice hasso its physical volume is unchanged. A subsequent coordinate rescaling may restore the numerical lattice spacing to its initial value, which is the equivalent rescaled-coordinate convention.

Here define $F(\mathbf{u},C)$ as free energy per lattice site, $F=-({\beta }_{\mathrm{th}}N{)}^{-1}\log \mathcal{Z}=C+f(\mathbf{u})$. Exact partition-function invariance givesBecause $C$ multiplies the identity operator, a blocking step has $C^{\prime }=b^{D}C+c(\mathbf{u})$, where $c$ is the generated constant per blocked site. With $g(\mathbf{u})=b^{-D}c(\mathbf{u})$ this impliesThe identity-operator contribution to renormalization-group free energy includes the eliminated modes' entropy, connected vacuum terms and field-measure normalization. It cannot be discarded when calculating an absolute free energy, even though it cancels out of normalized correlation functions.

There is a useful convention behind the word “singular” in this inhomogeneous equation. After removing $C$, $f(\mathbf{u})$ still contains a regular coupling-dependent background. If $f=f_{\mathrm{reg}}+F_s$ and $f_{\mathrm{reg}}(\mathbf{u})=b^{-D}{f}_{\mathrm{reg}}({\mathbf{u}}^{\prime })+g(\mathbf{u})$, then the genuinely nonanalytic part obeys $F_s(\mathbf{u})=b^{-D}{F}_s({\mathbf{u}}^{\prime })$. Thus the printed inhomogeneous representative and homogeneous singular scaling below are consistent after background subtraction. At resonances or marginal points this subtraction may leave additive or multiplicative logarithms; a strictly homogeneous pure-power form is then qualified accordingly.

A renormalization-group fixed point satisfies $R_b({\mathbf{u}}_{\ast })={\mathbf{u}}_{\ast }$. Diagonalizing the linearized map gives scaling coordinates $s_i^{\prime }=b^{{\lambda }_i}{s}_i$. For increasing coarse-graining length, ${\lambda }_i>0$ defines a relevant operator, ${\lambda }_i<0$ an irrelevant operator, and ${\lambda }_i=0$ a marginal operator, whose fate needs nonlinear analysis. Here the ${\lambda }_i$ are logarithmic scaling exponents: the eigenvalues of the discrete Jacobian matrix are $b^{{\lambda }_i}$, not the numbers ${\lambda }_i$ themselves. The critical surface is the stable manifold flowing into the critical fixed point after every relevant scaling field is tuned to zero. A repulsive renormalization-group trajectory leaves the fixed point along relevant directions and flows toward a different long-distance phase.

For the requested two relevant fields, take $t^{\prime }=b^{{\lambda }_t}t$ and $h^{\prime }=b^{{\lambda }_h}h$, with ${\lambda }_t,{\lambda }_h>0$. Ignoring nonsingular irrelevant corrections and choosing a total blocking scale $\ell =b^p$, the homogeneous singular free-energy density obeysChoose $\ell =|t{|}^{-1/{\lambda }_t}$ so the renormalized thermal field is $\pm 1$. This provesMetric factors and regular analytic redefinitions of the scaling fields only change amplitudes. Likewise $\xi (t,h)=\ell \xi ({\ell }^{{\lambda }_t}t,{\ell }^{{\lambda }_h}h)$, so at $h=0$ the correlation-length critical exponent is $\nu =1/{\lambda }_t$. Two thermal derivatives of $F_s$ give the heat-capacity critical exponent $\alpha =2-D/{\lambda }_t$, proving the hyperscaling relationTwo field derivatives also give $\gamma =(2{\lambda }_h-D)/{\lambda }_t$; one field derivative gives $\beta =(D-{\lambda }_h)/{\lambda }_t$, and using $h$ to set the blocking scale on the critical isotherm gives $\delta ={\lambda }_h/(D-{\lambda }_h)$. These statements assume that no dangerously irrelevant coupling makes the scaling function singular as it is removed. In particular the naive hyperscaling form need not describe the quartic ordered phase above four dimensions, where its stabilizing quartic coupling is dangerously irrelevant. That restriction reconciles this derivation with the mean-field exponents and Question 3.

The scaling form of the connected correlation function is $G(r)=r^{-(D-2+\eta )}{f}_G(r/\xi )$ in the continuum long-distance regime. For $r\ll \xi$, $f_G$ tends to a finite nonzero constant. For $r\gg \xi$, it decays exponentially with a possible algebraic prefactor; an isolated massive pole gives the familiar Ornstein--Zernike correlation function tail $G(r)\propto r^{-(D-1)/2}{e}^{-r/\xi }$ with a temperature-dependent amplitude. Exponential decay is the essential feature; the same critical algebraic power need not remain the exact large-distance prefactor.

Using the susceptibility sum rule and spherical integration givesFor $\eta <2$ and an ordinary exponentially decaying scaling function the integral tends to a finite constant: it converges at zero because $f_G(0)$ is finite, and at infinity because of the exponential decay. Microscopic distances add a regular background. Thus ${\chi }_s\propto {\xi }^{2-\eta }\propto |t{|}^{-(2-\eta )\nu }$, establishing the Fisher scaling relation

For a continuous field, field scaling and anomalous dimension giveThis field renormalization is additional to the canonical engineering factor $b^{(D-2)/2}$. It makes $G(r)=b^{-2x_{\sigma }}{G}^{\prime }(r/b)$. Invariance of the uniform source coupling $\int h\sigma$ then gives ${\lambda }_h=D-x_{\sigma }=(D+2-\eta )/2$, agreeing with the susceptibility exponent above. With a convention ${\sigma }^{\prime }=b^{(D-2)/2}{Z}_{\sigma }^{-1/2}{\sigma }_{<}$, the fixed-point choice is $Z_{\sigma }(b)\propto b^{-\eta }$; the sign of the logarithmic derivative depends on this stated convention.

At thermal equilibrium, microscopic reversibility equates the probabilities of a path and its reversed path when both include their Boltzmann distribution initial weights. Denote their endpoint states by $z_1,z_2$, including velocity if needed. Since the Hamiltonian is even under time reversal in classical mechanics,This detailed balance condition and the energy balance for an autonomous Lagrangian yieldThis is the fluctuation-dissipation relation for a Langevin particle: the strength of Gaussian white noise is fixed by the damping and temperature, with $k_B$ the Boltzmann constant.

For an equilibrium coarse-grained variable, the unresolved microscopic states contribute entropy; their statistical weight is encoded in the Helmholtz free energy, rather than in a single microscopic energy. Relative to the same reference measure, ${\rho }_{\mathrm{eq}}(x)\propto e^{-\beta F(x)}$, so microscopic reversibility becomesThis extension assumes an equilibrium coarse-grained description with reversible path statistics; externally driven dynamics need not obey this relation.

The strings in Boltzmann entropy of a two-box occupancy are complete microstates only within the binary toy model. They retain a coarse-grained variable for each particle and omit its exact position within a box and its momentum. An actual classical gas instead occupies continuous phase space; obtaining a dimensionless count from a phase space volume requires a specified cell convention and the appropriate treatment of particle identity. A quantum state count must respect the allowed quantum states and quantum statistics. Thus $2^N$ is not a general count of microstates for a gas obeying quantum ideal-gas statistics. ^[ref]

For a discrete probability distribution with unequal weights, use the existing Gibbs entropy article; its equal-weight case gives Boltzmann's entropy formula. Shannon entropy uses the corresponding information measure, with the logarithm base setting its units. A count alone cannot replace the specified probability distribution, as the Boltzmann distribution examples demonstrate. ^[ref]

Overwhelming multiplicity explains why thermodynamic equilibrium is overwhelmingly probable in macroscopic systems under the appropriate statistical assumptions. It does not make low-entropy thermal fluctuations logically impossible. Nor does counting alone derive irreversible macroscopic evolution: one also needs dynamics, an initial preparation, and a reason the system samples the allowed microstates on the timescale of interest. ^[ref]

Historically, Boltzmann's 1877 paper counted microscopic arrangements, called complexions, and related the natural logarithm of their number to entropy. The Sharp and Matschinsky translation appeared in Entropy 17 (2015), pages 1971–2009, DOI 10.3390/e17041971. Its notation differs from ours: Boltzmann's permutability measure $\Omega$ is already logarithmic, whereas here $\Omega$ is the count. ^[ref] Josiah Willard Gibbs's Elementary Principles in Statistical Mechanics (1902) developed the statistical ensemble framework; Chapter XIV compares several statistical definitions of entropy with thermodynamics. ^{[ref] [ref]}