[论文解读] Fast Khovanov Homology Computations

Dror Bar-Natan|ArXiv.org|Jun 13, 2006

Geometric and Algebraic Topology参考文献 2被引用 11

一句话总结

本文提出了一种局部的、分而治之的算法，通过在早期过程中对辫状复形应用去环化（delooping）和高斯消元法，加速了科瓦洛夫同调的计算。通过在局部辫状不变量中抵消项，该方法显著降低了计算复杂度，使得原本使用标准方法需数百年才能计算的纽结（如八字纽结）的科瓦洛夫同调得以高效计算。

ABSTRACT

We introduce a local algorithm for Khovanov Homology computations - that is, we explain how it is possible to "cancel" terms in the Khovanov complex associated with a ("local") tangle, hence canceling the many associated "global" terms in one swoosh early on. This leads to a dramatic improvement in computational efficiency. Thus our program can rapidly compute certain Khovanov homology groups that otherwise would have taken centuries to evaluate.

研究动机与目标

• 解决具有大量交叉点的纽结科瓦洛夫同调计算的指数级时间成本问题。
• 开发一种实用算法，使此前难以处理的纽结的科瓦洛夫同调能够快速计算。
• 证明局部辫状不变量的简化可显著减少全局计算时间。
• 通过新算法提供一种机械化的、计算机辅助的 Reidemeister 变换不变性证明。

提出的方法

• 该算法通过将纽结分解为辫状结构，并对每个辫状局部计算科瓦洛夫同调，采用分而治之策略。
• 利用去环化消除科瓦洛夫复形中具有平凡同调的冗余项。
• 应用高斯消元法抵消微分矩阵中的非对角项，从而减小复形规模。
• 该方法利用水平复合运算，以最小开销将简化后的辫状不变量重新组合为完整纽结不变量。
• 该方法已实现计算化，支持自动简化并验证 Reidemeister 变换下的不变性。
• 通过最小化中间复形维数的增长，该算法被优化以处理具有高股数的辫状结构。

实验结果

研究问题

• RQ1 局部辫状不变量的简化是否能显著降低大规模纽结科瓦洛夫同调的计算成本？
• RQ2 在全局组装前，去环化与高斯消元法在科瓦洛夫复形中能多大程度上实现项的抵消？
• RQ3 分而治之方法是否能将指数时间的科瓦洛夫同调计算转化为超过10个交叉点的纽结的可行运行时间？
• RQ4 科瓦洛夫同调在 Reidemeister 变换下的不变性是否可通过该方法实现机械化、算法化的验证？
• RQ5 该算法在实际时间内可计算科瓦洛夫同调的最大纽结复杂度是多少？

主要发现

• 该算法使得原本使用标准方法需数百年才能计算的纽结的科瓦洛夫同调得以实现。
• 对于八字纽结，该方法通过局部简化将计算时间从指数级降低至接近线性，与交叉点数成正比。
• 去环化与高斯消元法可实现科瓦洛夫复形中项的早期抵消，显著减小中间复形的规模。
• 该方法实现的计算复杂度约为 $ C_2^{ ext{width}} $，其中 width 为连接辫状两半的股数，而非标准的 $ C_1^n $，其中 $ n $ 为交叉点数。
• 该算法通过将两侧复形简化为同构形式，机械地验证了第二类 Reidemeister 变换的不变性。
• 程序成功计算了扭结 $ T_{8,7} $ 的整数科瓦洛夫同调，同调群已整理至量子阶 grading 26。