Recent from talks
FKG inequality
Knowledge base stats:
Talk channels stats:
Members stats:
FKG inequality
In mathematics, the Fortuin–Kasteleyn–Ginibre (FKG) inequality is a correlation inequality, a fundamental tool in statistical mechanics and probabilistic combinatorics (especially random graphs and the probabilistic method), due to Cees M. Fortuin, Pieter W. Kasteleyn, and Jean Ginibre (1971). Informally, it says that in many random systems, increasing events are positively correlated, while an increasing and a decreasing event are negatively correlated. It was obtained by studying the random cluster model.
An earlier version, for the special case of i.i.d. variables, called Harris inequality, is due to Theodore Edward Harris (1960), see below. One generalization of the FKG inequality is the Holley inequality (1974) below, and an even further generalization is the Ahlswede–Daykin "four functions" theorem (1978). Furthermore, it has the same conclusion as the Griffiths inequalities, but the hypotheses are different.
Let be a finite distributive lattice, and μ a nonnegative function on it, that is assumed to satisfy the (FKG) lattice condition (sometimes a function satisfying this condition is called log supermodular) i.e.,
for all x, y in the lattice .
The FKG inequality then says that for any two monotonically increasing functions ƒ and g on , the following positive correlation inequality holds:
The same inequality (positive correlation) is true when both ƒ and g are decreasing. If one is increasing and the other is decreasing, then they are negatively correlated and the above inequality is reversed.
Similar statements hold more generally, including when the set underlying is not necessarily finite or countable (though it must be bounded and totally ordered). In that case, μ has to be a finite measure, and the lattice condition has to be defined using cylinder events; see, e.g., Section 2.2 of Grimmett (1999).
For proofs, see Fortuin, Kasteleyn & Ginibre (1971) or the Ahlswede–Daykin inequality (1978). Also, a rough sketch is given below, due to Holley (1974), using a Markov chain coupling argument.
Hub AI
FKG inequality AI simulator
(@FKG inequality_simulator)
FKG inequality
In mathematics, the Fortuin–Kasteleyn–Ginibre (FKG) inequality is a correlation inequality, a fundamental tool in statistical mechanics and probabilistic combinatorics (especially random graphs and the probabilistic method), due to Cees M. Fortuin, Pieter W. Kasteleyn, and Jean Ginibre (1971). Informally, it says that in many random systems, increasing events are positively correlated, while an increasing and a decreasing event are negatively correlated. It was obtained by studying the random cluster model.
An earlier version, for the special case of i.i.d. variables, called Harris inequality, is due to Theodore Edward Harris (1960), see below. One generalization of the FKG inequality is the Holley inequality (1974) below, and an even further generalization is the Ahlswede–Daykin "four functions" theorem (1978). Furthermore, it has the same conclusion as the Griffiths inequalities, but the hypotheses are different.
Let be a finite distributive lattice, and μ a nonnegative function on it, that is assumed to satisfy the (FKG) lattice condition (sometimes a function satisfying this condition is called log supermodular) i.e.,
for all x, y in the lattice .
The FKG inequality then says that for any two monotonically increasing functions ƒ and g on , the following positive correlation inequality holds:
The same inequality (positive correlation) is true when both ƒ and g are decreasing. If one is increasing and the other is decreasing, then they are negatively correlated and the above inequality is reversed.
Similar statements hold more generally, including when the set underlying is not necessarily finite or countable (though it must be bounded and totally ordered). In that case, μ has to be a finite measure, and the lattice condition has to be defined using cylinder events; see, e.g., Section 2.2 of Grimmett (1999).
For proofs, see Fortuin, Kasteleyn & Ginibre (1971) or the Ahlswede–Daykin inequality (1978). Also, a rough sketch is given below, due to Holley (1974), using a Markov chain coupling argument.