Littlewood conjecture


In mathematics, the Littlewood conjecture is an open problem in Diophantine approximation, proposed by J. E. Littlewood around 1930. It states that for any two real numbers and,
where is the distance to the nearest integer.

Formulation and explanation

This means the following: take a point in the plane, and then consider the sequence of points
For each of these, multiply the distance to the closest line with integer x-coordinate by the distance to the closest line with integer y-coordinate. This product will certainly be at most 1/4. The conjecture makes no statement about whether this sequence of values will converge; it typically does not, in fact. The conjecture states something about the limit inferior, and says that there is a subsequence for which the distances decay faster than the reciprocal, i.e.
in the little-o notation.

Connection to further conjectures

In 1955 Cassels and Swinnerton-Dyer showed that Littlewood's Conjecture would follow from the following conjecture in the geometry of numbers in the case :
Conjecture 1: Let L'' be the product of n linear forms on. Suppose and L is not a multiple of a form with integer coefficients. Then.
Conjecture 1 is equivalent to the following conjecture concerning the orbits of the diagonal subgroup D on as was essentially noticed by Cassels and Swinnerton-Dyer.
Conjecture 2: Let. For any, if the orbit is relatively compact, then is closed.
This is due to Margulis.
Conjecture 2 is a special case of the following far more general conjecture, also due to Margulis.
Conjecture 3: Let G'' be a connected Lie group, a lattice in G, and H a closed connected subgroup generated by -split elements, i.e. all eigenvalues of are real for each generator g. Then for any, exactly one of the following holds:
  1. is homogeneous, i.e. there is a closed subgroup F of G such that.
  2. There exists a closed connected subgroup F of G and a continuous epimorphism from F onto a Lie group L such that, is closed in, is closed in L where is the stabilizer, and is a one-parameter subgroup of L containing no non-trivial -unipotent elements, i.e. elements g for which 1 is the only eigenvalue of.

Partial results

Borel showed in 1909 that the exceptional set of real pairs violating the statement of the conjecture is of Lebesgue measure zero. Manfred Einsiedler, Anatole Katok and Elon Lindenstrauss have shown that it must have Hausdorff dimension zero; and in fact is a union of countably many compact sets of box-counting dimension zero. The result was proved by using a measure classification theorem for diagonalizable actions of higher-rank groups, and an isolation theorem proved by Lindenstrauss and Barak Weiss.
These results imply that non-trivial pairs satisfying the conjecture exist: indeed, given a real number α such that, it is possible to construct an explicit β such that is non-trivial and satisfies the conjecture.