[论文解读] Recurrence relation for HOMFLY polynomial and rational specializations

Rehana Ashraf, Barbu Berceanu|arXiv (Cornell University)|Mar 4, 2010

Geometric and Algebraic Topology参考文献 8被引用 3

一句话总结

该论文为闭辫的HOMFLY多项式建立了类斐波那契递推关系，揭示仅有三种有理特化成立：亚历山大-康韦多项式、琼斯多项式以及新发现的多项式。通过利用该递推关系，作者推导出一般展开公式与相对展开公式以及有理生成函数，将计算简化为对简单辫子（特别是无平方因子的辫子）的闭包，并证明了这三种多项式的代数独立性。

ABSTRACT

Turning the skein relation for HOMFLY into a Fibonacci recurrence, we prove that there are only three rational specializations of HOMFLY polynomial: Alexander-Conway, Jones, and a new one. Using the recurrence relation, we find general and relative expansion formulae and rational generating functions for Alexander-Conway polynomial and the new polynomial, which reduce the computations to closure of simple braids, a subset of square free braids; HOMFLY polynomials of these simple braids are also computed. Algebraic independence of these three polynomials is proved.

研究动机与目标

• 通过将HOMFLY的 skein 关系转化为类斐波那契递推关系，识别HOMFLY多项式的全部有理特化。
• 利用递推关系，为亚历山大-康韦多项式与新多项式建立一般展开公式与相对展开公式。
• 通过利用递推关系，将HOMFLY多项式的计算简化为对简单辫子（特别是无平方因子辫子）的闭包。
• 证明亚历山大-康韦多项式、琼斯多项式与新发现的有理特化多项式在 $\mathbb{C}[s,s^{-1}]$ 上的代数独立性。
• 通过洛朗多项式基提供亚历山大-康韦多项式与新多项式的有理生成函数及闭式表达式。

提出的方法

• 将HOMFLY的 skein 关系转化为带有参数 $(-ml, -l^2)$ 的多重类斐波那契递推关系，适用于闭 $n$-辫子。
• 定义洛朗多项式 $C^a(s) = (-1)^a s^{a-1} + s^{1-a}$ 作为展开公式的基。
• 推导一般展开公式：$\nabla_n(x_{i_1}^{a_1}\ldots x_{i_k}^{a_k}) = \left(\frac{s}{s^2+1}\right)^k \sum_{j_i \in \{0,1\}} \prod_{i=1}^k C^{a_i + j_i}(s) \cdot \nabla_n(x_{i_1}^{j_1}\ldots x_{i_k}^{j_k})$。
• 建立具有 $p$ 个子图的链的相对展开公式：$\nabla_{\mathcal{L}}(k_1,\ldots,k_p) = \left(\frac{s}{s^2+1}\right)^p \sum_{j_i \in \{0,1\}} \prod_{i=1}^p C^{k_i + j_i}(s) \cdot \nabla_{\mathcal{L}}(j_1,\ldots,j_p)$。
• 通过归纳法与渐近次数分析，证明递推中某些洛朗多项式必须为零，从而导出代数独立性。
• 应用递推关系构造一个链 $L_{p,n} = \widehat{x_1^{2p+1} \cdots x_n^{2p+1}}$，其在 $\nabla$、$V$ 与 $D$ 多项式中具有不同的首项，通过矛盾法证明多项式系数的代数独立性。

实验结果

研究问题

• RQ1 哪些有理特化满足HOMFLY多项式的类斐波那契递推关系？
• RQ2 亚历山大-康韦多项式与琼斯多项式能否通过规范洛朗多项式基以一般展开公式表示？
• RQ3 是否存在由递推结构导出的、此前未知的HOMFLY多项式有理特化？
• RQ4 亚历山大-康韦多项式、琼斯多项式与新多项式在 $\mathbb{C}[s,s^{-1}]$ 上是否代数独立？
• RQ5 能否通过递推关系将HOMFLY多项式的计算简化为简单辫子的闭包？

主要发现

• 仅有三种HOMFLY多项式的有理特化成立：亚历山大-康韦多项式、琼斯多项式与一种新多项式，其来源于递推关系的特征根。
• 亚历山大-康韦多项式满足多重类斐波那契递推关系：$\nabla_n(a_1,\ldots,a_j+2,\ldots,a_k) = (s^{-1} - s)\nabla_n(a_1,\ldots,a_j+1,\ldots,a_k) + \nabla_n(a_1,\ldots,a_j,\ldots,a_k)$。
• 当特征方程具有重根 $r''_1 = r''_2 = s$ 时，新多项式出现，其与琼斯多项式和亚历山大-康韦多项式情形不同。
• 一般展开公式将任意闭辫的亚历山大-康韦多项式表示为 $2^k$ 个简单辫子闭包的加权和，权重由 $C^{a_i + j_i}(s)$ 给出。
• 相对展开公式允许将具有 $p$ 个子图的链的亚历山大-康韦多项式计算为 $2^p$ 种子图配置的和。
• 三种多项式——亚历山大-康韦多项式、琼斯多项式与新 $D$-多项式——在 $\mathbb{C}[s,s^{-1}]$ 上代数独立，其证明基于构造的链族 $L_{p,n}$ 的首项渐近次数分析。