arxiv: v2 [math.ds] 1 Aug 2015

Transcription

1 Geometr of Fare-Ford Polgons Jaadev Athrea, Sneha Chaube, Amita Malik and Aleandru Zaharescu arxiv:404908v [mathds] Aug 05 Abstract The Fare seuence is a natural ehaustion of the set of rational numbers between 0 and b finite lists Ford Circles are a natural famil of mutuall tangent circles associated to Fare fractions: the are an important object of stud in the geometr of numbers and hperbolic geometr We define two seuences of polgons associated to these objects, the Euclidean and hperbolic Fare-Ford polgons We stud the asmptotic behavior of these polgons b eploring various geometric properties such as but not limited to areas, length and slopes of sides, and angles between sides Introduction and Main Results Ford circles were introduced b Lester R Ford [6] in 938 and since then have appeared in several different areas of mathematics Their connection with Fare fractions is well known Eploiting this connection between the two uantities we form the Fare-Ford polgons associated to them We stud some statistics associated to both the Euclidean and hperbolic geometr of Fare-Ford polgons: in particular distances between vertices, angles, slopes of edges and areas The analsis of these uantities is an interesting stud in itself as distances, angles and areas are among the most common notions traditionall studied in geometr We use dnamical methods to compute limiting distributions, and analtic number theor to compute asmptotic behavior of moments for the hperbolic and Euclidean distance between the vertices Below, we define Fare-Ford polgons, describe the statistics that we stud and state our main theorems 3 and 4 In 3 we prove our results on moments, in 4 we prove our distribution results, and in 5 we compute the tail behavior of the statistics we stud Fare-Ford polgons Recall the definition of Ford circles: The Ford circle C p/ := z C : p z + i = } is the circle in the upper-half plane tangent to the point p/, 0 with diameter / here and in what follows we assume that p and are relativel prime Given δ > 0 and I = [α, β] [0, ], we consider the subset F I,δ := C p/ : p/ I, } δ of Ford circles with centers above the horizontal line = δ and with tangenc points in I Writing Q = δ /, we have that the set of tangenc points to the -ais is where FQ I, FQ := p/ : 0 p Q, p, = } 00 Mathematics Subject Classification 37A7, B57, 37D40 Ke words and phrases Ford circles, Fare Fractions, distribution JSA partiall supported b NSF CAREER grant 35853; NSF grant DMS 06953; and NSF grants DMS 0745, 0763, RNMS: GEometric structures And Representation varieties" the GEAR Network"

2 ATHREYA, CHAUBEY, MALIK AND ZAHARESCU P [0,] 5 Figure Euclidean Fare-Ford Polgons denotes the Fare fractions of order Q We write FQ I := p / < p / < p NI Q/ NI Q}, where N I Q is the cardinalit of the above set which grows uadraticall in Q, so linearl in δ We denote the circle based at p j / j b C j for j N I Q, and define the Fare-Ford polgon P I Q of order Q b connecting 0, / to, / b a geodesic forming the bottom of the polgon b connecting the points p j / j, / j and p j+ / j+, / j+ for j N I Q b a geodesic We call these polgons Euclidean respectivel hperbolic Fare-Ford polgons if the geodesics connecting the vertices are Euclidean resp hperbolic Figure shows the Euclidean Fare-Ford polgon P [0,] 5 Remark For n N, consider the seuence f n of functions f n : [0, ] [0, ] defined as f n := if = p, p, =, n, 0 otherwise In other words, f n is non-zero onl when is a Fare fraction of order n, in which case f n denotes the Euclidean distance from the real ais to the vertices of Fare-Ford polgons of order n As we let n approach infinit, the seuence f n converges and its limit is given b f, where f is Thomae s function defined on [0, ] as follows: f := if = p, p, =, > 0 0 otherwise, which is continuous at ever irrational point in [0, ] and discontinuous at all rational points in [0, ] Geometric Statistics Given a Fare-Ford polgon P I Q, for j N I Q, let j := j Q, j := j+ Q

3 GEOMETRY OF FAREY-FORD POLYGONS 3 For j N I Q, we have 0 < j, j And, j + j+ = j + j+ Q >, since between an two Fare fractions pj j which is not in FQ I as pj j Let and pj+ j+, of order Q, there is a Fare fraction given b pj+pj+ j+ j+ and pj+ j+ are neighbours in FQ I Ω :=, 0, ] : + > }, so we have j, j Ω for j N I Q A geometric statistic F is a measurable function F : Ω R Given a geometric statistic F, we define the limiting distribution for Ford circles G F t of F if it eists to be the limiting proportion of Ford circles for which F eceeds t, that is, Similarl, we define the moment of F b # j N I Q : F j, j t} G F t := lim δ 0 N I Q M F,I,δ F := N I Q F j, j I We describe how various natural geometric properties of Fare-Ford polgons can be studied using this framework Euclidean distance Given consecutive circles C j and C j+ in F I,δ, we consider the Euclidean distance d j between their centers O j and O j+ Note that since consecutive circles are mutuall tangent, the Euclidean geodesic connecting the centers of the circles passes through the point of tangenc, and has length eual to the sum of the radii, that is, Therefore, we have d j = j Q d j = j j= + j+ + j Thus, b letting F j, j = j + j, we have epressed the Euclidean distance appropriatel normalized as a geometric statistic In [4], the latter three authors computed averages of first and higher moments of the Euclidean distance d j, in essence, the computed eplicit formulas for where X was a large real number X N I Q d k j dδ / for k, N I Q X j= Slope Let t j denote the Euclidean slope of the Euclidean geodesic joining the centers O j and O j+ of two consecutive circles C j and C j+ It is eual to t j = i i+ i+ i We associate the geometric statistic F j, j = j j to it j j

4 4 ATHREYA, CHAUBEY, MALIK AND ZAHARESCU 3 Euclidean angles Let θ j be the angle between the Euclidean geodesic joining O j with p j / j, 0 and the Euclidean geodesic joining O j with the point of tangenc of the circles C j and C j+ In order to compute θ j, we complete the right angled triangle with vertices O j, O j+ and the point ling on the Euclidean geodesic joining O j and p j / j, 0 Then, tan θ j = j j+ j+ j j j+ j j+ Thus, the geometric statistic associated to tan θ j is given b if j+ > j, if j+ < j F j, j = j j j j j j j j if j > j, if j < j 4 Euclidean area Let A j denote the area of the trapezium whose sides are formed b the Euclidean geodesics joining the points, 0 and O j ;, 0 and O j+ ; O j and O j+ ;, 0 and pj pj+ pj j j+ j pj+, 0 This gives A j = j+ 4j 3 + j+ 4 j j+ 3 The geometric statistic normalized in this case is F j, j = 4 3 j + j 4 j j 3 5 Hperbolic distance Given consecutive circles in F I,δ we let ρ j denote the hperbolic distance between their centers O j and O j+, where we use the standard hperbolic metric on the upper half plane H defined as d + d ds := A direct computation shows that, we have epressed sinh of half of the hperbolic distance as a geo- Letting F j, j = metric statistic sinh ρ j = j + j+ j+ j j j + j j = j + j = j + j j j j j 6 Hperbolic angles Let α j denote the angle between the hperbolic geodesic parallel to the -ais, passing through the center O j, and the hperbolic geodesic joining the centers O j and O j+ This angle can be calculated b first computing the center of the hperbolic geodesic joining O j and O j+ Note that the center of this geodesic lies on the -ais Let us denote it b c j, 0 Now, α j is also the acute angle formed between the line joining c j, 0 and O j, and the -ais Thus tan α j is given b tan α j = 45 j j+ 3 4 j j j j+ Conseuentl the geometric statistic normalized associated to it is F j, j = 45 j 3 j 4 j j + 63 j j

5 GEOMETRY OF FAREY-FORD POLYGONS 5 3 Moments The following results concern the growth of the moments M F,I,δ for the geometric statistics epressed in terms of Euclidean distances, hperbolic distances and angles Theorem For an real number δ > 0, and an interval I = [α, β] [0, ], with α, β Q and F, = +, M F,I,δ F = 6 π Q log Q + D I Q + O I Q log Q, where M F,I,δ F is defined as in, Q is the integer part of δ and D I is a constant depending onl on the interval I Here the implied constant in the Big O-term depends on the interval I Theorem For an real number δ > 0, an interval I = [α, β] [0, ] and F, = +, M F,I,δ F = 9 π Q + O I,ɛ Q 7/4+ɛ, where M F,I,δ F is defined as in, C I is a constant depending onl on the interval I, ɛ is an positive real number, and Q is the integer part of δ The implied constant in the Big O-term depends on the interval I and ɛ Theorem 3 For an real number δ > 0, an interval I = [α, β] [0, ] and F, as in, we have, M F,I,δ F = π Q + O I Q log Q, where M F,I,δ F is defined as in, and Q is the integer part of δ The implied constant in the Big O-term depends on the interval I 4 Distributions The euidistribution of a certain famil of measures on Ω ields information on the distribution of individual geometric statistics and also on the joint distribution of an finite famil of shifted geometric statistics In particular, we can understand how all of the above statistics correlate with each other, and can even understand how the statistics observed at shifted indices correlate with each other First, we record the result on euidistribution of measures Let N ρ Q,I := N i= δ j, j be the probabilit measure supported on the set j, j = Theorem 3] see also [0], []: j Q, j+ Q Theorem 4 The measures ρ Q,I euidistribute as Q That is, lim ρ Q,I = m, Q : j N} We have [, where dm = dd is the Lebesgue probabilit measure on Ω and the convergence is in the weak- topolog As conseuences, we obtain results on individual and joint distributions of geometric statistics Corollar Let F : Ω R + be a geometric statistic and let m denote the Lebesgue probabilit measure on Ω Then for an interval I [0, ], the limiting distribution G F t eists, and is given b G F t = m F t, In order to obtain results on joint distributions, we will need the following notations Let T : Ω Ω be the BCZ map, + T, :=, +

6 6 ATHREYA, CHAUBEY, MALIK AND ZAHARESCU A crucial observation, due to Boca, Cobeli and one of the authors [3] is that T j, j = j+, j+ Let F = F,, F k } denote a finite collection of geometric statistics, and let n = n,, n k Z k and t = t,, t k R k Define G F,n t, the F, n-limiting distribution for Ford circles b the limit if it eists, # j N I Q : F i j+ni, j+ni t i, i k} G F,n t := lim, δ 0 N I Q where the subscripts are viewed modulo N I Q This uantit reflects the proportion of circles with specified behavior of the statistics F i at the indices j + n i Corollar is in fact a special k =, n = 0 case of the following Corollar For an finite collection of geometric statistics F = F,, F k }, n = n,, n k Z k, t = t,, t k R k the limiting distribution G F,n t eists, and is given b G F,n t = m F T n t,, t k, where F T n t,, t k := k F i T ni t i, 4 Tails For the geometric statistics listed in Section, one can also eplicitl compute tail behavior of the limiting distributions, that is, the behavior of G F t as t We use the notation f g as to mean that f lim g =, and the notation f g means that there eist positive constants c, c and a constant 0 such that for all > 0, c g f c g We have the following result for the tail behavior of limiting distributions for various geometric statistics Theorem 5 Consider the geometric statistics associated to the Euclidean distance, hperbolic distance, Euclidean slope, Euclidean area and hperbolic angle The limiting distribution functions associated to these have the following tail behavior: Euclidean distance for F, = Hperbolic distance for F, = 3 Euclidean slope for F, = 4 Euclidean area for F, = Hperbolic angle for F, = 45 3 Moments for Euclidean distance 3 + i=, G F t, G F t t, G F t t 3, G F t t / , G F t t /3 In this section, we prove Theorem Recall that the Euclidean distance d j between the centers of two consecutive Ford circles C j and C j+ is given b d j = j + j+ As mentioned in section, the geometric statistic F epressed in terms of the Euclidean distance d j is F j, j = Q d j

7 GEOMETRY OF FAREY-FORD POLYGONS 7 Thus, the moment of F is given b Proof of Theorem N I Q I Q M E,I,δF = j= = = = = I Q j M F,I,δ F = Q I + N I Q N I Q N I Q φ N I Q + Q N I Q j= = j N I Q + Q α<a β + µd Q d d Q µd d a, α β d <l d + j+ µd d βm} αm} m Q d + Q β α µd µd d d m + α<a β a,= } β d N I Q α } d Note that since α, β Q, for large Q one can assume that α and β are Fare fractions of order Q Therefore, the uantit is a constant Now, This gives m Q d N I Q βm} αm} = m d Q µd Q βm} αm} m= = C I + O I d Q m βm} αm} m m> Q d = C I ζ + O I βm} αm} log Q Combining this in and the fact that φ = 6 log Q π log Q + A + O, Q we obtain, It onl remains to prove φn n = n n n = d M E,I,δ F = 6 log Q π µd d n µd n d =,d d /d + D I + O I µd = µd d log Q Q Q log log d + A + O m

8 8 ATHREYA, CHAUBEY, MALIK AND ZAHARESCU = log + A d= d= µd µd = log ζ + B + O This completes the proof of Theorem µd d> d= µd + O d> log µd log d d> µd log d 3 Moments for hperbolic distance and angles 3 Hperbolic distance In this section, we prove Theorem Recall that ρ j denotes the hperbolic distance between consecutive centers of Ford circles O j and O j+, and 3 sinh ρ j = j j+ + j+ j In order to compute the total sum of the distances sinh ρj 3 M H,I,δ F = I we use the following ke analtic lemma j sinh ρ j = I,, neighbours in F I Q +, Lemma 3 [3, Lemma 3] Suppose that 0 < a < b are two real numbers, and is a positive integer Let f be a piecewise C function on [a, b] Then φk k fk = 6 b b π f d + O I log b f + f d a<k b We also use the Abel summation formula, 33 <n a anfn = Af Af a Atf t dt, where a : N C is an arithmetic function, 0 < < are real numbers, f : [, ] C is a function with continuous derivative on [, ], and At := n t an Proof of Theorem Let denote the uniue multiplicative inverse of modulo in the interval [, ] Define a if, = = and [α, β], 0 otherwise, Using Weil tpe estimates [5], [9], [4] for Kloosterman sums, the partial sum of a was estimated in [3] More precisel, b [3, Lemma 7], for an ɛ > 0, 34 A t := a = φ t I + O I,ɛ /+ɛ t In order to estimate the sum in 3, we write it as 35 I M H,I,δ F =, neighbours in F I Q + +, neighbours in F I Q < +

9 GEOMETRY OF FAREY-FORD POLYGONS 9 Note that it suffices to estimate the first sum above because of the smmetr in and And for the first sum, one has 36, neighbours in F I Q + = Q/< Q L Q < + We begin with estimating the sum S S = Q L< Q Q < L =: S + S + S 3 Q/< Q L Q < a + + a + Q L< Q L< a + a + =: Q/< Q L Emploing 34, 33 and the fact that > Q, for the inner sum Σ in S, we have Σ = A + Q A Q + A t Q Q t dt φ = I + O I,ɛ /+ɛ φ Q I + O I,ɛ /+ɛ Q + φ Q Q t I + O I,ɛ /+ɛ t dt = I φ Q Q + t Q Q t + O I,ɛ /+ɛ 37 Therefore, = I φ where g := Q 38 S = 6 I π And, Q Q Q + + Q Q Q 3/+ɛ logq + log Q O I,ɛ Q Q = Q 3/+ɛ logq + log + Q + O I,ɛ Q S = I Q < Q L φ g + O I,ɛ Q 5/+ɛ logq + log + Q Also, from 37 and Lemma 3, we obtain Q L Q L Q g d + O I,ɛ log Q g + g 5/+ɛ d + O I,ɛ L Q/ Q L Q/ g = Q Q L g = O I Q log Q = Q L Q/ Q/ L, Σ L 3Q LQ log + 3Q Q L 4 ; g d dt

10 0 ATHREYA, CHAUBEY, MALIK AND ZAHARESCU Therefore, from 38, 39, 30 and Lemma 3, S = 6 I Q Q L L 3Q LQ π log + 3Q Q 5/+ɛ + O I,ɛ Q L 4 L 3 + O I Q log Q Net, we estimate the sum S in 36 Recall that since, we have 3 S = a + = O I Q L< Q L< = O I 33 = O I QL log Q Lastl, 34 Q L< Q S 3 = L< Q L< Q Q < L = O I a L Q < Q Q L< Q L< + = O I QL, Setting L = Q 3/4, and from 3, 33, 34, and 36, we obtain the first moment for hperbolic distances as M H,I,δ F = 9 π Q + O I,ɛ Q 7/4+ɛ 3 Angles First we consider the case when j+ is smaller than j Let θ j denote the angle for the circle C j Then, the sum of the angles for both circles is given b θ j + π θ j+ + π = π Similarl, in the case j < j+, the sum of the angles is π This gives 4 Dnamical Methods M θ,i,δ F = N I Q θ j + θ j+ = π I I N IQ = π Q + O I log Q j= In this section, we prove Corollaries an As we stated before, the are both conseuences of the euidistribution of a certain famil of measures on the region To see this, we write with notation as in 4 Ω =, 0, ] : + > } # j N I Q : F j, j t} N I Q = ρ Q,I F t, # j N I Q : F i j+ni, j+ni t i, i k} = ρ Q,I F T n t,, t k N I Q Now the results follow from appling Theorem 4 to the above epressions Remark Shrinking Intervals Versions of Corollaries an for shrinking intervals I Q = [α Q, β Q ] where the difference β Q α Q is permitted to tend to zero with Q can be obtained b replacing Theorem 4 with appropriate discretizations of results of Hejhal [8] and Strömbergsson [3], see [, Remark ]

11 GEOMETRY OF FAREY-FORD POLYGONS 5 Computations of the Tail Behavior of Geometric Statistics In this section, we compute the tails of our geometric statistics 4 5 Euclidean distance For F, = +, b Corollar, G F t = mf t, = m, Ω, + } Define B t :=, Ω, + } Therefore, G F t = dm = B t B t d d Note that if <, the ineualit + automaticall holds true The region bounded b lines 0 < < / and < < is eactl an isosceles right triangle with area Let us assume in 4t what follows that > Then, This ields < < min, Therefore, <, which implies either α < < α or α 3 < < α 4, where α := t t ; α := t t + +, and α 3 := t + t + + ; α 4 := t + t Also, 5 α < 0 < < < α < α 3 < < α 4 Hence a point, with > / belongs to B t if and onl if < < min, 5 and, α α 3, Now for the measure of the set B t minus the isosceles right triangle alread discussed above, we consider the following two cases } Case I min, and < = ie Emploing 5 and 5, we have that < <

12 ATHREYA, CHAUBEY, MALIK AND ZAHARESCU } Case II min, = ie Then, using 5 and 5, we have that < < and either < < α or α 3 < < Combining the two cases above and adding the contribution from the isosceles right triangle, we obtain 53 This gives G F t = + = 4t t + t + t t t + + d d + + t α t t + + t t + + t t + + G F t t 5 Hperbolic distance In this case F, = Since, Ω, we note that either or G F t = mc t, where C t := + and, Ω, d d + α 3 + } t + t either t + t or t t < < min, t } t ma, t + } t < < Depending on the bounds of and, we have the following cases: Case I < < min, t t } As and t t = t+ <, we note that t t < and therefore t + min, t } t = t t d d This implies > t+ Also, t t < implies < t t = t + t, which t alwas holds since < and t And so in this case the range for and is given b, 54 t + t < < and < < t t Case II ma, t + t } < < Here, we consider two cases Sub case I ma, t + t } = Then < t + t + and the range for and is given b 55 0 < < t + and < < t +

13 GEOMETRY OF FAREY-FORD POLYGONS 3 Sub Case II When ma, t + t } = t + t This implies and so we get, 56 > t + t + and t + t <, t + t + < < t + t and t + t < < Combining all the above cases, from 54, 55 and 56, we have Thus, G F t = + t t + t+ t t+ t + t t t+ t d d + d d t+ t + 0 = t + t t + + t + t + t + + t + t t + t + = t + t t + t + G F t d d a Level curves for geometric statistic for Euclidean slope in the region Ω b Level curves for geometric statistic for Euclidean area in the region Ω The tails for the geometric statistics for Euclidean slope, Euclidean area and hperbolic angle can be computed in a similar manner Acknowledgement The authors are grateful to the referee for man useful suggestions and comments

14 4 ATHREYA, CHAUBEY, MALIK AND ZAHARESCU c Level curves for geometric statistic for hperbolic angle References [] Apostol, TM Introduction to analtic number theor Springer-Verlag, New York-Heidelberg, 976 [] Athrea, JS ; Cheung, Y A Poincaré section for horoccle flow on the space of lattices Int Math Res Not IMRN 04 04, no 0, [3] Boca, FP ; Cobeli, C ; Zaharescu, A Distribution of lattice points visible from the origincomm Math Phs 3 000, no, [4] Chaube, S ; Malik, A ; Zaharescu, A k-moments of distances between centers of Ford circles J Math Anal Appl 4 05, no, [5] Estermann, T On Kloosterman s sum Mathematika 8 96, [6] Ford, LR Fractions Amer Math Monthl , [7] Hejhal, DA On value distribution properties of automorphic functions along closed horoccles XVIth Rolf Nevanlinna Collouium Joensuu, 995, de Gruter, Berlin 996, 39-5 [8] Hejhal, DA On the uniform euidistribution of long closed horoccles, Loo-Keng Hua: a great mathematician of the twentieth centur, Asian J Math 4, 000, no 4, [9] Hoole, C An asmptotic formula in the theor of numbers Proc London Math Soc 7 957, [0] Kargaev, PP ; Zhigljavsk, AA Asmptotic distribution of the distance function to the Fare pointsj Number Theor , [] Marklof, J Fine-scale statistics for the multidimensional Fare seuence, preprint: arxiv:070954, 0 [] Sarnak, P Asmptotic behavior of periodic orbits of the horoccle flow and Eisenstein series Comm Pure Appl Math 34 98, no 6, [3] Strömbergsson, A On the uniform euidistribution of long closed horoccles Duke Math J 3 004, [4] Weil, A On some eponential sums Proc Nat Acad USA , Department of Mathematics, Universit of Illinois, 409 West Green Street, Urbana, IL 680, USA jathrea@illinoisedu Department of Mathematics, Universit of Illinois, 409 West Green Street, Urbana, IL 680, USA chaube@illinoisedu Department of Mathematics, Universit of Illinois, 409 West Green Street, Urbana, IL 680, USA amalik0@illinoisedu Simion Stoilow Institute of Mathematics of the Romanian Academ, PO Bo -764, RO Bucharest, Romania and Department of Mathematics, Universit of Illinois, 409 West Green Street, Urbana, IL 680, USA zaharesc@illinoisedu