[论文解读] Computing a Link Diagram from Its Exterior

Nathan M. Dunfield, Malik Obeidin+1 more|arXiv (Cornell University)|Dec 6, 2021

Geometric and Algebraic Topology被引用 1

一句话总结

该论文提出了首个实用算法，通过Pachner变换和重心细分对链外空间的三角剖分进行简化，从而从其三角剖分中重建链图。该方法成功计算出超过2,500个交叉点的链图，包括23个算术链外空间的首个已知图示。

ABSTRACT

A knot is a circle piecewise-linearly embedded into the 3-sphere. The topology of a knot is intimately related to that of its exterior, which is the complement of an open regular neighborhood of the knot. Knots are typically encoded by planar diagrams, whereas their exteriors, which are compact 3-manifolds with torus boundary, are encoded by triangulations. Here, we give the first practical algorithm for finding a diagram of a knot given a triangulation of its exterior. Our method applies to links as well as knots, and allows us to recover links with hundreds of crossings. We use it to find the first diagrams known for 23 principal congruence arithmetic link exteriors; the largest has over 2,500 crossings. Other applications include finding pairs of knots with the same 0-surgery, which relates to questions about slice knots and the smooth 4D Poincaré conjecture.

研究动机与目标

• 解决从链外空间的三角剖分重建链图这一逆问题，这是计算低维拓扑学中的一个关键挑战。
• 提供一种对具有数百个交叉点的链有效的算法，克服暴力搜索或数据库查找方法的局限性。
• 使复杂链外空间（包括高交叉数的算术链）的先前未知图示得以发现。
• 通过使大型双曲链外空间的图示恢复成为可能，支持纽结理论中的应用，例如0-德里姆勒手术和可裂纽结的研究。

提出的方法

• 该算法从链外空间的理想三角剖分开始，通过一系列Pachner变换简化三角剖分。
• 利用重心细分减少三角剖分中的弧的数量，从而在变换序列中提高效率。
• 通过引入分层填充和简单Pachner变换，将三角剖分从链外空间过渡到标准3-球体的三角剖分。
• 对最终三角剖分应用最终的图示简化步骤，该步骤经过优化，时间复杂度为O(n^1.5)，以生成最小图示。
• 该算法在SnapPy中实现，并利用双曲不变量和同胚检测来引导搜索过程。
• 通过要求输入经线曲线，该方法可处理多分量链，确保正确重建链的类型。

实验结果

研究问题

• RQ1 即使链具有数百个交叉点，是否能有效从其外空间的三角剖分中重建链图？
• RQ2 Pachner变换和重心细分在三角剖分简化过程中，能在多大程度上减少弧的复杂度？
• RQ3 对于现有图示不变量无法计算的大型双曲链外空间，是否能够恢复最小或近似最小的图示？
• RQ4 是否可以通过修改外空间的三角剖分并重新应用重建算法，来探索给定链的图示空间？
• RQ5 是否存在尚无已知图示的算术链外空间，而该算法能够发现它们？

主要发现

• 该算法成功计算出23个主同余算术链外空间的首个已知图示，其中包括一个具有2,500多个交叉点的图示。
• 恢复的最大图示包含1,092个交叉点，输入三角剖分包含211个理想四面体，双曲体积约为188.32。
• 该方法恢复了一个24个分量的链，包含294个交叉点，而根据体积界限，任何图示至少需要66个交叉点。
• 运行时间在实践中平均呈O(1.07^n)增长，尽管对于超过40个四面体的输入，最终图示简化步骤占主导计算量。
• 该算法现已成为SnapPy的标准功能，广泛应用于计算纽结理论。
• 尽管测试了如纽结能量最小化和更大范围移动等高级简化技术，但未观察到弧数减少的显著改进。