arXiv++ Combinatorics

A $q$-deformed real number, or ``$q$-real'', was defined by Morier-Genoud and the second author. When $x\in\mathbb{R}$ such that $x\geq0$, the $q$-analogue $[x]_q$ is a power series with integer coefficients in one formal variable~$q$. In general a $q$-real is a formal Laurent series. The main goal of this paper is to study the coefficients of $q$-reals as functions on~$\mathbb{R}$ and give a combinatorial interpretation of these coefficients. This allows us to prove a conjecture studied by several authors stating that the $q$-deformed golden ratio has the smallest radius of convergence among the radii of the $q$-reals associated with positive real numbers. This is a $q$-analogue of the classical Hurwitz theorem. Our approach is combinatorial. We prove that for every real number $x$ in the interval $(1,2)$ the absolute value of each coefficient of the power series representing the $q$-real $[x]_q$ is dominated by the absolute value of the corresponding coefficient of the $q$-deformed golden ratio. The main notion is a certain collection of ordered rooted trees associated with a $q$-real. We prove that the golden ratio corresponds to a universal class of trees.

We introduce a $q$-deformation of the Pythagoras equation $a^2 + b^2 = c^2$, which is a polynomial version of it different from the standard one. We construct a polynomial analogue, or ``$q$-analogue'', of every primitive Pythagorean triple. We also construct such analogue for a larger class of Pythagorean triples called standard. Our approach is based on the notion of $q$-deformed rational numbers and the modular group $\mathrm{PSL}(2,\mathbb{Z})$.

We describe the relationships between the notion of $q$-deformed rational numbers, introduced in our previous work with Sophie Morier-Genoud, and the theory of dimer models. We show that $q$-deformed rationals can be calculated in terms of perfect matchings of certain bipartite graphs, known as snake graphs, or ribbon tiles, etc. equipped with a certain weight function on the set of edges. We apply some elements of the dimer theory to get more information about $q$-rationals.

We consider a natural $q$-deformation of the classical Markov numbers. This $q$-deformation is closely related to $q$-deformed rational numbers recently introduced by two of us. Both notions, those of $q$-rationals and $q$-Markov numbers, are based on invariance with respect to the action of the modular group $mathrm{PSL}(2,\mathbb{Z})$. We prove that every Markov number has a unique $q$-deformation, which is a monic unimodal palindromic Laurent polynomial with positive integer coefficients. The $q$-Markov numbers can be calculated in terms of the traces of $q$-deformed Cohn matrices, and we show that $q$-Markov numbers are independent of the choice of such matrices. We construct a combinatorial model counting perfect matchings of snake graphs with weighted edges.

The concept of $q$-deformation, or ``$q$-analogue'' arises in many areas of mathematics. In algebra and representation theory, it is the origin of quantum groups; $q$-deformations are important for knot invariants, combinatorial enumeration, discrete geometry, analysis, and many other parts of mathematics. In mathematical physics, $q$-deformations are often understood as ``quantizations''. The recently introduced notion of a $q$-deformed real number is based on the geometric idea of invariance by a modular group action. The goal of this lecture is to explain what is a $q$-rational and a $q$-irrational, demonstrate beautiful properties of these objects, and describe their relations to many different areas. We also tried to describe some applications of $q$-numbers.

The recent notion of $q$-deformed irrational numbers is characterized by the invariance with respect to the action of the modular group $\PSL(2,\Z)$, or equivalently under the Burau representation of the braid group~$B_3$. The theory of $q$-deformed quadratic irrationals and quadratic equations with integer coefficients is known and entirely based on this invariance. In this paper, we consider the case of cubic irrationals. We show that irreducible cubic equations with three distinct real roots and cyclic Galois group~$C_3$ (or $\Z/3\Z$) acting by a third order element of $\PSL(2,\Z)$, have a canonical $q$-deformation, that we describe. This class of cubic equations contains well-known examples including the equations that describe regular $7$- and $9$-gons.

$q$-deformed real numbers are power series with integer coefficients. We study Stieltjes and Jacobi type continued fraction expansions of $q$-deformed real numbers and find many new examples of such continued fractions. We also investigate the corresponding sequences of Hankel determinants and find an infinite family of power series for which several of the first sequences of Hankel determinants consist of $-1,0$ and $1$ only. These Hankel sequences satisfy Somos and Gale-Robinson recurrences.

We establish a link between the new theory of $q$-deformed rational numbers and the classical Burau representation of the braid group $\mathrm{B}_3$. We apply this link to the open problem of classification of faithful complex specializations of this representation. As a result we provide an answer to this problem in terms of the singular set of the $q$-rationals and prove the faithfulness of the Burau representation specialized at complex $t\in \mathbb{C}^*$ outside the annulus $3-2\sqrt2 \leq |t| \leq 3+2\sqrt2.$

We introduce a superanalogue of the classical Markov equation. This equation characterizes the ``shadow Markov numbers'' recently considered by one of us. We show that this equation is characterized by invariance by cluster algebra mutations.

This paper is an attempt to apply the tools of supergeometry to arithmetic. Supergeometric objects are defined over supercommutative rings of coefficients, and we consider an integral ring with exactly two odd variables. In this case the even quantities, such as numbers and continued fractions, are doubled, having both a classical and a nilpotent part. We refer to the nilpotent part as the shadow. We investigate the notions of supersymmetric continued fractions and the orthosymplectic modular group and make some initial steps toward studying their properties.

We formulate the following general problem. To the best of our knowledge, it is open and has not previously been considered. It seems (at least to us!) to be difficult; at any rate, more difficult than enumerating the dissections themselves. Enumerate the distinct quiddities of dissections of the $N$-gon into $m$ cells.

The following general idea looks crazy. What if another integer sequence follows each integer sequence like a shadow? I will demonstrate that this is indeed the case, perhaps not for every integer sequence, but for many of them.

This is an elementary explanation of a cubic composition formula due to Ramanujan.

We study a $2 \times 2$ matrix equation arising naturally in the theory of Coxeter frieze patterns. It is formulated in terms of the generators of the group $\mathrm{PSL}(2,\mathbb{Z})$ and is closely related to continued fractions. It appears in a number of different areas, for example, toric varieties. We count its positive solutions, obtaining a series of integer sequences, some known and some new. This extends classical work of Conway and Coxeter proving that the first of these sequences is the Catalan numbers.

This work is a first step towards a theory of "$q$-deformed complex numbers". Assuming the invariance of the $q$-deformation under the action of the modular group I prove the existence and uniqueness of the operator of translations by~$i$ compatible with this action. Obtained in such a way $q$-deformed Gaussian integers have interesting properties and are related to the Chebyshev polynomials.

We explain the notion of "$q$-deformed real numbers" introduced in our previous work and overview their main properties. We will also introduce $q$-deformed Conway-Coxeter friezes.

We introduce a notion of $q$-deformed rational numbers and $q$-deformed continued fractions. A $q$-deformed rational is encoded by a triangulation of a polygon and can be computed recursively. The recursive formula is analogous to the $q$-deformed Pascal identitiy for the Gaussian binomial coefficients, but the Pascal triangle is replaced by the Farey graph. The coefficients of the polynomials defining the $q$-rational count quiver subrepresentations of the maximal indecomposable representation of the graph dual to the triangulation. Several other properties, such as total positivity properties, $q$-deformation of the Farey graph, matrix presentations and $q$-continuants are given, as well as a relation to the Jones polynomial of rational knots.

We reformulate several known results about continued fractions in combinatorial terms. Among them the theorem of Conway and Coxeter and that of Series, both relating continued fractions and triangulations. More general polygon dissections appear when extending these theorems for elements of the modular group $PSL(2,\mathbb{Z})$. These polygon dissections are interpreted as walks in the Farey tessellation. The combinatorial model of continued fractions can be further developed to obtain a canonical presentation of elements of $PSL(2,\mathbb{Z})$.

We develop a version of cluster algebra extending the ring of Laurent polynomials by adding Grassmann variables. These algebras can be described in terms of `extended quivers' which are oriented hypergraphs. We describe mutations of such objects and define a corresponding commutative superalgebra. Our construction includes the notion of weighted quivers that has already appeared in different contexts. This paper is a step of understanding the notion of cluster superalgebra

We characterize sequences of positive integers $(a_1,a_2,\ldots,a_n)$ for which the $2\times2$ matrix $\left( \begin{array}{cc} a_n&-1 1&0 \end{array} \right) \left( \begin{array}{cc} a_{n-1}&-1 1&0 \end{array} \right) \cdots \left( \begin{array}{cc} a_1&-1 1&0 \end{array} \right) $ is either the identity matrix $\mathrm Id$, its negative $-\mathrm Id$, or square root of $-\mathrm Id$. This extends a theorem of Conway and Coxeter that classifies such solutions subject to a total positivity restriction.