The Gaussian correlation conjecture is a simple looking inequality which, nevertheless, remains unproven. The standard n-dimensional Gaussian measure is
for measurable subsets of n-dimensional space . The conjecture states that
Various special cases of the conjecture are known to be true. In 1967, Khatri and Šidák independently proved (2) for or, equivalently, (1) in the case where is a symmetric slab (the region between two parallel hyperplanes). The two dimensional case was proven in 1977 by Pitt, and the case where is an arbitrary centered ellipsoid was proven in 1999 by Hargé.
In this entry we shall discuss the following interesting partial results due to Schechtman, Schlumprecht and Zinn in 1998.
- There is a positive constant such that the conjecture is true whenever the two sets are contained in the Euclidean ball of radius .
- If, for every , the conjecture is true whenever the sets are contained in the ball of radius , then it is true in general.
At first sight it would seem that this comes close to proving the conjecture. Unfortunately, the constant in the first statement is , which is strictly less than one, so the second statement cannot be applied. Furthermore, it does not appear that the proof can be improved to increase to one. Alternatively, we could try improving the second statement to only require the sets to be contained in the ball of radius for some but, again, it does not seem that the proof can be extended in this way.
For full details, see the paper by Schechtman, Schlumprecht and Zinn, which is freely available online. As the methods used are interesting in themselves, we briefly run through them now, and look at alternative approaches in a later post. The proof of 1 relies on applying a rotation, or change of variables, in the calculation of the measure of , and a result on log-concave functions is used to turn it into an inequality. The key idea employed in the proof of 2 is a tensor power trick along the same lines as those described by Terence Tao in his blog. This will give the following result.
To prove this, apply inequality (3) to the powers , which will be in the Euclidean ball of radius in .
Raising to the power of and taking the limit as proves the lemma.
Let us start with statement 2 above. The proof begins by showing that the correlation inequality (1) holds when is a Euclidean ball. In fact, by the invariance of the Gaussian measure under rotations, this can be reduced to the trivial case where both and are spherically symmetric, so that one is a subset of the other. Then, writing for the unit n-dimensional Euclidean ball,
The second of these inequalities uses the hypothesis of statement 2, and the third uses the Gaussian correlation inequality in the case where one of the two sets is a Euclidean ball. The result will follow from Lemma 1 as long as we can prove that tends to 1 as goes to infinity. In fact, it can be shown that converges to 1/2 (this is an easy application of the Central Limit Theorem), which completes the proof.
Moving on to statement 1, the trick is to consider rotating the product by 45 degrees, , . Then are in respectively if and only if is in and is in . As the measure is invariant under rotations, this gives
In order to bound the integrand on the right hand side, we want to show that its maximum is attained when . For this, the following result of Prékopa (available here) and Leindler on log-concave functions is used.
Theorem 2 If is log-concave then so is .
Applied to the log-concave function , with being the standard -dimensional Gaussian density and the indicator function, this shows that
is log-concave in . Together with symmetry in , this implies that its maximum occurs at . So, (4) gives the inequality
This almost completes the proof. It is not difficult to show that is bounded by and, if and are contained in a ball of radius , then is bounded by multiplied by the volume of a ball of radius ,
This completes the sketch of the proofs of 1 and 2. I don’t know if it is possible to go much further with the methods described here. However, in a later post, we shall look at an alternative method which is strong enough to prove the conjecture in the special cases where or where one of the sets is a centered ellipsoid.