Amanda Burcroff,Nicholas Ovenhouse,Ralf Schiffler,Sylvester W. Zhang
Abstract:We introduce a $q$-analog of the higher continued fractions introduced by the last three authors in a previous work (together with Gregg Musiker), which are simultaneously a generalization of the $q$-rational numbers of Morier-Genoud and Ovsienko. They are defined as ratios of generating functions for $P$-partitions on certain posets. We give matrix formulas for computing them, which generalize previous results in the $q=1$ case. We also show that certain properties enjoyed by the $q$-rationals are also satisfied by our higher versions.
What problem does this paper attempt to address?
This paper aims to define and study higher - order q - continued fractions. These fractions are a simultaneous generalization of two relatively new concepts:
1. **Higher - order continued fractions**: This is a generalization of multi - dimensional continued fractions recently proposed by the last three authors (in collaboration with Gregg Musiker). Given an integer sequence \((a_1, a_2,\ldots, a_n)\), the corresponding higher - order continued fraction is a tuple of rational numbers defined by certain nested recursions, which are similar to the traditional continued fraction definitions. They can also be defined by the ratio of the sizes of combinatorially - defined sets.
2. **q - rational numbers**: Morier - Genoud and Ovsienko defined q - rational numbers, which are an extension of q - integers \([n]_q=1 + q+q^2+\cdots+q^{n - 1}\) for \(n\in\mathbb{Q}\), obtained by the q - deformation of continued fraction expressions.
The higher - order q - continued fractions in the paper depend on an index \(m\), and when \(m = 1\), it specializes to q - rational numbers. To strengthen this analogy, the authors show that their higher - order q - continued fractions satisfy some nice properties of q - rational numbers, such as stability and positivity phenomena.
### Main Results
1. **Matrix Formulas**:
- Define matrices \(R_m(q)\) and \(L_m(q)\), and calculate higher - order q - continued fractions by the product of these matrices. Specifically, for a sequence \((a_1, a_2,\ldots, a_{2n})\) and its corresponding snake graph \(G = G[a_1, a_2,\ldots, a_{2n}]\), the \((1,1)\)-entry of the matrix product \(X = R_m(q)^{a_1}L_m(q)^{a_2}R_m(q)^{a_3}\cdots L_m(q)^{a_{2n}}\) is equal to the \(P\)-partition generating function \(\Omega_m(G,q)\).
2. **Stability Phenomenon**:
- For a sequence of rational numbers \(x_n\) converging to an irrational number \(x\), the power series expansion of the higher - order q - continued fraction \(r_q^m(x_n)\) is stable as \(n\rightarrow\infty\), giving a well - defined power series, which can be used as the definition of \(r_q^m(x)\). Moreover, the rate of coefficient stability does not depend on \(m\).
3. **Positivity Phenomenon**:
- If \(\frac{r}{s}>\frac{a}{b}\geq1\), let \(r_q^m\left(\frac{r}{s}\right)=\frac{R(q)}{S(q)}\) and \(r_q^m\left(\frac{a}{b}\right)=\frac{A(q)}{B(q)}\), then \(R(q)B(q)-A(q)S(q)\) is a polynomial with positive integer coefficients.
### Paper Structure
- **Section 2**: Establishes the notation of basic matrices and restates and proves a theorem in [MOSZ23], which is the version of Theorem A in the case of \(q = 1\).
- **Section 3**: Defines the q - deformation of basic matrices and proves Theorem A.
- **Section 4**: Reviews the definition and properties of q - rational numbers by Morier - Genoud and Ovsienko and defines the q - deformation of higher - order continued fractions.
- **Section 5**: Proves Theorem B, establishing the stability phenomenon of higher - order q - rational numbers.
- **Section 6**: Proves Theorem C, establishing the positivity phenomenon.
Through these results, the paper not only extends the concepts of traditional continued fractions and q - rational numbers but also reveals the rich structures and properties of these higher - order q - continued fractions in combinatorics and algebra.