Griffiths inequality

In statistical mechanics, the Griffiths inequality, sometimes also called GriffithsKellySherman inequality or GKS inequality, named after Robert B. Griffiths, is a correlation inequality for ferromagnetic spin systems. Informally, it says that in ferromagnetic spin systems, if the 'a-priori distribution' of the spin is invariant under spin flipping, the correlation of any monomial of the spins is non-negative; and the two point correlation of two monomial of the spins is non-negative.

The inequality was proved by Griffiths for Ising ferromagnets with two-body interactions,[1] then generalised by Kelly and Sherman to interactions involving an arbitrary number of spins,[2] and then by Griffiths to systems with arbitrary spins.[3] A more general formulation was given by Ginibre,[4] and is now called the Ginibre inequality.

Definitions

Let be a configuration of (continuous or discrete) spins on a lattice Λ. If AΛ is a list of lattice sites, possibly with duplicates, let be the product of the spins in A.

Assign an a-priori measure dμ(σ) on the spins; let H be an energy functional of the form

where the sum is over lists of sites A, and let

be the partition function. As usual,

stands for the ensemble average.

The system is called ferromagnetic if, for any list of sites A, JA ≥ 0. The system is called invariant under spin flipping if, for any j in Λ, the measure μ is preserved under the sign flipping map σ → τ, where

Statement of inequalities

First Griffiths inequality

In a ferromagnetic spin system which is invariant under spin flipping,

for any list of spins A.

Second Griffiths inequality

In a ferromagnetic spin system which is invariant under spin flipping,

for any lists of spins A and B.

The first inequality is a special case of the second one, corresponding to B = ∅.

Proof

Observe that the partition function is non-negative by definition.

Proof of first inequality: Expand

then

where nA(j) stands for the number of times that j appears in A. Now, by invariance under spin flipping,

if at least one n(j) is odd, and the same expression is obviously non-negative for even values of n. Therefore, Z<σA>≥0, hence also <σA>≥0.

Proof of second inequality. For the second Griffiths inequality, double the random variable, i.e. consider a second copy of the spin, , with the same distribution of . Then

Introduce the new variables

The doubled system is ferromagnetic in because is a polynomial in with positive coefficients

Besides the measure on is invariant under spin flipping because is. Finally the monomials , are polynomials in with positive coefficients

The first Griffiths inequality applied to gives the result.

More details are in.[5]

Extension: Ginibre inequality

The Ginibre inequality is an extension, found by Jean Ginibre,[4] of the Griffiths inequality.

Formulation

Let (Γ, μ) be a probability space. For functions f, h on Γ, denote

Let A be a set of real functions on Γ such that. for every f1,f2,...,fn in A, and for any choice of signs ±,

Then, for any f,g,h in the convex cone generated by A,

Proof

Let

Then

Now the inequality follows from the assumption and from the identity

Examples

Applications

This is because increasing the volume is the same as switching on new couplings JB for a certain subset B. By the second Griffiths inequality
Hence is monotonically increasing with the volume; then it converges since it is bounded by 1.
This property can be shown in a hierarchical approximation, that differs from the full model by the absence of some interactions: arguing as above with the second Griffiths inequality, the results carries over the full model.[6]
Hence the critical of the XY model cannot be smaller than the double of the critical temperature of the Ising model
in dimension D = 2 and coupling J = 1, this gives

References

  1. Griffiths, R.B. (1967). "Correlations in Ising Ferromagnets. I". J. Math. Phys. 8 (3): 478483. doi:10.1063/1.1705219.
  2. Kelly, D.J.; Sherman, S. (1968). "General Griffiths' inequalities on correlations in Ising ferromagnets". J. Math. Phys. 9: 466. doi:10.1063/1.1664600.
  3. Griffiths, R.B. (1969). "Rigorous Results for Ising Ferromagnets of Arbitrary Spin". J. Math. Phys. 10: 1559. doi:10.1063/1.1665005.
  4. 1 2 3 Ginibre, J. (1970). "General formulation of Griffiths' inequalities". Comm. Math. Phys. 16 (4): 310328. doi:10.1007/BF01646537.
  5. Glimm, J.; Jaffe, A. (1987). Quantum Physics. A functional integral point of view. New York: Springer-Verlag. ISBN 0-387-96476-2.
  6. Dyson, F.J. (1969). "Existence of a phase-transition in a one-dimensional Ising ferromagnet". Comm. Math. Phys. 12: 91107. doi:10.1007/BF01645907.
  7. Aizenman, M.; Simon, B. (1980). "A comparison of plane rotor and Ising models". Phys. Lett. A. 76. doi:10.1016/0375-9601(80)90493-4.
  8. Fröhlich, J.; Park, Y.M. (1978). "Correlation inequalities and the thermodynamic limit for classical and quantum continuous systems". Comm. Math. Phys. 59 (3): 235266. doi:10.1007/BF01611505.
  9. Griffiths, R.B. (1972). "Rigorous results and theorems". In C. Domb and M.S.Green. Phase Transitions and Critical Phenomena. 1. New York: Academic Press. p. 7.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.