[论文解读] A one-parameter approach to knot theory

Thomas Fiedler, Vitaliy Kurlin|arXiv (Cornell University)|Jun 15, 2006

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

一句话总结

本文通过在厚化环面中嵌入的迹图，引入了一类针对定向纽结的一参不变量，证明了同胚等价性对应于一组有限的图移动。对于固定跨数的闭辫，迹图等价性可在辫长的多项式时间内判定。

ABSTRACT

Abstract. To an oriented knot we associate a trace graph in a thickened torus in such a way that knots are isotopic if and only if their trace graphs can be connected by moves of finitely many standard types. For closed braids with a fixed number of strands, we recognize trace graphs up to equivalence excluding one type of moves in polynomial time with respect to the braid length.

研究动机与目标

• 通过在厚化环面上的迹图，为定向纽结开发一个拓扑不变量。
• 通过迹图上的有限组标准图移动，刻画纽结的同胚等价性。
• 为固定跨数的闭辫提供一种高效的迹图等价性判定程序。
• 建立纽结同胚与迹图移动序列之间的一一对应关系。

提出的方法

• 通过在厚化环面上追踪辫闭合过程，从定向纽结构造迹图。
• 将纽结的同胚定义为迹图上有限组标准移动下的等价关系。
• 将具有固定跨数的闭辫表示为厚化环面上的迹图。
• 应用组合图移动以确定等价性，利用迹图比较的多项式时间算法。
• 利用迹图的结构编码辫动力学与拓扑不变量。
• 将固定跨数闭辫的等价性问题约化为图论决策问题。

实验结果

研究问题

• RQ1 纽结同胚能否被厚化环面上迹图上的有限组移动完全刻画？
• RQ2 是否存在一种一参构造，能通过迹图唯一编码定向纽结类型？
• RQ3 固定跨数闭辫的迹图等价性能否在多项式时间内判定？
• RQ4 在所定义的移动集下，确定迹图等价性的计算复杂度是多少？

主要发现

• 纽结同胚等价于厚化环面上迹图上的一组有限标准移动序列。
• 迹图构造为定向纽结在同胚下的完全不变量。
• 对于固定跨数的闭辫，迹图等价性相对于辫长可在多项式时间内判定。
• 该方法从等价关系中排除了一类移动，从而实现了高效计算。
• 该方法建立了纽结类型与迹图移动类之间的拓扑对应关系。
• 该框架支持在闭辫设定下对纽结等价性的算法识别。