A Special Case: The Harris Inequality
If the lattice is totally ordered, then the lattice condition is satisfied trivially for any measure μ. For this case, the FKG inequality is Chebyshev's sum inequality: if the two increasing functions take on values and, then (we may assume that the measure μ is uniform)
More generally, for any probability measure μ on and increasing functions ƒ and g,
which follows immediately from
The lattice condition is trivially satisfied also when the lattice is the product of totally ordered lattices, and is a product measure. Often all the factors (both the lattices and the measures) are identical, i.e., μ is the probability distribution of i.i.d. random variables.
The FKG inequality for the case of a product measure is known also as the Harris inequality after Harris (Harris 1960), who found and used it in his study of percolation in the plane. A proof of the Harris inequality that uses the above double integral trick on can be found, e.g., in Section 2.2 of Grimmett (1999).
Read more about this topic: FKG Inequality
Famous quotes containing the words special, harris and/or inequality:
“The rebellion is against time pollution, the feeling that the essence of what makes life worth living—the small moments, the special family getaways, the cookies in the oven, the weekend drives, the long dreamlike summers Mso much of this has been taken from us, or we have given it up. For what? Hitachi stereos? Club Med? Company cars? Racquetball? For fifteen-hour days and lousy day care?”
—Richard Louv (20th century)
“The difference between patriotism and nationalism is that the patriot is proud of his country for what it does, and the nationalist is proud of his country no matter what it does; the first attitude creates a feeling of responsibility, but the second a feeling of blind arrogance that leads to war.”
—Sydney J. Harris (1917–1986)
“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)