Universality class
Template:Short description Template:More citations needed In statistical mechanics, a universality class is a set of mathematical models which share a scale-invariant limit under renormalization group flow. While the models within a class may differ at finite scales, their behavior become increasingly similar as the limit scale is approached. In particular, asymptotic phenomena such as critical exponents are the same for all models in the class.
Well-studied examples include the universality classes of the Ising model or the percolation theory at their respective phase transition points; these are both families of classes, one for each lattice dimension. Typically, a family of universality classes has a lower and upper critical dimension: below the lower critical dimension, the universality class becomes degenerate (this dimension is 2 for the Ising model, or for directed percolation, but 1 for undirected percolation), and above the upper critical dimension the critical exponents stabilize and can be calculated by an analog of mean-field theory (this dimension is 4 for Ising or for directed percolation, and 6 for undirected percolation).
Definition of critical exponents
Critical exponents characterize the variation of certain physical properties of the system as the control parameter approaches the critical point. For temperature-driven transitions, one usually defines the reduced temperature <math>\tau = (T-T_c)/T_c</math>, and for small <math>|\tau|</math> various observables follow power laws of <math>\tau</math>:
- The exponent <math>\alpha</math> is the exponent relating the specific heat C to the reduced temperature: we have <math>C = \tau^{-\alpha}</math>. The specific heat will usually be singular at the critical point, but the minus sign in the definition of <math>\alpha</math> allows it to remain positive.
- The exponent <math>\beta</math> relates the order parameter <math>\Psi</math> to the temperature. Unlike most critical exponents, it is assumed to be positive, since the order parameter will usually be zero at the critical point. So we have <math>\Psi = |\tau|^{\beta}</math>.
- The exponent <math>\gamma</math> relates the temperature with the system's response to an external driving force, or source field. We have <math>d\Psi/dJ = \tau^{-\gamma}</math>, with J the driving force.
- The exponent <math>\delta</math> relates the order parameter to the source field at the critical temperature, where this relationship becomes nonlinear. We have <math>J = \Psi^\delta</math> (hence <math>\Psi = J^{1/\delta}</math>), with the same meanings as before.
- The exponent <math>\nu</math> relates the size of correlations (i.e. patches of the ordered phase) to the temperature; away from the critical point these are characterized by a correlation length <math>\xi</math>. We have <math>\xi = \tau^{-\nu}</math>.
- The exponent <math>\eta</math> measures the size of correlations at the critical temperature. It is defined so that the correlation function of the order parameter scales as <math>r^{-d+2-\eta}</math>.
- The exponent <math>\sigma</math>, used in percolation theory, measures the size of the largest clusters (roughly, the largest ordered blocks) at 'temperatures' (connection probabilities) below the critical point. So <math>s_{\max} \sim (p_c - p)^{-1/\sigma}</math>.
- The exponent <math>\tau</math>, also from percolation theory, measures the number of size s clusters far from <math>s_{\max}</math> (or the number of clusters at criticality): <math>n_s \sim s^{-\tau} f(s/s_{\max})</math>, with the <math>f</math> factor removed at critical probability.
The critical exponents are independent of microscopic details of the model, but depend on dimensionality, symmetry, and range of interactions (i.e., only depend on the universality class). In rare cases, the critical exponents governing the behaviors below and above the critical point are not the same.
List of critical exponents
For symmetries, the group listed gives the symmetry of the order parameter. The group <math>S_n</math> is the n-element symmetric group, <math>O(n)</math> is the orthogonal group in n dimensions, <math>\mathbb{Z}_2</math> is the cyclic group of order 2 (parity, or Ising symmetry), and 1 is the trivial group. Mean-field theory result is indicated with (MF).
| Class | Dimension | Symmetry | <math>\alpha</math> | <math>\beta</math> | <math>\gamma</math> | <math>\delta</math> | <math>\nu</math> | <math>\eta</math> |
|---|---|---|---|---|---|---|---|---|
| 3-state Potts | 2 | <math>S_3</math> | Template:Sfrac | Template:Sfrac | Template:Sfrac | 14 | Template:Sfrac | Template:Sfrac |
| Ashkin–Teller (4-state Potts) | 2 | <math>S
_4</math>||Template:Sfrac || Template:Sfrac || Template:Sfrac || 15 || Template:Sfrac || Template:Sfrac | ||||||
| Ordinary percolation | 1 | 1 | 1 | 0 | 1 | <math>\infty</math> | 1 | 1 |
| 2 | 1 | −Template:Sfrac | Template:Sfrac | Template:Sfrac | Template:Sfrac | Template:Sfrac | Template:Sfrac | |
| 3 | 1 | −0.625(3) | 0.4181(8) | 1.793(3) | 5.29(6) | 0.87619(12) | 0.46(8) or 0.59(9) | |
| 4 | 1 | −0.756(40) | 0.657(9) | 1.422(16) | 3.9 or 3.198(6) | 0.689(10) | −0.0944(28) | |
| 5 | 1 | ≈ −0.85 | 0.830(10) | 1.185(5) | 3.0 | 0.569(5) | −0.075(20) or −0.0565 | |
| 6Template:Sup (MF) | 1 | −1 | 1 | 1 | 2 | Template:Sfrac | 0 | |
| Directed percolation | 1 | 1 | 0.159464(6) | 0.276486(8) | 2.277730(5) | 0.159464(6) | 1.096854(4) | 0.313686(8) |
| 2 | 1 | 0.451 | 0.536(3) | 1.60 | 0.451 | 0.733(8) | 0.230 | |
| 3 | 1 | 0.73 | 0.813(9) | 1.25 | 0.73 | 0.584(5) | 0.12 | |
| 4Template:Sup (MF) | 1 | 1 | 1 | 1 | 1 | Template:Sfrac | 0 | |
| Conserved directed percolation (Manna, or "local linear interface") | 1 | 1 | 0.28(1) | 0.14(1) | 1.11(2)<ref name="Fajardo">Template:Cite book</ref> | 0.34(2)<ref name="Fajardo"/> | ||
| 2 | 1 | 0.64(1) | 1.59(3) | 0.50(5) | 1.29(8) | 0.29(5) | ||
| 3 | 1 | 0.84(2) | 1.23(4) | 0.90(3) | 1.12(8) | 0.16(5) | ||
| 4Template:Sup (MF) | 1 | 1 | 1 | 1 | 1 | 0 | ||
| Protected percolation | 2<ref name=":0">Template:Cite journal</ref> | 1 | 5/41 | 86/41 | ||||
| 3<ref name=":0" /> | 1 | 0.28871(15) | 1.3066(19) | |||||
| Ising | 2 | <math>\mathbb{Z}_2</math> | 0 | Template:Sfrac | Template:Sfrac | 15 | 1 | Template:Sfrac |
| 3<ref name="bootstrap2024"/> | <math>\mathbb{Z}_2</math> | 0.11008708(35) | 0.32641871(75) | 1.23707551(26) | 4.78984254(27) | 0.62997097(12) | 0.036297612(48) | |
| 4Template:Sup (MF) | <math>\mathbb{Z}_2</math> | 0 | Template:Sfrac | 1 | 3 | Template:Sfrac | 0 | |
| XY | 2 | — | Berezinskii-Kosterlitz-Thouless universality class | |||||
| 3<ref name="Chester2020">Template:Cite journal</ref> | <math>O(2)</math> | −0.01526(30) | 0.34869(7) | 1.3179(2) | 4.77937(25) | 0.67175(10) | 0.038176(44) | |
| 4Template:Sup (MF) | <math>O(2)</math> | 0 | Template:Sfrac | 1 | 3 | Template:Sfrac | 0 | |
| Heisenberg | 3<ref name="Campostrini2002">Template:Cite journal</ref> | <math>O(3)</math> | −0.1336(15) | 0.3689(3) | 1.3960(9) | 4.783(3) | 0.7112(5) | 0.0375(5) |
| 4Template:Sup (MF) | <math>O(3)</math> | 0 | Template:Sfrac | 1 | 3 | Template:Sfrac | 0 | |
| Self-avoiding walk | 1 | 1 | 1 | 0 | 1 | <math>\infty</math> | 1 | 1 |
| 2 | 1 | Template:Sfrac | Template:Sfrac | Template:Sfrac | Template:Sfrac | Template:Sfrac | Template:Sfrac | |
| 3 | 1 | 0.2372090(12) | 0.3029190(8) | 1.1569530(10)<ref name="Clisby2017">Template:Cite journal</ref> | 4.819348(15) | 0.5875970(4)<ref name="Clisby2016">Template:Cite journal</ref> | 0.0310434(21) | |
| 4Template:Sup (MF) | 1 | 0 | Template:Sfrac | 1 | 3 | Template:Sfrac | 0 | |
Ising model
This section lists the critical exponents of the ferromagnetic transition in the Ising model. In statistical physics, the Ising model is the simplest system exhibiting a continuous phase transition with a scalar order parameter and <math>\mathbb{Z}_2</math> symmetry. The critical exponents of the transition are universal values and characterize the singular properties of physical quantities. The ferromagnetic transition of the Ising model establishes an important universality class, which contains a variety of phase transitions as different as ferromagnetism close to the Curie point and critical opalescence of liquid near its critical point.
| Template:Math | Template:Math | Template:Math | general expression | |
|---|---|---|---|---|
| Template:Math | 0 | 0.11008708(35) | 0 | <math>2-d/(d-\Delta_\epsilon)</math> |
| Template:Math | 1/8 | 0.32641871(75) | 1/2 | <math> \Delta_\sigma/(d-\Delta_\epsilon)</math> |
| Template:Math | 7/4 | 1.23707551(26) | 1 | <math>(d-2\Delta_\sigma)/(d-\Delta_\epsilon) </math> |
| Template:Math | 15 | 4.78984254(27) | 3 | <math> (d-\Delta_\sigma)/\Delta_\sigma</math> |
| Template:Math | 1/4 | 0.036297612(48) | 0 | <math>2\Delta_\sigma - d+2</math> |
| Template:Math | 1 | 0.62997097(12) | 1/2 | <math>1/(d-\Delta_\epsilon)</math> |
| Template:Math | 2 | 0.82966(9) | 0 | <math>\Delta_{\epsilon'}-d</math> |
From the quantum field theory point of view, the critical exponents can be expressed in terms of scaling dimensions of the local operators <math>\sigma,\epsilon,\epsilon'</math> of the conformal field theory describing the phase transition<ref name="Cardy1996">Template:Cite book</ref> (In the Ginzburg–Landau description, these are the operators normally called <math>\phi,\phi^2,\phi^4</math>.) These expressions are given in the last column of the above table, and were used to calculate the values of the critical exponents using the operator dimensions values from the following table:
| d=2 | d=3 | d=4 | |
|---|---|---|---|
| <math>\Delta_\sigma</math> | 1/8 | 0.518148806(24) <ref name="bootstrap2024">Template:Cite journal</ref> | 1 |
| <math>\Delta_\epsilon</math> | 1 | 1.41262528(29) <ref name="bootstrap2024" /> | 2 |
| <math>\Delta_{\epsilon'}</math> | 4 | 3.82966(9) <ref name=":1">Template:Cite journal</ref><ref name=":2">Template:Cite journal</ref> | 4 |
In d=2, the two-dimensional critical Ising model's critical exponents can be computed exactly using the minimal model <math>M_{3,4}</math>. In d=4, it is the free massless scalar theory (also referred to as mean field theory). These two theories are exactly solved, and the exact solutions give values reported in the table.
The d=3 theory is not yet exactly solved. The most accurate results come from the conformal bootstrap.<ref name="bootstrap2024" /><ref name=":1" /><ref name=":2" /><ref name="Kos">Template:Cite journal</ref><ref name="cmin">Template:Cite journal</ref><ref name="SDPB">Template:Cite journal</ref><ref name="Kadanovv">Template:Cite web</ref> These are the values reported in the tables. Renormalization group methods,<ref name="Pelissetto02">Template:Cite journal</ref><ref>Kleinert, H., "Critical exponents from seven-loop strong-coupling φ4 theory in three dimensions". Template:Webarchive Physical Review D 60, 085001 (1999)</ref><ref name="balog">Template:Cite journal</ref><ref name="DePolsi">Template:Cite journal</ref> Monte-Carlo simulations,<ref>Template:Cite journal</ref> and the fuzzy sphere regulator<ref>Template:Cite journal</ref> give results in agreement with the conformal bootstrap, but are several orders of magnitude less accurate.
Berezinskii-Kosterlitz-Thouless universality class
The phase transition present in the two-dimensional XY model and superconductors is governed by a distinct universality class, the Berezinskii–Kosterlitz–Thouless transition.<ref name="henkelbook">Template:Cite book</ref> The disordered phase (high-temperature phase) contains free vortices, while the ordered phase (low-temperature phase) contains bound vortices. At the phase transition, the free energy and all its derivatives are continuous, hence it is an infinite-order transition in the Ehrenfest classification.
The thermodynamic quantities do not show power-law singularities, as they do in second-order phase transitions. Instead, above the critical point <math>(T > T_c)</math>, the correlation length scales as <math>\xi \sim \exp(b |T-T_c|^{-\nu})</math>, where <math>b</math> is a constant and <math>\nu = 1/2</math>. Susceptibility is then <math>\chi \sim \xi^{2-\eta(T)}</math>, where <math>\eta(T)</math> depends on the temperature (and <math>\eta(T_c)=1/4</math>). Specific heat is finite at <math>T_c</math>. The two-point correlation function scales as <math>G(r) \sim r^{-\eta(T)}</math> for <math>T<T_c</math>, while it behaves as <math>G(r) \sim \exp(-r/\xi)</math> for <math>T>T_c</math>.
Growth phenomena
In epitaxial growth,<ref name="barbasibook">Template:Cite book</ref><ref name="dassarma">Template:Cite arXiv</ref> there is a change in the roughness of surfaces, from atomically flat to rough. The root mean square fluctuation in the evolving surface height (which characterizes roughness) increases as <math>w(t)\sim t^\beta</math> initially, and eventually saturates at a size-dependent value <math>w(L)\sim L^\alpha</math>. <math>\beta</math> is called the growth exponent, and <math>\alpha</math> is the roughness exponent. The crossover time between the two regimes depends on the system size as <math>t_x \sim L^z</math>, where <math>z</math> is the dynamical exponent obeying the scaling law <math>z=\alpha/\beta</math>.
| class | dimensionality | <math>\alpha</math> | <math>\beta</math> | <math>z</math> |
|---|---|---|---|---|
| Edwards-Wilkinson (EW) | <math>d</math> | <math>\frac{2-d}{2}</math> | <math>\frac{2-d}{4}</math> | <math>2</math> |
| Kardar-Parisi-Zhang (KPZ)<ref name="oliveira">Template:Cite journal</ref> | <math>1</math> | <math>\frac{1}{2}</math> | <math>\frac{1}{3}</math> | <math>\frac{3}{2}</math> |
| <math>2</math> | <math>0.390(3)</math> | <math>0.242(2)</math> | <math>1.610(3)</math> | |
| <math>3</math> | <math>0.314(6)</math> | <math>0.186(4)</math> | <math>1.686(6)</math> | |
| Mullins-Herring (MH) | <math>d</math> | <math>\frac{4-d}{2}</math> | <math>\frac{4-d}{8}</math> | <math>4</math> |
| Molecular-beam epitaxy (MBE) | <math>d</math> | <math>\frac{4-d}{3}</math> | <math>\frac{4-d}{8+d}</math> | <math>\frac{8+d}{3}</math> |