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:
“I don’t like to be idle; in fact, I often feel somewhat guilty unless there is some purpose to what I am doing. But spending a few hours—or a few days—in the woods, swamps or alongside a stream has never seemed to me a waste of time.... I derive special benefit from a period of solitude.”
—Jimmy Carter (James Earl Carter, Jr.)
“Mr. Brownlow: The law supposes that your wife acts under your direction.
Bumble: If that’s what the law supposes, sir, then the law’s an ass. And if that’s the eye of the law, sir, then the law’s a bachelor.”
—Vernon Harris (c. 1910)
“A man willing to work, and unable to find work, is perhaps the saddest sight that fortune’s inequality exhibits under this sun.”
—Thomas Carlyle (1795–1881)