[论文解读] $q$-deformed rationals and $q$-continued fractions

Sophie Morier-Genoud, Valentin Ovsienko|arXiv (Cornell University)|Dec 1, 2018

Mathematical functions and polynomials被引用 7

一句话总结

本文通过多边形的三角剖分，引入了一种有新意的有理数与连分数的 $q$-变形，其中 $q$-有理数被定义为编码箭头图子表示的多项式之商。主要贡献在于一种满足完全正性且与丛代数、琼斯多项式以及通过加权法里图和 $F$-多项式联系起来的组合 $q$-变形。

ABSTRACT

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.

研究动机与目标

• 定义一种尊重组合与代数结构的 $q$-有理数变形，不同于朴素的 $q$-整数之商。
• 通过闭合子集与 $F$-多项式，建立 $q$-连分数与箭头图表示之间的联系。
• 利用法里图，将帕斯卡恒等式与欧拉恒等式等经典结果推广至 $q$-变形设定。
• 证明 $q$-有理数构造可通过在 $q=0$ 处泰勒系数的稳定性，推广至无理数。
• 通过丛代数技术，将 $q$-有理数与有理纽结的琼斯多项式等拓扑不变量联系起来。

提出的方法

• 通过多边形的三角剖分定义 $q$-有理数 $[r/s]_q = \mathcal{R}(q)/\mathcal{S}(q)$，其中 $\mathcal{R}$ 和 $\mathcal{S}$ 是由箭头图子表示导出的多项式。
• 利用加权法里图递归构造 $q$-有理数，将帕斯卡三角形推广为包含 $q$-权重的法里和规则。
• 将 $q$-连分数表示为 $q$-变形矩阵 $R_q = \begin{pmatrix} q & 1 \\ 0 & 1 \end{pmatrix}$ 与 $L_q = \begin{pmatrix} 1 & 0 \\ 1 & q^{-1} \end{pmatrix}$ 的乘积，以编码连分数的步骤。
• 通过由三角剖分导出的有向图的闭合子集，将分子与分母多项式与丛代数的 $F$-多项式联系起来。
• 应用庞道利关系与丛变量理论计算 $F$-多项式，证明 $\mathcal{R}(q) = F_{0,k+1}(q,\dots,q)$ 且 $\mathcal{S}(q) = F_{1,k+1}(q,\dots,q)$。
• 通过在 $q=0$ 处泰勒系数的稳定性，建立 $q$-有理数展开的收敛性，从而实现对无理数的 $q$-变形。

实验结果

研究问题

• RQ1 如何定义 $q$-有理数的变形，使得分子与分母的 $q$-变形相互影响，而非独立地进行 $q$-变形？
• RQ2 $[r/s]_q$ 的分子与分母中系数的组合解释是什么？
• RQ3 $q$-连分数如何与矩阵乘积及丛代数的 $F$-多项式相关联？
• RQ4 能否通过在 $q=0$ 处泰勒级数的收敛性，将 $q$-有理数构造推广至无理数？
• RQ5 $q$-有理数与有理纽结的琼斯多项式之间的确切联系是什么？

主要发现

• $[5/2]_q = (1 + 2q + q^2 + q^3)/(1 + q)$ 与 $[5/3]_q = (1 + q + 2q^2 + q^3)/(1 + q + q^2)$ 表明，分子通过 $q$-变形依赖于分母。
• $\mathcal{R}(q)$ 与 $\mathcal{S}(q)$ 的系数计数有向图的闭合子集或最大不可约箭头图表示的子表示。
• 对于 $r/s > r'/s'$，差值 $\mathcal{R}\mathcal{S}' - \mathcal{S}\mathcal{R}'$ 具有正整数系数，确立了完全正性性质。
• 对于 $[8/3]_q$，分子 $F_{03}(q,q,q,q) = 1 + 2q + 2q^2 + 2q^3 + q^4$ 与琼斯多项式 $J_{8/3}(q) = 1 + q + 2q^2 + q^3 + 2q^4 + q^5$ 均来自不同权重分配的 $F$-多项式。
• $q$-有理数构造在有理数收敛序列的 $q=0$ 处泰勒系数上稳定，从而可推广至无理数。
• $F$-多项式 $F_{0,k+1}(q,\dots,q)$ 与 $F_{1,k+1}(q,\dots,q)$ 分别给出 $\mathcal{R}(q)$ 与 $\mathcal{S}(q)$，确认了 $q$-有理数的丛代数起源。