[论文解读] The Kauffman bracket of virtual links and the Bollobás-Riordan polynomial

Sergei Chmutov, Igor Pak|ArXiv.org|Sep 1, 2006

Geometric and Algebraic Topology参考文献 9被引用 53

一句话总结

本文建立了可四色化的虚拟链的开尔文括号与关联的带状图的Bollobás-Riordan多项式之间的直接联系。它将Thistlethwaite关于平面图和Tutte多项式的经典结果推广至虚拟链，表明开尔文括号是Bollobás-Riordan多项式的取值，从而通过带状图不变量将琼斯多项式框架扩展至虚拟结理论。

ABSTRACT

We show that the Kauffman bracket $[L]$ of a checkerboard colorable virtual link $L$ is an evaluation of the Bollobás-Riordan polynomial $R_{G_L}$ of a ribbon graph associated with $L$. This result generalizes Thistlethwaite's celebrated theorem relating the Kauffman bracket with the Tutte polynomial of planar graphs.

研究动机与目标

• 将Thistlethwaite关于琼斯多项式与Tutte多项式关系的经典定理从经典链推广至虚拟链。
• 通过引入与虚拟链图相关的带状图，将图多项式的框架扩展至虚拟结理论。
• 建立虚拟链的开尔文括号与关联带状图的Bollobás-Riordan多项式之间的精确代数关系。
• 为使用广义图多项式计算虚拟链的琼斯型不变量提供拓扑与组合基础。
• 将关于平面图与Tutte多项式的经典结果推广至带状图与虚拟链的非平面情形。

提出的方法

• 从一个可四色化的虚拟链图 $ L $ 构造一个带状图 $ G_L $，利用开尔文括号的状态和分解。
• 为带状图 $ G_L $ 定义Bollobás-Riordan多项式 $ R_G(x,y,z) $，该多项式将Tutte多项式推广至嵌入图。
• 在链图的状态 $ S $ 与带状图 $ G_L $ 的生成子图 $ F = \varphi(S) $ 之间建立双射，使得 $ \alpha(S) $ 映射为 $ e(F) $，$ \beta(S) $ 映射为 $ e(G) - e(F) $。
• 推导变量替换：$ x = \frac{Bd}{A}, y = \frac{Ad}{B}, z = \frac{1}{d} $，以关联 $ R_G $ 的多项式项与开尔文括号的项。
• 证明在乘以 $ A^{r(G)}B^{n(G)}d^{k(G)-1} $ 后，Bollobás-Riordan多项式恰好等于开尔文括号 $[L](A,B,d)$。
• 将结果扩展至带符号的带状图，并通过适当的替换推导出任意可四色化虚拟链的琼斯多项式。

实验结果

研究问题

• RQ1 可四色化的虚拟链的开尔文括号能否表示为广义图多项式的取值？
• RQ2 带状图的Bollobás-Riordan多项式与其关联虚拟链的开尔文括号之间有何关系？
• RQ3 经典琼斯多项式与Tutte多项式之间的关系是否可通过带状图推广至虚拟链？
• RQ4 能否通过其关联带状图的Bollobás-Riordan多项式计算非交错虚拟链的琼斯多项式？
• RQ5 将Bollobás-Riordan多项式映射至虚拟链开尔文括号的精确代数变换是什么？

主要发现

• 可四色化虚拟链 $ L $ 的开尔文括号 $[L](A,B,d)$ 等于 $ A^{r(G)}B^{n(G)}d^{k(G)-1} \cdot R_{G_L}\left(\frac{Bd}{A}, \frac{Ad}{B}, \frac{1}{d}\right) $，其中 $ G_L $ 是 $ L $ 关联的带状图。
• 该结果推广了Thistlethwaite定理：对于经典交错链，琼斯多项式作为Tutte多项式的特化而出现；在此，它作为Bollobás-Riordan多项式的特化而出现。
• 从 $ L $ 构造带状图 $ G_L $ 的过程是典范的，并保持了开尔文括号的状态和结构。
• 证明依赖于状态 $ S \in \mathcal{S}(L) $ 与生成子图 $ F \subseteq G_L $ 之间的一一对应关系，满足 $ \alpha(S) = e(F) $，$ \beta(S) = e(G) - e(F) $，且 $ \delta(S) = \mathrm{bc}(F) $。
• 替换 $ x = \frac{Bd}{A}, y = \frac{Ad}{B}, z = \frac{1}{d} $ 将Bollobás-Riordan多项式的各项精确映射至开尔文括号的各项。
• 该框架可扩展至带符号的带状图，从而允许通过带符号的Bollobás-Riordan多项式计算任意可四色化虚拟链的琼斯多项式。