[论文解读] An Efficient Algorithm to Compute the Colored Jones Polynomial

Mustafa Hajij, Jesse Levitt|arXiv (Cornell University)|Apr 21, 2018

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

一句话总结

本文提出了一种高度优化的经典算法，通过在辫子模型上行走来计算任意绳结的彩色 Jones 多项式（CJP），利用改进的 q-Weyl 代数框架和一种新型的重复项消除算法（DRA）。该方法通过最小化冗余字串评估并利用现代 Mathematica 特性进行高效符号计算，相较于现有实现（包括 KnotTheory 包）实现了高达一个数量级的速度提升。

ABSTRACT

The colored Jones polynomial is a knot invariant that plays a central role in low dimensional topology. We give a simple and an efficient algorithm to compute the colored Jones polynomial of any knot. Our algorithm utilizes the walks along a braid model of the colored Jones polynomial that was refined by Armond from the work of Huynh and Lê. The walk model gives rise to ordered words in a $q$-Weyl algebra which we address and study from multiple perspectives. We provide a highly optimized Mathematica implementation that exploits the modern features of the software. We include a performance analysis for the running time of our algorithm. Our implementation of the algorithm shows that our method usually runs in faster time than the existing state-of the-art method by an order of magnitude.

研究动机与目标

• 开发一种快速、通用的经典算法，用于计算任意绳结的彩色 Jones 多项式（CJP）。
• 通过在辫子上的行走模型，克服先前方法在图示复杂性和内存溢出方面的局限性。
• 通过利用结构定理和一种新型重复项消除算法（DRA），最小化所需行走次数，从而优化 CJP 的计算。
• 提供一种高效、完整功能的 Mathematica 实现，充分利用现代软件特性进行符号计算。
• 在更高颜色表示（N ≥ 9）和更多交叉数的绳结上，显著优于当前最先进的实现。

提出的方法

• 该算法通过绳结的辫子表示中的行走来建模 CJP 的计算，将每条行走转化为 q-Weyl 代数中的有序字串。
• 引入标准字串形式，以唯一方式表示并简化 q-Weyl 代数中的代数表达式，从而减少冗余。
• 关键创新在于重复项消除算法（DRA），通过消除等价或冗余路径，最小化计算 CJP 所需的不同行走数量。
• 该方法利用辫子行走的结构定理来指导 DRA，从而减少所需评估的总数。
• 该算法在 Mathematica 中实现，利用模式匹配、记忆化和符号简化等现代特性以实现高性能。
• 通过评估所有标准字串并将其贡献作为 q 的洛朗多项式相加，来计算 CJP。

实验结果

研究问题

• RQ1 能否设计一种经典算法，以高效方式计算所有绳结（无论交叉数或颜色如何）的彩色 Jones 多项式？
• RQ2 如何在不损失计算精度的前提下，最小化辫子模型中的行走数量？
• RQ3 现代符号计算工具（如 Mathematica）在优化来自 CJP 的非交换代数表达式求值方面，可发挥多大程度的作用？
• RQ4 所需行走数量随交叉数增长的渐近增长率如何？是否可以对其进行有界控制？
• RQ5 所提出的算法在性能上与现有实现相比如何，特别是在更高颜色表示和复杂绳结上的表现？

主要发现

• 在绳结表中前 28 个绳结上，该算法的运行速度比 KnotTheory 包的 REngine 方法快约一个数量级。
• 重复项消除算法（DRA）通过消除冗余路径评估，显著降低了计算负载。
• 对于具有 9 个交叉的绳结，该算法完成了此前在 KnotTheory 包中导致内存溢出的计算，展示了更好的可扩展性。
• 简单行走的平均数量随交叉数 k 呈 O(k²) 增长，表明其在实际计算中具有可控的增长率。
• 该算法的运行时间与行走数量呈线性关系，性能分析证实了在不同颜色（N = 2 至 7）下的一致加速效果。
• 在测试过程中，该实现保持稳定，未发生内存溢出，而 KnotTheory 包在类似工作负载下则出现了该问题。