[论文解读] Virtual links are algorithmically recognisable

Vassily Olegovich Manturov|ArXiv.org|Aug 19, 2004

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

一句话总结

本文通过将等价性问题约化为三维流形中的拓扑决策过程，证明了虚拟链是算法可识别的。利用哈肯的典范曲面理论及带边界图案的哈肯流形的算法识别技术，作者构建了一个有效算法，通过其关联的链外部区域和边界图案来判断两个虚拟链是否等价。

ABSTRACT

We prove that there is an algorithm to decide whehter two virtual links are equivalent or not

研究动机与目标

• 通过拓扑不变量建立虚拟链等价性的决策程序。
• 将经典链的算法识别技术扩展至虚拟链。
• 证明表面×I丛中链外部的拓扑结构可实现算法化比较。
• 证明虚拟链的极小代表元可在同伦意义下算法构造且唯一。
• 证明虚拟链等价性可约化为带边界图案的三维流形的同胚识别问题。

提出的方法

• 将每个虚拟链表示为紧致二维流形 $M$ 的加厚面上的链 $M \times I$。
• 通过从 $M \times I$ 中移除链的管状邻域来构造链外部 $M_L$，得到具有环面边界分量的三维流形。
• 为每个环面边界分量赋予一个经编图案 $\Gamma_L$，以编码链分量的框架。
• 应用哈肯的典范曲面理论及带边界图案的哈肯流形的算法识别，以判断两个此类带图案的流形是否同胚。
• 利用哈肯流形中不可约性、边界不可约性及本质曲面检测的算法可判定性。
• 将虚拟链等价性问题约化为检查 $ (M_L, \Gamma_L) $ 与 $ (M'_{L'}, \Gamma'_{L'}) $ 之间的同胚关系，该问题可通过已知算法判定。

实验结果

研究问题

• RQ1 是否存在一个算法可判定两个虚拟链是否等价？
• RQ2 虚拟链的极小代表元在同伦与稳定化意义下是否唯一？
• RQ3 表面×I丛中链外部的拓扑不变量能否用于算法化区分虚拟链？
• RQ4 若虚拟链中包含经典分裂分量，是否会影响等价性问题的算法可判定性？
• RQ5 链外部带经编图案的同胚类型能否唯一确定虚拟链的等价类？

主要发现

• 存在一个有限且有效的算法，可判定两个虚拟链是否等价。
• 该算法依赖于构造虚拟链的外部流形 $M_L$ 并为其配备经编图案 $\Gamma_L$。
• 若虚拟链不是经典链与其他链的分裂并集，则流形 $ (M_L, \Gamma_L) $ 为哈肯流形。
• 带边界图案的哈肯流形的算法识别可实现对这类流形之间同胚关系的判定。
• 若两个虚拟链的外部区域及其图案同胚，则它们作为虚拟链是等价的。
• 该结果对定向与带框架的虚拟链均成立，将经典链识别算法推广至虚拟情形。