QUANTUM NUMBERS AND q-DEFORMED CONWAY-COXETER FRIEZES SOPHIE MORIER-GENOUD AND VALENTIN OVSIENKO To the memory of John Conway The notion of q-deformed real numbers was recently introduced in [15, 16]. The first steps of this theory were largely influenced by John Conway. In the fall of 2013, we had a chance to spend a week in his company. The occasion was a conference that we organized in Luminy, at which Conway gave two wonderful talks. We cannot forget the long conversations we had with John there; between desperate attempts to teach us his famous doomsday algorithm, he told us much about his work with Coxeter. Our understanding of Conway and Coxeter's theorem has transformed into a certain combinatorial viewpoint on continued fractions [14], that eventually led us to q-deformations. One goal of this article is to explain the origins of q-numbers and sketch their main properties. We will also introduce q-deformed Conway-Coxeter friezes. We would have loved to have had the chance to talk all of this over with John. 1. q-deformed Conway-Coxeter friezes Friezes, or frieze patterns, are perhaps one of the most ingenious and the least known of Coxeter's inventions [6]. As he confessed, friezes \caused [him] many restless nights," [5] but Conway [3] was able to put his mind somewhat to rest in answering his question about the classification of friezes of positive integers. As a result, these friezes are often called Conway-Coxeter friezes. Here, we introduce the notion of q-deformations of Conway-Coxeter friezes. 1.1. q-analogues: why, what, where? In mathematics and theoretical physics, \q-deformation" often means \quantization" and vice-versa. Historically, q is the exponential of the Planck constant q = e~; but, in quantization theory, both q and ~ are parameters. A number of q-deformations of algebraic, geometric, and analytic structures have been introduced and thoroughly studied in mathematics. Among the q-deformed structures, we encounter quantum groups, quantized Poisson structures, q-deformed special functions, just to mention the best known theories. Quantized sequences of integers arise and play an important role in all of them. Quantized quantities are functions in q, usually polynomials, or power series. A \good" q-analogue of a \classical" quantity must satisfy (at least) two requirements: (1) when q ! 1, we obtain the initial quantity; (2) coefficients of polynomials in the quantized object have a combinatorial meaning. Whenever a combinatorial object counts something, its q-analogue counts the same things but with more arXiv:2011.10809v2 [math.QA] 22 Feb 2021 precision. This is why combinatorics is playing an increasingly important role in mathematical physics. 1.2. Euler and Gauss. Quantum integers appeared in mathematics long before the development of quantum physics. For a positive integer n, the polynomial n 2 n 1 1 − q (1) [n] := 1 + q + q + ··· + q − = q 1 − q is commonly called the q-analogue of n. It satisfies two recurrences: n (2) [n + 1]q = q [n]q + 1; [n + 1]q = [n]q + q ; both of which can be used to define [n]q starting from the natural assumption [0]q = 0. The q-analogues (1) Q n were introduced by Euler, who studied the infinite product n 1(1 − q ), now called the Euler function. ≥ 2 SOPHIE MORIER-GENOUD AND VALENTIN OVSIENKO Euler connected this function to permutations simultaneously founding combinatorics and the theory of modular forms. The q-factorial is defined by [n]q! := [1]q[2]q ··· [n]q, and the Gaussian q-binomial coefficients by n [n] ! := q : m q [m]q![n − m]q! They are polynomials. The role of q-binomials in combinatorics is immense. They count points in n Grassmannians over finite fields, Young diagrams, binary words, etc. Every coefficient of m q has a combinatorial meaning. 4 2 3 4 The first interesting example of a q-binomial is 2 q = 1 + q + 2q + q + q which is different from [6]q. 2 3 Moreover, [3]q! = 1 + 2q + 2q + q gives yet another version of \quantum 6." These and many other examples explain our viewpoint: we cannot quantize 6 or any other integer individually. What we quantize are not integers, but sequences of integers. 1.3. Friezes and Conway's classification. A frieze is an array of n staggered infinite rows of positive integers, with the first and the last rows consisting of 1's, that satisfies the local unimodular rule ··· 1 1 1 1 1 ··· 1 ··· ··· ci ci+1 ci+2 ··· cj 1 cj ··· local rule − b a d cij c ········· ad − bc = 1 ··· 1 1 1 1 1 ··· 1 ··· A frieze is determined by the second row (ci)i . Every entry of the frieze is parametrized by two integers, 2Z i and j. The local rule then allows for the calculation of cij. For instance, cii = ci, ci;i+1 = cici+1 − 1, etc. Example 1.1. The following 7-periodic frieze with 6 rows is the main example of [3] (and the favorite example of Coxeter who used it in all of his articles on the subject). ··· 1 1 1 1 1 1 1 1 1 1 1 4 2 1 3 2 2 1 ··· 3 2 ··· 1 3 7 1 2 5 3 1 2 4 1 2 5 3 1 3 7 1 ··· ··· 1 3 2 2 1 4 2 1 2 1 1 1 1 1 1 1 1 1 1 ··· Coxeter proved [6] that every frieze is (n + 1)-periodic. The Conway and Coxeter theorem provides a classification of friezes, stating that friezes are in one-to-one correspondence with triangulations of a convex (n + 1)-gon. Theorem 1 ([3]). A sequence of positive integers (c0; : : : ; cn) is a cycle of the second row of an n-row frieze if and only if ci is the number of triangles at the i-th vertex of a triangulated (n + 1)-gon. As Coxeter [5] acknowledged, this statement is actually due to John Conway. Coxeter showed a connection of friezes to continued fractions; see Proposition 2.6 below. This connec- tion is somewhat equivalent to the existence of a natural embedding of friezes and triangulated (n+1)-gons into the Farey graph; see Figure 1. Interest in Conway-Coxeter friezes has much increased recently because of the connection to various areas of number theory, algebra, geometry and combinatorics. For a survey, see [13] and [1]. QUANTUM NUMBERS AND q-FRIEZES 3 1.4. Quantum friezes. The following notion is new, although it was implicitly in [15]. Definition 1.2. A q-deformed frieze is an array of n infinite rows of polynomials in one variable, with the first row of 1's and the second row of Euler's q-integers (1), ··· 1 1 1 1 1 ··· 1 ··· ··· [ci] [ci+1] [ci+2] ··· [cj 1] [cj] ··· q q q − q q Cij(q) ········· that satisfies the following \q-unimodular rule" j 1 X− (ck − 1) k=i (3) Ci;j 1(q) Ci+1;j(q) − Ci+1;j 1(q) Cij(q) = q : − − Starting from the line ([ci]q) and using (3), one can calculate every next row of the q-frieze inductively. Example 1.3. The q-deformation of the frieze in Example 1.1 is ··· 1 1 1 1 1 1 1 1 1 1 [4]q [2]q 1 [3]q [2]q [2]q 1 ··· ··· 1 q[3]q f7gq 1 q[2]q f5gq [3]q 1 2 2 1 q [2]q qf5gq [3]q q q[3]q f7gq 1 ··· 3 2 2 3 3 ··· q q [3]q q[2]q q [2]q q q[4]q [2]q q q3 q4 q2 q3 q3 q4 q q3 q4 ··· 2 3 4 3 4 where f7gq = 1 + 2q + 2q + q + q and f5gq = 1 + 2q + q + q , and [c]q is as in (1). For instance, f7gq 5 [3] q3 is calculated twice, the first time as f7g = [4] [2] − q3 and then as f7g = f gq q − . q q q q [2]q At first glance, definition 1.2 does not look natural. In particular, (3) is no longer local, but it leads to a frieze with nice properties. We will see in Section 2.3, that Cij(q) is a polynomial with positive integer coefficients. In particular, the last row of a q-frieze consists of powers of q. Quantum friezes deserve thorough study, and we are currently at work on this project. 2. Introducing quantum rationals & irrationals r Like the integers, rational numbers s cannot be q-deformed on their own, without including them in a sequence. Attempts to q-deform the numerator and denominator separately lead to notions that lack x r [r]q 1 q nice properties. A very naive formula = and a more standard one [x] = − (note that they s q [s]q q 1 q coincide modulo a rescaling of the parameter q) are among them. − Here we give several equivalent definitions of q-rationals and explain the connection to q-friezes. For more definitions, a combinatorial interpretation, and a connection to Jones polynomial and cluster al- gebras, see [15]. Surprisingly, the q-deformation [x]q of an irrational x 2 R is a Laurent series in q; owing to an unexpected phenomenon of stabilization of Taylor series of sequences of q-deformed rationals converging to x. r 2.1. Deformed continued fractions. Every rational number s > 0 , where r; s 2 Z>0 are coprime, has r a standard finite continued fraction expansion s = [a1; a2;:::].