TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify...
Transcript of TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify...
![Page 1: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/1.jpg)
TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE
A thesis submitted to the faculty ofSan Francisco State University
In partial fulfillment ofThe Requirements for
The Degree
Master of ArtsIn
Mathematics
byLok Shum Lui
San Francisco, CaliforniaJune 2014
![Page 2: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/2.jpg)
CERTIFICATION OF APPROVAL
I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum
Lui, and that in my opinion this work meets the criteria for approving a thesis
submitted in partial fulfillment of the requirements for the degree: Master of Arts
in Mathematics at San Francisco State University.
Yitwah CheungAssociate Professor of Mathematics
Eric HayashiProfessor of Mathematics
Matthias BeckProfessor of Mathematics
![Page 3: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/3.jpg)
TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE
Lok Shum LuiSan Francisco, California
2014
In mathematics, the Littlewood’s conjecture is an open problem in Diophan-
tine approximation, proposed by John Edensor Littlewood around 1930. It states
that for any two real numbers α and β,
infn>0 n‖nα‖‖nβ‖ = 0,
where ‖‖ is the distance to the nearest integer. The goal of this project is to
formulate a tiling problem (of the plane) that is equivalent to the Littlewood’s
Conjecture for α /∈ Q and β /∈ Q. A tile in the tiling defined here may be
thought of as a generalization of the continued fraction expansion of a single real
number. In this project, we show that R2 is covered by the non-overlapping tiles
associated to the pivots which play the role convergents of the continued fraction
and show that the diameter of a tile is comparable to − log n‖nα‖‖nβ‖ where n
is the denominator of the associated convergent of the pair (α, β).
I certify that the Abstract is a correct representation of the content of this thesis.
Chair, Thesis Committee Date
![Page 4: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/4.jpg)
ACKNOWLEDGEMENTS
The road to the completion of my dissertation was long and difficult, and I
have always been grateful for all the support and guidance I received. I would like
to express my heartfelt thanks to Dr. Eric Hayashi for his advice on my thesis
and for taking part in the review committee, despite having recently retired from
his career in education. I would also like to thank Dr. Matthias Beck for his
advice, both on my thesis drafts and on my workplace social skills. My deepest
gratitude goes to my advisor, Dr. Yitwah Cheung, for his guidance and infinite
patience. Dr. Cheung spent hours with me going over theorems and concepts,
and promptly responded to my incessant emails. I would never have been able to
finish my dissertation without the guidance and help from each of the committee
members. Finally I must thank my friends and family who bore with me when I
was far from being congenial, encouraged me to persevere and not give up, and
were there to pick me up when I hit rock-bottom.
iv
![Page 5: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/5.jpg)
TABLE OF CONTENTS
List of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .vi
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Piecewise Linear Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Pivots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Tilings of R2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Comparison of the Diameters of τ(u) and ∆(u) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
v
![Page 6: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/6.jpg)
LIST OF FIGURES
Figure Page
1. Partition of the ts-plane by `+xy, `+xz and `+yz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9
2. The set ∆(u) in the ts-plane given α /∈ Q, β /∈ Q and u = (m1,m2, n) ∈
Z3 \ 0 where u is (α, β)-good and n‖nα‖‖nβ‖ < 1 . . . . . . . . . . . . . . . . . . . . 12
3. Examples of pivot . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
4. The partition of the ts-plane into six regions by the rays associated with
∆(u) and ∆(v) given n < q, ‖nα‖ > ‖qα‖ and ‖nβ‖ > ‖qβ‖ . . . . . . . . . . . . 23
5. The graph of the intersection of Ωu and Ωv given n = ‖u‖ < ‖v‖ = q,
‖nα‖ > ‖qα‖ and ‖nβ‖ > ‖qβ‖ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
6. The graph of the intersection of Ωu and Ωv given |u| < |v|, ‖nα‖ > ‖qα‖
and ‖nβ‖ > ‖qβ‖ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
7. The graph of the intersection of Ωu and Ωv given |u| < |v|, ‖nα‖ < ‖qα‖
and ‖nβ‖ > ‖qβ‖ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
vi
![Page 7: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/7.jpg)
1
1 Introduction
In mathematics, the Littlewood’s conjecture is an open problem in Diophantine approximation,
proposed by John Edensor Littlewood around 1930 ([4],[5]). It states that
For any two real numbers α and β,
lim infn→∞
n‖nα‖‖nβ‖ = 0,
where ‖ · ‖ is the distance to the nearest integer.
Note that for any positive integer n, we have the inequality n‖nα‖‖nβ‖ ≥ 0. Using this obser-
vation, Littlewood’s conjecture can be reduced to:
For any two real numbers α and β,
infn∈Z+
n‖nα‖‖nβ‖ = 0.
The goal of this project is to formulate a tiling problem (of the Cartesian plane) that is equivalent
to Littlewood’s conjecture. From the latter version above, it is obvious that Littlewood’s conjecture
holds in the case when either α or β is rational. Thus, we focus on irrational pairs, i.e., α /∈ Q and
β /∈ Q, in this project. Nevertheless, the irrationality of the pair is not neccessary for many results
we found. Thoughout this paper, we will explicitly state the condition whenever it is pertinent.
The process of our formulation is divided into five parts: definition of a tile, introduction of
the notion of pivots of a lattice, demonstration of the covering and non-overlapping properties of
tiles associated with pivots, showing the diameters of those tiles are comparable to the quantity
− log n‖nα‖‖nβ‖, and finally the conclusion.
![Page 8: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/8.jpg)
2
The definition of a tile is given in Section 2. In this section, we begin with introducing the
lattice Λα,β and certain piecewise linear functions fu associated to the vector u ∈ Z3 \ 0 that
will be used to define the tiles of the tiling. Then we continue to develop some basic properties
of fu. In addition, we introduce the notion of the vector u being (α, β)-good which is satisfied by
any best approximation of the pair (α, β). Although this notion may appear a bit arbitrary at this
point, the mystery will be unraveled as we proceed to the next section. Again, while some of the
results we found in this project requires u to be (α, β)-good, some do not. The assumption will
be stated explicitly for the maximal flexibility of our findings. Afterwards, we give the definiton of
a tile toward the end of the section and examine a couple of its properties that are crucial to the
further parts of the formulation.
In Section 3, we introduce the notion of pivots for a pair (α, β), which generalize the idea of
convergents of the continued fraction of a single real number. Given a real number r, there are two
ways to define a best Diophantine approximation of r:
Definition 1.1. Best Diophantine Approximation of the First Kind
Let r be a real number. The rational number pq is said to be a best Diophantine approximation of
the fisrt kind of r if
∣∣r − p
q
∣∣ ≤ ∣∣r − p′
q′∣∣
for every rational number p′
q′ different from pq such that 0 < q′ ≤ q with strict inequality when q′ < q.
Definition 1.2. Best Diophantine Approximation of the Second Kind
Let r be a real number. The rational number pq is said to be a best Diophantine approximation of
the second kind of r if
|qr − p| ≤ |q′r − p′|
for every rational number p′
q′ different from pq such that 0 < q′ ≤ q with strict inequality when q′ < q.
![Page 9: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/9.jpg)
3
Note that a best approximation of the second kind is also a best approximation of the first kind,
but the converse is false. Furthermore, each best approximation of the second kind, as a classical
result of Lagrange’s Theorem on Number Theory [3], is a convergent of r’s expression as a regular
continued fraction. Given real numbers α and β, Littlewood’s conjecture calls for the distances from
nα and nβ to the nearest integers for each positive integer n. Thus, essentially we are dealing with
the best approximations of α and β of the second kind. Pivots, after all, are elements in Λα,β , the
lattice associated with (α, β) defined by ( 2.1) below. There are two types of pivots: degenerate
and nondegenerate. The beauty of them lies within their intrinsic property, the pivot denominator,
which allows us to find a subsequence in Littlewood’s conjecture; i.e.,
Given α /∈ Q and β /∈ Q, then
infq∈Z+
q‖qα‖‖qβ‖ = infn∈π(α,β)
n‖nα‖‖nβ‖
where π(α, β) is the set of pivot denominators of (α, β).
This claim will be proven in Theorem 3.2. Also, we show in Theorem 3.7 that the only degenerate
pivots are those that lie in the coordinate plane given α /∈ Q and β /∈ Q.
Immediately after the introduction of pivots, in Section 4 we show that the tiles associated
to inequivalent pivots of Λα,β cover R2 and that they do not overlap. These tiles are indexed by
the pivots of Λα,β . The tiling we attempt to establish in this project can then be thought of as
a simultaneous generalization of the continued fraction of the numbers α and β. Thus, we have
formulated a tiling problem that is equivalent to Littlewood’s conjecture here. Nonetheless, the
tiling makes no statement about the truth of the conjecture up to this point. The next section will
shed some light on the connection thereof.
![Page 10: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/10.jpg)
4
In Section 5, we show the diameters of the tiles associated with the inequivalent pivots are
comparable to the quantity− log n‖nα‖‖nβ‖ where n is the denominator of the associated convergent
of the pair (α, β). In turn, we show a pair of irrational numbers (α, β) is a counterexample to
Littlewood’s conjecture [2] if and only if the diameters of the tiles of nondegenerate pivots are
uniformly bounded. Finally, we end the project in Section 6 with the discussion of some further
problems following our result.
![Page 11: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/11.jpg)
5
2 Piecewise Linear Functions
The definition of tiles involves the function
Wα,β(t, s) := infu∈Z3\0
fu(t, s)
where fu(t, s) are some piecewise linear functions. In this section, we introduce these piecewise linear
functions and develop some of their properties.
Given α, β ∈ R, first we define the lattice
Λα,β := hα,βZ3 (2.1)
where hα,β is the shear transformation
hα,β :=
1 0 −α
0 1 −β
0 0 1
. (2.2)
Also, for (t, s) ∈ R2, we define the scaling matrix gt,s by
gt,s :=
et+s 0 o
0 et−s 0
0 0 e−2t
. (2.3)
![Page 12: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/12.jpg)
6
Now we formally define for all (t, s) in R2
Wα,β(t, s) := infu∈Z3\0
fu(t, s) (2.4)
where fu(t, s) are piecewise linear functions defined for all u in Z3 \ 0 by
fu(t, s) := log ‖gt,shα,βu‖∞. (2.5)
The norm ‖ · ‖∞ in the above definition is the standard sup norm, i.e., for any u = (x, y, z) ∈ R3,
‖u‖∞ := max(|x|, |y|, |z|). In the following, we begin our development of some properties of fu.
Clearly, the function Wα,β is finite only if α /∈ Q and β /∈ Q.
Definition 2.1. Let u = (m1,m2, n) ∈ Z3 \ 0. We say that u is (α, β)-good if m1 is the nearest
integer to nα and m2 is the nearest integer to nβ.
Remark. There are obvious generalizations to the case where u is not (α, β)-good, but in our appli-
cations, this condition always holds. See Proposition 3.1.
Recall that we denote ‖nα‖ by the distance from nα to the nearest integer and similarly for
‖nβ‖. In tsw-coordinates we define the following functions :
Px : w = t+ s+ log ‖nα‖, (2.6)
Py : w = t− s+ log ‖nβ‖, and (2.7)
Pz : w = −2t+ log n (2.8)
![Page 13: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/13.jpg)
7
For simplicity, we refer to the graphs of the functions Px, Py and Pz with the same symbols when
the context is clear.
Proposition 2.1. Let u = (m1,m2, n) ∈ Z3 \ 0. If u is (α, β)-good, then the graph of fu is
contained in Px ∪ Py ∪ Pz.
Proof. This is shown by examining each of the following cases.
Case 1: fu is realized by the t-coordinate. Then w = log(et+s‖nα‖) = t + s + log ‖nα‖ and the
associated plane is Px : t+ s− w = − log ‖nα‖ with normal nx = (1, 1,−1).
Case 2: fu is realized by the s-coordinate. Then w = log(et−s‖nβ‖) = t − s + log ‖nβ‖ and the
associated plane is Py : t− s− w = − log ‖nβ‖ with normal ny = (1,−1,−1).
Case 3: fu is realized by the r-coordinate. Then w = log(e−2tn) = −2t + log n and the associated
plane is Pz : 2t+ w = log n with normal nz = (−2, 0,−1).
Having exhausted all possible cases, we see that the graph of fu is indeed contained in the union
of Px, Py and Pz as it is claimed.
With some simple calculations, it is easy to see that
Px = Py if and only if s =1
2log‖nβ‖‖nα‖
,
Px = Pz if and only if s = −3t− log‖nα‖n
, and
Py = Pz if and only if s = 3t+ log‖nβ‖n
.
![Page 14: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/14.jpg)
8
In ts-coordinates, we define the lines
`xy : s =1
2log‖nβ‖‖nα‖
, (2.9)
`xz : s = −3t− log‖nα‖n
, and (2.10)
`yz : s = 3t+ log‖nβ‖n
. (2.11)
Observe that the intersection of `xy and `xz lies on `yz. Indeed, the solution to the system is
(t∗, s∗) =
(−1
6log‖nα‖‖nβ‖
n2,
1
2log‖nβ‖‖nα‖
). (2.12)
Create the ray `+xy by appending the endpoint (t∗, s∗) to line `xy such that for all (t, s) within
the ray, Px(t, s) > Px(t∗, s∗). Similarly, creat the rays `+xz, `+yz such that for all (t, s) within the rays,
Pz(t, s) > Pz(t∗, s∗) and Py(t, s) > Py(t∗, s∗), respectively. The rays split the ts-plane producing
three open sectors. With a little algebraic manipulation, we see that each of the functions Px, Py
and Pz dominates the others in a sector. We call these sectors the x-sector, the y-sector, and the
z-sector, respectively. For example, Px > Py and Px > Pz in the x-sector. The partition by the rays
is depicted in Figure 1.
![Page 15: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/15.jpg)
9
Figure 1: Partition of the ts-plane by `+xy, `+xz and `+yz.
Proposition 2.2. Let α /∈ Q, β /∈ Q, and u = (m1,m2, n) ∈ Z3 \ 0. If u is (α, β)-good, then fu
has the global minimum occuring at (t∗, s∗).
Proof. Let α /∈ Q, β /∈ Q, and u = (m1,m2, n) ∈ Z3 \ 0. Assume that u is (α, β)-good. We show
that fu(t, s) > fu(t∗, s∗) for all (t, s) ∈ R2 \ (t∗, s∗). To aid the visualization of the following
argument, the readers are invited to refer to Figure 1.
Case 1: (t, s) lies in a ray emanating from (t∗, s∗). Assume (t, s) lies in `+xy. Then fu(t, s) = Px(t, s)
and fu(t∗, s∗) = Px(t∗, s∗). Thus fu(t, s) > fu(t∗, s∗) by the construction of the ray. Similarly,
we see the result holds for the cases where (t, s) lies in `+xz and `+yz.
Case 2: (t, s) lies in an open sector. Note that for any (t, s) lying in an open sector, it can be con-
nected to (t∗, s∗) by either a single line segment parallel to the gradient of the dominating
function of the sector or first a line segment parallel to the gradient of the dominating func-
tion of the sector to the point (t′, s′) in a ray and then the line segment joining (t′, s′) and
(t∗, s∗). We already showed that fu(t′, s′) > fu(t∗, s∗) above. Thus, it remains to show
fu(t, s) > fu(t′, s′) for the two line segments case or fu(t, s) > fu(t∗, s∗) for the other.
![Page 16: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/16.jpg)
10
Case i: (t, s) lies in the open x-sector. Then the gradient is ∇Px = 〈1, 1〉. Thus, we have
t > t′ and s > s′ or t > t∗ and s > s∗ depending on the number of connecting line
segments. Evaluating fu at the point, respectively we get fu(t, s) = Px(t, s) > fu(t′, s′)
and fu(t, s) = Px(t, s) > fu(t∗, s∗).
Case ii: (t, s) lies in the open y-sector. Then the gradient is ∇Py = 〈1,−1〉. Thus, we have
t > t′ and s < s′ or t > t∗ and s < s∗. Evaluating fu at the point, respectively we get
fu(t, s) = Py(t, s) > fu(t′, s′) and fu(t, s) = Py(t, s) > fu(t∗, s∗).
Case iii: (t, s) lies in the open z-sector. Then the gradient is ∇Pz = 〈−2, 0〉. Thus, we have
t < t′ and s = s′ or t < t∗ and s = s∗. Evaluating fu at the point, respectively we get
fu(t, s) = Pz(t, s) > fu(t′, s′) and fu(t, s) = Pz(t, s) > fu(t∗, s∗).
Therefoe, fu has the global minimum occuring at (t∗, s∗).
Corollary. Let α /∈ Q, β /∈ Q, and u = (m1,m2, n) ∈ Z3\0. If u is (α, β)-good and n‖nα‖‖nβ‖ <
1, then the global minimum of fu is less than 0.
Proof. Since (t∗, s∗) is the intersection of the three closed sectors, the global minimum of fu =
fu(t∗, s∗) = Px(t∗, s∗) = Py(t∗, s∗) = Pz(t∗, s∗). Given n‖nα‖‖nβ‖ < 1, we have fu(t∗, s∗) =
Pz(t∗, s∗) = −2t∗ + log n = −2(− 1
6 log ‖nα‖‖nβ‖n2 ) + log n = 13 log n‖nα‖‖nβ‖ < 0.
![Page 17: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/17.jpg)
11
Definition 2.2. Let u = (m1,m2, n) ∈ Z3 \ 0. We define
∆(u) := (t, s) : fu(t, s) ≤ 0.
Let u = (m1,m2, n) ∈ Z3 \ 0. Assume u is (α, β)-good and n‖nα‖‖nβ‖ < 1, then by solving
for Px ≤ 0, Py ≤ 0 and Pz ≤ 0 in the respective sectors, we see that ∆(u) is a right triangle in the
ts-plane bounded by the lines Px = 0, Py = 0, and Px = 0, and having diameter
diam(∆(u)) = − log(n‖nα‖‖nβ‖) (2.13)
and centroid (t∗, s∗) given by
(t∗, s∗) =
(−1
6log‖nα‖‖nβ‖
n2,
1
2log‖nβ‖‖nα‖
). (2.14)
![Page 18: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/18.jpg)
12
Remark. Given α /∈ Q, β /∈ Q, and u = (m1,m2, n) ∈ Z3 \ 0 where u is (α, β)-good, the
formula given in ( 2.13) suggests that the conditions ∆(u) being nonempty and n‖nα‖‖nβ‖ ≤ 1 are
equivalent.
Figure 2: The set ∆(u) in the ts-plane given α /∈ Q, β /∈ Q and u = (m1,m2, n) ∈ Z3 \ 0 where uis (α, β)-good and n‖nα‖‖nβ‖ < 1. We assume ‖nβ‖ > ‖nα‖ without loss of generality,.
![Page 19: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/19.jpg)
13
After the introduction of the piecewise linear functions fu and the development of some of their
properties, we are ready to define a tile.
Definition 2.3. A tile for the tiling of the pair (α, β) associated with u ∈ Z3 \ 0 is a set
τ(u) := (t, s) : Wα,β(t, s) = fu(t, s). (2.15)
We have already seen that the diameter of ∆(u) is given by − log n‖nα‖‖nβ‖. To properly
formulate the tiling problem that is equivalent to Littlewood’s conjecture, loosely speaking, we must
have the set τ(u) “no bigger than” ∆(u). We show in the following the aforementioned in a more
precise manner.
Theorem 2.3. (Minkowski Convex Body Theorem [1])
Let Λ be a lattice in Rd, and let C ⊂ Rd be a symmetric convex set with vol(C) > 2d det Λ. Then C
contains a point of Λ different from zero.
Illustrated by the example of the open unit cube in the standard integer lattice, we see that the
strict inequality in the Minkowski Convex Body Theorem cannot be relaxed, however we have:
Corollary. Let Λ be a lattice in Rd, and let C ⊂ Rd be a symmetric convex set with vol(C) =
2d det Λ. Then C, the closure of C, contains a point of Λ different from zero.
Lemma 2.4. If (t, s) ∈ R2, then fu(t, s) ≤ 0 for some u ∈ Z3 \ 0.
Proof. Since Λα,β is the image of Z3 under the shear transformation hα,β , its fundamental region
has volume 1. Also, gt,s has determinant 1. Thus, the volume of gt,sΛα,β equals |gt,s| vol(Λα,β) = 1.
Then by the corollary to Theorem 2.3, there is a nonzero element in the intersection of the lattice
and the unit cube [−1, 1]3. Hence, there is some vector gt,shα,βu ∈ gt,sΛα,β with ‖gt,shα,βu‖∞ ≤ 1.
Thus, fu(t, s) ≤ 0 for some u ∈ Z3 \ 0.
![Page 20: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/20.jpg)
14
Theorem 2.5. Given u ∈ Z3 \ 0, the set τ(u) is contained in ∆(u).
Proof. Let u ∈ Z3 \ 0. Assume (t, s) ∈ τ(u) \ ∆(u) for some u. Then Wα,β(t, s) = fu(t, s) > 0.
It follows that fu′(t, s) > 0 for all u′ ∈ Z3 \ 0. This is a contradiction by Lemma 2.4. Therefore,
τ(u) ⊂ ∆(u).
Theorem 2.6. Let u ∈ Z3 \ 0. If τ(u) is nonempty, it contains the centroid of ∆(u).
Proof. Suppose the centroid (t∗, s∗) /∈ τ(u). By hypothesis there is (t, s) ∈ τ(u) such thatWα,β(t, s) =
fu(t, s) < fu(t∗, s∗). This is a contradiction to Proposition 2.2. Hence, τ(u) contains the centroid
of ∆(u).
![Page 21: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/21.jpg)
15
3 Pivots
In this section, we define pivots of Λα,β and develop examine some properties of them.
Given u = (a, b, c) ∈ R3, we let
R(u) := [−|a|, |a|]× [−|b|, |b|]× [−|c|, |c|].
Given a rectangle R of the form R(eccentricity) as above, we define the following subsets of the
boundary of R, ∂R:
• the corners of R, ∂′′R = ±|a| × ±|b| × ±|c|,
• the open x-face of R, ∂xR = −|a|, |a| × (−|b|, |b|)× (−|c|, |c|),
• the open x-edge of R, ∂′xR = (−|a|, |a|)× −|b|, |b| × −|c|, |c|.
∂yR, ∂zR, ∂′yR and ∂′zR are similarly defined. Then
∂R = ∂xR ∪ ∂yR ∪ ∂zR ∪ ∂′xR ∪ ∂′yR ∪ ∂′zR ∪ ∂′′R
.
Remark. We choose the term ‘corners’ as opposed to ‘vertices’ to enhance the visualization of the
box R. The two terms possess the same meaning by our context otherwise.
![Page 22: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/22.jpg)
16
Definition 3.1. Let u ∈ Λ. Then u is said to be a pivot of Λ if R(u) ∩ (Λ \ 0) ⊂ ∂′′R.
Example 3.1. Figure 3 below shows a section of a lattice about the origin and all of its neighboring
lattice points where Q has coordinates whose absolute values are strictly greater than those of P1.
In the figure, P1, P2 and P3 are pivots of the lattice while Q is not because the intersection of R(Q)
with the lattice contains the non-zero lattice points P1 and P2 which are not the vertices of R(Q).
Moreover, the pivot P1 and P2 are equivalent and P3 is a degenerate pivot whose definitions will be
introduced shortly.
Figure 3: Examples of pivot.
Proposition 3.1. Let α /∈ Q, β /∈ Q and u ∈ Z3 \ 0. If hα,βu is a pivot of Λα,β, then u is
(α, β)-good.
Proof. Let α /∈ Q, β /∈ Q and u = (m1,m2, n) ∈ Z3 \0. Assume hα,βu is a pivot of Λα,β . We show
u is (α, β)-good. Let p be the nearest integer to nα. Suppose m1 6= p, then ∂R(hα,βu) contains
hα,βv where v = (p,m2, n); this is a contracdiction. Therefore, u is (α, β)-good.
Definition 3.2. Let u = (m1,m2, n) ∈ Z3 for some positive n. We say u is a convergent of (α, β)
if hα,βu is a pivot of Λα,β .
![Page 23: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/23.jpg)
17
Before we go further with the notion of pivots, we see in the following the prominent role they
play on the contemplation of the Littlewood Conjecture.
Definition 3.3. Let u = (m1,m2, n) ∈ Z3 \ 0 for some positive n. We say that the integer n is a
pivot denominator of (α, β) if hα,βu is a pivot of (α, β). We denote the pivot denominator by |u|.
Theorem 3.2. Let α /∈ Q and β /∈ Q. Then
infq∈Z+
q‖qα‖‖qβ‖ = infn∈π(α,β)
n‖nα‖‖nβ‖ (3.1)
where π(α, β) is the set of pivot denominators of (α, β).
Proof. Let α /∈ Q, β /∈ Q and q be a positive integer. Suppose q is not a pivot denominator of (α, β).
Let v = (p1, p2, q) where p1 is the nearest integer to qα and p2 is the nearest integer to qβ. Then
the box R(hα,βv) contains a point of Λα,β \ 0 that is not a corner. Since |p1 − qα| = ‖qα‖ > 0
and |p2 − qβ| = ‖qβ‖ > 0, the point must lie in the interior of R. Thus, R(hα,βv) contains a pivot
hα,βu, for some u ∈ Z3 \ 0 with |u| = n < q, and hence R(hα,βu) ⊂ R(hα,βv). Therefore, we have
n‖nα‖‖nβ‖ < q‖qα‖‖qβ‖ completing the proof.
![Page 24: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/24.jpg)
18
Next, we examine some properties of pivots.
By the construction of Λα,β , it is easy to see that the scaling by gt,s preserves pivots.
Proposition 3.3. Let (t, s) ∈ R2 and u ∈ Λα,β. If u is a pivot of Λα,β, then gt,su is a pivot of
gt,sΛα,β.
Proposition 3.4. Let α /∈ Q, β /∈ Q and u ∈ Z3 \ 0 be a convergent with |u| = n. Then
n‖nα‖‖nβ‖ < 1.
Proof. The box R(hα,βu) is a symmetric convex subset of R3 having volume 8n‖nα‖‖nβ‖. Since the
interior of R(hα,βu) contains no element of Λα,β different from zero, the Minkowski Convex Body
Theorem implies n‖nα‖‖nβ‖ < 1.
Definition 3.4. Let u and v be pivots of Λ. We say that the two pivots are equivalent if R(u) = R(v).
Theorem 3.5. Given α /∈ Q and β /∈ Q. If u and v are convergents of (α, β) with |u| = |v| = n for
some positive integer n, then hα,βu and hα,βv are equivalent.
Proof. Let α /∈ Q and β /∈ Q. Suppose u = (m1,m2, n) and v = (p1, p2, n) are convergents of
(α, β), then |m1 − nα| = |p1 − nα| = ‖nα‖ > 0 and |m2 − nβ| = |p2 − nβ| = ‖nβ‖ > 0. Thus,
R(hα,βu) = R(hα,βv).
Proposition 3.6. The standard basis vectors e1 and e2 in R3 are pivots of Λα,β.
Proof. Recall that Λα,β is the image of Z3 by the transformation hα,β which is a shear parallel to the
xy-plane. Then R(e1) ∩ (Λα,β \ 0) ⊂ ∂′′R(e1) = (±1, 0, 0) and R(e2) ∩ (Λα,β \ 0) ⊂ ∂′′R(e2) =
(0,±1, 0). Hence, we see that e1 and e2 are pivots of Λα,β .
![Page 25: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/25.jpg)
19
Definition 3.5. A pivot of Λ is said to be degenerate if one or more of its coordinates vanishes.
Remark. Let α /∈ Q and β /∈ Q. If u is a convergent of (α, β), then hα,βu is a nondegenerate pivot
of Λα,β .
Theorem 3.7. If α /∈ Q and β /∈ Q, then the only degenerate pivots of Λα,β are trivial, i.e., the
vectors ±e1 and ±e2.
Proof. Let u = (m1,m2, n) ∈ Z3 \ 0 such that hα,βu = (m1 − nα,m2 − nβ, n) is a degenerate
pivot of Λα,β . Then (m1 − nα)(m2 − nβ)n = 0. Since α /∈ Q and β /∈ Q, n must be zero. Thus,
u = (m1,m2, 0). Then R(u) ∩ (Λα,β \ 0) ⊂ ∂′′R = ±|m1|,±|m2|, 0. Hence by the construction
of Λα,β , u = (±1, 0, 0) = ±e1 and (0,±1, 0) = ±e2.
Definition 3.6. Let Λ ⊂ R3 be a nonempty lattice. The systole of Λ is defined to be
sys(Λ) := u ∈ Λ : ‖u‖∞ = ‖Λ‖
where ‖Λ‖ := inf‖u‖∞ : u ∈ Λ, u 6= 0 is the length of a shortest vector in Λ and ‖ · ‖∞ is the sup
norm as previously defined. We refer to B(0, ‖Λ‖) := [−‖Λ‖, ‖Λ‖]3 as the systole cube.
Remark. The systole of Λ, sys(Λ), is nonempty because Λ \ 0 is closed.
Proposition 3.8. Let Λ ⊂ R3 be a lattice. sys(Λ) contains a pivot.
Proof. We begin by noting that a vector in the systole has length ‖Λ‖ with respect to the sup norm.
Hence, it occupies at least one close face of the systole cube. Let u ∈ sys(Λ). Assume u occupies
an open z-face. If u is the only occupant (up to equivalence), then R(u) ∩ (Λ \ 0) ⊆ ∂′′R and we
are done. So assume otherwise. Pick an occupant of an open z-face having the minimal magnitude
of x-coordinate. If there is only one of such vector (up to equivalence), then again we are done.
![Page 26: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/26.jpg)
20
So again, assume otherwise. Then pick the occupant with the minimal magnitude of y-coordinate.
This vector is unique (up to equivalence) and is a pivot.
By a similar argument, we can track down a pivot starting with a vector in the systole occupying
an open edge. And finally, if a vector u in the systole occupies a corner of the systole cube, then
R(u) = B(0, ‖Λ‖) and clearly it is a pivot. Therefore, sys(Λ) contains a pivot.
Theorem 3.9. Let u ∈ Z3\0. Then u is a convergent of (α, β) if and only if there is a neighborhood
U around the centroid (t∗, s∗) of ∆(u) on which Wα,β(t, s) = fu(t, s).
Proof. Let u ∈ Z3 \ 0. Suppose u is a convergent of (α, β). Then gt∗,s∗hα,βu is a nondegenerate
pivot of gt∗,s∗Λα,β by Proposition 3.3. By Proposition 2.2, gt∗,s∗hα,βu occupies an x-, a y-, and a
z-face. Hence, the corners of the systole cube of gt∗,s∗Λα,β and ∂′′R(gt∗,s∗hα,βu) coincide. Thus,
the systole cube contains only one vector – gt∗,s∗hα,βu – up to equivalence. So, the discreteness of
the lattice implies that there is ε0 > 0 such that whenever ε0 ≥ ε > 0, there exists δ0 > 0 such that
B(0, ε) contains only one vector gt+δ,s+δhα,βu up to equivalence. Hence, there is a neighborhood U
about (t∗, s∗) such that for all (t, s) in U,Wα,β(t, s) = fu(t, s).
Conversely, suppose there is a neighborhood U about the centroid (t∗, s∗) of ∆(u) such that for
all (t, s) in U, fu(t, s) = Wα,β(t, s). The numbers fu(t, s) are bounded for (t, s) are ranging over the
supposed neighborhood U . Thus, we see that hα,βu cannot be a degenerate pivot. Now, we show
that hα,βu is a pivot of Λα,β . Let (t, s) ∈ U . Then fu(t, s) = Wα,β(t, s). Thus, (t, s) ∈ τ(u). So, by
Theorem 2.6, (t∗, s∗) ∈ τ(u) and hence fu(t∗, s∗) = Wα,β(t∗, s∗). Therefore, gt∗,s∗hα,βu is a pivot of
gt∗,s∗Λα,β implying u is a convergent of (α, β) by Proposition 3.3.
![Page 27: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/27.jpg)
21
4 Tilings of R2
In this section, we show that the tiles associated with two inequivalent pivots cover R2 and do
not overlap. Thoughout this section, we assume α /∈ Q and β /∈ Q.
Define
Π(α, β) := u ∈ Z3 \ 0 : hα,βu is a pivot of Λα,β.
Theorem 4.1. If α /∈ Q and β /∈ Q, then⋃
Π(α,β) τ(u) = R2.
Proof. Note that τ(u) ⊂ R2 implies⋃
Π(α,β) τ(u) ⊂ R2. Now we show the containment in the
other direction. Let (t, s) ∈ R2. By the Proposition 3.8, sys(gt,sΛα,β) contains a pivot of gt,sΛα,β
of the form gt,shα,βu for some u ∈ Z3 \ 0. Since gt,shα,βu ∈ sys(gt,sΛα,β), we have fu(t, s) =
log ‖gt,shα,βu‖∞ = log ‖gt,sΛα,β‖ = Wα,β(t, s). Hence, we see that (t, s) ∈ τ(u) and thus the result⋃Π(α,β) τ(u) ⊃ R2.
We have just shown that given α /∈ Q and β /∈ Q, the tiles associated to the inequivalent pivots
of Λα,β cover the plane. Now, we show that any pair of such tiles do not overlap.
![Page 28: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/28.jpg)
22
Let u, v ∈ Z3 \ 0 such that hα,βu and hα,βv are nondegenerate pivots of Λα,β . Define
fu,v(t, s) := minfu(t, s), fv(t, s) (4.1)
and let
Ωu := (t, s) : fu,v(t, s) = fu(t, s). (4.2)
Ωv is similarly defined.
Recall that if α, β /∈ Q and u is convergents of (α, β) with |u| = n, the centroid of ∆(u) is
(t∗, s∗) =
(−1
6log‖nα‖‖nβ‖
n2,
1
2log‖nβ‖‖nα‖
).
Lemma 4.2. Given α /∈ Q and β /∈ Q. Let u, v be two convergents of (α, β). If |u| < |v|, then
∆(v) * ∆(u).
Proof. Assume α /∈ Q and β /∈ Q. Let u, v be two convergents of (α, β) with n = |u| < |v| = q.
Then hα,βu and hα,βv are inequivalent. Thus R(hα,βu) 6= R(hα,βv). Clearly, hα,βu /∈ R(hα,βv).
Then α, β /∈ Q implies that either ‖nα‖ > ‖qα‖ or ‖nβ‖ > ‖qβ‖. By the construction of ∆(u) (see
Figure 2), one easily sees that ∆(v) * ∆(u).
![Page 29: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/29.jpg)
23
Lemma 4.3. Let α /∈ Q, β /∈ Q, and u, v be two convergents of (α, β) with |u| = n and |v| = q. If
n < q, ‖nα‖ > ‖qα‖ and ‖nβ‖ > ‖qβ‖, then Ωu and Ωv do not overlap.
Proof. Let α /∈ Q, β /∈ Q, and u, v be two convergents of (α, β) with |u| = n and |v| = q. Referring
to Figure 2, Figure 4 below demonstrates the partition of the ts-plane into six regions by the rays
associated with ∆(u) and ∆(v) given n < q, ‖nα‖ > ‖qα‖ and ‖nβ‖ > ‖qβ‖. By region, we mean
the set of points bounded together with its boundaries. In the following, we show that if fu = fv
occurs in a region, then such subset in the region is 1-dimensional.
Figure 4: The partition of the ts-plane into six regions by the rays associated with ∆(u) and ∆(v)given n < q, ‖nα‖ > ‖qα‖ and ‖nβ‖ > ‖qβ‖.
![Page 30: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/30.jpg)
24
Region I : Region I is the intersection of the x-section of u and x-section of v. Let (t, s) be a point
of the region, then we have fu(t, s) = Px(t, s) (for u) = t+ s+ log ‖nα‖ and fv(t, s) = Px(t, s)
(for v) = t+s+log ‖qα‖. Since 0 < ‖qα‖ < ‖nα‖ < 12 , we get fv(t, s) < fu(t, s). Thus, Region
I is a subset of Ωv \ Ωu.
Region III : Region III is the intersection of the z-section of u and z-section of v. Let (t, s) be
a point of the region, then we have fu(t, s) = Pz(t, s) = −2t + log n and fv(t, s) = Pz(t, s) =
−2t+ log q. Since 1 ≤ n < q, we get fu(t, s) < fv(t, s). Thus, Region III is a subset of Ωu \Ωv.
Region V : Region V is the intersection of the y-section of u and y-section of v. By a similar
argument to Region I, it can be seen that fv(t, s) < fu(t, s) for any point (t, s) in the region.
Thus, Region V is a subset of Ωv \ Ωu.
Region VI : Region VI is the intersection of the x-section of u and y-section of v. Let (t, s) be a
point of the region, then we have fu(t, s) = Px(t, s) = t+s+log ‖nα‖ and fv(t, s) = Py(t, s) =
−t−s+log ‖qβ‖. Note that Region VI is a region bounded between the rays `+xy of both u and
v. Thus, we see that 12 log ‖nβ‖‖nα‖ ≤ s ≤ 1
2 log ‖qβ‖‖qα‖ resulting 0 < log ‖nβ‖‖qβ‖ ≤ fu(t, s)− fv(t, s) ≤
log ‖nα‖‖qα‖ . Hence, Region VI is a subset of Ωv \ Ωu.
Region II : Region II is the intersection of the x-section of u and z-section of v. Let (t, s) be a
point of the region, then we have fu(t, s) = Px(t, s) = t+s+ log ‖nα‖ and fv(t, s) = Pz(t, s) =
−2t + log q leading to fu(t, s) − fv(t, s) = 3t + s + log ‖nα‖q . Hence, we see that Region II
is divided into two parts by the line s = −3t − log ‖nα‖q in which is a subset of Ωu \ Ωv if
s < −3t− log ‖nα‖q and is a subset of Ωv \ Ωu if s > −3t− log ‖nα‖q .
Region IV : By a similar argument for Region II, it can be seen that Region IV which is the
intersection of the y-section of u and z-section of v is divided into two parts by the line
s = 3t+ log ‖nβ‖q in which is a subset of Ωu \Ωv if s > 3t+ log ‖nβ‖q and is a subset of Ωv \Ωu
if s < 3t+ log ‖nβ‖q .
Note that the lines s = −3t− log ‖nα‖q in Region II and s = 3t+ log ‖nβ‖q in Region IV intersect at
the point on the common boundary of the two regions s = 12 log ‖nβ‖‖nα‖ , (−1
6 log ‖nα‖‖qβ‖q2 , 12 log ‖nβ‖‖nα‖ ),
which we shall call the type-0 double point. Concluding from the analysis above, we have
![Page 31: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/31.jpg)
25
fu,v(t, s) = fu(t, s) if 3t+ log‖nβ‖q
< s < −3t− log‖nα‖q
,
fu,v(t, s) = fu(t, s) = fv(t, s) if s = 3t+ log‖nβ‖q
or s < −3t− log‖nα‖q
,
fu,v(t, s) = fv(t, s) otherwise,
completing the proof.
Figure 5: The graph of the intersection of Ωu and Ωv given n = |u| < |v| = q, ‖nα‖ > ‖qα‖ and‖nβ‖ > ‖qβ‖.
![Page 32: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/32.jpg)
26
Lemma 4.4. Let u, v be two convergents of (α, β) with |u| = n and |v| = q. Assume n < q,
‖nα| > ‖qα‖ and ‖nβ‖ < ‖qβ‖, then Ωu and Ωv do not overlap.
Proof. Let α /∈ Q, β /∈ Q, and u, v be two convergents of (α, β) with |u| = n and |v| = q. Suppose
also n < q, ‖nα‖ > ‖qα‖ and ‖nβ‖ < ‖qβ‖, then by analyzing the regions corresponding to the
hypotheses as we do in the previous proof, we find that the points in the intersection of Ωu and Ωv
are precisely described by
s = −3t+ log q − log ‖nα‖ if t ≤ −1
6log‖nα‖‖qβ‖
q2,
s =1
2log‖qβ‖‖nα‖
otherwise,
and the two lines intersect at the point (−16 log ‖nα‖‖qβ‖q2 , 1
2 log ‖qβ‖‖nα‖ ), which we shall call the type-
+3 double point. Moreover, we have the left side to the graph of the above piecewise linear functions
on the ts-plane a subset of Ωu \ Ωv and the right side to the graph of the above piecewise linear
functions a subset of Ωv \ Ωu and thus completing the proof.
Figure 6: The graph of the intersection of Ωu and Ωv given |u| < |v|, ‖nα‖ > ‖qα‖ and ‖nβ‖ > ‖qβ‖.
![Page 33: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/33.jpg)
27
By a very similar argument to Lemma 4.4, we have also:
Lemma 4.5. Let u, v be two convergents of (α, β) with |u| = n and |v| = q. Assume n < q,
‖nα‖ < ‖qα‖ and ‖nβ‖ > ‖qβ‖, then Ωu and Ωv do not overlap.
Figure 7: The graph of the intersection of Ωu and Ωv given |u| < |v|, ‖nα‖ < ‖qα‖ and ‖nβ‖ > ‖qβ‖.
We shall call the intersection point of the two lines above the type- -3 double point.
Theorem 4.6. Let u, v be two convergents of (α, β) with |u| < |v|. Then τ(u) and τ(v) do not
overlap.
Proof. Let u, v be two convergents of (α, β) with |u| < |v|. Then Lemma 4.2 implies that one of the
three cases : case 1. ‖nα‖ > ‖qα‖ and ‖nβ‖ > ‖qβ‖, case 2. ‖nα‖ > ‖qα‖ and ‖nβ‖ < ‖qβ‖ and
case 3. ‖nα‖ < ‖qα‖ and ‖nβ‖ > ‖qβ‖ must happen because α /∈ Q and β /∈ Q. Thus, Ωu and Ωv do
not overlap by Lemma 4.3 , 4.4 and 4.5. Recalling the definition of τ , it is obvious that τ(u) ⊂ Ωu
and τ(v) ⊂ Ωv. Therefore, we have the result, τ(u) and τ(v) do not overlap, as desired.
![Page 34: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/34.jpg)
28
5 Comparison of the Diameters of τ(u) and ∆(u)
After we see that R2 is covered by non-overlapping tiles associated with the pivots of Λα,β , in
this section we show that the diameters of ∆(u) and τ(u) are comparable. Thoughout this section,
we assume α /∈ Q and β /∈ Q.
Note that ∆(u) is nonempty for any convergent u of (α, β) with n‖nα‖‖nβ‖ < 1. In the natural
way we define the centroid of τ(u).
Definition 5.1. Let u be a convergent of (α, β). The centroid of τ(u) is defined to be the centroid
of ∆(u).
Notation. In this section, we use the abbreviation u for hα,βu for u ∈ Π(α, β) where
Π(α, β) := u ∈ Z3 \ 0 : hα,βu is a pivot of Λα,β
is the set defined in the beginning of the previous section.
Definition 5.2. Let u and v be pivots of Λ. We say v is a z-neighbor of u if there is an origin-centered
symmetric box B such that
1. Λ ∩ int(B) = 0,
2. v occupies an open z-face of B, and
3. u occupies an open z-edge of B.
The relations x-neighbor and y-neighbor are similarly defined.
![Page 35: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/35.jpg)
29
Proposition 5.1. Given α /∈ Q and β /∈ Q, every nondegenerate pivot has a neighbor of each kind.
Proof. Let u be a nondegenerate pivot of Λ. Then R(u) is not occupied in the open z-face. Extend
R(u) in the positive z-direction until a nonzero lattice point is in the open z-face. Call the result from
the extension Rz(u). By construction, the interior of Rz(u) contains no nonzero lattice points. Note
that Rz(u) is finite because it has volume at most 8 by the Minkowski Convex Body Theorem. Let v
be a nonzero lattice point in the open z-face with the minimal |x|- and |y|- coordinates. Then v is a
pivot, Rz(u) is a box such that v is in its open z-face, u is in its open z-edge, and intBz(u)∩Λ = 0.
Therefore, v is a z-neighbor of u. The argument for the existence of u’s x- and a y- neighbors is
similar.
Proposition 5.2. Let α /∈ Q and β /∈ Q. If u is a pivot of Λα,β, then the z-neighbor of u is unique
up to equivalence.
Proof. Let u be a pivot of Λα,β and v1 and v2 be two z-neighbors of u with |v1| > 0 and |v2| > 0.
Then |v1| = |v2| and thus v1 and v2 are equivalent by Theorem 3.5.
Proposition 5.3. Let u be a pivot of Λα,β. If α /∈ Q, then the x-neighbor of u is unique up to
equivalence.
Proof. Assume α /∈ Q. Let u be a pivot of Λα,β and v1 and v2 with |v1| = q1 and |v2| = q2 be two
x-neighbors of u. Then, ‖q1α‖ = ‖q2α‖. It follows |q| = |q′|, for otherwise ‖qα‖ = ‖q′α‖ implies
α ∈ Q which is a contradiction. Therefore, v1 and v2 are equivalent by Theorem 3.5.
Proposition 5.4. Let u be a pivot of Λα,β. If β /∈ Q, then the y-neighbor of u is unique up to
equivalence.
![Page 36: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/36.jpg)
30
Let u be nondegenerate and ux, uy and v be its x-, y- and z-neighbors, respectively. Assume
|u| = n, |v| = q, |ux| = nx and |uy| = ny such that
max(nx, ny) < n < q.
Note that the absolute x-coordinate of ux is ‖nxα‖ unless nx = 0 in which case it is one. Similarly,
the absolute y-coordinate of uy is ‖nyα‖ unless ny = 0 in which case it is one.
Proposition 5.5. The coordinates of the double point between τ(u) and τ(v) are given by
(−1
6log‖nα‖‖nβ‖
q2,
1
2log‖nβ‖‖nα‖
). (5.1)
Proof. From the proof for Proposition 5.1, we see that n < q, ‖nα‖ > ‖qα‖ and ‖nβ‖ > ‖qβ‖ . Then
referring to Lemma 4.3, we see that the double point between τ(u) and τ(v) is (− 16 log ‖nα‖‖nβ‖q2 , 1
2 log ‖nβ‖‖nα‖ ).
Proposition 5.6. The coordinates of the double point between τ(u) and τ(ux) are given by
(−1
6log‖nxα‖‖nβ‖
n2,
1
2log‖nβ‖‖nxα‖
)(5.2)
unless nx = 0 in which case the correct formula is obtained by replacing ‖nxα‖ with 1.
Proof. Using a similar strategy in searching for the z-neighbor as in the proof for Proposition 5.1,
we find the x-neighbor of u satisties the conditions : nx < n, ‖nxα‖ > ‖nα‖ and ‖nyβ‖ <
‖nβ‖. Then referring to Lemma 4.4, we see that the double point between τ(u) and τ(ux) is
(− 16 log ‖nxα‖‖nβ‖
n2 , 12 log ‖nβ‖‖nxα‖ ) unless nx = 0 in which case the correct formula is obtained by re-
placing ‖nxα‖ with 1.
![Page 37: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/37.jpg)
31
By a similar argument, we also find:
Proposition 5.7. The coordinates of the double point between τ(u) and τ(uy) are given by
(−1
6log‖nα‖‖nyβ‖
n2,
1
2log‖nyβ‖‖nα‖
)(5.3)
unless ny = 0 in which case the correct formula is obtained by replacing ‖nyβ‖ with 1.
Definition 5.3. The spine of τ(u), spine(u), is the union of the three line segments joining the
centroid of τ(u) to the corresponding double points of its three neighbors.
Theorem 5.8. Let α /∈ Q, β /∈ Q and u be a convergent of (α, β). Then spine(u) is a subset of τ(u).
Proof. Let α /∈ Q and β /∈ Q. Without loss of generality, we assume u to be the nondegenerate
pivot defined above. Let w be a neighbor of u and (t, s) be a point in the line segment joining the
centroid (t∗, s∗) of τ(u) and the double point determined by u and w. We show that (t, s) ∈ τ(u).
Suppose w is the z-neighbor of u, then there is a box R containing u in an open z-edge and w in an
open z-face. By Proposition 5.5, the point (t, s) lies in ray `+xy (see ( 2.9) and figure 2). Thus, we see
that fu(t, s) = fw(t, s). Hence, the three coordinates of gt,su are equal. So, Proposition 3.3 implies
that that gt,su is contained in the systole cube of gt,sΛα,β . Consequently, we have (t, s) ∈ τ(u).
The results can easily be seen if we replace z-neighbor with x- and y-neighbors. Therefore, the set
spine(u) is a subset of τ(u).
![Page 38: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/38.jpg)
32
Proposition 5.9. The total length of spine(u) is at least
1
3log
q‖nxα‖‖nyβ‖n‖nα‖‖nβ‖
. (5.4)
Proof. Let u∗ denote the centroid of τ(u). The total length of the spine of τ(u) is ‖u∗−ux‖+ ‖u∗−
uy‖ + ‖u∗ − v‖ where ‖ ‖ is the oridinary Euclidean norm. By some simple calculations, we see
u∗ − ux = 16 log ‖nxα‖
‖nα‖ 〈1, 3〉, u∗ − uy = 1
6 log‖nyβ‖‖nβ‖ 〈1,−3〉 and u∗ − v = 1
3 log qn 〈1, 0〉. Thus, the total
length of the spine of τ(u) equals√
106 log ‖nxα‖
‖nα‖ +√
106 log
‖nyβ‖‖nβ‖ + 1
3 log qn ≥
13 log
q‖nxα‖‖nyβ‖n‖nα‖‖nβ‖ .
Lemma 5.10. A plane in R3 that contains the origin and a corner of the standard unit cube, i.e.,
the unit ball with respect to the sup norm, is disjoint from a pair of open faces of the unit cube.
Proof. By applying a map of the form (x, y, z)→ (±x,±y,±z), we may reduce to the case when the
plane is given by an equation Ax+By+Cz = 0 where the coefficients A,B and C are nonnegative
real numbers. The hypothesis that the plane contains a corner implies that one of the coefficients
is the sum of the other two. Without loss of generality, we suppose A = B + C. Let (x, y, z) be
a point contained in one of the two open x-faces. Then |x| = 1 > max(|y|, |z|) and by the triangle
inequality
|Ax+By + Cz| ≥ A|x| −B|y| − C|z| = B(1− |y|) + C(1− |z|) > 0.
Hence, (x, y, z) does not lie on the plane.
![Page 39: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/39.jpg)
33
Lemma 5.11. Given u, ux, uy, v as defined above, the set u, ux, uy, v contains 3 linearly inde-
pendent vectors.
Proof. Observe that if P is a plane in R3 containing the origin, a corner of R(u) and the x-neighbor
of u, then P ∩ ∂xR(u) is nonempty. This observation is also true with the y− and z−neighbor of
u, respectively. Let P = span(u, ux, uy). If P = (R)3, we are done. So assume P has dimension 2.
Since ux ∈ P and uy ∈ P, P ∩ ∂xR(u) and P ∩ ∂yR(u) are nonempty. Then Lemma 5.10 implies
that P ∩ ∂zR(u) is empty. Thus, v /∈ P. Therefore, u, ux, uy, v contains 3 linearly independent
vectors. Obviously, the result holds also if P = span(u, ux, v) or P = span(u, uy, v).
Now, suppose P = span(ux, uy, v). Then dimP > 1. If dimP = 3, we are done. So as-
sume dimP = 2. Then Lemma 5.10 implies that u /∈ P. Hence, u, ux, uy, v contains 3 linearly
independent vectors.
Lemma 5.12. Let u, v and w be linearly independent vectors and S = ±u,±v,±w. Define
T (S) = conv(S). Then vol(T (S)) ≥ 86 .
Proof. Let S0 be the set consists of the elementary vectors in Z3 and their additive inverses. Then the
volume of T (S0), vol(T (S0)), equals 86 . Now consider a linearly independent set S = u, v, w ⊂ Z3
and define the 3 × 3 integer matrix A = [u v w]. We see that |det(A)| ≥ 1. Therefore, we
vol(T (S)) = |det(A)| vol(T (S0)) ≥ 86 .
![Page 40: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/40.jpg)
34
Lemma 5.13. Given u, ux ˆ, uy, v as defined above, then q‖nxα‖‖nyβ‖ ≥ 1/6.
Proof. Lemma 5.11 implies that u, ux, uy, v contains 3 linearly independent vectors. If ux, uy, v
is linearly independent, the result follows directly from Lemma 5.12. If u, ux, uy is linearly inde-
pendent, then n‖nxα‖‖nyβ‖ ≥ 1/6 and since n < q, the result follows. If u, ux, v is linearly inde-
pendent then q‖nxα‖‖nβ‖ ≥ 1/6 and the result follows since ‖nyβ‖ > ‖nβ‖. In the last case where
u, uy, v is linearly independent, q‖nα‖‖nyβ‖ ≥ 1/6 and the result follows since ‖nxα‖ > ‖nα‖.
Theorem 5.14. For any convergent u of (α, β), diam τ(u) ≥ 19 (diam ∆(u)− log 6).
Proof. By the construction of the spine of τ(u), we see that the diameter of τ(u) is at least the average
length of the branches of the spine. Thus, together with the implication by Lemma 5.13, diam τ(u) ≥13 ( 1
3 logq‖nxα‖‖nyβ‖n‖nα‖‖nβ‖ ) = 1
9 (− log n‖nα‖‖nβ‖+ log q‖nxα‖‖nyβ‖) ≥ 19 (diam ∆(u)− log 6)
![Page 41: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/41.jpg)
35
Substituting diam(∆(u)) = − log n‖nα‖‖nβ‖ in ( 2.13) into the inequality given in Theorem 5.14,
Corollary. Let u be a convergent of (α, β), if diam τ(u) ≤M for some M ∈ R, then
n‖nα‖‖nβ‖ > e−9M
6. (5.5)
Theorem 5.15. Let α, β ∈ R be two irrational numbers. There exists an M ∈ R such that
Dα,β := supdiam(τ(u)) : hα,βu is a pivot of Λα,β ≤ M if and only if (α, β) is a counterexample
to Littlewood’s Conjecture.
Proof. Let α, β ∈ R be two irrational numbers. Suppose (α, β) is a counterexample to Little-
wood’s Conjecture. Then infn∈Z+n‖nα‖‖nβ‖ ≥ δ0 for some δ0 > 0. Hence, diam(∆(u) =
− log n‖nα‖‖nβ‖ ≤ − log δ0 for all pivots hα,βu of Λα,β . Thus Dα,β ≤ − log δ0.
Conversely, suppose Dα,β ≤ M . Then by the corollary to Theorem 5.14, n‖nα‖‖nβ‖ > 16e−9M
for any pivot denominator. Suppose q is not a pivot denominator. Let v = (p1, p2, q) where p1 is
the nearest integer to nα and p2 is the nearest integer to nβ. Then the box R(hα,βv) contains a
pivot u, with |u| = n < q, ‖nα‖ < |p1 − qα| and ‖nβ‖ < |p2 − qβ|, so that q|p1 − qα||p2 − qβ| >
n‖nα‖‖nβ‖ > 16e−9M . Hence, this is a counterexample to the Littlewoord Conjecture.
![Page 42: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/42.jpg)
36
6 Conclusion
Our project has come to an end. Having formulated a tiling problem on R2 that is equivalent
to the Littlewood’s conjecture and shown that the irrational pair (α, β) is a counterexample if and
only if the diameters of the tiles are uniformly bounded, we have achieved our goal. We close our
project here by posing a few problems for further research:
• Given an irrational pair (α, β), define the density of the set of pivot denominators by
ρ(π(α, β)) := limn→∞
#(π(α, β) ∩ [1, n])
(log n)2
where # is denoted by the number of elements in the set. What is the density of the set of
pivot denominators for (α, β)?
• Given an irrational pair (α, β) and ε > 0, what is the probability that the centroids of two
tiles associated to two consecutive indices are within distance ε?
• Is it possible to extend the idea to a higher dimension? And if it is, is there a similar interpreta-
tion of a counterexample of the generalized Littlewood’s conjecture? Taking the 3-dimensional
case for instance, does lim inf n‖nα‖‖nβ‖‖nγ‖ = 0 have a corresponding tiling with a uniform
bound on the nondegenerate tiles?
• If it is possible to extend the idea to a higher dimension, what is the maximum number of tiles
that can be in contact with a given tile?
• And lastly, is there a way to generalize the density of the set of pivot denominators in the
k-dimensional case?
![Page 43: TILING PROBLEM FOR LITTLEWOOD’S CONJECTURE …math.sfsu.edu/cheung/lui-thesis.pdf · I certify that I have read Tiling Problem for Littlewood’s Conjecture by Lok Shum ... cover](https://reader031.fdocuments.in/reader031/viewer/2022030309/5ae8410d7f8b9a8b2b8fbe58/html5/thumbnails/43.jpg)
Bibliography
[1] J. S. Cassels. An introduction to Diophantine approximation. Cambridge University Press, New
York, 1957.
[2] M. Einsiedler, A. Katok, and E. Lindenstrauss. Invariant measures and the set of exceptions to
littlewood’s conjecture. Annals of Mathematics, 164(2):513560, 2006.
[3] G.H. Hardy and E.M. Wright. An introduction to the theory of numbers. Oxford University
Press, Ely House, London, 1975.
[4] Mathematics Department of the University of York. Littlewood’s conjecture (1930), 2012.
[5] A. Venkatesh. The work of Einsiedler, Katok, and Lindenstrauss on the littlewood conjecture.
Bulletin of the American Mathematical Society, 45(1):117134, 2007.
37