The Inequality
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, when is not necessarily finite, not even countable. 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 the original 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.
Read more about this topic: FKG Inequality
Famous quotes containing the word inequality:
“Love is a great thing. It is not by chance that in all times and practically among all cultured peoples love in the general sense and the love of a man for his wife are both called love. If love is often cruel or destructive, the reasons lie not in love itself, but in the inequality between people.”
—Anton Pavlovich Chekhov (1860–1904)
“The doctrine of equality!... But there exists no more poisonous poison: for it seems to be preached by justice itself, while it is the end of justice.... “Equality for equals, inequality for unequals”Mthat would be the true voice of justice: and, what follows from it, “Never make equal what is unequal.””
—Friedrich Nietzsche (1844–1900)