arxiv: v1 [math.nt] 5 Nov 2018

Transcription

1 Noname manuscript No. (will be inserted by the editor The conumerator Buket Eren Gökmen A. Muhammed Uludağ arxiv:8.088v [math.nt] 5 Nov 208 Received: date / Accepted: date Abstract We give an extension of the famed Fibonacci sequence as an integervalued map on the set of rational numbers. We call this extension the conumerator function and we explain how to deduce the recently introduced involution Jimm from it. This involution is related to the outer automorphism of the group PGL(2,Z and it simplifies the Markov quadratic irrationals significantly as we exhibit via some computer calculations. Keywords Continued fractions diophantine approximation Markov equation Markov irrational Jimm involution Introduction The famed Fibonacci sequence (F n (n Z + is the integer sequence defined by the recursion F n+ = F n + F n, ( subject to the initial condition F 0 := 0 and F :=. Our aim here is to introduce an integer function called the conumerator, which satisfies con := Q + Z + (2 con(n = F n+ (n Z +, (3 and study it from the point of view of diophantine analysis in the context of Markov theory. Buket Eren Gökmen bktern@hotmail.com A. Muhammed Uludağ muhammed.uludag@gmail.com Department of Mathematics, Galatasaray University, Çırağan Cad. No. 36, Beşiktaş, İstanbul, Turkey

2 2 B. Eren Gökmen, A. M. Uludağ 2 Definition of the conumerator function Consider the numerator function num : Q + Z + defined as num : x = (p, q Q + num(x = p Z +, (p, q > 0, gcd(p, q = (4 It satisfies the functional equations num( + x = num(x + num(/x, (5 x num( = num(x + x (6 subject to the initial condition num( :=. These determine the num function completely on Q +, and it satisfies the additional equation num(x = x num(/x. (7 This paper is about the function con : Q + Z + which is defined as the unique solution of the functional equations f( + x = f(x + f(/x, (8 f( = f(x + x (9 subject to the initial condition f( :=. Setting y := x + > 0 we may rewrite these equations as f(y = f(y + f(, (0 y f( = f(y ( y If we express y Q + as a finite continued fraction y = [n 0, n,, n k ] and set l(y := n 0 + n + + n k, then since both equations express f(y in terms of f-values of rational numbers with l-value l(y < l(y, the equations are consistent and f(y can be computed in terms of f(. The same argument shows that the solution is unique if we fix f( =. We call this unique solution the conumerator function and denote it as con : Q + Z +. Note that the numerator function satisfies the equations num(n + x = num(x + n num(/x, (2 x num( = num(x n + x (3 The lemma below is a direct application of the functional equations (0-:

3 The conumerator 3 Lemma One has for any n Z >0 and x Q + con(n + x = F n+ con(x + F n con(/x, (4 ( Fn x + F n con = con(x (5 F n+ x + F n According to Lemma, if x = [n 0, n,... ] is given as a continued fraction, its conumerator can be found as: con([n 0, n,... ] = F n0+ con([0, n,... ] + F n0 con([n, n 2,... ] (6 One has = F n0+ con([n, n 2,... ] + F n0 con([n, n 2,... ] (7 con( F n F n = con( = con ( F n+ F n + F n + Fn Therefore we obtain the following result: Corollary One has the identities F n = con( F n F n. con( F n F n+ =, n =, 2... (8 con( F n+ = n, F n n =, 2... (9 con(n = con( + n = F n+, n =, (20 Consequently, the conumerator extends the Fibonacci sequence, as promised. Another instance of (7 is con([n, m] = con(n + m = F n+f m + F n F m+ (2 where n, m =, 2,.... In particular, con(n + 2 = F n+2 + F n = L n+ (22 con(n + 3 = 2F n+2 + F n (23 con(n + n = 2F n+f n (24 Here L n := F n + F n+ denotes the n th Lucas number. We see that the function con(x + 2 con(/x is an extension of Lucas sequence since L n+ = F n+ + 2F n. We may also compute con([n a ], where n a := n, n,..., n: }{{} n times F n+ con( [n a ] + F n con([n a ] = F n+ con([n a ] + F n con([n a ]

4 4 B. Eren Gökmen, A. M. Uludağ Hence, con([n a ] = F n con( [n a 2 ] + F n con([n a 2 ]... (25 = con([n, n, n] = 3F n+ F 2 n + F 2 n+f n (26 Finally, let us give some sporadic computations: con([,, ] = = con( 9 = (prime 8 con( 8 = (prime 9 con( 9 4 = 35, con( 4 9 = 24 7 In Appendix I, we give a list of the values con(k/4 for k =, 2, Properties of the conumerator Theorem One may express the numerator function in terms of the conumerator as follows: ( con(x num(x = con con( x (27 Proof It suffices to prove that the right hand side satisfies the functional equations for num. Indeed, if we denote the function defined by the left hand side of (27 by f(x then one has ( ( con(x + con(x + con(/x f(x + = con = con = (28 ( con + con(/x con(x con( x+ = con con(x ( con(/x + con con(x ( con(x con(/x (29 = f(/x + f(x, (30 showing that f satisfies the first equation for num. As for the second equation, x f( x + = con con( x x+ ( con( +/x con( = con = (3 x+ con( + /x x ( con(/x con = con = (32 con(x + con(/x + con(x con(/x ( con(x con = f(x (33 con(/x

5 The conumerator 5 Since f satisfies the second defining equation for num as well, and since obviously f( = = num(, one has f num. The equation (7 implies the following results: Corollary 2 The conumerator satisfies the functional equations ( ( con(x con( x con con( x = x con (34 con(x ( ( con(x + n con(x con = con = num(x (35 con(x + n con(/x 2.2 Fibers of the conumerator con(x = con([0,,,,...,, + x] (x Q + (36 i.e. the conumerator takes on every value infinitely often. Hence, the fibers of con splits into / + x-orbits. Lemma 2 (i The fibres of the conumerator are con (p = { con(p/q } p, q Z +, (p, q = con(q/p (37 (ii The number of / + x-orbits of con (p is the totient φ(p. Proof i. By Theorem we have p = num( p ( con(p/q q = con con(q/p with p, q Z + and (p, q =. Hence con (p = { con(p/q } p, q Z +, (p, q = con(q/p ii. Let p be a fixed positive integer and q be coprime with p. Let us write q as q = pk + r with k N and r {i : i < p, (p, i = }. Our aim is to find the number of elements in the set con (p so let us compute con(p/(pk + r con(/(k + r/p con(k + r/p = = con((pk + r/p con(k + r/p con(k + r/p (38 = F k con(r/p + F k con(p/r F k+ con(r/p + F k con(p/r (39

6 6 B. Eren Gökmen, A. M. Uludağ where the last equality comes from the first functional equation of Lemma. Note that these values are in the same / + x -orbit for all k N if the integer r is fixed, ( Fk con(r/p + F k con(p/r con F k+ con(r/p + F k con(p/r ( = con (40 F k+ con(r/p + F k con(p/r F k+ con(r/p + F k con(p/r + F k con(r/p + F k con(p/r (4 ( Fk+ con(r/p + F k con(p/r = con F k+2 con(r/p + F k+ con(p/r (42 Hence the number of elements in the set con (p is the number of integers r which is exactly the totient φ(p. 2.3 Thomae s function The function δ defined by δ(x := { num( x (x Q 0 (x / Q is also called Thomae s function. One has evidently lim con(x = = lim num(x, y / Q. x y x y The function below is an analogue of Thomae s function: { (x Q con( β(x := x 0 (x / Q The plot of log con(x with 00 values.

7 The conumerator The codiscriminant The numerator function satisfies the equation num(x 2 num(x + num(x = den(x 2 = num(/x 2 Likewise, the codiscriminant function ( cds(x := con(x 2 con(x con(x + con(x + con(x = det con(x con(x is almost translation invariant under, i.e. cds( + x = x. In other words, cds is a 2-periodic function on Q + : In particular and more generally cds(2 + x = cds(x cds(n = F 2 n F n F n F 2 n = ( n n Z (43 con(n + k 2 con(n + k con( n + k cds(n + k = con( n + 2 = k ( n cds( k = ( k+n Hence we obtain an infinite family of conumerator identities specializing to an infinite list of Fibonacci identities for integer arguments: = (F n+ F k + F k+ F n 2 (F n+ F k + F k+ F n (F n F k + F k+ F n (F n F k + F k+ F n 2 = ( k+n (k = 2 L 2 n+ L n+ L n L 2 n = ( n We obtain other Fibonacci identities for numbers of type n + q, q (0, Q. 3 The involution Jimm Being an integer-valued function, the conumerator can not be extended continuously to R. On the other hand, the following function derived from the conumerator extends to R and the extension is discontinuous at rationals and continuous on R \ Q: Definition The function below is called Jimm and denoted by J(x: J : x Q + con(x con(/x Q+

8 8 B. Eren Gökmen, A. M. Uludağ Lemma 3 For all x Q + one has i. J(J(x = x ii. J(/x = /J(x iii. J( + x = + /J(x iv. J( x = J(x (0 < x <. Proof Using the functional equations, we get: i ( con(x con con(/x J(J(x = ( = num(x con(/x num(/x = x con con(x ii J(/x = con(/x/ con(x = /(con(x/ con(/x = /J(x iii J( + x = con(x + / con(/x + = (con(x + con(/x/ con(x = + con(/x/ con(x + /J(x. Corollary 3 Let x = [n 0, n, n 2, n 3,..., n k, n k ] be a continued fraction expansion of x Q. Denote by k the sequence,,..., of length k. Then J(x = [ n0, 2, n 2, 2, n2 2, 2,... 2, nk 2, 2, nk ] with the rules: [..., n, 0, m,... ] := [..., n, m,... ] and [..., n,, m,... ] := [..., n + m,... ].

9 The conumerator 9 Proof Note that by Lemma 3-(ii and (iii, J( + /x = + J(x. Applying this and Lemma 3-(iii repeatedly, we get J([n 0, n, n 2, n 3,... ] = J( + [n 0, n, n 2, n 3,..., n k ] = + = + = + J([n 0, n, n 2, n 3,... ] + + J([n 0 2, n, n 3,..., n k ]... + J([0, n, n 3,..., n k ] = J([n, n 2, n 3,..., n k ] = J([n, n 2, n 3,..., n k ] = [,,,...,, 2, J([n }{{}, n 2, n 3,..., n k ]] n 0 times Note that this equation is also valid in case n 0 = and/or n =. Repeating this process, we get the desired result. 3. Extending J We extend J from Q + to Q by declaring J( x := /J(x for (x < 0 and keep denoting the extension by the same letter. The theorem below follows from the results of [] so we will not give its proof. Theorem 2 For every y R \ Q, the limit below lim J(x, x Q,x y exists, and if we extend J to R by declaring J(y of y R \ Q to be this limit, then the limit function J : R R is continuous and satisfies the functional equations (ii-(iv of Lemma 3 as well. J is involutive on a subset of R \ Q.

10 0 B. Eren Gökmen, A. M. Uludağ Consequently, the image of an irrational number is given by J([n 0, n, n 2, n 3,... ] = [ n0, 2, n 2, 2, n2 2, 2, n ] Example Let us compute the value of some periodic continued fractions :. J([,,,... ] = 2. J([2, 2, 2,... ] = [, 2, 2, 2,... ] 3. J([n, n, n,... ] = [ n, 2, n 2 ] 4. J([2, 2,, ] = [, 2, 4] 5. J([2, 2,,,, ] = [, 2, 6] 6. J([2, 2, 2, 2,, ] = [, 2, 2, 2, 4] An infinite continued fraction is eventually periodic if and only if it represents quadratic irrational. Since Jimm clearly preserves the set of irrationals having periodic continued fraction expansions, we have Corollary 4 Jimm sends the set of quadratic irrational numbers to itself. In fact, J commutes with the Galois conjugation on this set, see []. 3.2 Outer automorphism of PGL 2 (Z in terms of the conumerator In fact, the map J has been derived from the outer automorphism (denoted again J of PGL 2 (Z and satisfies (JMJ(x = (JM(x, (44 where the J on the left-hand side is the involution introduced above and the J is the corresponding outer automorphism of PGL 2 (Z. It is possible to express the automorphism of J as a matrix map in terms of con, as follows: Lemma 4 J Proof Set ( p q = r s M = con 2p+q p+q 2r+s con r+s con 2r+s r+s 2p+q con p+q ( p q PGL r s 2 (Z, JM = con 2p+q p+q 2r+s 2 con r+s con 2r+s r+s 2p+q 2 con p+q ( a b PGL c d 2 (Z. (45 Then ( p + q (JMJ( = (JM( = J r + s ( 2p + q JMJ(2 = (JM(2 = J 2r + s = a + b c + d = 2a + b 2c + d

11 The conumerator Since the fractions above are reduced, one has ( ( p + q r + s con = a + b, con = c + d r + s p + q ( ( 2p + q 2r + s con = 2a + b, con = 2c + d 2r + s 2p + q This gives ( 2p + q a = con 2r + s ( p + q b = 2 con r + s ( 2r + s c = con 2p + q ( r + s d = 2 con p + q Remark. The involutivity of J means ( ( p q con 2p+q = J 2r+s r s con 2r+s 2p+q con con con con con p+q r+s con r+s p+q ( p + q r + s ( 2p + q 2r + s ( r + s p + q ( 2r + s 2p + q con 2p+q 2r+s con 2r+s 2p+q 2 con p+q r+s 2 con r+s p+q which, when written explicitly, will give a fantastic identity, hard to fit in a page. 4 Markov theory and the conumerator The Markov equation is the diophantine equation x 2 + y 2 + z 2 = 3xyz, (46 and any solution triple (x, y, z Z 3 >0 is called a Markov triple. An integer that appears in a Markov triple is called a Markov integer. These forms the famous Markov sequence, 2, 5, 3, 29, 34, 89, 69, 94, which consists of the Markov numbers, arranged in an increasing order. It is possible to find all Markov triples by a simple algorithm. If we consider the Markov equation as the defining equation of an algebraic variety, so the surface so defined has many automorphisms such as the permutation of variables or change of signs. There is also another automorphism of this variety which produces from the Markov triple (,, some of the integral points except (0, 0, 0 : (x, y, z (x, y, 3xy z.

12 2 B. Eren Gökmen, A. M. Uludağ We say two Markov triples are neighbors if they share two components. For example the first solution (,, has only one neighbor (, 2,. Then the second solution (, 2, has two neighbors (,, and (, 5, 2. After (, 5, 2 any other solution has exactly three neighbors. Hence, we can organize all the solutions triples in a binary tree as follows: (,, (,2, (,5,2 (,3,5 (5,29,2 (,34,3 (3,94,5 (5,433,29 (29,69,2 (,89,34 (34,325,3... (29,470,69 (69,985,2 Fig. A part of Markov Tree It is known that the Markov gives a complete set for the Markov triples, see [5] for more facts details. Definition 2 Let (m, m, m 2 be a Markov triple with m such that m m, m m 2. The smallest solution of the congruences m 2 x m mod m (47 is called the characteristic number of the triple (m, m, m 2. Moreover, we define a positive integer v from this number by the following equation u 2 + = mv (48 Remark Interchanging the roles of m and m 2 does not change the solution since any two Markov numbers in a Markov triple are relatively prime [5]. Markov was interested in the minimum values of the indefinite binary quadratic form at integer points. His theorem says that the smallest non zero absolute value that an indefinite binary quadratic form attain is related to the rational approximation of an irrational number. The most interesting is the fact that this relation is due to the solutions of a diophantine equation mentioned above, Markov equation. Our interest in this paper is within the sequence of a quadratic irrationals depending on Markov numbers as in Markov s theorem [5]. γ m = m + 2u + 9m 2 4 2m for all m M = {, 2, 5, 3, 29, 34,... } and we call it a Markov irrational.

13 The conumerator 3 H. Cohn [4] in the 950s observed that an identity of Fricke involving traces of integral 2 2 matrices is very similar to the Markov equation, thereby establishing a connection with hyperbolic geometry. For instance, it is sufficient to know that there is sequence of matrices depending on Markov number which comes from a Cohn matrix ( 2m + u 2m u v C m = SL(2, Z m m u such that the Markov irrational γ m and its conjugate γ m are fixed by this matrix which means that the equation below (m + 2ux + 2m u v mx + m u = x has solutions m + 2u ± 9m 2 4 2m 4. Jimm of Markov Irrationals Since all Markov irrationals are quadratic, their images under Jimm are also quadratic by this Corollary 4. Let us find images of continued fraction expansion of some Markov irrationals: Markov number Continued Fraction of γ m Continued Fraction of J(γ m [ ] 2 [ 2] [, 2] 5 [2 2, 2 ] [, 2, 4] 3 [2 2, 4 ] [, 2, 6] 29 [2 4, 2 ] [, 2 3, 4] 34 [2 2, 6 ] [, 2, 8] 89 [2 2, 8 ] [, 2, 0] 69 [2 6, 2 ] [, 2 5, 4] 94 [2 2, 2, 2 2, 4 ] [, 2, 4, 2, 6] 233 [2 2, 0 ] [, 2, 2] 433 [2 3, 2, 2 2, 2 ] [, 2 2, 4, 2, 4] 60 [2 4, 2, 2 2, 2 ] [, 2 3, 4, 2, 4] 985 [2 8, 2 ] [, 2 7, 4] 325 [2 2, 4, 2 2, 6 ] [, 2, 6, 2, 8] 597 [2 2, 4 ] [, 2, 6] Table Continued fraction expansion of image some γ m under Jimm.

14 4 B. Eren Gökmen, A. M. Uludağ If there is a matrix M fixing an irrational x R \ Q then the following is true: x = Mx = J(x = J(Mx = J(MJ(x (49 which means J(x is fixed also by J(M. Hence, to find the image of a quadratic irrational under Jimm, it suffices to find the image of matrix associated. Example 2 Let us calculate the image of some Markov quadratics under Jimm by Lemma 4. If m =, u = 0, v = then the quadratic irrational, the associated matrix C and its image J(C computed by Lemma 4 are is γ = ( + 5/2, C = 2, J(C = 2 0 whose fixed point is. If m = 2, u =, v = then the quadratic irrational, the associated matrix C 2 and its image J(C 2 computed by Lemma 4 are γ 2 = + 2, C 2 = 5 2, J(C 2 = whose fixed points are ± 2. If m = 5, u = 2, v = then the quadratic irrational, the associated matrix C 5 and its image J(C 5 computed by Lemma 4 are γ 5 = (9 + 22/0, C 5 = whose fixed points are ± 6. J(C 5 = If m = 3, u = 5, v = 2 then quadratic irrational, the associated matrix and its image under J are γ 3 = ( /26, 3 9 C 3 =, J(C 3 = whose fixed points are 2 ± 2.

15 The conumerator 5 Similar computations gives the following table m γ m = (m + 2u + 9m 2 4/2m J(γ m ( + 5/ (9 + 22/0 3 ( / ( /58 ( 20 6/6 34 ( /7 89 ( / ( /338 ( /35 94 ( / ( / ( /866 ( /59 60 ( / ( /970 ( / ( /2650 ( /4 597 ( / Table 2 Images of some Markov irrationals under Jimm in quadratic form. See Appendix II for a longer list. Observe that the blue lines in Table 2 are of the form a b with a, b N. In fact, these are are related to Markov numbers coinciding with the odd-indexed Fibonacci numbers. To prove this observation, we require the followings: Lemma 5 For each n Z >0 one has i. con( + F 2n /F 2n+2 = 4n + ii. con( + F 2n+ /F 2n+3 = 4n + 3 iii. con(2 + F 2n /F 2n+2 = 6n + iv. con(2 + F 2n+ /F 2n+3 = 6n + 4 Proof i. Let us show the first one, we compute con( + F 2n /F 2n+2 = con(f 2n /F 2n+2 + con(f 2n+2 /F 2n

16 6 B. Eren Gökmen, A. M. Uludağ By Corollary we have con(f 2n /F 2n+2 = con( = con(f 2n+ /F 2n = 2n + F 2n+ /F 2n similary we have con(f 2n+2 /F 2n = con( + F 2n+ /F 2n = con(f 2n+ /F 2n + con(f 2n /F 2n+ = 2n + Hence con( + F 2n /F 2n+2 = 4n +. ii. To prove the second, we have con( + F 2n+ /F 2n+3 = con(f 2n+ /F 2n+3 + con(f 2n+3 /F 2n+ Since F 2n+ /F 2n+2 and F 2n+ /F 2n+3 are in the same < /( + x >-orbits and by Corollary con( F 2n+ = con( = con( F 2n+2 = 2n + F 2n+3 + F 2n+2 /F 2n+ F 2n+ and also we have con(f 2n+3 /F 2n+ = con( + F 2n+2 /F 2n+ = con(f 2n+2 /F 2n+ + con(f 2n+ /F 2n+2 = 2n + 2 Hence con( + F 2n+ /F 2n+3 = 4n + 3. iii. By using Corollary, we obtain con(2 + F 2n /F 2n+2 = F 3 con(f 2n /F 2n+2 + F 2 con(f 2n+2 /F 2n since it is already known from previous part, we obtain con(2 + F 2n /F 2n+2 = 2(2n + 2n + = 6n + iv. By using Corollary, we obtain con(2 + F 2n+ /F 2n+3 = F 3 con(f 2n+ /F 2n+3 + F 2 con(f 2n+3 /F 2n+ since it is already known from the previous part, we obtain con(2 + F 2n+ /F 2n+3 = 2(2n + + 2n + 2 = 6n + 4. Proposition Let γ F2n+ be the Markov irrational F 2n+ + F 2n + 9F2n+ 2 4 γ F2n+ = fixed by the hyperbolic matrix 2F 2n+ M = 2F 2n+ + F 2n F 2n+2 F 2n 3 F 2n+ F 2n

17 The conumerator 7 Then the image J(M and its positive fixed point are respectively J(M = 3 6n 2, J(γ m = n 2 + n n n Proof Set By our formula J(M = a a 2. a 2 a 22 a = con( 4F 2n+ + 2F 2n + F 2n+2 F 2n 3 con( 2F 2n+ + F 2n + F 2n+2 F 2n 3 F 2n+3 F 2n+2 a 2 = 2 con( 2F 2n+ + F 2n + F 2n+2 F 2n 3 F 2n+2 F 2n+3 con( 4F 2n+ + 2F 2n + F 2n+2 F 2n 3 F 2n+3 F 2n+2 a 2 = con( con( 4F 2n+ + 2F 2n + F 2n+2 F 2n 3 2F 2n+ + F 2n + F 2n+2 F 2n 3 F 2n+2 F 2n+3 a 22 = 2 con( con( 2F 2n+ + F 2n + F 2n+2 F 2n 3 4F 2n+ + 2F 2n + F 2n+2 F 2n 3 By using Lemma 5 iii. and 5 iv, we find first compute a and a 2 and also con( 4F 2n+ + 2F 2n + F 2n+2 F 2n 3 F 2n+3 = con(2 + F 2n+ F 2n+3 = 6n + 4 con( 2F 2n+ + F 2n + F 2n+2 F 2n 3 F 2n+2 = con(2 + F 2n F 2n+2 = 6n + implies that 6n + 4 (6n + = 3. Similarly, by Lemma 5 i. and 5 ii. and F 2n+3 con( = con( + F 2n+ = 4n + 3 4F 2n+ + 2F 2n + F 2n+2 F 2n 3 F 2n+3 F 2n+2 con( = con( + F 2n = 4n + 2F 2n+ + F 2n + F 2n+2 F 2n 3 F 2n+2 we obtain 4n + 3 (4n + = 2 so the first column of the image is constant: J(M = 3 a 2 2 a 22

18 8 B. Eren Gökmen, A. M. Uludağ Now, we must determine the values a 2 and a 22. But we know F 2n+3 F 2n+2 con( con( = 2 4F 2n+ + 2F 2n + F 2n+2 F 2n 3 2F 2n+ + F 2n + F 2n+2 F 2n 3 so it suffices to show that the last entry is F 2n+2 con( 2 = 4n 2F 2n+ + F 2n + F 2n+2 F 2n 3 which is already true by Lemma 5 i. Finally, we have J(M = 3 a 2 2 4n Since J(M is a matrix in PGL(2, Z, the determinant is. After a short computation we see that a 2 is equal to 6n 2 so that J(M = 3 6n 2 2 4n and fixed point can be obtained from the quadratic equation x 2 + (2n 2x 3n + = 0 with discriminant = 4(n 2 + n then positive root of the polynomial is n2 + n n +, as desired. Acknowledgements This work is supported by the TÜBİTAK grant 5F42. References. A. M. Uludağ and H.Ayral. On the Involution of the Real Line Induced by Dyers Outer Automorphism of PGL(2, Z, arxiv : [math.ag] ( A. Markoff. Sur les formes quadratiques binaires indéfinies. Mathematische Annalen 5, 38407, ( A. Markoff. Sur les formes quadratiques binaires indéfinies. (second mémoire. Mathematische Annalen 7,379399, ( H. Cohn. Representation of Markoff s binary quadratic forms by geodesics on a perforated torus. Acta Arithmetica 8, ( M. Aigner. Markov s Theorem and 00 Years of the Uniqueness Conjecture, Springer New York (203.

19 The conumerator 9 Appendix I con(k/4, k =, 2,

20 20 B. Eren Gökmen, A. M. Uludağ Appendix II. Jimm transforms of some Markov irrationals. m Markov quadratics Jimm of Markov quadratics ( + 5/ (9 + 22/0 6 3 ( / ( /58 35/6 34 ( / ( / ( / /35 94 ( /97 9/ ( / ( /866 ( /59 60 ( / ( /970 89/ ( /2650 ( /4 597 ( / ( / / ( / ( / / ( /3233 ( / ( /522 ( / ( / / ( / ( /29402 ( / ( / ( /66922 ( / ( /8833 ( / ( / / ( / / ( / / ( / ( /934 ( / ( / ( / ( / / ( / ( / ( / ( / ( / ( / ( / ( / / ( / / ( / / ( / ( / ( / ( / ( / ( / ( / / ( / ( / ( / / ( / ( / ( / ( / ( / ( / ( / ( / ( / / ( / ( / ( / / ( / ( / ( / ( / ( / ( / ( / / ( / / ( / ( / ( / ( / ( / ( / ( / / ( / ( / ( ( / ( / ( / ( / ( /779