arxiv: v1 [math.co] 1 Dec 2018

Transcription

1 FAREY BOAT II. Q-DEFORMATIONS: -DEFORMED RATIONALS AND -CONTINUED FRACTIONS arxiv:8.7v [math.co] Dec 8 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO Abtract. We introduce a notion of -deformed rational number and -deformed continued fraction. Thee are rational function uch that the numerator and denominator are polynomial in with poitive integer coefficient. A -deformed rational i encoded by a triangulation of a polygon and can be computed recurively from weight on the triangulation. The coefficient of the polynomial defining the -rational count uiver ubrepreentation of the maximal indecompoable repreentation of the graph dual to the triangulation. Several other propertie, uch a total poitivity propertie, -deformation of the Farey graph, matrix preentation and -continuant are given, a well a a relation to the Jone polynomial of rational knot. Content Introduction. Introducing -deformed rational and continued fraction 4.. The main definition 4.. Total poitivity 5.3. Baic propertie of the polynomial R and S 6.4. The pecial value = 7. Weighted triangulation and -deformed continued fraction 7.. Continued fraction and the triangulation T r/ 7.. The Farey um rule 8.3. Weighted triangulation T r/ 8.4. Labeling the vertice of T r/ 9.5. Weighted Farey um.6. Weighted Farey graph.7. A comparion to the Gauian -binomial coefficient 3 3. Counting on graph Oriented graph aociated with a rational Cloure ubet A reformulation with uiver repreentation Proof of Theorem Matrice of continued fraction and their -deformation Matrice of convergent deformation of the matrice of convergent deformation of the generator 4.4. Local urgery operation 4.5. Solving the euation M (c,...,c n ) = ± l Id 4.6. Proof of Theorem 4.7. Proof of Theorem Key word and phrae. -rational, -continued fraction, continuant, polygon diection, Jone polynomial.

2 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO 4.8. The weight of two neighbour Proof of Propoition analogue of the continuant Euler continuant Introducing -deformed continuant Euler identitie for the -deformed continuant 7 6. Two example of infinite euence: -Fibonacci and -Pell number Seuence A79487 and it mirror A Quantization of the ratio of Fibonacci number A -deformation of the Pell number 9 7. Cloing remark and open uetion 3 Appendix A. Jone polynomial and -continued fraction 3 A.. Jone polynomial and -rational 3 A.. Jone polynomial and -continuant 3 A.3. Jone polynomial and counting on graph 33 A.4. Example 33 Appendix B. Ptolemy relation and -continued fraction 35 B.. Ptolemy weight 35 B.. Cluter variable and F-polynomial 37 Reference 39 Introduction Let be a formal parameter, recall the claical notion of -integer: [a] := a = a, where a i a non-negative integer. Surpriingly, a imilar notion in the cae of rational number i miing in the literature. A traightforward attempt to -deform a rational number r [r] would be [], or r, (which i eentially the ame formula modulo recaling). In thoe formula the numerator and denominator are -deformed eparately, a -integer. However, uch definition would not atify intereting combinatorial propertie. The goal of thi paper i to define a verion of -analogue of rational number, uing a combinatorial approach. In our approach the numerator and denominator affect each other -deformation. The -deformation of a rational r i a uotient of two polynomial: [ r ] = R() S(), where R and S both depend on r and. The implet example to illutrate thi i: [ ] 5 = [ ] 5, = where the uantized 5 in the numerator i different depending on the denominator. The notion of -rational we introduce ha a certain imilarity to that of the claical Gauian - binomial coefficient ( ) r, which i a polynomial depending on r and that -deform the uual binomial

3 Q-DEFORMATIONS 3 coefficient ( r ). Thi imilarity manifet in the comparion of the weighted Farey um rule and the - verion of Pacal triangle. However, the Farey graph i more complicated than the Pacal triangle, ince every rational ha infinitely many neighbor. The main propertie of the -rational we conider are the following. A -deformed rational atify a total poitivity property. For every rational r, both polynomial R and S in the numerator and denominator of [ ] r have poitive integer coefficient. Moreover, for two rational, r > r, the polynomial RS SR ha poitive integer coefficient (ee Theorem ). B There i an enumerative interpretation of the -rational (Theorem 4). Coefficient of the polynomial in the numerator and denominator count o-called cloure et of a certain graph. Thi i alo euivalent to counting ubrepreentation of the maximal indecompoable uiver repreentation. In addition, we obtain -analogue of everal claical notion and reult. (a) Theorem provide a relationhip between regular and negative continued fraction, generalizing the formula from [3, 4]. (b) The weighted Farey graph. Theorem 3 generalize the reult of[5] that relate continued fraction and hyperbolic geometry. (c) The -continued fraction and -rational are repreented by product of elementary matrice ( ) ( ) ( ) R :=, L :=. S :=, that are -deformed generator of PSL(, Z). (d) We obtain -analogue of the continuant (i.e., the determinant that give the numerator and denominator of a continued fraction in term of it coefficient), and prove the Ptolemy relation generalizing the Euler identity for the continuant (ee Propoition 5.5). To ummarize, the reult (a) (d) of the above lit give four euivalent way to define and calculate -rational. Thee four interpretation can be ued for different purpoe. We tet the notion of -rational on the example of two particularly imple infinite euence of rational: the ratio of conecutive Fibonacci and Pell number. Thee are conecutive convergent of the golden ratio and thoe of the ilver ratio. Our approach lead to certain verion of -Fibonacci and -Pell number. The Fibonacci cae turn out to be related to the well-known Seuence A79487 of OEIS (and it mirror A345), while the obtained verion of -Pell number eem to be new. Note that -analogue of the Fibonacci and Pell number i a wat ubject, and everal different verion of them are known, but do not appear in our context. The notion of -rational introduced in thi paper need only uite elementary contruction. However, thi notion aroe at the interface of two theorie, that of continued fraction and cluter algebra. Thee motivating relation are preented in two appendice in a brief form with no technical detail. In Appendix A, we relate the -rational to the Jone polynomial of rational knot. In Appendix B, we relate the -rational to the F-polynomial of a cluter algebra. Thi paper i the econd part of[] where we dicued combinatorial propertie of continued fraction. However, it can be read independently.

4 4 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO. Introducing -deformed rational and continued fraction In thi ection we define -deformation of finite continued fraction and formulate their firt baic propertie... The main definition. Given a rational number r Q, we alway aume r > and that r and are poitive coprime integer. It ha two different continued fraction expanion r = a + a a m = c c... c k with c i and a i, denoted by [a,...,a m ] and c,...,c k, repectively. They are uually called regular and negative (or minu- ) continued fraction, repectively. Conidering an even number of coefficient in the regular expanion and coefficicient greater than in the negative expanion make the expanion uniue. We define -deformation of the regular and negative continued fraction. We tart with an explicit formula; euivalent, but more combinatorial, definition will be given in Section and 3. Definition.. (a) Given a regular continued fraction [a,...,a m ], we define it -deformation by, (.) [a,...,a m ] := [a ] + [a ] + [a 3 ] + a a a3 [a 4 ] + a4... [a m ] + am [a m ] (b) Given a negative continued fraction c,...,c k, we define it -deformation by (.) c,...,c k := [c ] The following tatement will be proved in Section 4.6. c c [c ] [c k ] c k [c k ] Theorem. If a poitive continued fraction [a,...,a m ] and a negative continued fraction c,...,c k repreent the ame rational number, then their -deformation alo coincide: [a,...,a m ] = c,...,c k. In other word, the explicit formula (ee [3, 4]) for converion between the coefficient a and c remain unchanged in the -deformed cae. Thi formula will be recalled in Section.. Given a rational number r = [a,...,a m ] = c,...,c k, the rational function defined by (.) and (.) will be called the -deformation of r, or imply a -rational. We will ue the notation (.3) [ r ] =: R() S(),

5 Q-DEFORMATIONS 5 where R and S are polynomial in with integer coefficient. We alway aume that (after a poible implification) R and S are coprime in Z[], and that R() = r, S() =. Thi fixe the ign in a uniue way o that R and S are uniuely determined. Let u tart with imple example. Example.. (a) The cae = and = r are the only cae where [ r uotient of the -deformed integer tanding in the numerator and denominator: [ ] r = [r]. r [r ] (b) The firt non-trivial example are [ 5 = 3, ] = [,] = , [ 5 =,3 3] = [,,,] = , [ 7 = 3,, 3] = [,3] = , [ 7 4] =,4 = [,,,] = , [ 7 5] =,,3 = [,,,] = (c) The -rational with denominator [] are: [ m+ ] = m + m + m+ +. (d) The -rational with denominator [3] are: [ 3m+ 3 = ] m + m + m+ + m+ ++, [ 3m+ ] 3 = m + m + m+ + m+ ++. ] coincide with the We ee that the degree of the polynomial R and S are in general lower than thoe of [r] and []... Total poitivity. An important property of the polynomial R and S i the following property of poitivity. Propoition.3. For every -rational [ r ] = R() S(), the polynomial R and S have poitive integer coefficient. Thi property i not immediate from the expreion (.) nor from the expreion (.) (after implification minu ign may appear). We give an elementary proof below in.3. We will give a combinatorial interpretation of the coefficient; ee Section 3. Furthermore, Propoition.3 ha the following trengthened verion. Theorem. For every pair of -rational, [ r [r ] and, the polynomial in ] (.4) X r,r := RS SR ha poitive integer coefficient, provided r > r. Thi tatement i proved in Section 4.7. The following corollary can be deduced by evaluating the polynomial at =.

6 6 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO Corollary.4. Let r > r be two rational and let R S = [ r R and ] S = for ome integer α. RS SR = α if and only if r r =, The exact value of α i given in Propoition 4.. [ r. One ha ] Remark.5. (a) Theorem implie a natural ordering on the et of -rational. (b) Theorem i a manifetation of the general phenomenon of total poitivity. Recall that a N matrix i totally poitive if all n(n ) it minor are poitive. The uotient R() S() and R () S () naturally enter a N totally poitive matrix. (c) Theorem implie Propoition.3, when applied to r = r, or =..3. Baic propertie of the polynomial R and S. Let (c i ) i k be a euence of integer greater or eual to. Conider two euence (R i ) i and (S i ) i of polynomial in defined by the following recurion (.5) R i+ = [c i+ ] R i ci R i, S i+ = [c i+ ] S i ci S i, with the initial condition (R, R ) = (, [c ] ) and (S, S ) = (,). A a common fact on generalized continued fraction, one oberve that the above euence define the convergent of the continued fraction c,...,c k. More preciely, one ha for all i k. c,...,c i = R i() S i (), Propoition.6. For all i k, (i) the leading term of R i i c+...+ci i and the contant term i ; (ii) the leading term of S i i c+...+ci i+ and the contant term i ; (iii) R i and S i have poitive integer coefficient; (iv) R i and S i are coprime. Proof. (i) and (ii) are obtained by eay induction. Aume that R i and R i ci R i have poitive integer coefficient for ome fixed index i. From the recurion one get R i+ = [c i+ ] R i +(R i ci R i ), which implie that R i+ alo have poitive integer coefficient, and one get R i+ ci+ R i = [c i+ ] R i +(R i ci R i ), which implie that R i+ ci+ R i alo have poitive integer coefficient. (iii) follow then by induction. From the following determinant computation R i+ R i = ci R i R i ci S i S i = R i R i ci =... = c+...+ci i S i S i S i+ S i one deduce that the only poible common divior to R i and S i are power of. Since the polynomial have contant term they are not diviible by a power of. Hence (iv). In particular, for i = k one obtain that R k and S k are preciely the polynomial R and S of (.3), and one deduce the following.

7 Corollary.7. Let R() S() = [a,...,a m ] = c,...,c k. (i) The degree of the polynomial R and S in (.3) are Q-DEFORMATIONS 7 deg(r) = c +...+c k k = a +...+a m, deg(s) = c +...+c k k + = a +...+a m. (ii) The coefficient of the leading term of R and S are eual to. (iii) The contant term of R and S are eual to, o that R() = S() =..4. The pecial value =. The value = i pecial. In thi cae we have the following. Propoition.8. (i) For every rational r, the correponding polynomial R and S evaluated at = can take only three value:,, or. (ii) R( ) = if and only if r i even. (iii) S( ) = if and only if i even. We will prove thi tatement in Section 4.9. A corollary of Propoition.8 Part (ii) i that, for even r, the polynomial R() i a multiple of (+), and imilarly for Q().. Weighted triangulation and -deformed continued fraction The goal of thi ection i to give an alternative, recurrent, way to define -deformation of continued fraction. We contruct a combinatorial model for calculating the -continued fraction baed on a imple triangulation of an n-gon. The main difference comparing with the claical continued fraction i that the edge of the correponding triangulation are weighted. We how that the weight aociated to -deformed continued fraction can be read directly in the Farey graph... Continued fraction and the triangulation T r/. We briefly recall a relationhip between continued fraction and triangulation of n-gon (for more detail; ee []). Conider the following wrinkled triangulation of an n-gon with exactly two exterior triangle: a c c c 3 c k c k+ c c n c n c k+ a a 3 Every uch triangulation define, and i defined by, two euence of poitive integer: (a,...,a m ) and (c,...,c n ). The integer a i count the number of conecutive eually poitioned triangle (i.e., the triangle bae-down, or bae-up ) while the integer c i count the number of triangle incident at the vertex i. Let k be the number of vertice between the exterior vertice. The following tatement i a reformulation of a formula from [3, 4]. The regular and negative continued fraction defined by the euence (a,...,a m ) and (c,...,c k ) coming from a triangulation, are eual to each other: a 4 [a,...,a m ] = c,...,c k. Euivalently, the explicit formula of converion for the coefficient of regular and negative continued fraction i: (.) (c,...,c k ) = ( ) a +,,...,, a }{{} 3 +,,...,,...,a }{{} m +,,...,. }{{} a a 4 a m

8 8 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO Notation. The contructedtriangulationwill be denoted by T r/, where r i the rationalnumber defined by the above continued fraction, i.e., r := [a,...,a m ] = c,...,c k. Remark.. Note that the number n i related with the coefficient of the continued fraction by n = a +a + +a m + = c +c + +c k k The Farey um rule. The triangulation T r/ encode the full euence of convergent of the continued fraction via the following Farey um rule: (.) r r r +r := +. We label the vertice of the n-gon by rational tarting from and thi labeling by the rule (.). at vertice and, and extending r r+r + r r r r+r + The following tatement i euivalent to a theorem of C. Serie; ee [5], and it wa firt formulated in the context of hyperbolic geometry and a Farey teellation: the vertex k+ of the triangulation T r/ ha the label r. Example.. The rational 5, 5 3, 7 5 correpond to the following triangulation Weighted triangulation T r/. Given a rational r and the correponding triangulation T r/, we define the weighted triangulation T r/. Both, the vertice and the edge of T r/ are aigned a weigh. The edge of the triangulation are aigned a weight, which i a power of, while the vertice are labeled with -rational. Definition.3. The edge are aigned weight according to the following rule. (a) The edge at the vertex with number have the following weight: c c

9 Q-DEFORMATIONS 9 (b) Theedge atan upper vertexwith number i havethe weightdefined accordingto the following rule: c i c i i i i+ c i (c) All the edge between the bottom vertice have weight. Remark.4. (a) The ide of the initial triangle (,, ) have weight, and. Note that the ide ofweight i not ued in the computationofthe continuedfraction. The weight will become clear in Section.6. (b) It follow from Definition.3 that the edge at a bottom vertex have the following weight: l In particular, at mot one edge at a bottom vertex i of weight different from. (c) Side of every triangle have the weight (, l, l ): for ome l. l l Example.5. The weighted triangulation T 5/,T 5/3,T 7/5 (ee Example.) are a follow.4. Labeling the vertice of T r/. We will alo need to label the vertice of the weighted triangulation T r/. [ ] r Definition.6. Let u label by the -rational the vertexoft r r/, that correpondto the rational in T r/.

10 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO The weight of T r/ then encode algebraic relation between the fraction attached to the vertice. More preciely, we have the following tatement. Theorem 3. Every triangle of T r/ i of the form (.3) R S l R S. l R + l R S + l S Proof. We uppoe that R S = [ r ] and R S repectively. Cae. The local picture i a follow: = [ r ] are attached to the vertice j > k and i k c i c i i i i+ l l l j + j j We want to how that the fraction R S attached to the vertex j i given by R + l R S + l S. Recall that the coefficient of the negative continued fraction are given by the number of triangle incident to the vertice (ee.). In particular, for the fraction R S or R S the coefficient are given by removing all the vertice and triangle between i and j or i and j repectively. More preciely one get R S = c,...,c i, R S = c,...,c i,l, R S = c,...,c i,l+. The deired relation between the numerator and between the denominator are then deduced from the recurrence relation (.5). Cae. The local picture i a follow: c h c c i i+ j Note that if h = i one ha l = c = c i >, otherwie l =. We want to how that the fraction R S attached to the vertex i+ i given by R + l R S + l S. We proceed by induction on i h. If h = i one ha R S = c,...,c i, R S = c,...,c i, R S = c,...,c i,. Uing the recurrence relation (.5), one eaily obtain the deired relation. If we aumed etablihed that the fraction R(4) attached to the vertex i atifie R S (4) S = R +R (4), S +S (4) then again one eaily deduce the deired relation uing the coefficient of the expanion and the recurrence relation.

11 Q-DEFORMATIONS.5. Weighted Farey um. We generalize the Farey um (.) in the cae of weighted triangulation, uing the formula that ha already appeared in Theorem 3. Definition.7. In the triangle (.3), we call the fraction: (.4) R R S S := R + l R S + l S, the weighted Farey um of R S and R S. Theorem 3 then affirm that every -rational number [ r can be computed recurively from the triangulation T r/, applying the weighted Farey um rule. Propoition.3 and Corollary.4 can be alo obtained a coneuence of Theorem 3. Example.8. The -rationalin T 5/,T 5/3,T 7/5 can be obtained recurively. One obtain the following. ] ++ + The -rational [ ] 7 5 correpond to Weighted Farey graph. The claical Farey graph i the infinite graph with the et of vertice eual to the et of rational completed by the infinity Q { }, the infinity being repreented by. Two vertice, r r and, are connected if and only if r r = ±. The Farey graph form an infinite triangulation of the hyperbolic plane, called the Farey teellation. Every continued fraction can be undertood a a walk along the edge of the Farey graph. For the baic propertie of the Farey graph and it relation to continued fraction; ee []. We aign a weight to every edge of the Farey graph, and then label it vertice by the -rational number (intead of rational number). Definition.9. (a) The ide of the initial triangle (,, ) are weighted a follow (b) The ide of every other triangle of the Farey graph are labeled according to the following rule.

12 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO l l Clearly, the rule (a) and (b) uniuely determine the weight of all edge of the Farey graph. Indeed, every edge i adjacent to two triangle in the Farey teellation, and any two edge are related by a finite euence of triangle. We will eentially be intereted in the interval [, ) of the Farey graph. Definition.9 clarifie the weight in Definition.3. Indeed, the triangulation T r/ can be embedded into the Farey graph (cf. []), o that it weight are obtained a the pull-back of the weight on the Farey graph. Therefore vertice are labeled according to the weighted Farey um rule: l l R S R+ l R S+ l S R S Moreover, from the embedding of T r/ one deduce that l i the lat coefficient in the negative expanion of R S := R+l R S+ l S, i.e. if R S = c,...,c i then l = c i. The top part of the weighted Farey graph i repreented in Figure Figure. Upper part of the weighted Farey graph between and

13 Q-DEFORMATIONS 3.7. A comparion to the Gauian -binomial coefficient. There i a certain analogy between the -continued fraction and Gauian -binomial coefficient. Indeed, the -binomial ( ) r atify the relation ( ) ( ) ( ) r r r = +, and can be calculated recurrently uing the weighted Pacal triangle that tart like thi: ( ) ( 4 ) ( 3 ) ( ) ( 4 ) ( ) ( 3 ) ( ) ( ) ( 4 ) ( ) ( 3 ) ( 3 3) 3 ( 4 3) with the firt cae ( ) 4 = where a -binomial i not eual to a -integer. The main difference between -rational and -binomial i that, unlike the Pacal triangle, every vertex of the Farey graph i related with infinitely many other vertice. Let u mention that -binomial coefficient do not occur a numerator (or denominator) of -rational, except for the thoe -binomial that are eual to -integer. Neverthele, there are many reemblance between the polynomial, for intance, ( 5 3 ) = and [ 8 3 ] ( 4 4) = Counting on graph InthiectionweprovideacombinatorialinterpretationofthepolynomialRandQofa-rational [ ] r. Given a rational r, we conider an oriented graph of type A which i (projectively) dual to the triangulation T r/. We how that the coefficient of the polynomial R() and Q() count ome pecial ubet of vertice of the graph called the cloure. Euivalently, thi can be reformulated a counting of ubrepreentation of the maximal uiver repreentation of the aociated oriented graph. 3.. Oriented graph aociated with a rational. Given a rational r = [a,...,a m ], conider the imple graph A n 3, where n = a + +a m +, with n 3 vertice written in a row and connected by n ingle edge: Thi graph i of coure known a the Dynkin diagram of type A n 3. Definition 3.. Let u chooe the orientation of the edge according to the following rule: - firt a edge oriented left - next a edge oriented right - next a 3 edge oriented left, etc. - lat a m edge oriented right:

14 4 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO a We denote by G r/ the contructed oriented graph. a a 3 a m Example 3.. (a) The rational 5, 5 3 and 7 5 correpond to the graph repectively. (b) The rational 5 = [,3,,] ha the graph We will alo conider a horter graph obtained from G r/ by removing the firt a arrow. It ha the form: a and will be denoted by G r/. a 3 a m Remark 3.3. The graph G r/ i jut the tandard graph that i uually aociated to a triangulation. In our cae, the triangulation T r/ i particularly imple, o that the correponding graph i of type A. Note that G r/ may be thought of a projectively dual to the triangulation T r/ in the following ene. Vertice of G r/ are identified with diagonal of T r/, and it edge are identified with the vertice of T r/ where the diagonal cro: The projectively dual graph aociated with a (more general) triangulation of an n-gon i contructed a follow. Mark a puncture at every diagonal of the triangulation, and join by an edge thoe puncture whoe diagonal hare a vertex of the n-gon. Fix the orientation of every edge of the graph in uch a way that the orientation of the triangle defined by the edge and the correponding vertex of the n-gon be poitive. Thi lead to an oriented graph with n 3 vertice which i not necearily bipartite and can contain cycle. For example, the graph projectively dual to the following triangulated decagon contain a 3-cycle. Thi i due to the interior triangle (yet the graph i mutation euivalent to A 7 in the ene of cluter algebra mutation). In projective duality traight line become point, and the point of interection of line become line joining them.

15 Q-DEFORMATIONS Cloure ubet. Let u recall a tandard notion of graph theory. Definition 3.4. Given an oriented graph G, a et of vertice C G i called a cloure if there are no outgoing edge from the element of C to vertice in the complement G \C. A cloure with l element will be called an l-vertex cloure. A ingle vertex form a -vertex cloure if and only if it i a ink of G. More generally, an l-vertex cloure can be thought of a a generalized ink. Note that there can be edge between the vertice that belong to the cloure. The following tatement i our main combinatorial reult. Theorem 4. Let r = [a,...,a m ] and R() S() = [ r, then (i) the numerator i a polynomial R() = +ρ +ρ + +ρ n 4 n 4 + n 3, uch that ] ρ i = #{i-vertex cloure of the graph G r/ }, for all i; (i) the denominator i a polynomial S() = +σ +σ + +σ n a 4 n a 4 + n a 3 uch that for all i. Theorem 4 will be proved in Section 3.4. Let u give ome example. σ i = #{i-vertex cloure of the graph G r/ }, Example 3.5. (a) Continuing Example 3., the graph G 5/ ha: one -cloure two -cloure one -cloure one 3-cloure where the vertice forming a cloure are colored black. The correponding polynomial i , the numerator of [ ] 5. (b) Similarly, the graph G 5/3 ha: one -cloure one -cloure two -cloure one 3-cloure The correponding polynomial i , the numerator of [ ] 5 3. (c) The graph G 5/ (in which, for convenience, we number the vertice) i a follow It obviouly ha one -cloure, one 7-cloure, and three -cloure (three ink,, 5 and 7). It furthermore ha: - four -cloure, namely the double ink (,5),(,7),(5,7) and (4,5); - five 3-cloure (,5,7),(,4,5),(3,4,5),(4,5,7),(5,6,7); - five 4-cloure (,3,4,5),(,4,5,6),(,5,6,7),(3,4,5,7) and (4,5,6,7); - four 5-cloure obtained by removing one of the pair of point: (,),(,3),(,6), or (6,7); - two 6-cloure, obtained by removing one of the two ource or 6. The polynomial R in the numerator of [ ] 5 i indeed, R() =

16 6 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO (d) The graph G 5/ i a follow It ha: one -cloure; - two -cloure (the two ink, 3 and 5); - two -cloure, namely the double ink (3,5) and (,3); - three 3-cloure (,,3),(3,4,5),(,3,5); - two 4-cloure (,3,4,5),(,,3,5); - one 5-cloure. On can compute the polynomial S correponding to [ 5 ] and check that indeed, S() = Remark 3.6. (a) A a corollary of Theorem 4, we ee that the total number of cloure ubet of the graph G r/ and G r/ i eual to r and, repectively. Thi obervation provide an intereting combinatorial way to calculate the numerator and denominator of a (claical) continued fraction. (b) It would be intereting to invetigate counting of cloure ubet of vertice and the correponding polynomial for more general graph than G r/. For intance, applied to the cae of the graph projectively dual to a triangulation (ee Remark 3.3) thi approach could lead to a verion of uantized Gramannian G,n A reformulation with uiver repreentation. An euivalent reformulation of Theorem 4 ue the notion of uiver repreentation (a uiver being another word for an oriented graph). Let u recall a few tandard definition and fact. We refer to [9] for the general theory of uiver repreentation. A repreentation of a uiver aociate a vector pace to each vertex, and a linear map to each edge. A repreentation i indecompoable if it i not iomorphic to the direct um of non-zero repreentation. According to a theorem of Gabriel, indecompoable repreentation of a uiver of finite (i.e., of Dynkin) type correpond to the poitive root of the root ytem of the Dynkin diagram. The graph G r/ i a uiver of Dynkin type A, it ha one indecompoable repreentation of maximal dimenion, where every vector pace i one-dimenional and every linear map i the identity map: C Id C C Id C Id C C Id C C Id C C Id C A ubrepreentation of thi repreentation replace ome of the pace C by {} in uch a way that the identity map remain conitent. Propoition 3.7. There i a one-to-one correpondence between ubrepreentation of the above maximal repreentation and cloure ubet. Thi tatement i obviou from the definition. Indeed, in thi correpondence every vertex of a cloure ubet i aigned with C, and the vertice that do not belong to the cloure with {}. A a coneuence, we have the following. Corollary 3.8. The coefficient of the polynomial R and S correponding to a -rational [ r count ubrepreentation of the indecompoable repreentation of maximal dimenion of G r/ and G r/, repectively. Thi reformulation of Theorem 4 i perhap more conceptual and ha more chance to be generalized within the framework of uiver repreentation. ]

17 Q-DEFORMATIONS Proof of Theorem 4. We ue the induction on n = a + +a m +. The bai n = 4 i obviou: the graph G / conit in one point and ha one empty and one -vertex cloure, that correpond to the polynomial R() = +, while the graph G / i empty and correpond to the polynomial S() =. Let u prove the induction tep. Conider a rational r = [a,...,a m ]. Cae A. Aume that a m 3, then the triangulation T r/ end with (at leat) three bae-up triangle, and the correponding graph G r/ ha (at leat) two lat edge oriented to the right. By Definition.7, one ha R S (3.) R = R +R. Conider the rational r = [a,...,a m,a m ] whoe triangulation T r / (rep. graph G r / ) i obtained by removing one right triangle (rep. one right edge). In the cae of the rational r = [a,...,a m,], the triangulation T r / i obtained by removing a m bae-up triangle in the right and reverion of the lat bae-down triangle in the erie of a m bae-down triangle. The graph G r / i obtained by removing the lat a m vertice. The three graph can be drawn in the ame picture. a a R S R S G r / a m Let u compare the cloure ubet of G r/,g r / and G r /. Lemma 3.9. One ha: (3.) ρ l+ = ρ l +ρ l+, G r / G r/ a m where ρ l+,ρ l and r l+ are the number of (l+)-vertex cloure of G r/, of l-vertex cloure of G r /, and (l+)-vertex cloure of G r /, repectively. Proof. Every l-vertex cloure of G r / correpond to an (l+)-vertex cloure of G r/ by adding the lat right vertex of G r/ (which i a ink). Furthermore, every l-vertex cloure of G r / correpond to an l-vertex cloure of G r/, that contain no vertex from the right a m vertice. Hence the lemma. By the induction aumption, the coefficient of the polynomial R () and R () count the cloure ubet of the graph G r / and G r /, repectively. Comparing formula (3.) and (3.), we conclude that the imilar property alo hold for R(). The argument in the cae of the polynomial S() are imilar. Theorem 4 i proved under the aumption a m 3.

18 8 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO Cae B. Aume that a m =, then the triangulation T r/ and the graph G r/ end a follow R S R S The proof i imilar in thi cae and i again baed on (3.) and (3.). Cae C. Aume that a m =, then the triangulation T r/ and the graph G r/ end a follow o that R S R S R() = am + R ()+R. am + R S R S The graph G r / i obtained from G r/ by removing a m + lat vertice. Therefore, every l-vertex cloure of G r / correpond to (l+a m +)-vertex cloure of G r/ by adding thee vertice back. On the other hand, an l-vertex cloure of G r / correpond to an l-vertex cloure of G r/ that doe not contain the lat vertex. We obtain, imilarly to Lemma 3., Theorem 4 i proved. ρ l = ρ l a m +ρ l. 4. Matrice of continued fraction and their -deformation It i convenient to repreent continued fraction via unimodular matrice with integer coefficient. In thi ection, we develop a imilar techniue in the -deformed cae. Thi in particular allow u to prove Theorem, and everal other technical tatement. 4.. Matrice of convergent. We briefly recall the way to repreent claical continued fraction by matrice. Given a rational r and it continued fraction expanion r = [a,...,a m ] = c,...,c k, conider the matrice ( )( ) ( ) a a am M + (a,...,a m ) :=, ( )( ) ( ) c c ck M(c,...,c k ) :=. They are well-known a the matrice of convergent of the continued fraction for the following reaon. One eaily obtain: ( ) ( ) r r M + m r rk (a,...,a m ) =, M(c,...,c k ) =, m k where r m m = [a,...,a m ], and r k k = c,...,c k.

19 Q-DEFORMATIONS 9 In term of the elementary matrice ( ) ( R =, L = ) (, S = ), (note that (R,S), or (L,S) i the tandard choice of generator of the group SL(,Z)) the above matrice are expreed a follow: M + (a,...,a m ) = R a L a R a3 L a4 R am L am, M(c,...,c k ) = R c SR c S R c k S. Remark 4.. Interet in the matrice M + (a,...,a m ) and M(c,...,c k ) exceed the context of continued fraction; ee, e.g., [7, 5, 3, 3, ]. Indeed, they appear in the theory of linear difference euation, a the monodromy matrice. They play important role in the theory of dicrete integrable ytem deformation of the matrice of convergent. We define -deformation of the matrice of convergent M + (a,...,a m ) and M(c,...,c n ). Definition 4.. (i) The matrix ( )( ) ( ) [c ] c [c ] c [ck ] c k (4.) M (c,...,c k ) = i the -analogue of the matrix M(c,...,c k ). (ii) The matrix ( )( ) ( )( ) [a (4.) M + (a ] a [a ] a [am ] am [am ] am,...,a m ) = i the -analogue of the matrix M + (a,a,...,a m ). Note that the entrie of the matrix M + (a,a,...,a m ) are polynomial in ±. We alo define the following normalized matrix in order to get entrie that are polynomial in : M + (a,...,a m ) := a+a4+...+am M + (a,...,a m ). The above definition i jutified by the fact that the defined matrice are the matrice of convergent of the -deformed continued fraction (.) and (.), repectively. Propoition 4.3. (i) One ha ( ) R c k R k M (c,...,c k ) =, S ck S k where R() S() = c,...,c k, R k () S k () = c,...,c k. (ii) One ha M + (a,...,a m ) = where R() S() = [a,...,a m ], R m () S m () = [a,...,a m ]. ( ) R R m S S m Proof. Thi tatement i an immediate coneuence of the linear recurrence relation for the convergent; cf. Section.3.

20 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO deformation of the generator. Let u introduce -analogue of the matrice R, L and S. Definition 4.4. The-analogueofthe matricer,lands arethe followingelement ofgl(,z[, ]) ( ) ( ) ( ) R :=, L :=, S :=. Propoition 4.5. One ha (4.3) M + (a,...,a m ) = R a La Ram L am, (4.4) M (c,...,c k ) = R c S R c S R c k S. Proof. One eaily get the following expreion for the iterate of R and L : ( ) ( ) a R a [a] :=, L a :=. [a] By direct computation one check ( ) ( )( ) a i +[a i ] [a i+ ] R ai ai+ [a i ] [ai ] ai [ai+ ] ai+ Lai+ = =. [a i+ ] ai+ Hence the formula for M + (a,...,a m ). Similarly, one eaily check Hence the formula for M (c,...,c k ). R ci S = ( ) [ci ] ci. a 4.4. Local urgery operation. We decribe two ueful local urgery operation. Thee are - analogue of the operation ued in [3, ]. The firt operation inert into the euence (c,c,...,c n ), increaing the two neighboring entrie by ; the econd operation break one entry, c i, replacing it by c i,c i Z > uch that c i +c i = c i +, and inert two conecutive between them. Lemma 4.6. The matrix M (c,...,c n ) ha the following identitie: (4.5) (4.6) where c i +c i = c i +. M (c,...,c i +,, c i+ +,...,c n ) = M (c,...,c i,c i+,...,c n ), M (c,...,c i,,, c i,...,c n) = M (c,...,c i,...,c n ), Proof. Formula (4.5) follow from the following imple computation: ( )( )( ) ( )( ) [c+] c [d+] d [c] c [d] d =. To prove (4.6), conider the product of matrice ( )( )( ) ( ) [c +] c [c +] c c [c +] c [c +] c +c = and oberve that c [c +] c [c +] = [c +c +].

21 Q-DEFORMATIONS Remark 4.7. The operation (4.6) and the correponding computation i a variation on the following analogue of the um of -integer : ometime ued in the -differential calculu. [a] + [b] := [a] + a [b] = b [a] +[b] = [a+b], 4.5. Solving the euation M (c,...,c n ) = ± l Id. The theorem of Conway and Coxeter [7] and it generalization [3] claify poitive integer olution of the euation M(c,...,c n ) = ±Id. They are formulated in term of diection of a convex n-gon. We give a -analogue of thee theorem. We believe that Lemma 4.6 may have an independent interet. Here we ue it in order to olve the euation M (c,...,c n ) = ± l Id, where c i are poitive integer. Conider a convex n-gon and it diection by non-croing diagonal. A cla of diection, uch that the number of vertice of every ub-polygon i a multiple of 3 wa conidered in [3] and called 3ddiection. Following [7], call a uiddity of a diection the euence of poitive integer, (c,...,c n ), uch that every c i i the number of ub-polygon incident with the i-th vertex. Corollary 4.8. Let (c,...,c n ) be a euence of poitive integer. (i) If (c,...,c n ) i the uiddity euence of a triangulated n-gon then M (c,...,c n ) = n 3 Id. (ii) The euality M (c,...,c n ) = ± n 3 Id hold if and only if (c,...,c n ) i the uiddity euence of a 3d-diected n-gon. TheproofofthitatementiimilartotheproofofTheoremof[3], uingtherelationoflemma Proof of Theorem. Our proof of Theorem i a direct computation with the matrice of convergent. Propoition 4.9. If r = [a,...,a m ] = c,...,c k, then the -deformed matrice of the continued fraction atify M + (a,...,a m ) = M (c,...,c k )R. Proof. Suppoe that r = [a,...,a m ] = c,...,c k and ue the converion formula (.). One ha ( ) M (c,...,c k )R = M a +,,...,, a }{{} 3 +,,...,,...,a }{{} m +,,..., }{{} a a 4 a m Thi can be rewritten uing Propoition 4.5 and changing the parenthee a M (c,...,c k )R = R a+ ( ) S R a S R a 3+ ( ) S R S a4 R a m + ( ) S R am S R = R a (R S R ) a R a3 (R S R ) a4 R am (R S R ) am. One then check by a direct computation that and therefore (R S R ) a = a L a. Thi yield R S R = L, M (c,...,c k )R = a+a4+...+am R a L a R a3 L a4 = a+a4+...+am M + (a,...,a m ) R am L am Propoition 4.9 i proved. = M + (a,...,a m ). Theorem readily follow from Propoition 4.9 and Propoition 4.3.

22 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO 4.7. Proof of Theorem. We now prove Theorem by etabihing an explicit formula for the polynomial X r = RS SR,,r up to a power of. Denote by T r the complete ubgraphofthe weighted Fareygraphwhich i the union of,r Tr and T r. The graph T r i a triangulated N-gon containing both fraction, r,r and r. Figure below give an example for r = 7 5, r = Figure. The triangulation T 7 i a decagon with the uiddity euence 5,8 3 (c,...,c ) = (3,3,,,4,3,,,4,), the polynomial X7 i given up to a power of 5,8 3 by the numerator of,4,3. The vertice of the N-gon are numbered in decreaing order (the firt vertex i and Nth vertex i ). Let k and l be the number of the vertice correponding to the fraction R S and R S, repectively. We aume that l > k + (if l = k + the fraction are linked in the Farey graph and thi cae i covered eparetely with Corollary.4 and Propoition 4. below). Let (c,...,c N ) be the uiddity of T r, i.e., c i i the number of triangle incident with the i-th,r vertex. By definition of T r, one ha,r c k = c l = c N =, and c i for i k,l,n. Denote by R k,l the numerator of the -rational defined a: R k,l S k,l := c k+,...,c l. The main ingredient of our proof i the following. Lemma 4.. There exit an integer c uch that X r,r = c R k,l. Proof. BycontructionofT r,r, oneha R S = c,...,c k and R S = c,...,c k, where(c,...,c k )ia euence that canbe obtainedfrom (c,...,c l ) by applyingaeuenceoflocalurgeryoperation(4.5).

23 Q-DEFORMATIONS 3 Thi correpond to removing one after the other exterior triangle in T r in order to obtain the,r triangulation T r. We now ue -matrix computation. (When an entry in the matrix i not relevant for the computation we replace it by a tar ymbol.) By Propoition 4.3 and formula (4.5), one ha ( ) R = M (c,...,c k ) S and ( ) R = M (c S,...,c k ) = c M (c,...,c k,,c k+,...,c l ), where c i the number of local tranformation applied on the euence (c,...,c l ) (i.e. the number of triangle removed from T r to obtain T,r r ). Thu, one ha ( ) ( )( ) R R = c M (c k+,...,c l ). S S Now, in the above matrix euation multiplying on the left by (( )( )) ( ) ( ) R R S R = = c, S S where c i the determinant of M (c,...,c k ), give ( ) Xr,r = c M (c k+,...,c l ). Hence the reult, according to Propoition 4.3. By Propoition.3, R k,l i a polynomial with poitive coefficient. Lemma 4. then implie that X r,r i a polynomial with poitive integer coefficient. Theorem i proved The weight of two neighbour. The exact value for the power of in the cae where the fraction are connected by an edge in the Farey graph (i.e., the value of α in Corollary.4) can be computed explicitly uing the coefficient of the expanion of the continued fraction and i given in the following propoition. Propoition 4.. Let R R S and S be two -rational, correponding to the rational r = c,...,c k and r = c,...,c k, repectively. If r r and are linked in the Farey graph, and r < r, then { c +...+c k k, if r > r, RS SR = c +...+c k k +, if r > r. Proof. Let the fraction r r and be linked in the Farey graph. In the cae where r > r, the edge between the two fraction form a left ide of a triangle, and the two fraction belong to T r/. In the weighted Farey graph T r/ the local picture i:

24 4 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO c k c k R S R S R S One ha by Propoition 4.3 ( ) R c k R M (c,...,c k ) =. S ck S Taking the determinant of the above matrice, one obtain detm (c,...,c k ) = c k (R S RS ) = c+ +c k k. On the other hand, according to the weighted Farey um (.4), one ha So that we deduce R = R c k R and S = S c k S. RS R S = c+ +c k k. In the cae where r > r, the edge between the two fraction form a right ide of a triangle, and the two fraction belong to T r. The local picture i: c k c k R R S S R S Computing the determinant of the matrix ( R M (c,...,c k ) = c S k R c k S ), one get RS R S = c + +c k (k ). Hence the reult Proof of Propoition.8. In the pecial cae where =, the matrice R,L and S are a follow ( ) ( ) ( ) R =, L =. S :=. Therefore, R = L = S = Id and (R S ) 3 = Id. Formula (4.4) then implie that the matrix M (c,...,c k ) i eual to either one of the matrice Id, R, S, R S, (R S ). Eachoftheematricehacoefficient,,or. ByPropoition4.3, thenumeratorr( )ofa-rational eual the upper left coefficient of M (c,...,c k ). Hence Propoition.8, Part (i).

25 Q-DEFORMATIONS 5 To provepart(ii) we proceed by induction on the depth of the Farey graph. Every-rational R S = [ ] r i obtained a the weighted Farey um: R S = R R S S. In particular, R = R + l R. Let r,r be the nmerator of the correponding rational. By induction aumption, we have: (a) R ( ) = ± and R ( ) = ± if and only if r and r are odd. (b) R ( ) = and R ( ) = if and only if r and r are even. The integer r i even if and only if r,r are either both odd, or both even. In view of Part (i), thi implie that R( ) = if and only if r i even. And imilarly for S. Propoition.8 i proved. 5. -analogue of the continuant Continued fraction are related to the polynomial called the continuant. Thee polynomial expre the numerator and denominator of a continued fraction r = [a,...,a m ] = c,...,c k in term of the coefficient a i and c i. They are calculated a determinant of certain tridiagonal matrice. In thi ection we decribe the -continuant that provide imilar formula for calculating the numerator and denominator of a -continued fraction. We prove a -analogue of the Euler identity for the continuant. 5.. Euler continuant. Conider the tridiagonal determinant c c K k (c,...,c k ) := det c k c k where the empty pace of the matrix i filled by zero entrie, and a a K m + (a,...,a m ) := det a m. a m One then ha: { r = K + m (a,...,a m ) = K k (c,...,c k ), = K + m (a,...,a m ) = K k (c,...,c k ). The polynomial K k (c,...,c k ) and K + m (a,...,a m ) are uually called the continuant. They were tudied by Euler who proved a erie of identitie involving them. The identitie found by Euler are a follow K k i (c i+,...,c k )K l j (c j+,...,c l ) = K j i (c i+,...,c j )K l k (c k+,...,c l ) + K i l (c i+,...,c l )K k j (c j+,...,c k ).

26 6 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO provided i < j < k < l n. Remark 5.. The above identity can alo be called the Euler-Ptolemy-Plücker relation ince it i a particular cae of a general cla of relation unified by the Plücker relation for the coordinate of the Gramannian Gr,N (for more detail; ee [] and reference therein). 5.. Introducing -deformed continuant. We call -continuant the following determinant [c ] c [c ] c (5.) K k (c,...,c k ) := , [c k ] c k [c k ] and [a ] a [a ] a [a 3 ] a3 (5.) K m + (a,...,a m ) := [a 4 ] a4, [a m ] am [a m ] where c i and a i are poitive integer. We will need to conider alo the continuant K + over an odd number of variable. We denote [a ] a [a 3 ] a3 K m + (a [a 4 ] a4,...,a m ) := [a m ] am [a m ] One eaily get by induction the following realtion between the -continuant and the matrice of convergent M and M +. Propoition 5.. (i) Let (c,...,c k ) be poitive integer. One ha ( Kk (c,...,c k ) ck ) K k (c,...,c k ) M (c,...,c k ) = K k (c,...,c k ) ck K k (c,...,c k ). (ii) Let (a,...,a m ) be poitive integer. One ha ( K + M + m (a,...,a m ) am K m + (a ),...,a m ) (a,...,a m ) =. K m + (a,...,a m ) am K m + (a,...,a m )

27 Q-DEFORMATIONS 7 Combining the above propoition with Propoition 4.9, one get the following formula for the numerator and denominator of -rational. Propoition 5.3. If [ r ] = [a,...,a m ] = c,...,c k = R() S(), then R() = K k (c,...,c k ) = a+a4+...+am K + m (a,...,a m ), S() = K k (c,...,c k ) = a+a4+...+am K + m (a,...,a m ). (Note that k = a +a a m.) Remark 5.4. (i) Computing M (c,...,c k ) one eaily obtain the mirror formula : K k (c,...,c k ) = c+...+c k k K k (c k,...,c ). (ii) By Corollary 4.8, if (c,...,c n ) i the uiddity euence of a triangulated n-gon one ha K k (c,...,c k ) = K n k (c k+,...,c n ) Euler identitie for the -deformed continuant. We give an analogue of Euler identity for the -continuant. Fix a euence of integer (c i ) i n and denote by K i,j the continuant of order j i generated by the egment between c i+ and c j : with the convention K i,i = and K i,i+ =. K i,j := K j i (c i+,...,c j ), Propoition 5.5. The euence (K i,j ) i j n atifie the relation: (5.3) K i,k K j,l = cj+...+c k (k j) K i,j K k,l + K j,k K i,l provided i < j < k < l n. Proof. We conider a n matrix whoe firt row i given by (R i ) i n and econd row by (S i ) i n where R i := K i (c,...,c i ), S i := K i (c,...,c i ). The -minor of thi matrix i,j := R i S j R j S i, atify the Plücker-Ptolemy relation (5.4) i,k j,l = i,j k,l + j,k i,l provided < i < j < k < l n. We now expre thee minor in term of -continuant to obtain the deired indentity. We ue -matrix computation. When an entry in the matrix i not relevant for the computation we replace it by a tar ymbol. By Propoition 4.3 one ha ( ) Rj = M (c,...,c j ) = M (c,...,c i )M (c i,...,c j ). S j We multiply the above matrix euation on the left by ( ) ( ) Ri M (c i,...,c i ) = = (c+...+ci (i )) S i R i S i and obtain, according to Propoition 5. ( ) ( ) = c+...+ci (i ) M (c i,...,c j ) = c+...+ci (i ) i,j Rewriting (5.4) uing i,j = c+...+ci (i ) K i,j give (5.3). K i,j

28 8 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO 6. Two example of infinite euence: -Fibonacci and -Pell number In thi ection we conider -analogue of two example of infinite euence of rational. A The euence of convergent of the implet infinite continued fraction repreenting the golden ratio + 5 = [,,,,...]. More preciely, we have rn n = Fn+ F n, where F n i the n th Fibonacci number. B The euence of convergent of the continued fraction + = [,,,,...] called the ilver ratio. Thee are the ratio of conecutive Pell number: n r n = Pn+ P n (recall that the euence (P n ) n = (,,,5,,9,7,69,48,...) i A9 of OEIS). We calculate the -deformation of thee two euence, according to our Definition., and thi lead to -deformation of Fibonacci and Pell number. It turn out that the -deformation of the Fibonacci number tanding in the denominator i the well-known Seuence A79487, while the -deformation of the Fibonacci number in the numerator i the mirror Seuence A345 of OEIS. Surpriingly, the -deformation of the Pell number appear to be a new verion. Let u mention that -deformation of Fibonacci and Pell number i an active ubject related to everal branche of combinatoric and number theory (ee, e.g., [6,,, 4] and reference therein). 6.. Seuence A79487 and it mirror A345. Conider the infinite triangle of poitive integer (f i,j ) i,j, with the initial condition f, = f 3, = f 3, = and the convention f i,j =, for j <, and defined by the recurrence relation (6.) f i+,j = f i,j +f i,j, f i+,j = f i+,j +f i,j, for i. Seuence A79487 i known under the name of the econd kind of Whitney number of Fibonacci lattice. The um of the number in i th row i eual to the Fibonacci number F i+. Seuence A345 ) i the mirror of A79487, i.e., thi i the triangle A79487 with revered row. Uing the notation ( fi,j, the recurrence for A345 i the ame a of (6.) with the parity exchanged: i,j (6.) f i+,j = f i+,j + f i,j, f i+,j = f i,j + f i,j, for i. The triangle A79487 and A345 tart a follow Conider the polynomial (6.3) F n+ () := i n f n,i i and Fn+ () := i n f n,i i.