FKG Inequality - A Special Case: The Harris Inequality

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:

    Passengers in 1937 totaled 270,000; so many of these were celebrities that two Newark newspapers ran special airport columns.
    —For the State of New Jersey, U.S. public relief program (1935-1943)

    Agnosticism is a perfectly respectable and tenable philosophical position; it is not dogmatic and makes no pronouncements about the ultimate truths of the universe. It remains open to evidence and persuasion; lacking faith, it nevertheless does not deride faith. Atheism, on the other hand, is as unyielding and dogmatic about religious belief as true believers are about heathens. It tries to use reason to demolish a structure that is not built upon reason.
    —Sydney J. Harris (1917–1986)

    However energetically society in general may strive to make all the citizens equal and alike, the personal pride of each individual will always make him try to escape from the common level, and he will form some inequality somewhere to his own profit.
    Alexis de Tocqueville (1805–1859)