[論文レビュー] $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$-有理数は、キーバー部分表現を符号化する多項式の商として定義される。主な貢献は、全正性を満たし、クラスター代数、ジョーンズ多項式、$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$-有理数と有理ねじれのジョーンズ多項式といった位相的不変量との明確な関係を確立する。

提案手法

• 多角形の三角形分割を用いて、$\mathcal{R}(q)$ と $\mathcal{S}(q)$ をキーバー部分表現から得られる多項式として定義し、$q$-有理数 $[r/s]_q = \mathcal{R}(q)/\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}$ の $q$-変形行列の積として表現し、連分数の各ステップを符号化する。
• 三角形分割から導かれる有向グラフの閉包部分集合を介して、分子および分母の多項式をクラスター代数の $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$-有理数のクラスター代数由来が確認される。