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:
“O my Brothers! love your Country. Our Country is our home, the home which God has given us, placing therein a numerous family which we love and are loved by, and with which we have a more intimate and quicker communion of feeling and thought than with others; a family which by its concentration upon a given spot, and by the homogeneous nature of its elements, is destined for a special kind of activity.”
—Giuseppe Mazzini (1805–1872)
“A cynic is not merely one who reads bitter lessons from the past; he is one who is prematurely disappointed in the future.”
—Sydney J. Harris (b. 1917)
“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)