---
title: 'q-Rational Numbers: Theory and Applications'
url: https://www.emergentmind.com/topics/q-rational-numbers
type: topic
---

# q-Rational Numbers: Theory and Applications

A $q$-rational number is a $q$-deformation of the classical notion of a rational number, introduced within the theory of quantizations, combinatorics, knot invariants, and geometric representation theory. The subject arises from the systematic extension of $q$-integers to rational domains, generalizing continued fractions, Farey geometry, and the algebraic and combinatorial structures underlying them. Developed primarily by Morier-Genoud and Ovsienko, $q$-rational numbers encompass canonical $q$-deformations of both rationals and irrationals, with algebraic, geometric, combinatorial, and representation-theoretic interpretations and deep connections to cluster algebras, quiver theory, and knot invariants [1812.00170, 2503.23834].

## 1. Definitions and Core Constructions

Let $q$ be a formal parameter. For $n\geq 0$, define the $q$-integer
\[
[n]_q = \frac{1 - q^n}{1 - q} = 1 + q + \cdots + q^{n-1} \in \mathbb{Z}[q].
\]
Given a rational number $x=\frac{r}{s}>0$ in lowest terms, write its even-length continued fraction expansion
\[
x = [a_1, a_2, \ldots, a_{2m}],
\]
and define its $q$-rational by a nested $q$-continued fraction:
\[
[x]_q = [a_1]_q + \frac{q^{a_1}}{[a_2]_{q^{-1}} + \frac{q^{-a_2}}{[a_3]_q + \cdots}}.
\]
Similar constructions use negative (Hirzebruch-type) continued fractions, yielding equivalent results. For every rational $x$,
\[
[x]_q = \frac{R(q)}{S(q)}, \quad R(q),S(q)\in \mathbb{Z}[q].
\]
Alternatively, $q$-rationals can be defined via a $q$-deformation of the modular action:
\[
T_q: X \mapsto q X + 1, \quad S_q: X \mapsto -\frac{1}{qX},
\]
which, with appropriate normalization, yields a unique $\mathrm{PSL}_2(\mathbb{Z})$-equivariant $q$-rational map $[\cdot]_q: \mathbb{Q}\cup\{\infty\}\rightarrow\mathbb{Z}(q)$ with $[0]_q=0$ [2503.23834, 1812.00170, 2511.11290].

## 2. $q$-Rationals, Irrationals, and Quadratic Cases

For $x \in \mathbb{R}\setminus\mathbb{Q}$, one defines $[x]_q$ by the coefficientwise stabilization of the power series expansion of $[x_n]_q$ for any rational sequence $x_n \to x$. The resulting $[x]_q = \sum_{k=0}^\infty a_k q^k \in \mathbb{Z}[[q]]$ is independent of the choice of approximants [2110.14342, 2503.23834].

In the case of (right) $q$-deformed quadratic irrationals, for periodic continued fractions $x = [n,n,n,\ldots]$ (classical metallic numbers), one has
\[
[x_n]_q = [n,n,n,\ldots]_q,
\]
which is the limit of the $q$-rationals of the truncated expansions. These satisfy explicit algebraic equations: for the $n$th $q$-metallic number, $[x_n]_q$ is a root of
\[
q X^2 - ((q-1)(q^n+1) + q[n]_q) X - 1 = 0,
\]
with discriminant $\Delta_n(q)$ a palindromic polynomial of degree $2n+2$ [2110.14342]. For general quadratic irrationals, $[x]_q$ is algebraic of degree $2$, with explicit polynomial formulas [2503.23834].

## 3. Structural Properties and Recurrences

The $q$-rationals satisfy the $\mathrm{PSL}_2(\mathbb{Z})$-equivariance
\[
[A(x)]_q = A_q([x]_q), \quad \forall\, A\in\mathrm{PSL}_2(\mathbb{Z}),
\]
together with fundamental recursions:
\[
[x+1]_q = q [x]_q + 1, \qquad [-1/x]_q = -\frac{1}{q[x]_q}.
\]
For every continued fraction $[a_1,\ldots, a_{2m}]$, the associated $R(q),S(q)$ polynomials satisfy three-term or four-term continuant recurrences, directly generalizing classical continuants and tridiagonal determinant formulas:
\[
R_j(q) = [a_j]_{q^{(-1)^{j-1}}} R_{j-1}(q) + q^{(-1)^{j-1} a_j} R_{j-2}(q),
\]
yielding numerator and denominator polynomials with positive integer coefficients [2503.23834, 1812.00170, 2110.14342, 2511.11290].

These recurrences also extend to $q$-metallic numbers via interlaced $q$-rational sequences $M_k(n), \tilde M_k(n)$, generalizing classical integer and Pell/Fibonacci recursions [2110.14342].

## 4. Positivity, Total Positivity, and Combinatorics

A central property is total positivity: for rationals $x>y>0$, with $[x]_q = R(q)/S(q)$ and $[y]_q = R'(q)/S'(q)$,
\[
R(q) S'(q) - S(q) R'(q) \in \mathbb{Z}_{\geq 0}[q].
\]
The coefficients of $R(q), S(q)$ are unimodal and, for palindromic continued fractions, palindromic [1812.00170, 2503.23834].

Multiple combinatorial and geometric interpretations exist:
- The coefficients of $R(q)$ enumerate north-east lattice paths, order ideals in fence posets, perfect matchings in snake graphs, and certain $P$-partitions in skew shapes [2511.11290, 2111.07912, 2408.06902].
- For $q$ a prime power, these numbers count $\mathbb F_q$-points in explicit unions of Schubert cells of finite Grassmannians, providing a geometric realization [2111.07912].
- The $q$-rational numerators for certain Christoffel words recover $q$-Markoff numbers, connected to perfect matchings in snake graphs [2511.11290].

## 5. Analytic and Algebraic Features: Radii of Convergence

The power series expansion $[x]_q = \sum_{k=0}^\infty a_k q^k$ has a radius of convergence determined by the nearest zero of a characteristic polynomial. For quadratic irrationals and, in particular, $q$-metallic numbers, the singularities are zeros of the discriminant $\Delta_n(q)$, a palindromic polynomial; all such zeros have modulus in an explicit annulus:
\[
\{ q \in \mathbb{C} : R_{(1)} \leq |q| \leq R_{(1)}^{-1} \}, \qquad R_{(1)} := (3-\sqrt{5})/2 \approx 0.382.
\]
A universal analytic lower bound holds: for all real $x\geq1$, the radius of convergence of $[x]_q$ is at least $(3-\sqrt{5})/2$, with this minimal value achieved precisely for the modular orbit of the golden ratio. For finite $q$-rational approximants (truncated expansions), the radius of convergence is strictly larger for $n=3,4$ [2110.14342, 2503.23834].

## 6. Geometric and Categorical Aspects

Every $q$-rational number $[x]_q$ can be geometrically represented as a circle in the complex plane—the $q$-Ford circle—generalizing the classical Ford circles. The $q$-deformed Farey tessellation and modular orbifold are natural generalizations, with the length and area of the modular surface explicitly computable as functions of $q$ [2603.04295]. The compactification of spaces of Bridgeland stability conditions for 2-Calabi–Yau categories (of type $A_2$) realizes $q$-rationals as boundary points, with braid group ($B_3$) orbits governing their symmetries [2202.07613].

Quadratic operations (Springborn sums) between $q$-rationals correspond to algebraic combinations of $q$-Ford circle centers, reducing to $q$-mediants in regular cases and satisfying deformed Markov-type equations in iterated instances [2603.04295].

## 7. Applications and Further Directions

$q$-rational numbers have ramifications across several domains:
- The numerator/denominator polynomials $R(q),S(q)$ appear in the explicit formulas for Jones polynomials of rational knots; $q$-binomial and $q$-gamma identities involving $q$-rationals yield generalizations of the classical hypergeometric series, combinatorial identities, and $q$-Gamma function reflection formulas [2301.08185, 1812.00170].
- For $m>1$, higher $q$-continued fractions generalize $q$-rational numbers, with analogous combinatorial and positivity properties [2408.06902].
- The algebraic framework supports links to cluster algebras (as $F$-polynomials), quiver representations, and dimer models on snake graphs, thereby providing a unification of enumerative, geometric, and algebraic combinatorics [2510.16270].
- Future directions include the further study of $q$-deformed Diophantine structures (Markov numbers), $q$-integration in representation theory, and connections with modular retrieval in analytic number theory and quantum topology [2511.11290, 2503.23834].

Source: https://www.emergentmind.com/topics/q-rational-numbers