Exponent Inequalities for Critical Point Spin Correlation Functions
Michael Ellis Fisher
Simple but rigorous derivations are presented for the inequalities2−η≤dγ′/(2β+γ′)≤dγ′/(2−α′),2−η≤d(δ−1)/(δ+1),γ≤(2−η)ν.(Proofs of the first two inequalities have been given by Buckingham and Gunton.1) Here d is the dimensionality and α′, β, γ, γ′ and δ are the exponents characterizing a ferromagnet near its critical point,2 while η and ν describe the decay of the corresponding spin-spin correlation functions2 Γ2(r)=〈S0zSrz〉, according to ∑ |r|<RΓ2(r)∼R2−η(T=Tc,H=0,R→∞),κ1∼(T−Tc)ν,(T→Tc,H=0),where the inverse range of correlation κ1 may be defined by κ1−2=[Σrr2Γ2(r)]/[ΣrΓ2(r)]. The corresponding exponent ηE for the energy-energy correlation function (essentially Γ4(r, a)−[Γ(a)]2, where Γ4(r, a)=〈S0zSazSrzSr+az〉) is proved to satisfy 2−ηE≤dα′,2−ηE≤dαc/(1+ζ+αc),where the specific heat CM at T=Tc diverges with the magnetization as M−αc while the energy derivative | ∂U/∂M |Tc varies as Mζ. (Mean Field or classical values are αc=0, ζ=1.) The proofs are based on the ``intuitively obvious'' properties: (a) positivity, namely, Γ1=〈S0z〉≥0,Γ(r)−Γ12≥0,Γ4(r, a)−[Γ2(a)]2≥0, and (b) monotonic increase of Γ1, Γ2 and Γ4 under increase of magnetic field and decrease of temperature. These properties are known3 to be rigorously valid for Ising models of arbitrary spin, lattice structure and ferromagnetic coupling (Jij≥0). Their validity for real magnets together with the experimental observation δ≤4.7 leads to the significant conclusion η≥0.05.
Journal of Applied Physics•Mar 1, 1969•8 citations