arxiv: v1 [math.nt] 30 Nov 2015

Transcription

1 CONTINUOUS DISTRIBUTIONS ARISING FROM THE THREE GAP THEOREM arxiv:509399v [mathnt] 30 Nov 05 Abstract The well known Three Gap Theorem states that there are at most three gap sizes in the sequence of fractional parts {αn} n<n It is known that if one averages over α, the distribution becomes continuous We present an alternative approach, which establishes this averaged result and also provides good bounds for the error terms 00 Mathematics Subject Classification: B57, B99, Kxx Keywords and phrases: Three Gap Theorem, Farey Fractions, Continuous Distribution, Uniform Distribution Introduction Let α be a real number and consider the fractional parts {nα} 0 n< arranged in increasing order and placed on the interval [0, ] with 0 and identified so that gaps appear If we denote this sequence by S α and consider the gaps between consecutive elements, then it is well known that there are at most three gap sizes in S α For more on this topic the reader is referred to van Ravenstein [5], Sós [30] and Świerczkowski [3] see also [7], [] for some higher dimensional aspects of this phenomenon The sequence {n d α}, for d, has been extensively studied If d >, the main reference is the work of Rudnick and Sarnak [6], where it is proved that for almost all α the pair correlation of members of the sequence is Poissonian see also [6] Various other works have been done studying fractional parts of polynomials A non-exhaustive list of references includes Arhipov, Karacuba, and Čubarikov[], Baker and Harman [3], de Velasco [8], Karacuba [7], Kovalevskaja [8], Moshchevitin [], Schmidt [9], and Wooley [3] The distribution of gaps and other aspects of fractional parts has also been investigated for specific types of numbers by Misevičius and Vakrinieně [], Zaimi [33], Dubickas [9], [0], Pillishshammer [4], and others Returning to the sequence {nα}, it is known that if one averages over α the distribution becomes continuous For the relevant literature the

2 Figure g 3, 0 λ; 000 reader is referred to Bleher [4], Mazel and Sinai [0], and Greenman [] In particular, the density of the limiting distribution is computed in [] In the present paper we offer an alternative approach to proving such results, which offers very satisfactory control over the error terms To proceed, we consider short averages of the nearest neighbor distribution of elements in S α We denote the n th element of S α by {σ n α} and consider the function: g β,η λ; = η βη β #{0 n < : {σ n α} {σ n α} λ } dα When is taken to be 000, α = /3, and η = /0, the resulting graph is shown in Figure Moreover, the graphs for different values of β and η appear to be identical Heuristically speaking, it is reasonable to think that the subtleties lie on the nature of the sequence and how the gaps are related to its elements It is natural to try and connect the elements of the sequence to the three possible gaps We establish such a connection using classical properties of Farey fractions, that can be found in Hall [3], Hardy and Wright [6], and LeVeque [9] We also use other further developed properties connecting Farey fractions with Kloosterman sums which have been applied to some useful asymptotics in [], Hall [4], and in Hall and Tenenbaum [5] With these tools in hand we find an explicit formula for

3 CONTINUOUS DISTRIBUTIONS ARISING FROM THE THREE GAP THEOREM 3 the g distribution function and show that this function is still approached as long as the size of the interval goes to zero no faster than /ɛ More precisely we prove the following: Theorem As, the nearest neighbor distribution in is independent of β and η, and we have g λ := lim gβ,η λ; π 6 λ, 0 < λ < = 6 π log π λ 3 λ log λ λ 3λ log λ λ log 4 λ logλ 4 Li λ Li λ, < λ < λ λ log λ λ 3λ log λ λ 4 Li λ Li λ, < λ, where the Dilogarithm is defined for z by z n Li z = n Moreover, n= g β,η λ; g λ ɛ λ ɛ / η More generally, we consider the joint distribution g k λ, λ,, λ k, which describes the average distribution of k-tuples of consecutive gaps over the interval [β, β η], defined as g k λ, λ,, λ k = lim where g β,η k λ,, λ k ; = η βη β gβ,η k λ,, λ k ;, #{γ γ k G,k α : i k γ i λ i and G,k α denotes the list of k-sequences of consecutive gaps in S α see the beginning of next section for an illustration of G,K α for K =,, 3 When is taken to be 000 the resulting graph is shown in Figure It can be proved that the functions g k λ,, λ k exist and are independent of the interval [β, β η] on which the average is taken Towards the end of } dα,

4 4 Figure g λ, λ this paper we concentrate in this multidimensional case and find an explicit formula for g λ, λ We will deduce that the joint distribution g λ, λ is piecewise linear for λ λ <, that is, 3 g λ, λ = 6 π Maxλ, λ 3 π Minλ, λ, for λ λ < From a probabilistic point of view, our questions of interest deal with the set S α, whose average gap size is, for large In the one dimensional case and a given λ, what is the probability that a randomly selected gap will be greater than λ times the average gap? For the the k dimensional case say k = and a given λ and λ, what is the probability that a gap and its neighbor to the right are both greater than the average times λ and λ respectively? Several papers have pointed out this interpretation of the problems of our interest see for example [7], [8], [34], and the references there in We answer the two questions posed above by giving the cumulative distribution function for the -dimensional and -dimensional case One would expect that in the k-dimensional case the events are not independent This is made evident by the fact that gλ, λ is not the product of gλ and gλ by Theorem and 3 The proof of these theorems have three key stages which will determine the structure of the present paper The next three sections of this paper are devoted to the one dimensional case gλ We first establish a connection of the elements of the sequence of fractional parts with Farey fractions in Section The third

5 CONTINUOUS DISTRIBUTIONS ARISING FROM THE THREE GAP THEOREM 5 A C A B A C A B A B 0Α 5Α 3Α 8Α Α 6Α 4Α 9Α Α 7Α Figure 3 S 0 section of the paper is devoted to some lemmas that allow us to write a sum over Farey fractions in a given region as an integral that is easier to handle The main ingredients of these lemmas are Kloosterman sums In the third section we write gλ as a suitable sum for which we can apply the lemmas from the third section After some other miscellaneous work we complete the proof of Theorem The last two sections of this paper are devoted to the joint distribution from k-dimensional spacing between consecutive elements of the sequence of fractional parts, with special attention to k = Key Connections to Farey Fractions In order to understand the limit given in definition we must first understand the cardinality of the set in the integrand Specifically, given that we have three possible gaps sizes A, B and C, we need to have more information on the number of gaps of each size for any given, as well as a way to handle the contribution of each gap This is accomplished in Lemma, where we identify the two smaller gaps A and B with the closest Farey fractions on either side of α This will allow us to rewrite the integral from Theorem in a form more useful for computations Let us illustrate the three gaps theorem in the case when α = and = 0 The points S 0 along with the three gaps labeled A, B, and C are shown in Figure 3 Let G,k α denotes the list of k-sequences of consecutive gaps in S α When k > we allow the sequence to wrap around 0 so that exactly tuples of gaps are considered For example, G 0, = {A, C, A, B, A, C, A, B, A, B}, G 0, = {AC, CA, AB, BA, AC, CA, AB, BA, AB, BA}, G 0,3 = {ACA, CAB, ABA, BAC, ACA, CAB, ABA, BAB, ABA, BAC} Also, in this case the permutation σ satisfies {σ n } 9 n=0 = {0, 5, 3, 8,, 6, 4, 9,, 7} Lemma For an irrational α, the lengths of three gaps A,B, and C generated by the sequence {nα} 0 n< may be computed as follows: Let us arrange the Farey fractions {0 a a, q =, q < } in order on the q

6 6 interval [0, ] and choose consecutive fractions a q and a q a < α < a q q Then, the three gaps that can appear have lengths A = q α a = {q α}, B = a q α = {q α}, C = A B, so that and the function σ, which is a permutation of the set {0,,, } so that the sequence is in increasing order, satisfies: {σ 0 α}, {σ α},, {σ α} σ 0 = 0, q, if σ i [0, q A Gap σ i σ i = q q, if σ i [ q, q C Gap q, if σ i [q, B Gap Remark This Lemma gives a simple formula for the number of gaps of each size The number of A gaps of each size is number of integers in the intervals on the right hand side of the recurrence relation for σ i Thus, the numbers of A gaps, B gaps and C gaps are, respectively, q, q, q q This is in agreement with the fact that the total number of gaps is and the total length of these gaps are since q q q q =, q A q B q q C = This last equality is equivalent to the determinant property of Farey fractions: a q a q = Indeed, this property may be viewed as a corollary of Lemma Remark 3 In [3] O Bryant developed a detailed account of permutations that order fractional parts Here we have used an independent and simple idea to describe this permutations σ i

7 CONTINUOUS DISTRIBUTIONS ARISING FROM THE THREE GAP THEOREM 7 Proof Let us define a shifting operation that will associate each gap in the sequence with the two gaps that have 0 or as an end point or with the sum of these two gaps Let the A gap be the first gap, that is, the one with 0 as a left end point, and let the B gap be the last gap, that is, the gap with as a right end point Suppose that when the points {nα} for 0 n < are arranged in order, {n x} and {n x} appear consecutively so that the interval [{n x}, {n x}] is a gap If either n or n are 0 then the gap is already the A gap or the B gap If neither n nor n is 0, the gap [{n x}, {n x}] has the same length as the interval [{n α}, {n α}] if {n α} > {n α}, we consider this interval as wrapping around through 0 This interval is also a gap except in exactly one case: the case when the point {α} lies in the gap [{n x}, {n x}] In this case the gap [{n x}, {n x}] is associated with the two smaller gaps [{n α}, { α}] and [{ α}, {n α}] This proves that when an arbitrary starting gap is chosen, the shifting process will divide the starting gap into two smaller gaps at most once and that these smaller gaps will have the same size as the A gap or the B gap since this is where the shifting process terminates We now know that the size of the A gap is and the size of the B gap is A = min 0<n< {nα}, B = max 0<n< {nα} We need to show that the minimum and maximum are attained at n = q and n = q respectively, where q and q are as in the statement of the lemma Suppose there is another q < with {qα} < {q α} and write {qα} = qα a Then 0 < qα a < q α a Since a q is the greatest Farey fraction less than α, we have a q < a q < α In the case q > q, we have the trivial inequality a q < a a q q, from which deduce that, since a q is the greatest Farey fraction less than α, α < a a q q,

8 8 which contradicts In the case q < q, we have the similar inequality from which we deduce that a a q q < a q, a a q q < α, which also contradicts This proves that the minimum is attained when n = q The fact that the maximum is attained at n = q follows by symmetry since max {nα} = min {n α} 0<n< 0<n< Now suppose that {σ i α} is a point of S α If σ i [0, q, then the A gap, which is the interval can be shifted to the interval [0, {q α}], [{σ i α}, {σ i q α}], so that σ i = σ i q in this case In the case σ i [q,, the gap between σ i and σ i is a B gap, so σ i = σ i q in this case Finally, when σ i [ q, q, the gap is a C gap and so σ i = σ i q q 3 A Lemma Via Kloosterman Sums We will transform our integral into a sum of integrals over Farey arcs in a certain region The resulting sum depends only on the denominators of the Farey fractions This fact is crucial and explains the heuristic reason why the limit approaches the same distribution function in any interval We present a general result for any short interval by borrowing Lemma 8 from [5] We have normalized the function and region by a factor of Lemma 3 Let f := Ω q, q Ω β a q < a q β η f

9 CONTINUOUS DISTRIBUTIONS ARISING FROM THE THREE GAP THEOREM 9 Then if Ω is a convex subregion of [0, ] [0, ] with rectifiable boundary, and f is a C function on Ω, we have q f η, q 6 fx, ydxdy π Ω Ω f ɛ x f AreaΩ log Len Ω log y f η η m f f η, / ɛ where m f is an upper bound for the number of intervals of monotonicity of each of the maps y fx, y 4 Proof of Theorem We will handle the contribution of the three gaps of each type A, B, and C separately by partitioning the interval [β, β η] into Farey arcs with denominators strictly less than Lemma 3 will then enable us to calculate the limit as We will deal with the error terms when we prove a general result for g k in the next section In the interval [ a q, a q ], the A gaps contribute the amount a q a q { q, q α a λ/ 0, q α a < λ/ dα, since the A gaps are q in number by Lemma If a new integration variable t defined by 4 α = a q is introduced, the integral becomes { dt q, t λq q q 0, t < λq = 0 t q q { q q q λq, 0 λq 0, < λq To compute the total contribution of the A gaps to the function g λ we need to sum this expression over consecutive pairs of Farey fractions in the interval [β, β η] as η β a q < a q βη { q q q λq, 0 q λ 0, < q λ

10 0 By Lemma 3, this sum converges to the integrals x λy dxdy, 0 λ xy 6 π 0 y λ 0 y x λy xy dxdy, < λ, which further equals { 6 λ 4 π, 0 λ π 6 λ log λ λ, Li λ, < λ and this is the contribution of the A gaps to the function g λ The B gaps contribute the amount a q a q { q, a q α λ/ 0, a q α < λ/ dα in the interval [ a q, a q ] since they are q in number The calculations to complete the total contribution of the B gaps are similar to those of the A gaps, and the total contribution is found to be the same as 4 By Lemma, the C gaps are q q in number, and thus contribute the amount a q a q { q q, q α a a q α λ/ 0, q α a a q α < λ/ dα in the interval [ a q, a q ] With the substitution 4, this integral becomes 0 dt Nq q { t q q N, q t 0, q t q t q λ N λ N where the numerators a and a of the Farey fractions have conveniently canceled out If q < q, this last integral has the evaluation q q N Nq q, q N < λ q q N q N λq, q < < q Nq q Nq q N λ N 0, < q λ N,

11 CONTINUOUS DISTRIBUTIONS ARISING FROM THE THREE GAP THEOREM while if q < q, the substitution t t shows that the integral has the same evaluation with q and q switched: η β a q < a q q N Nq q, q N < λ q q N q N λq, q < < q Nq q Nq q N λ N 0, < q λ N Thus, the total contribution of the C gaps in the interval [a, b] is q q N η βη q q <q β a < a βη q q q <q Nq q, q N < λ q q N q N λq, q < < q Nq q Nq q N λ N 0, < q λ N q q N Nq q, q N < λ q q N q N λq, q < < q Nq q Nq q N λ N 0, < q λ N By Lemma 3, the first of these sums approaches the integrals x xy dydx, 0 λ xy 6 π x λ x x λ 0 y xy dydx xy λ xy λy dxdy, y x y λ x xy λy dydx, < λ < y x y λ and the second sum approaches the same set of integrals after the change of variable x y is made Now, these integrals can also be evaluated with the Dilogarithm, and the result is the expression, 43 6 π π, 0 λ π log λ λ log λ 4 logλ Li λ Li λ log 3 λ λ log log λ λ 4 λ λ, < λ < 3 log, 4 λ = λ 4 λ log λ λ λ λ Li λ, Li λ < λ

12 for the contribution of the first sum to the function g λ Thus, g λ is the twice the sum of 43 and 4 Since Li log z z =, z it is now straightforward to calculate g λ and verify that it is differentiable everywhere, that is, the following integral representation is valid: where g g λ = { = 6π x λ 0 g dx x x, x log x x x x, 0 < x <, < x 5 The Joint Distribution from k-dimensional Spacing We now focus on generalizing Theorem, but not by introducing a k- tuple of α s but instead we consider a k-tuple of λ s as in definition In the previous theorem two key properties were used: the fact that the number of gaps of each of the three sizes is a simple function of q, and q, and the fact that all of the numerators of the Farey fraction canceled out of the final calculations The exact same phenomenon happens in the general case for the function g k An exact statement about the number of times a given sequence of consecutive gap sizes appears is given in the following lemma Set I = LengthI [0, ], and let T be the triangle {x, y : x, y, x y } Lemma 5 For any sequence γ γ γ k of the gap sizes A, B, and C, there is a continuous function f γ γ γ k x, y : T [0, ] such that for q and q as in Lemma, #{Γ G,k α : Γ = γ γ γ k } q = f γ γ γ k, q That is, the average number of times the sequence γ γ γ k appears as a sequence of consecutive gap sizes in S α may be interpolated by a continuous function uniformly in

13 CONTINUOUS DISTRIBUTIONS ARISING FROM THE THREE GAP THEOREM 3 Remark 5 By Remark, we have f A x, y = x, f B x, y = y, f C x, y = x y q Proof By Lemma, we may write f γ γ γ, q k as the length of the intersection of k intervals whose endpoints are continuous functions of q and q The general truth of this fact will be evident from the proof of the particular case γ γ γ k = ABC, for example By Lemma we have #{Γ G,3 α : Γ = ABC} = {σ iα} {σ i0α} = A, # 0 i < : {σ i α} {σ i α} = B, {σ i3 α} {σ i α} = C = σ [0, q, # 0 σ < : σ q [q,, σ q q [ q, q = [0, q [q q, q [ q q, q q In this case, we then have f ABC x, y = [0, x [y x, x [ y x, x y, which is clearly a continuous function Theorem 53 For any integer k, the limit g k λ,, λ k = lim gβ,η k λ,, λ k ; = lim η βη β #{γ γ k G,k α : i k γ i λ i exists and is independent of the interval [β, β η] on which the average is taken A formula for g β,η k := g β,η k λ,, λ k ; and an error estimate is given by: } dα

14 4 k ζ gβ,η where γ γ k {A,B,C} k T f g g k x, y χ g λ χ gk λ k dxdy xy k,ɛ λ λ k ɛ / η χ A λ = χ A x, y, λ = [λy, χ B λ = χ B x, y, λ =, λx] { [ yλx, y < x x y χ C λ = χ C x, y, λ =, xλy ] x < y, y x and f γ,,γ k x, y is defined in Lemma 5 The function g k λ,, λ k also satisfies g k λ, λ,, λ k, λ k = g k λ k, λ k,, λ, λ Proof We first divide the integral defining g k along the Farey fractions in [β, β η] with denominator strictly less than : g β,η k = η β a q < a q βη a q a q #{γ γ k G,kα : i kγ i λ i }dα We next divide up the gap sequences among all of the 3 k possibilities: = η γ γ k {A,B,C} k β a q < a q βη a q a q #{Γ G,k α : Γ = γ γ k } {, i k γ i λ i 0, i k γ i < λ i The conditions that an A, B, or C gap is bigger than λ dα are by Lemma : q α a λ, a q α λ, q α a a q α λ for an A gap for a B gap for a C gap

15 CONTINUOUS DISTRIBUTIONS ARISING FROM THE THREE GAP THEOREM 5 Under the change of variable these conditions become respectively Thus, we have a q a q α = a q t λ q, t λ q, t q q for an A gap for a B gap q q t λq q q, for a C gap #{Γ G,k α : Γ = γ γ k } = f γ γ k q, q So, finally, where {, i k γ i λ i 0, i k γ i < λ i q χ γ, q, λ q χ γk, q, λ k g β,η k λ,, λ k ; = η f T q, q, fx, y = f γ γ k x, y χ γ x, y, λ χ γk x, y, λ k xy dα q q In order to apply Lemma 3, we need bounds for f and its partial derivatives Since f is unbounded and its partials are unbounded on T, the domain must be shrunk to one of the form T δ = {x, y : x, y, x y δ, x y > δ}, and set to be the supremum norm on T δ Now, the functions f γ γ k are relatively tame; they satisfy f γ γ k x Hence we focus on the functions f γ γ k f γ γ k y k F γ γ k x, y = χ γ x, y, λ χ γk x, y, λ k xy

16 6 Since 0 F γ γ k x, y xy, F γ γ k δ Next, the fact that F γ γ k x F γ γ k y k Λ δ, where Λ = λ λ k, follows from the following table: hx, y bound for h bound for h χ A x, y, λ λ χ B x, y, λ λ χ C x, y, λ xy δ δ x h y 0, λ < λ λδ, < λ < λ λλδ, < λ In summary, we have f k δ, f x f y k Therefore, by Lemma 3 with m f = O k, f η T δ q, q ζ T δ Λ log k,ɛ ηδ log ηδ k,ɛ ɛ η Λ δ / Λ δ fx, ydxdy ɛ ηδ /

17 CONTINUOUS DISTRIBUTIONS ARISING FROM THE THREE GAP THEOREM 7 Finally, f η T f η T δ η T \T δ f k,ɛ ɛ η q, q ζ T q, q q, q Λ δ / fx, ydxdy fx, ydxdy ζ T δ fx, ydxdy ζ T \T δ δ η This error term is optimized with the choice δ = ɛ, leading to q f η, q fx, ydxdy ζ T k,ɛ η T Λ ɛ / The symmetry of the function g k can be obtained from the symmetry of the function g 0, k λ,, λ k ; as: g k λ,, λ k ; = lim g0, k λ,, λ k ; = lim g0, k λ k,, λ ; = g k λ k,, λ ; The function g 0, k λ,, λ k ; has this symmetry property because the sequence of gaps in S α is the reverse of the sequence of gaps in S α with the A and B gaps switched 6 Explicit Formula for g λ, λ Theorem 53 gives a formula for g λ, λ as an integral over the region T By dividing up [0, [0, into the 4 regions shown in Figure 4, we calculate g λ, λ on each of the regions A, B, C, D, E, F, and G The resulting expressions are given in the following theorem Theorem 6 The explicit formula for g λ, λ on each of the regions A, B, C, D, E, F, and G in Figure 4 are as follows The value of g λ, λ on A, B, C, D, E, F, and G may be found using the symmetry property g λ, λ = g λ, λ

18 8 Λ F' G' C' D' E' E G B' D A' B C A 0 0 F Λ Figure 4 regions on which g λ, λ is C smooth given in Theorem 53 π 6 g λ, λ A = π 6 λ λ, π 6 g λ, λ B = π 6 λ 3λ Li λ Li λ λ log λ λ λ log λ λ λ λ λ log λ log λ λ λ

19 CONTINUOUS DISTRIBUTIONS ARISING FROM THE THREE GAP THEOREM 9 π 6 g λ, λ C = 3λ π 3 log λ log λ λ λ λ log λ λ log λ λ log λ λ λ λ λ λ λ λ log λ λ log λ λ log λ log λ log λ λ log λ log λ λ Li Li Li λ λ λ λ λ Li Li, λ λ λ λ π 6 g λ, λ D = 5π 6 λ λ λ λ λ log 3 3λ log λ λ λ λ log log λ λ 4λ log λ λ λ λ λ log λ λ λ λ log λ λ λ log λ λ log λ log λ λ log λ log λ λ log λ log log λ λ λ 4 Li Li Li λ Li λ λ λ λ Li Li λ λ λ λ λ λ λ λ Li Li λ λ λ λ λ Li, λ λ

20 0 π 6 g λ, λ E = 3λ π 6 λ λ λ log log 6 log λ λ λ log log λ λ λ λ λ λ log λ λ log λ λ λ log λ λ λ log λ λ log log λ λ log λ λ log λ λ log λ log λ log λ λ log λ log λ λ log λ λ log λ λ λ λ Li Li Li λ λ λ λ λ λ λ Li Li λ λ λ λ λ λ λ λ λ Li Li λ λ λ λ λ λ Li Li λ λ λ λ,

21 CONTINUOUS DISTRIBUTIONS ARISING FROM THE THREE GAP THEOREM π 6 g λ, λ F = λ π log log log λ λ λ λ log λ λ log λ λ λ λ λ λ log λ λ λ λ log λ log λ λ λ λ log λ λ π 6 g λ, λ G = 0 log λ log λ λ log λ λ log λ log λ λ log λ Li Li λ λ λ λ λ λ Li Li λ λ λ λ λ λ λ λ λ λ Li Li λ Li λ λ λ λ λ λ λ λ Li Li, λ λ λ λ References [] V Augustin, F P Boca, C Cobeli, and A Zaharescu, The h-spacing distribution between Farey points, Math Proc Cambridge Phil Soc 3 00, pp 3 38 [] G I Arhipov, and A A Karacuba, Čubarikov, V N Distribution of fractional parts of polynomials of several variables, Russian Mat Zametki 5 979, no, 3 4, 57 [3] R C Baker, G Harman, Small fractional parts of polynomials, Topics in classical number theory, Vol I, II Budapest, 98, 69 0, Colloq Math Soc Jnos Bolyai, 34, North-Holland, Amsterdam, 984 [4] P M Bleher The energy level spacing for two harmonic oscillators with generic ratio of frequencies J Statist Phys 63 99, 6 83 [5] F P Boca, C Cobeli, and A Zaharescu, A conjecture of R R Hall on Farey points, J Reine Angew Math , [6] F Boca and A Zaharescu, Pair correlation of values of rational functions mod p, Duke Math J , [7] C Cobeli, G Groza, M Vâjâitu, and A Zaharescu, Generalization of a theorem of Steinhaus, Colloq Math 9 00, no, [8] M J de Velasco, Distribution of the fractional parts of polynomials, Bull Calcutta Math Soc , no 6,

22 [9] A Dubickas, On the fractional parts of rational powers, Int J Number Theory 5 009, no 6, [0] A Dubickas, On the limit points of the fractional parts of powers of Pisot numbers, Arch Math Brno 4 006, no, 5 58 [] C Greenman, The generic spacing distribution of the two-dimensional harmonic oscillator, J Phys A 9 996, [] G Groza, M Vâjâitu, A Zaharescu, Primitive arcs on elliptic curves, Rev Roumaine Math Pures Appl , no, 3 38 [3] R R Hall, A note on Farey series, J London Math Soc 970, pp 39 48, [4] R R Hall, On consecutive Farey arcs II, Acta Arithm , pp 9, [5] R R Hall and G Tenenbaum, On consecutive Farey arcs, Acta Arithm , pp , [6] G H Hardy G H and E M Wright, An introduction to the theory of numbers, Fifth edition, The Clarendon Press, Oxford University Press, 979, New York, [7] A A Karacuba, Distribution of fractional parts of polynomials of a special type, Russian Vestnik Moskov Univ Ser I Mat Meh no 3, [8] Ě I Kovalevskaja, The simultaneous distribution of the fractional parts of polynomials, Russian VescĩAkad Navuk BSSR Ser Fǐz-Mat Navuk 97, no 5, 3 3 [9] W L LeVeque, Fundamentals of number theory, Addison-Wesley Publishing Co, 977 [0] A E Mazel and Ya G Sinai A limiting distribution connected with fractional parts of linear forms Ideas and Methods in Mathematical Analysis, Stochastics and Applications, Vol Eds S Albeverio et al 99, pp 0 9 [] G Misevičius and S Vakrinieně, On uniform distribution on [0, ] of fractional parts of powers of real algebraic numbers, Šiauliai Math Semin 4 009, [] N G Moshchevitin, On small fractional parts of polynomials, J Number Theory 9 009, no, [3] K O Bryant, Sturmian words and the permutation that orders fractional parts, J Algebraic Combin 9 004, no, 9 5 [4] F Pillichshammer, Euler s constant and averages of fractional parts, Amer Math Monthly 7 00, no, [5] T van Ravenstein, The three gap theorem Steinhaus conjecture, J Austral Math Soc Ser A , [6] Z Rudnick and P Sarnak, The pair correlation function of fractional parts of polynomials, Comm Math Phys , 6 70 [7] Z Rudnick and A Zaharescu, The distribution of spacings between fractional parts of lacunary sequences, Forum Math 4 00, no 5, 69 7 [8] Z Rudnick, P Sarnak, and A Zaharescu, The distribution of spacings between the fractional parts of n α, Invent Math 45 00, no, [9] W M Schmidt, Small fractional parts of polynomials, Regional Conference Series in Mathematics, No 3 American Mathematical Society, Providence, RI, 977 v4 pp ISBN: [30] V T Sós, On the distribution mod of the sequence nα, Ann Univ Sci Budapest Eötvös Sect Math 958, 7 34 [3] S Świerczkowski, On successive settings of an arc on the circumference of a circle, Fund Math , [3] T D Wooley, The application of a new mean value theorem to the fractional parts of polynomials, Acta Arith , no, 63 79

23 CONTINUOUS DISTRIBUTIONS ARISING FROM THE THREE GAP THEOREM 3 [33] T Zaimi, On integer and fractional parts of powers of Salem numbers, Arch Math Basel , no, 4 8 [34] A Zaharescu, Correlation of fractional parts of n α, Forum Math 5 003, no, School of Natural Science, Hampshire College, 893 West Street, Amherst, MA 000, USA address: gpens@hampshireedu Penn State University Mathematics Dept University Park, State College, PA 680, USA address: dps3@mathpsuedu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit 5, POBox -764, RO Bucharest, Romania, and Department of Mathematics, University of Illinois at Urbana-Champaign, 409 W Green Street, Urbana, IL, 680, USA address: zaharesc@illinoisedu address: zaharesc@illinoisedu