the farey graph, continued fractions, and the modular...
TRANSCRIPT
![Page 1: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/1.jpg)
The Farey graph, continued fractions, and themodular group
Ian Short
26 November 2009
![Page 2: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/2.jpg)
Collaborators
Alan Beardon (University of Cambridge)
Meira Hockman (University of the Witswatersrand)
![Page 3: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/3.jpg)
Continued fractions
![Page 4: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/4.jpg)
Euclid’s algorithm
31
13
= 2 +1135
= 2 +1
2 +153
= 2 +1
2 +1
1 +132
![Page 5: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/5.jpg)
Euclid’s algorithm
31
13= 2 +
1135
= 2 +1
2 +153
= 2 +1
2 +1
1 +132
![Page 6: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/6.jpg)
Euclid’s algorithm
31
13= 2 +
1135
= 2 +1
2 +153
= 2 +1
2 +1
1 +132
![Page 7: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/7.jpg)
Euclid’s algorithm
31
13= 2 +
1135
= 2 +1
2 +153
= 2 +1
2 +1
1 +132
![Page 8: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/8.jpg)
Euclid’s algorithm
31
13= 2 +
1
2 +1
1 +1
1 +1
2
![Page 9: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/9.jpg)
The nearest-integer algorithm
31
13
= 2 +1135
= 2 +1
3 +1
−52
= 2 +1
3 +1
−3 +1
2
![Page 10: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/10.jpg)
The nearest-integer algorithm
31
13= 2 +
1135
= 2 +1
3 +1
−52
= 2 +1
3 +1
−3 +1
2
![Page 11: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/11.jpg)
The nearest-integer algorithm
31
13= 2 +
1135
= 2 +1
3 +1
−52
= 2 +1
3 +1
−3 +1
2
![Page 12: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/12.jpg)
The nearest-integer algorithm
31
13= 2 +
1135
= 2 +1
3 +1
−52
= 2 +1
3 +1
−3 +1
2
![Page 13: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/13.jpg)
The nearest-integer algorithm
31
13= 2 +
1
3 +1
−3 +1
2
![Page 14: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/14.jpg)
Another expansion
31
13= 3 +
1
−2 +1
3 +1
−3
![Page 15: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/15.jpg)
Questions
Is the nearest-integer continued fraction the shortest continuedfraction with integer coefficients?
How many shortest continued fractions are there?
Can we characterise shortest continued fractions?
![Page 16: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/16.jpg)
Questions
Is the nearest-integer continued fraction the shortest continuedfraction with integer coefficients?
How many shortest continued fractions are there?
Can we characterise shortest continued fractions?
![Page 17: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/17.jpg)
Questions
Is the nearest-integer continued fraction the shortest continuedfraction with integer coefficients?
How many shortest continued fractions are there?
Can we characterise shortest continued fractions?
![Page 18: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/18.jpg)
Questions
Is the nearest-integer continued fraction the shortest continuedfraction with integer coefficients?
How many shortest continued fractions are there?
Can we characterise shortest continued fractions?
![Page 19: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/19.jpg)
Literature
Perron O., Die Lehre von den Kettenbruchen, ChelseaPublishing Company, New York, (1950).
Srinivisan, M.S., Shortest semiregular continued fractions, Proc.Indian Acad. Sci., Sect. A, 35 (1952).
![Page 20: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/20.jpg)
Literature
Perron O., Die Lehre von den Kettenbruchen, ChelseaPublishing Company, New York, (1950).
Srinivisan, M.S., Shortest semiregular continued fractions, Proc.Indian Acad. Sci., Sect. A, 35 (1952).
![Page 21: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/21.jpg)
Literature
Perron O., Die Lehre von den Kettenbruchen, ChelseaPublishing Company, New York, (1950).
Srinivisan, M.S., Shortest semiregular continued fractions, Proc.Indian Acad. Sci., Sect. A, 35 (1952).
![Page 22: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/22.jpg)
The modular group
![Page 23: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/23.jpg)
Mobius transformations
Define, for an integer b,
Sb(z) = b + 1/z.
Sb1 ◦ Sb2 ◦ · · · ◦ Sbn(∞) = b1 +1
b2 +1
b3 +1
b4 + · · ·+1
bn
![Page 24: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/24.jpg)
Mobius transformations
Define, for an integer b,
Sb(z) = b + 1/z.
Sb1 ◦ Sb2 ◦ · · · ◦ Sbn(∞) = b1 +1
b2 +1
b3 +1
b4 + · · ·+1
bn
![Page 25: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/25.jpg)
Mobius transformations
Define, for an integer b,
Sb(z) = b + 1/z.
Sb1 ◦ Sb2 ◦ · · · ◦ Sbn(∞) = b1 +1
b2 +1
b3 +1
b4 + · · ·+1
bn
![Page 26: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/26.jpg)
Mobius transformations
Note that Sbi(0) =∞.
Hence
Sb1 ◦ Sb2 ◦ · · · ◦ Sbn(0) = Sb1 ◦ Sb2 ◦ · · · ◦ Sbn−1(∞).
![Page 27: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/27.jpg)
Mobius transformations
Note that Sbi(0) =∞. Hence
Sb1 ◦ Sb2 ◦ · · · ◦ Sbn(0) = Sb1 ◦ Sb2 ◦ · · · ◦ Sbn−1(∞).
![Page 28: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/28.jpg)
Mobius transformations
What is the group generated by the maps Sbi(z) = bi + 1/z?
(b 11 0
)7−→ Sb
![Page 29: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/29.jpg)
Mobius transformations
What is the group generated by the maps Sbi(z) = bi + 1/z?(b 11 0
)7−→ Sb
![Page 30: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/30.jpg)
The modular group
Γ =
{z 7→ az + b
cz + d: a, b, c, d ∈ Z, ad− bc = 1
}
![Page 31: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/31.jpg)
T (z) = z + 1 X(z) = −1/z
![Page 32: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/32.jpg)
T (z) = z + 1 X(z) = −1/z
![Page 33: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/33.jpg)
T (z) = z + 1 X(z) = −1/z
![Page 34: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/34.jpg)
The modular surface
![Page 35: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/35.jpg)
The extended modular group
Γ =
{z 7→ az + b
cz + d: a, b, c, d ∈ Z, |ad− bc| = 1
}
![Page 36: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/36.jpg)
Presentation for the extended modular group
T (z) = z + 1 U(z) =1
zV (z) = −z
V = UTUT−1UT
Γ =⟨T,U | U2 = 1, UV = V U, V T = T−1V
⟩
![Page 37: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/37.jpg)
Presentation for the extended modular group
T (z) = z + 1 U(z) =1
zV (z) = −z
V = UTUT−1UT
Γ =⟨T,U | U2 = 1, UV = V U, V T = T−1V
⟩
![Page 38: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/38.jpg)
Presentation for the extended modular group
T (z) = z + 1 U(z) =1
zV (z) = −z
V = UTUT−1UT
Γ =⟨T,U | U2 = 1, UV = V U, V T = T−1V
⟩
![Page 39: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/39.jpg)
Words in the extended modular group
Each word in Γ has the form
T b1UT b2U · · ·T bnU,
for integers b1, b2, . . . , bn (T (z) = z + 1 and U(z) = 1/z).
Sb = T bU
Each word in Γ has the form
Sb1Sb2 · · ·Sbn ,
for integers b1, b2, . . . , bn.
![Page 40: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/40.jpg)
Words in the extended modular group
Each word in Γ has the form
T b1UT b2U · · ·T bnU,
for integers b1, b2, . . . , bn (T (z) = z + 1 and U(z) = 1/z).
Sb = T bU
Each word in Γ has the form
Sb1Sb2 · · ·Sbn ,
for integers b1, b2, . . . , bn.
![Page 41: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/41.jpg)
Words in the extended modular group
Each word in Γ has the form
T b1UT b2U · · ·T bnU,
for integers b1, b2, . . . , bn (T (z) = z + 1 and U(z) = 1/z).
Sb = T bU
Each word in Γ has the form
Sb1Sb2 · · ·Sbn ,
for integers b1, b2, . . . , bn.
![Page 42: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/42.jpg)
Words in the extended modular group
Each word in Γ has the form
T b1UT b2U · · ·T bnU,
for integers b1, b2, . . . , bn (T (z) = z + 1 and U(z) = 1/z).
Sb = T bU
Each word in Γ has the form
Sb1Sb2 · · ·Sbn ,
for integers b1, b2, . . . , bn.
![Page 43: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/43.jpg)
A correspondence
Finite integer continued fractions
Words of T and U in Γ
(T (z) = z + 1 and U(z) = 1/z)
![Page 44: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/44.jpg)
A correspondence
Finite integer continued fractions
Words of T and U in Γ
(T (z) = z + 1 and U(z) = 1/z)
![Page 45: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/45.jpg)
A correspondence
Finite integer continued fractions
Words of T and U in Γ
(T (z) = z + 1 and U(z) = 1/z)
![Page 46: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/46.jpg)
A correspondence
Finite integer continued fractions
Words of T and U in Γ
(T (z) = z + 1 and U(z) = 1/z)
![Page 47: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/47.jpg)
The word metric
Cayley graph of Γ with respect to T (z) = z + 1 and X(z) = −1/z
![Page 48: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/48.jpg)
The Farey graph
![Page 49: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/49.jpg)
The upper half-plane
![Page 50: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/50.jpg)
The upper half-plane
![Page 51: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/51.jpg)
The vertical half-plane
![Page 52: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/52.jpg)
The vertical half-plane
![Page 53: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/53.jpg)
A path of geodesics
Tn = Sb1 ◦ Sb2 ◦ · · · ◦ Sbn
![Page 54: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/54.jpg)
A path of geodesics
Tn = Sb1 ◦ Sb2 ◦ · · · ◦ Sbn
![Page 55: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/55.jpg)
A path of geodesics
Tn = Sb1 ◦ Sb2 ◦ · · · ◦ Sbn
![Page 56: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/56.jpg)
A path of geodesics
Tn = Sb1 ◦ Sb2 ◦ · · · ◦ Sbn
![Page 57: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/57.jpg)
The Farey graph
Γ(δ)
![Page 58: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/58.jpg)
The Farey graph
Vertices = Q
Join ab to c
d if and only if |ad− bc| = 1.
![Page 59: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/59.jpg)
The Farey graph
Vertices = Q
Join ab to c
d if and only if |ad− bc| = 1.
![Page 60: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/60.jpg)
The Farey graph
Vertices = Q
Join ab to c
d if and only if |ad− bc| = 1.
![Page 61: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/61.jpg)
The Farey graph
![Page 62: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/62.jpg)
Mediants
![Page 63: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/63.jpg)
Mediants
![Page 64: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/64.jpg)
The Farey graph
![Page 65: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/65.jpg)
Paths in the Farey graph
![Page 66: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/66.jpg)
A correspondence
Finite integer continued fractions
Finite paths from ∞ in the Farey graph
![Page 67: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/67.jpg)
A correspondence
Finite integer continued fractions
Finite paths from ∞ in the Farey graph
![Page 68: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/68.jpg)
A correspondence
Finite integer continued fractions
Finite paths from ∞ in the Farey graph
![Page 69: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/69.jpg)
Cutting sequences
![Page 70: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/70.jpg)
Geodesics on the modular surface
![Page 71: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/71.jpg)
A geodesic on the modular surface
![Page 72: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/72.jpg)
Geodesics
![Page 73: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/73.jpg)
Questions
Is the nearest-integer continued fraction the shortest continuedfraction?Does the nearest-integer continued fraction correspond to ageodesic in the Farey graph?
How many shortest continued fractions are there?How many geodesics are there between two vertices in the Fareygraph?
Can we characterise shortest continued fractions?Can we characterise geodesics in terms of the coefficients of acontinued fraction?
![Page 74: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/74.jpg)
Questions
Is the nearest-integer continued fraction the shortest continuedfraction?
Does the nearest-integer continued fraction correspond to ageodesic in the Farey graph?
How many shortest continued fractions are there?How many geodesics are there between two vertices in the Fareygraph?
Can we characterise shortest continued fractions?Can we characterise geodesics in terms of the coefficients of acontinued fraction?
![Page 75: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/75.jpg)
Questions
Is the nearest-integer continued fraction the shortest continuedfraction?Does the nearest-integer continued fraction correspond to ageodesic in the Farey graph?
How many shortest continued fractions are there?How many geodesics are there between two vertices in the Fareygraph?
Can we characterise shortest continued fractions?Can we characterise geodesics in terms of the coefficients of acontinued fraction?
![Page 76: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/76.jpg)
Questions
Is the nearest-integer continued fraction the shortest continuedfraction?Does the nearest-integer continued fraction correspond to ageodesic in the Farey graph?
How many shortest continued fractions are there?
How many geodesics are there between two vertices in the Fareygraph?
Can we characterise shortest continued fractions?Can we characterise geodesics in terms of the coefficients of acontinued fraction?
![Page 77: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/77.jpg)
Questions
Is the nearest-integer continued fraction the shortest continuedfraction?Does the nearest-integer continued fraction correspond to ageodesic in the Farey graph?
How many shortest continued fractions are there?How many geodesics are there between two vertices in the Fareygraph?
Can we characterise shortest continued fractions?Can we characterise geodesics in terms of the coefficients of acontinued fraction?
![Page 78: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/78.jpg)
Questions
Is the nearest-integer continued fraction the shortest continuedfraction?Does the nearest-integer continued fraction correspond to ageodesic in the Farey graph?
How many shortest continued fractions are there?How many geodesics are there between two vertices in the Fareygraph?
Can we characterise shortest continued fractions?
Can we characterise geodesics in terms of the coefficients of acontinued fraction?
![Page 79: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/79.jpg)
Questions
Is the nearest-integer continued fraction the shortest continuedfraction?Does the nearest-integer continued fraction correspond to ageodesic in the Farey graph?
How many shortest continued fractions are there?How many geodesics are there between two vertices in the Fareygraph?
Can we characterise shortest continued fractions?Can we characterise geodesics in terms of the coefficients of acontinued fraction?
![Page 80: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/80.jpg)
Answer 1
The nearest-integer algorithm does correspond to a geodesic.
![Page 81: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/81.jpg)
Answer 1
The nearest-integer algorithm does correspond to a geodesic.
![Page 82: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/82.jpg)
The nearest-integer algorithm
![Page 83: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/83.jpg)
The nearest-integer algorithm
![Page 84: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/84.jpg)
The nearest-integer algorithm
![Page 85: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/85.jpg)
The nearest-integer algorithm
![Page 86: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/86.jpg)
The nearest-integer algorithm
![Page 87: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/87.jpg)
The nearest-integer algorithm
![Page 88: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/88.jpg)
Answer 2
Count geodesics using the dual graph.
![Page 89: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/89.jpg)
Answer 2
Count geodesics using the dual graph.
![Page 90: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/90.jpg)
The dual graph
![Page 91: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/91.jpg)
Unique path of triangles
![Page 92: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/92.jpg)
Answer 3
Theorem. A continued fraction with coefficients b1, b2, . . . , bncorresponds to a geodesic in the Farey graph if and only if|bi| > 2 for each i > 2, and there is no substring of b2, b3, . . . , bnof the form 2,−3, 3,−3, 3,−3, . . . , 3,−2.
![Page 93: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/93.jpg)
Answer 3
Theorem. A continued fraction with coefficients b1, b2, . . . , bncorresponds to a geodesic in the Farey graph if and only if|bi| > 2 for each i > 2, and there is no substring of b2, b3, . . . , bnof the form 2,−3, 3,−3, 3,−3, . . . , 3,−2.
![Page 94: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/94.jpg)
Paths and coefficients
![Page 95: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/95.jpg)
Inefficient paths
bi = 0
![Page 96: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/96.jpg)
Inefficient paths
bi = ±1
![Page 97: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/97.jpg)
Inefficient paths
bi, bi+1, bi+2, bi+3 = 2,−3, 3,−2
![Page 98: The Farey graph, continued fractions, and the modular groupusers.mct.open.ac.uk/is3649/maths/presentations/OpenUniversity20… · The Farey graph, continued fractions, and the modular](https://reader033.vdocuments.us/reader033/viewer/2022052611/5f0780e97e708231d41d4e6d/html5/thumbnails/98.jpg)
Thank you!