Universality class

Template:Short description Template:More references 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).

List of critical exponents

Critical exponents are defined in terms of the variation of certain physical properties of the system near its phase transition point. These physical properties will include its reduced temperature $\tau$, its order parameter measuring how much of the system is in the "ordered" phase, the specific heat, and so on.

• The exponent $\alpha$ is the exponent relating the specific heat C to the reduced temperature: we have $C={\tau }^{-\alpha }$. The specific heat will usually be singular at the critical point, but the minus sign in the definition of $\alpha$ allows it to remain positive.
• The exponent $\beta$ relates the order parameter $\mathrm{\Psi }$ to the temperature. Unlike most critical exponents it is assumed positive, since the order parameter will usually be zero at the critical point. So we have $\mathrm{\Psi }=|\tau {|}^{\beta }$.
• The exponent $\gamma$ relates the temperature with the system's response to an external driving force, or source field. We have $d\mathrm{\Psi }/dJ={\tau }^{-\gamma }$, with J the driving force.
• The exponent $\delta$ relates the order parameter to the source field at the critical temperature, where this relationship becomes nonlinear. We have $J={\mathrm{\Psi }}^{\delta }$ (hence $\mathrm{\Psi }=J^{1/\delta }$), with the same meanings as before.
• The exponent $\nu$ 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 $\xi$. We have $\xi ={\tau }^{-\nu }$.
• The exponent $\eta$ measures the size of correlations at the critical temperature. It is defined so that the correlation function of the order parameter scales as $r^{-d+2-\eta }$.
• The exponent $\sigma$, 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 $s_{\max }\sim (p_c-p{)}^{-1/\sigma }$.
• The exponent $\tau$, also from percolation theory, measures the number of size s clusters far from $s_{\max }$ (or the number of clusters at criticality): $n_s\sim s^{-\tau }f(s/s_{\max })$, with the $f$ factor removed at critical probability.

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 ${\mathbb{\mathbb{Z}}}_2$ 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	$2-d/(d-{\mathrm{\Delta }}_{ϵ})$
Template:Math	1/8	0.32641871(75)	1/2	${\mathrm{\Delta }}_{\sigma }/(d-{\mathrm{\Delta }}_{ϵ})$
Template:Math	7/4	1.23707551(26)	1	$(d-2{\mathrm{\Delta }}_{\sigma })/(d-{\mathrm{\Delta }}_{ϵ})$
Template:Math	15	4.78984254(27)	3	$(d-{\mathrm{\Delta }}_{\sigma })/{\mathrm{\Delta }}_{\sigma }$
Template:Math	1/4	0.036297612(48)	0	$2{\mathrm{\Delta }}_{\sigma }-d+2$
Template:Math	1	0.62997097(12)	1/2	$1/(d-{\mathrm{\Delta }}_{ϵ})$
Template:Math	2	0.82966(9)	0	${\mathrm{\Delta }}_{{ϵ}^{\prime }}-d$

From the quantum field theory point of view, the critical exponents can be expressed in terms of scaling dimensions of the local operators $\sigma ,ϵ,{ϵ}^{\prime }$ of the conformal field theory describing the phase transition (In the Ginzburg–Landau description, these are the operators normally called $\varphi ,{\varphi }^2,{\varphi }^4$.) 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
${\mathrm{\Delta }}_{\sigma }$	1/8	0.518148806(24)	1
${\mathrm{\Delta }}_{ϵ}$	1	1.41262528(29)	2
${\mathrm{\Delta }}_{{ϵ}^{\prime }}$	4	3.82966(9)	4

In d=2, the two-dimensional critical Ising model's critical exponents can be computed exactly using the minimal model $M_{3,4}$. 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. These are the values reported in the tables. Renormalization group methods, Monte-Carlo simulations, and the fuzzy sphere regulator give results in agreement with the conformal bootstrap, but are several orders of magnitude less accurate.

Others

For symmetries, the group listed gives the symmetry of the order parameter. The group ${\mathrm{D}\mathrm{i}\mathrm{h}}_n$ is the dihedral group, the symmetry group of the n-gon, $S_n$ is the n-element symmetric group, $\mathrm{O}\mathrm{c}\mathrm{t}$ is the octahedral group, and $O(n)$ is the orthogonal group in n dimensions. 1 is the trivial group.

class	dimension	Symmetry	$\alpha$	$\beta$	$\gamma$	$\delta$	$\nu$	$\eta$
3-state Potts	2	$S_3$	Template:Sfrac	Template:Sfrac	Template:Sfrac	14	Template:Sfrac	Template:Sfrac
Ashkin–Teller (4-state Potts)	2	$S_4$	Template:Sfrac	Template:Sfrac	Template:Sfrac	15	Template:Sfrac	Template:Sfrac
Ordinary percolation	1	1	1	0	1	$\mathrm{\infty }$	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
	6+	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
	4+	1	−1	1	1	2	Template:Sfrac	0
Conserved directed percolation (Manna, or "local linear interface")	1	1		0.28(1)		0.14(1)	1.11(2)	0.34(2)
	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)
	4+	1		1	1	1	1	0
Protected percolation	2	1		5/41	86/41
	3	1		0.28871(15)	1.3066(19)
XY	3	$O(2)$	-0.01526(30)	0.34869(7)	1.3179(2)	4.77937(25)	0.67175(10)	0.038176(44)
Heisenberg	3	$O(3)$	−0.12(1)	0.366(2)	1.395(5)		0.707(3)	0.035(2)
Mean field	all	any	0	Template:Sfrac	1	3	Template:Sfrac	0
Molecular beam epitaxy
Gaussian free field

Further reading

• Universality classes from Sklogwiki