Sophie Morier-Genoud

Valentin Ovsienko

ON q-DEFORMED REAL NUMBERS

Keywords: q-rationals, q-continued fractions, total positivity, Farey tessellation

We associate a formal power series with integer coefficients to a positive real number, we interpret this series as a "q-analogue of a real." The construction is based on the notion of q-deformed rational number introduced in arXiv:1812.00170. Extending the construction to negative real numbers, we obtain certain Laurent series.

(1) [x n ] q =: k≥0 κ n,k q k .

Introduction

We take a new and experimental route to introduce a certain version of "q-deformed real numbers", extending q-deformations of rationals introduced in [START_REF] Morier-Genoud | q-deformed rationals and q-continued fractions[END_REF]. Given a real number x ≥ 0, we will construct a formal power series with integer coefficients associated with x. There is no explicit formula to determine the coefficients of this series, but there is an algorithm to calculate them.

Our construction is completely different from the classically known q-deformations of a number x ∈ R, defined by the formulas q x -1 q-1 (or q x -q -x q-q -1 ) that do not give power series with integer coefficients. The only case where our construction coincides with the classical one is that of integers. Throughout this paper, we always use the Gauss definition:

[a] q = q a -1 q -1 , a ∈ Z, that gives the familiar polynomials [a] q = 1 + q + • • • + q a-1 and [-a] q = -q -1 -q -2 -• • • -q -a , for a ∈ N.

All our constructions will be in accordance with these formulas. It is of course too early to discuss possible applications of the q-deformed real numbers, since we do not know sufficiently general properties of the power series we obtain. However, the existence of the procedure is quite surprising and the examples are captivating.

The q-deformation of a rational number r s is a quotient of two polynomials: r s q = R(q) S(q) , where R and S both depend on r and s (see [START_REF] Morier-Genoud | q-deformed rationals and q-continued fractions[END_REF]). In this paper, we represent these rational functions as Taylor series at q = 0. The definition of q-reals is as follows. Let first x ≥ 1 be an irrational number, and (x n ) n≥1 any sequence of rational numbers that converges to x. We q-deform the sequence (x n ) n≥1 to obtain a sequence of rational functions: [x 1 ] q , [x 2 ] q , [x 3 ] q , . . . For every n ≥ 1, we consider the Taylor expansion of the rational function [x n ] q at q = 0:

Abusing the notation, we use the same name, [x n ] q , for the Taylor series. The q-deformation of x is the series [START_REF] Borwein | Neverending fractions. An introduction to continued fractions[END_REF] [x] q := k≥0 κ k q k , where κ k = lim n→∞ κ n,k .

The existence of the limit and its independence of the choice of the converging sequence (x n ) n≥1 is guaranteed by the following theorem.

Theorem 1. Given an irrational real number x ≥ 1, for every k ≥ 0 the coefficients κ n,k of the Taylor series (1) stabilize as n grows. Moreover, the limit coefficients κ k in (2) are integers that do not depend on the choice of the converging sequence of rationals (x n ) n≥1 .

This statement was first observed by computer experimentation, but then a simple proof was found. Note that the coefficients of the polynomials in the numerator and denominator of the sequence of rational functions [x n ] q do not stabilize. They grow with n infinitely at every fixed power of q.

In practice, we always construct q-deformed real numbers using continued fractions. Let x ≥ 1 be a real number, and x = [a 1 , a 2 , a 3 , . . .] , where a i 's are positive integers, its continued fraction expansion. The sequence of rational numbers

x n := [a 1 , . . . , a n ] approximates x; it is called the sequence of convergents. In this case the stabilization phenomenon of Theorem 1 can be controlled with a greater exactness.

Proposition 1.1. Let x ≥ 1 be an irrational real number. The Taylor expansions at q = 0 of two consecutive q-deformed convergents of the continued fraction of x, namely of x n-1 = [a 1 , . . . , a n-1 ] and

x n = [a 1 , . . . , a n ], have the first a 1 + • • • + a n -1 terms identical, the coefficients of q a1+•••+an-1 differ by 1.
With the help of a computer program, we carried out a number of tests calculating q-deformations of known mathematical constants, from the simplest golden ratio to the transcendental e and π, and checking their properties. The most pleasant surprise for us was the appearance of the sequence of generalized Catalan numbers (sequence A004148 of [START_REF]The On-Line Encyclopedia of Integer Sequences[END_REF]) as coefficients κ k of the deformed golden ratio. This remarkable "coincidence" and known properties of A004148 allowed us to conjecture (and eventually prove) several properties of quadratic irrationals.

We know only very few general properties of q-deformed real numbers. One of them is the action of the translation group Z described by following formula

(3) [x + 1] q = q [x] q + 1, [x -1] q := [x] q -1 q .
Note that the second equation in (3) allows us to extend our q-deformations to the case x < 1 (including negative real numbers); the notation ":=" means that we use this equation as definition.

The property (3) implies the following "gap theorem".

Theorem 2. If k ≤ x ≤ k + 1,
where k ∈ Z >0 , then the k-th order coefficient of the series [x] q vanishes, while all the preceding coefficients are equal to 1:

[x] q = 1 + q + q 2 + • • • + q k-1 + κ k+1 q k+1 + κ k+2 q k+2 + • • •
Theorem 2 implies that for negative x we obtain Laurent series instead of power series. More precisely, if

-k ≤ x < 1 -k, where k ∈ Z >0 , then [x] q is of the following general form (4) [x] q = -q -k + κ 1-k q 1-k + κ 2-k q 2-k + • • • where κ i ∈ Z.
Let us sum up our understanding of q-deformation, or "quantization", of real numbers in comparison with integers and rationals. This quantization transforms integers into polynomials, rationals into rational fractions, and real numbers into power series, in each case with integer coefficients:

[ . ] q :              Z ≥1 -→ Z ≥0 [q], Q ≥0 -→ Z ≥0 (q), R ≥0 -→ Z[[q]], R -→ Z[[q]][q -1 ].
In the case of integers and rationals, the resulting polynomials and rational functions are with positive coefficients. In the case of real numbers, this positivity consists in the fact that the power series are obtained as limit of rationals functions with positive integer coefficients.

The paper is organized as follows.

In Section 2 we briefly recall the notion of q-rational. We start with the most elementary, recurrent way to calculate q-rationals, and then give two equivalent and more explicit formulas. The first one uses the continued fractions and the second 2 × 2 matrices. The reader can find several other equivalent definitions in [START_REF] Morier-Genoud | q-deformed rationals and q-continued fractions[END_REF].

In Section 3 we prove Theorem 1 and Proposition 1.1.

In Section 4 we use a computer program to investigate several examples of q-deformed quadratic irrational numbers. We start with the golden ratio and continue with the "silver ratio" and several examples of square roots, giving in each case an explicit formula of the q-deformation.

In Section 5 we consider two examples of transcendental irrationals, namely e and π. We calculate the first terms of their q-deformations trying to make some observations.

In Section 6 we discuss the action of the translation group and prove Theorem 2.

It would be interesting to investigate more concrete examples. Note that we searched in vain for some functional equations similar to those of q-deformed quadratic irrational numbers in the case of higher order algebraic numbers, such as

3 √ 2.
2. q-deformed rationals

In this section, we try to give a transparent and self-contained exposition of the notion of q-rational introduced in [START_REF] Morier-Genoud | q-deformed rationals and q-continued fractions[END_REF]. We outline an analogy with q-binomial coefficients, and give a recurrent way to compute q-rationals from the Farey graph. Finally we give two explicit formulas for the q-rationals using continued fraction expansions and the matrix form.

2.1. Analogy with the q-binomials. Recall that the classical Gaussian q-binomial coefficients (see [START_REF] Stanley | Enumerative combinatorics[END_REF]) are polynomials in q that can be calculated recurrently via the formula [START_REF] Morier-Genoud | Continued fractions and triangulations, modular group and polygon dissections[END_REF] r s q = r -1 s -1 q + q s r -1 s q .

The q-binomial coefficients are the vertices of the "weighted Pascal triangle" which encodes the above formula:

0 0 q 1 1 1 0 q 1 1 1 1 q 1 q 2 0 q 1 1 2 1 q 1 q 2 2 q 1 q 2 3 0 q 1 1 3 1 q 1 q 3 2 q 1 q 2 3 3 q 1 q 3 4 0 q 4 1 q 4 2 q 4 3 q 4 4 q • • • • • •
The idea behind the definition of q-rationals is to use exactly the same rule, but replace the Pascal triangle by the Farey graph.

2.2.

The weighted Farey graph. The structure of the Farey graph is as follows (see [START_REF] Hardy | An introduction to the theory of numbers[END_REF]). The set of vertices consists of rational numbers Q, completed by ∞ := 1 0 . Two rationals, r s and r s (always written as irreducible fractions), are connected by an edge if and only if rs -r s = ±1. Edges of the Farey graph are often represented as (non-crossing) geodesics of the hyperbolic plane.

Although the Farey graph is much more complicated than the Pascal triangle, in particular every vertex r s has infinitely many neighbors, these two graphs have one property in common: each vertex has two "parents". In the Farey graph these "parents" are characterized as follows. Among the infinite set of neighbors of r s there are exactly two, r s and r s , that are also connected to each other. In other words, every rational r s belongs to exactly one triangle

r ′ s ′ r s r ′′ s ′′ such that r s < r s < r s .
Furthermore, one has r s = r +r s +s . Similarly to the case of q-binomials, the edges of the weighted Farey graph are labeled by powers of q according to the following pattern

1 q ℓ q ℓ-1 r ′ s ′ q r s q r ′′ s ′′ q
The vertices are labeled by the following rule: if r s q = R S and r s q

= R S , then (6) r s
q := R + q R S + q S .
Note that ( 6) is analogous to [START_REF] Morier-Genoud | Continued fractions and triangulations, modular group and polygon dissections[END_REF]. The weights q and the q-rationals can be calculated recursively along the Farey graph; see Figure 1.

1 1 q 1 q 1 q 2 q 3 1 1 q 1 q q 2 1 1 q -1 0 1 1 1 5 4 q 1 0 2 1 q 3 2 q 8 5 q 3 1 q 4 3 q 7 5 q 5 3 q 7 3 q 5 2 q 4 1 q 5 1 q 1 q 1 1 1 1 1 1 1 q 2 q q 3 q q 2 q q 4 8 3 q 11 4 q 7 2 q Figure 1.
Upper part of the weighted Farey graph between 0 1 and 1 0 For instance, 7 5 q = 1+q+2q 2 +2q 3 +q 4 1+q+2q 2 +q 3

. We will be interested by the corresponding Taylor series at q = 0. For instance, for the above example the series starts as follows 7 5 q = 1 + q 3 -2q 5 + q 6 + 3q 7 -3q 8 -4q 9 + 7q 10 + 4q 11 -14q 12 ± • • • 2.3. q-deformed continued fractions. We will now give another method of computing q-rationals. It is relied on the continued fraction expansion. Given a rational number r s > 1 , where r and s are positive integers assumed to be coprime. It has a unique continued fraction expansion with even number of terms ( 7)

r s = a 1 + 1 a 2 + 1 . . . + 1 a 2m , with a i ≥ 1, denoted by [a 1 , . . . , a 2m ].
Note that the choice of even length removes the ambiguity [a 1 , . . . , a n , 1] = [a 1 , . . . , a n + 1] and makes the expansion unique.

In order to calculate the q-deformation r s q , one can use the following explicit formula. Given a regular continued fraction [a 1 , . . . , a 2m ], its q-deformation is given by [START_REF] Stanley | Enumerative combinatorics[END_REF] [a 1 , . . . ,

a 2m ] q := [a 1 ] q + q a1 [a 2 ] q -1 + q -a2 [a 3 ] q + q a3 [a 4 ] q -1 + q -a4 . . . [a 2m-1 ] q + q a2m-1 [a 2m ] q -1
where we use the standard notation for the q-integers [a] q = 1 + q + q 2 + • • • + q a-1 . Of course, one can get rid of negative exponents in [START_REF] Stanley | Enumerative combinatorics[END_REF], but the formula becomes uglier.

2.4. The matrix formulas. We give another, equivalent, form to define q-rationals. It uses 2 × 2 matrices and is well adapted for computer programming. Let, as before, r s be a rational written in the form of a continued fraction expansion [START_REF]The On-Line Encyclopedia of Integer Sequences[END_REF]. Consider the 2 × 2 matrix with polynomial coefficients that was denoted by M + q (a 1 , . . . , a 2m ) in [START_REF] Morier-Genoud | q-deformed rationals and q-continued fractions[END_REF]. It is defined by the formula ( 9)

M + q (a 1 , . . . , a 2m ) := [a 1 ] q q a1 1 0 q[a 2 ] q 1 q a2 0 • • • [a 2m-1 ] q q a2m-1 1 0 q[a 2m ] q 1 q a2m 0 .
This matrix is a q-analogue of the usual "matrix of convergents" of a continued fraction (see [START_REF] Borwein | Neverending fractions. An introduction to continued fractions[END_REF][START_REF] Morier-Genoud | Continued fractions and triangulations, modular group and polygon dissections[END_REF]).

It is easy to prove that this matrix contains the numerator and denominator of r s q (up to multiplication by q) in the first column:

(10) M + q (a 1 , . . . , a 2m ) = qR R 2m-1 qS S 2m-1
, where R(q) S(q) = r s q , and where

R 2m-1 (q) S 2m-1 (q) = [a 1 , . . . , a 2m-1
] q is the previous convergent.

The stabilization phenomenon

In this section we first collect some basic properties that follow from the matrix presentation. We prove Proposition 1.1 and Theorem 1. Finally, in a remark, we discuss the stabilization phenomenon in the case when x is rational.

3.1. Some simple properties of q-rationals. The following statements are immediate corollaries of ( 9) and (10).

Let r s ≥ 1 be a rational number. Then r s q = R(q) S(q) , where R(q) and S(q) are polynomials with positive coefficients whose highest and lowest coefficients are equal to 1. The degrees of the polynomials R and S are as follows deg

(R) = a 1 + . . . + a 2m -1, deg(S) = a 2 + . . . + a 2m -1.
The unimodality conjecture of [START_REF] Morier-Genoud | q-deformed rationals and q-continued fractions[END_REF] states that the coefficients of R and S first grow and then decrease monotonically.

Let us mention that the most important properties of q-rationals are the total positivity and the combinatorial interpretation of the coefficients of R and S.

3.2.

Proof of Proposition 1.1. Let x ≥ 1 be a real number, and let x n-1 and x n be two consecutive convergents of its continued fraction. Let

[x n-1 ] q = R n-1 S n-1 and [x n ] q = R n S n , One then has tautologically R n S n - R n-1 S n-1 = R n S n-1 -S n R n-1 S n S n-1 .
The polynomial in the numerator of the right-hand-side is a power of q:

(11) R n S n-1 -S n R n-1 = q a1+•••+an-1 .
Indeed, to prove this, it suffices to compare the determinant of the matrix M + q (a 1 , . . . , a 2m ) written in the forms ( 9) and (10).

Both polynomials, S n and S n-1 , start with zero-order term 1, and so is the series 1/(S n S n-1 ). It follows now from (11), that the series [x n ] q -[x n-1 ] q is of the form

[x n ] q -[x n-1 ] q = q a1+•••+an-1 + O(q a1+•••+an ).
Hence, Proposition 1.1.

3.3.

Proof of Theorem 1. Let now (y n ) n≥1 be an arbitrary sequence of rationals converging to x. Then, for every fixed m, there exists N such that y n ∈ [x m-1 , x m ] (or y n ∈ [x m , x m-1 ]) for every n ≥ N . Here, as above, (x n ) n≥1 is the sequence of convergents of the continued fraction of x.

By Proposition 1.1, the first a = a 1 + • • • + a m -1 terms of the Taylor series of [x m-1 ] q and [x m ] q coincide. It turns out that the same is true for every rational between x m-1 and x m . Lemma 3.1. For every rational r s such that, x m-1 < r s < x m , the first a = a 1 + • • • + a m -1 terms of the Taylor series of r s q coincides with those of [x m-1 ] q and [x m ] q .

Proof. Let [x m-1 ] q = Rm-1 Sm-1 and [x m ] q = Rm Sm . Recall that x m-1 and x m are joined by an edge in the Farey graph.

Suppose first that r s is also joint to x m-1 and x m , so that we have a triangle

1 q ℓ q ℓ-1 Rm-1 Sm-1 r s q Rm Sm
Set r s q = R S , then, by definition of q-rationals,

R S = R m-1 + q R m S m-1 + q S m By (11), we have R m m-1 -S m R m-1 = q a . Therefore, ( 12
) RS m-1 -SR m-1 = R m-1 S m-1 + q R m S m-1 -R m-1 S m-1 -q R m-1 S m = q a+ RS m -SR m = R m-1 S m + q R m S m -R m S m-1 -q R m S m = -q a .
Using the same argument as in the proof of Proposition 1.1 we deduce the statement of the lemma in the case where the three points form a triangle.

The general case of the lemma can then be proved inductively. Indeed, every rational r s such that, x m-1 < r s < x m can be joined to x m-1 and x m by a sequence of triangles. To see this, draw a vertical line in the Poincaré half-plane through r s and collect all the triangles of the Farey tessellation between x m-1 and x m crossed in their interior by this line.

Hence, the lemma.

Theorem 1 follows from Lemma 3.1 and Proposition 1.1.

Remark 3.2. We also investigated the stabilization phenomenon in the case when x is rational. If x = r s and rn sn n≥1

is a sequence converging to x it is natural to ask whether [x] q defined by ( 2) is equal to the q-rational r s q . The answer is surprising: when the sequence rn sn approaches r s from the right the stabilized power series defined by ( 2) is equal to the q-rational r s q , when the sequence approaches the rational from the left this is no longer true. This is due to the asymmetry of the relations (12). Indeed, if rn sn > r s for all n > > 0, one can use the same arguments as in the proof of Theorem 1 by replacing the sequence of convergents x n by the sequence of right neighbors nr+r ns+s , where r s is the right parent introduced in Section 2.2. Considering Taylor expansions, the right neighbors nr+r ns+s q have more and more first terms identical to those of r s q as n grows. If rn sn < r s for all n > > 0 the above arguments no longer apply. However, with experimental computations, we observed some stabilization phenomenons for the sequences rn sn q , but the stabilized power series is different from r s q . For instance, testing several sequences of rational approaching the integer 2 with smaller values we always obtained a stabilization to the series 1 + q 2 which is not [START_REF] Borwein | Neverending fractions. An introduction to continued fractions[END_REF] q 1 + q.

q-deformations of quadratic irrationals

In this section we discuss several examples of quadratic irrational numbers. We start from the simplest possible case of the golden ratio and identify the coefficients of the Taylor series as the remarkable and thoroughly studied sequence of generalized Catalan numbers. We dwell on this first example with more details to better explain the stabilization phenomenon. We then calculate the q-deformation of the number 1 + √ 2, which is usually called the "silver ratio". Finally, we consider several examples of square roots of small positive integers and calculate the corresponding functional equations.

4.1.

The golden ratio and generalized Catalan numbers. The simplest example of an infinite continued fraction is the expansion of the golden ratio:

ϕ = 1 + √ 5 2 = [1, 1, 1, 1, 1, . . .] .
The convergents are ratios of consecutive Fibonacci numbers:

ϕ n = F n+1 /F n .
According to (8), the q-deformation of ϕ is given by the 2-periodic infinite continued fraction (13)

[ϕ] q = 1 + q 2 q + 1 1 + q 2 q + 1 . . . Remark 4.1. Let us mention that there exists a celebrated q-deformation of the golden ratio, called the Rogers-Ramanujan continued fraction. It is aperiodic and has a great number of beautiful and sophisticated properties (for a survey, see [START_REF] Berndt | The Rogers-Ramanujan continued fraction[END_REF]). Unlike the Rogers-Ramanujan continued fraction, we do not know if (13) is a quotient of two q-series with positive coefficients.

Consider the q-deformations of the convergents [ϕ n ] q . We proved in [START_REF] Morier-Genoud | q-deformed rationals and q-continued fractions[END_REF] that the coefficients of the polynomials of [ϕ n ] q are the numbers appearing in the remarkable "Fibonacci lattice" (see A123245 of OEIS [START_REF]The On-Line Encyclopedia of Integer Sequences[END_REF] and its mirror A079487). More precisely, A123245 appears in the numerator and A079487 in the denominator. For instance, [ϕ 6 ] q = 1 + 2q + 3q 2 + 3q 3 + 3q 4 + q 5 1 + 2q + 2q 2 + 2q 3 + q 4 , [ϕ 8 ] q = 1 + 3q + 5q 2 + 7q 3 + 7q 4 + 6q 5 + 4q 6 + q 7 1 + 3q + 4q 2 + 5q 3 + 4q 4 + 3q 5 + q 6 , [ϕ 9 ] q = 1 + 4q + 7q 2 + 10q 3 + 11q 4 + 10q 5 + 7q 6 + 4q 7 + q 8 1 + 4q + 6q 2 + 7q 3 + 7q 4 + 5q 5 + 3q 6 + q 7 .

We see that the coefficients at every fixed power of q of the numerator and the denominator grow. To illustrate the stabilization phenomenon, we give the corresponding Taylor series:

[ϕ 6 ] q = 1 + q 2 -q 3 + 2q 4 -3q 5 + 3q 6 -3q 7 + 4q 8 -5q 9 + 5q 10 -5q 11 + 6q 12 • • •

[ϕ 8 ] q = 1 + q 2 -q 3 + 2q 4 -4q 5 + 8q 6 -16q 7 + 30q 8 -55q 9 + 103q 10 -195q 11 + 368q 12 • • • [ϕ 9 ] q = 1 + q 2 -q 3 + 2q 4 -4q 5 + 8q 6 -17q 7 + 8 -82q 9 + 184q 10 -414q 11 + 932q 12 • • •

The series [ϕ 9 ] approximates [ϕ] q correctly up to the 9th term, while [ϕ 6 ] only up to q 4 . The full series (13) starts as follows:

[ϕ] q = 1 + q 2 -q 3 + 2q 4 -4q 5 + 8q 6 -17q 7 + 37q 8 -82q 9 + 185q 10 -423q 11 + 978q 12 -2283q 13 +5373q 14 -12735q 15 + 30372q 16 -72832q 17 + 175502q 18 -424748q 19 + 1032004q 20 • • • Note that one needs the nth convergent [ϕ n ] q to calculate [ϕ] q with accuracy up to q n . Fix the notation [ϕ] q =:

k≥0 φ k q k .
We were able to identify the coefficients φ k appearing in this series as the so-called Generalized Catalan numbers (see sequence A004148 of OEIS), but with alternating signs.

Proposition 4.2. One has φ k = (-1) k a k-1 , for k ≥ 2, where a k are the Generalized Catalan numbers; see A004148 of [START_REF]The On-Line Encyclopedia of Integer Sequences[END_REF].

Proof. Let us prove that the series [ϕ] q satisfies the following functional equation:

(14) q [ϕ]
2 q -q 2 + q -1 [ϕ] q -1 = 0, which is a q-analogue of ϕ 2 = ϕ + 1. In fact, ( 14) is immediate consequence of (13) which can also be written 1[ϕ] q = 1 + q 2 q + 1 [ϕ] q . Proposition 4.2 then follows from the known results about the generating function of the Generalized Catalan numbers. Indeed, this generating function satisfies an equation equivalent to (14). (see M. Somos' contribution to A004148).

Solving (14), one obtains

[ϕ] q = q 2 + q -1 + q 4 + 2q 3 -q 2 + 2q + 1 2q .

Obviously, at q = 1 one recovers the golden ratio ϕ.

Remark 4.3. Let us also mention that the coefficients of [ϕ] q satisfy, for all n ≥ 3, the following linear recurrence

(k + 1)φ k + (2k -1)φ k-1 + (2 -k)φ k-2 + (2k -7)φ k-3 + (k -5)φ k-4 = 0.
In the context of the generalized Catalan numbers, this recurrence was conjectured by R.J. Mathar in 2011, and recently proved; see [START_REF] Ekhad | Automated Proofs of Many Conjectured Recurrences in the OEIS made by R[END_REF] (based on [START_REF] Zeilberger | The C-finite ansatz[END_REF]).

4.2.

The q-deformed silver ratio. The number 1 + √ 2 = [2, 2, 2, 2, . . .] is often called the silver ratio. It is denoted by δ S , and its convergents are given by the quotient of consecutive Pell numbers. This is probably the next simplest example of infinite continued fraction after the golden ratio.

Formula (8) implies the following q-deformation (15) [δ S ] q = 1 + q + q 4

q + q 2 + 1 1 + q + q 4

q + q 2 + 1 . . . The stabilization process goes twice faster than for the golden ratio: one needs the nth convergent to calculate [δ S ] q with accuracy up to q 2n . The series [δ S ] q starts as follows [δ S ] q = 1 + q + q 4 -2q 6 + q 7 + 4q 8 -5q 9 -7q 10 + 18q 11 + 7q 12 -55q 13 + 18q 14 +146q 15 -155q 16 -322q 17 + 692q 18 + 476q 19 -2446q 20 + 307q 21 +7322q 22 -6276q 23 -18277q 24 + 33061q 25 + 33376q 26 -129238q 27 -10899q 28 • • • We see that the coefficients grow much slower than those of [ϕ n ] q . This sequence of coefficients is not in OEIS.

Proposition 4.4. The series [δ S ] q satisfies the following functional equation:

(16) q [δ S ] 2 q -q 3 + 2q -1 [δ S ] q -1 = 0.
Proof. Fromula (15) rewritten in the form

[δ S ] q = 1 + q + q 4 q + q 2 + 1 [δ S ] q readily implies (16).
Equation ( 16) is a q-analogue of δ 2 S = 2δ S + 1, appearance of q 3 in this formula is somewhat surprising. Solving (16), one obtains [δ S ] q = q 3 + 2q -1 + q 6 + 4q 4 -2q 3 + 4q 2 + 1 2q .

4.3.

The q-square roots of 2, 3, 5 and 7. We calculate the q-analogues of the simplest square roots. Recall that

√ 2 = [1, 2], √ 3 = [1, 1, 2], √ 5 = [2, 4], √ 7 = [2, 1, 1, 1, 4]
. The series start as follows √ 2 q = 1 + q 3 -2q 5 + q 6 + 4q 7 -5q 8 -7q 9 + 18q 10 + 7q 11 -55q 12 + 18q 13 +146q 14 -155q 15 -322q 16 + 692q 17 + 476q 18 -2446q 19 + 307q 20 +7322q 21 -6276q 22 -18277q 23 + 33061q 24 + 33376q 25 • • • √ 3 q = 1 + q 2 -q 4 + 2q 5 -2q 6 -q 7 + 7q 8 -12q 9 + 7q 10 + 18q 11 -59q 12 + 78q 13 -q 14 -228q 15 + 514q 16 -469q 17 -506q 18 + 2591q 19 -4338q 20 +1837q 21 + 9405q 22 -27430q 23 + 33390q 24 + 10329q 25 • • • √ 5 q = 1 + q + q 6 -q 8 -q 9 -q 10 + 3q 11 + 4q 12 -q 13 -6q 14 -11q 15 + 2q 16 +25q 17 + 22q 18 -10q 19 -70q 20 -71q 21 + 67q 22 + 208q 23 + 168q 24 -222q 25 • • • √ 7 q = 1 + q + q 3 -q 4 + 2q 5 -3q 6 + 4q 7 -6q 8 + 8q 9 -9q 10 + 9q 11 -5q 12 -9q 13 +40q 14 -101q 15 + 215q 16 -411q 17 + 724q 18 -1195q 19 + 1845q 20 -2623q 21 + 3324q 22 -3412q 23 + 1696q 24 + 4157q 25 • • • Note that the coefficients of √ 2 q are those of the silver ratio, but the power of q is shifted by 1; in full accordance with [START_REF] Ekhad | Automated Proofs of Many Conjectured Recurrences in the OEIS made by R[END_REF].

The following formulas can be proved in a similar way as ( 14) and ( 16), The calculations are quite long but straightforward, so we omit the details. Proposition 4.5. The series √ 2 q , √ 3 q , √ 5 q and √ 7 q satisfy the following functional equations:

q 2 √ 2 2 q -q 3 -1 √ 2 q = q 2 + 1, (17)
q 2 √ 3 2 q -q 3 + q 2 -q -1 √ 3 q = q 2 + q + 1, (18)
q 3 √ 5 2 q -(q 5 + q 3 -q 2 -1) √ 5 q = q 4 + q 3 + q 2 + q + 1, (19)
q 3 √ 7 2 q -(q 5 + q 4 -q -1) √ 7 q = q 4 + 2q 3 + q 2 + 2q + 1. (20)
We obtain, consequently, the following expressions for the quantized square roots.

√

2 q = q 3 -1 + q 6 + 4q 4 -2q 3 + 4q 2 + 1 2q 2 , √ 3 q = q 3 + q 2 -q -1 + q 6 + 2q 5 + 3q 4 + 3q 2 + 2q + 1 2q 2 , √ 5 q = q 5 + q 3 -q 2 -1 + q 10 + 2q 8 + 2q 7 + 5q 6 + 5q 4 + 2q 3 + 2q 2 + 1 2q 3 , √ 7 q = q 5 + q 4 -q -1 + q 10 + 2q 9 + q 8 + 4q 7 + 6q 6 + 6q 4 + 4q 3 + q 2 + 2q + 1 2q 3 .

Note that √ 5 q looks quite different from the golden ratio. This is an example of a highly non-trivial action of homothety x → x/2.

We wonder if some relations similar to ( 14), ( 16), ( 17), ( 18), ( 19) and (20) hold for q-deformations of arbitrary quadratic irrationals.

q-deformations of e and π

In this section we write down the first terms of the q-deformations of two notable examples of transcendental irrational numbers, e and π. We calculated several hundreds of terms to convince ourselves that the coefficients of the corresponding series do not correspond to any sequence of OEIS. However, one can make some surprising observations. The series [e] q starts as follows:

[e] q = 1 + q + q 3 -q 5 + 2q 6 -3q 7 + 3q 8 -q 9 -3q 10 + 9q 11 -17q 12 + 25q 13 -29q 14 + 23q We observe that the coefficients of q 2+7k , where k ≥ 0, turn out to be smaller than those of their neighbors. The signs of the coefficients also obey a certain 7-periodic pattern: indeed, the double plus, i.e., "+, +" signs, appears with period 7. We do not know any reason for such a "7-periodicity" related to Euler's number. The 4th convergent π 5 = [3, 7, 15, 1] = 355/113 gives 24 first terms of [π] q , and already the 5th convergent π 5 = [3, 7, 15, 1, 292] = 103993/33102 allows us to calculate [π] q up to degree 317. We calculated up to [π 38 ] q = 11895062545096656711950/3786316004878788190109 that approximates π up to 43 digits, and that gives the first 603 terms of the series [π] q . The first 79 terms of [π] q are:

[π] q = 1 + q + q 2 + q 10 -q 12 -q 13 + q 15 + q 16 -q 20 -2q 21 -q 22 + 2q 23 + 4q 24 + q 25 -4q 27 -4q 28 -2q 29 + q 30 + 5q 31 + 8q The coefficients of this series grow very slowly in contrast with the other examples we considered so far. Asymptotic of the ratio of two consecutive coefficients seems to be close to 1, that would imply that the radius of convergence of the series is equal to 1. A curious observation is that, for unknown reasons, the coefficient of q 45 vanishes. One also observes oscillation of the sequence of coefficients, and the unimodality property of every (short) subsequence of coefficients with constant sign. We were unable to find any pattern or to conjecture any functional equation for this series.

Translations

In this section we consider the properties of q-deformed reals under translations of the argument. The action of the translation group Z is defined by the operator T : x → x+1 and its inverse, T -1 : x → x-1. We first study T which is simpler, and then T -1 brings us to a new ground. In particular, we extend the notion of q-deformation to negative real numbers.

. If x ≤ 1, then [x + 1] q = q [x] q + 1.
Proof. The statement of the proposition is obvious when x is a q-integer. Hence by the explicit formula [START_REF] Stanley | Enumerative combinatorics[END_REF] the statement is also clear for a rational x. The irrational case will then follow from the stabilization phenomenon.

6.2. The coefficient "gap". Proposition 6.2. The first order term of series [x] q vanishes:

[x] q = 1 + κ 2 q 2 + κ 3 q 3 + • • • if and only if 1 ≤ x ≤ 2.
Proof. As in the previous proof, it suffices to prove the statement for a rational x. Let r s = [a 1 , a 2 , . . . , a 2m ] be a rational written in a form of a continued fraction. It is an easy computation that the polynomials R = 1 + r 1 q + • • • and S = 1 + s 1 q + • • • of the q-deformed rational r s q = R S have identical first-order coefficient: r 1 = s 1 if and only if a 1 = 1.

The result then follows from the formula

R S = 1 + r 1 q + • • • 1 + s 1 q + • • • = (1 + r 1 q + • • • )(1 -s 1 q + • • • ).
Propositions 6.1 and 6.2 together imply Theorem 2.

6.3. Left translations and q-deformed negative numbers. The heuristic definition [x -1] q := [x] q -1 q , that we adopt now, leads to a classes of q-deformed reals that we did not consider so far. For x ≥ 2, the action of T -1 is a tautological inverse of Proposition 6.1. The situation changes for 1 ≤ x ≤ 2 because of the "first order gap" of Proposition 6.2. More precisely, we obtain Laurent series of the following type.

(1) If 0 ≤ x < 1, then the zero-order term of [x] q vanishes:

[x] q = κ 1 q + κ 2 q 2 + κ 3 q 3 + • • •

(2) If -1 ≤ x < 0, then

[x] q = -1 q + κ 0 + κ 1 q + κ 2 q 2 + κ 3 q 3 + • • •

(3) More generally, applying the operator T -1 several times, we obtain the general form (4) of [x] q in the case -k ≤ x < 1 -k.

Example 6.3. (a) If n is a positive integer, then [-n] q = q -n + q 1-n + • • • + q -1 . (b) For x = 1 2 we have 1 2 q = q 1+q , and for x = -1 2 we have -1 2 q = -1 q(1+q) , so that 1 2 q + -1 2 q = -1 q + 1.

We calculated the series corresponding to the negations of several examples of quadratic irrationals, and observed the following property. Some of them satisfy the property that the sum of the series [x] q + [-x] q contains only finitely many terms. = -1 q 2 -1 + q -q 3 + 2q 5 -q 6 -4q 7 + 5q 8 + 7q 9 -18q 10 -7q 11 + 55q 12 -18q 13 • • •

Starting from the third-order term, this series is the negation of √ 2 q .

(b) For -√ 7, we have -√ 7 q = -1 q 3 -1 q 2 -1 + q 2 -q 3 + q 4 -2q 5 + 3q 6 -4q 7 + 6q 8 -8q 9 + 9q 10 -9q 11 + 5q 12 + 9q 13 • • • Once again, starting from the third-order term, the series is the negation of √ 7 q .

This property is a mystery to us, since, as we can see already for x = 7 5 , it fails to be true even for rationals.

Note also, that nothing similar to Example 6.4 happens for more sophisticated irrationals.

Example 6.5. For -π, we have the series that starts as follows [-π] q = -1 q 4 -1 q 2 -1 q -q 3 + q 4 -q 10 + q 11 -q 17 + 2q 18 -3q 19 + 3q 20 -q 21 -q 24 + 3q 25 -6q 26 +6q 27 -2q 28 -q 31 + 4q 32 -9q 33 + 10q 34 -6q 35 + 3q 36 -q 37 -q 38 + 5q 39 -13q 40 • • • and seems to have nothing in common with [π] q .

Sophie Morier-Genoud, Sorbonne Université, Université Paris Diderot, CNRS, Institut de Mathématiques de Jussieu-Paris Rive Gauche, F-75005, Paris, France Valentin Ovsienko, Centre national de la recherche scientifique, Laboratoire de Mathématiques U.F.R. Sciences Exactes et Naturelles Moulin de la Housse -BP 1039 51687 Reims cedex 2, France Email address: sophie.morier-genoud@imj-prg.fr, valentin.ovsienko@univ-reims.fr

5. 1 .

 1 Computing [e] q . The continued fraction expansion of the Euler constant is given by the following famous regular pattern e = [2, 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, 1, 1, 10, . . .] (see sequence A003417 in the OEIS). To calculate the first 40 terms in the series [e] q , one needs to take the 15th convergent e 15 = [2, 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, 1, 1, 10] = 517656/190435.

5. 2 .

 2 The quantum π. The continued fraction expansion of π (cf. sequence A001203 in the OEIS) starts as follows: π = [3, 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1, 1, 2, 2, 2, 2, 1, 84, . . .]. The rules governing this sequence are unknown.

6. 1 .

 1 Right translations. Consider first the action of T . Proposition 6.1

  15 + 2q 16 -54q 17 + 134q 18 -232q 19 + 320q 20 -347q 21 + 243q 22 + 71q 23 -660q 24 + 1531q 25 -2575q 26 + 3504q 27 -3804q 28 + 2747q 29 + 488q 30 -6537q 31 + 15395q 32 -25819q 33 + 34716q 34 -36780q 35 + 24771q 36 + 9096q 37 -70197q 38 + 156811q 39 • • •

  32 + 3q 33 -3q 34 -10q 35 -12q 36 -5q 37 + 8q 38 + 19q 39 + 20q 40 + 2q 41 -18q 42 -32q 43 -25q 44 + 31q 46 + 51q 47 + 45q 48 -7q 49 -65q 50 -94q 51 -57q 52 + 35q 53 + 122q 54 + 140q 55 + 72q 56 -76q 57 -209q 58 -234q 59 -90q 60 + 171q 61 + 383q 62 + 363q 63 + 76q 64 -364q 65 -650q 66 -545q 67 -6q 68 + 702q 69 + 1101q 70 + 790q 71 -180q 72 -1329q 73 -1824q 74 -1113q 75 + 642q 76 + 2454q 77 + 2982q 78 + 1415q 79 • • •

This observation is due to Doron Zeilberger.

Acknowledgements. We are grateful to Vladlen Timorin for a suggestion to look at Taylor coefficients. We are also grateful to Frédéric Chapoton for a SAGE program computing q-rationals and to Doron Zeilberger for the proof of the functional equations formulated as conjectures in the first version of this paper. This paper was partially supported by the ANR project SC3A, ANR-15-CE40-0004-01.