MathLabs

拓扑学

纽结理论

研究在连续形变意义下的嵌入 K⊂S3K \subset S^3，通过三染色性与琼斯多项式 VK(t)V_K(t) 等不变量加以区分，应用涵盖从 DNA 拓扑到量子计算。

直观打结的绳圈

拿一段绳子，随意将其打乱缠绕，再把两端粘合成一个闭合圈。你能不剪断绳子就把它解开还原为一个简单的圆吗？如果可以，那就是平凡结（unknot）；如果不行，你就得到了一个真正的纽结。形式地说，纽结是圆到 33 维空间（或其单点紧化 S3S^3）的一个光滑嵌入，若一个纽结能够连续形变为另一个而绳子始终不穿过自身，则称二者「相同」。下方的参数曲面小工具让你探索 33D 空间中类似三叶结的曲线——旋转它可以看到绳股是如何交叉的。

旋转的三叶结类参数曲线。
33D 空间中的三叶结类曲线：最简单的真结，其最简图有 33 个交叉点。

中学图与雷德迈斯特移动

定义: 纽结图与雷德迈斯特移动

纽结图是 KK 到平面的一般投影，在每个交叉处记录哪股在上、哪股在下。库尔特·雷德迈斯特证明：两个图表示同一个纽结（在环境同痕意义下）当且仅当其中一个可以通过有限序列的三种局部移动变为另一个：第一型（扭转/解扭一个圈）、第二型（将一股滑过另一股的上方/下方）、第三型（让一股滑过一个交叉点）。任何在这三种移动下保持不变的图的函数都自动是真正的纽结不变量。

a+b+c≡0(mod3)a+b+c \equiv 0 \pmod 3

三染色性探讨图的绳股能否用 33 种颜色染色，使得在每个交叉处要么相交的三股颜色全同，要么三股颜色两两不同，且整体至少用到 22 种颜色。将颜色编码为 Z/3Z\mathbb{Z}/3\mathbb{Z} 中的元素 0,1,20,1,2，在下股为 a,ca,c、上股为 bb 的交叉处，规则恰为 a+b+c≡0(mod3)a+b+c \equiv 0 \pmod 3。通过考夫曼括号发现的琼斯多项式 VK(t)V_K(t) 是远为强大的不变量，由一个斜链关系递归定义。

t−1VL+−tVL−=(t1/2−t−1/2)VL0t^{-1} V_{L_+} - t V_{L_-} = (t^{1/2}-t^{-1/2})V_{L_0}
小纽结及其不变量
纽结交叉数可三染色？VK(t)V_K(t)
平凡结00否11
三叶结 313_133是−t−4+t−3+t−1-t^{-4}+t^{-3}+t^{-1}
八字结 414_144否t−2−t−1+1−t+t2t^{-2}-t^{-1}+1-t+t^2

进阶两个不变量定理

定理: 三染色性是纽结不变量，且三叶结确实成结

图是否可三染色在三种雷德迈斯特移动下均保持不变；由于标准三叶结图可三染色而平凡结图不可以，故三叶结 313_1 不等价于平凡结。

为什么成立?

这给出了纽结确实成结的第一个严格证明——不仅是手工难以解开，而是可证明地与平凡结不等价——仅用初等组合方法，无需高深工具。

证明

第一型下的不变性。 第一型移动增加或去除一个小圈，产生一个单股自交的交叉点。在移动前任意有效染色中，该股在进入和离开该圈时颜色相同，设为 aa。添加扭转会产生一个交叉点，其两下股均为颜色 aa，上股也（因该圈为同一股）被迫为颜色 aa，而 a+a+a=3a≡0(mod3)a+a+a=3a\equiv 0\pmod 3 恒自动成立——故染色无约束地有效扩展到新交叉点，反之去除时也有效地限制下来。整体可染色性（存在使用 ≥2\ge 2 种颜色的有效染色）得以保持。

第二型下的不变性。 第二型移动引入或去除两个交叉点，其中颜色为 aa 与 bb（可能相等）的两股相交两次。检查这两个交叉点：在每一点，出现的两股为 a,ba,b，第三股（每个交叉点处的上股，是同一两股中之一的延续）被规则强制为使 a+b+c≡0a+b+c\equiv0 成立的颜色；由于这两个交叉点是通过两股简单地彼此跨越相关联的，原来两股 a,ba,b 上的染色可一致地扩展到两个新交叉区域，而不引入新颜色或矛盾，去除该移动只是删去这两个本就自动满足的约束。故可染色性双向保持。

第三型下的不变性。 第三型移动让一股滑过一个交叉点，在颜色为 a,b,ca,b,c（设）的三股之间重新排列三个交叉点，但不改变全局上哪种颜色出现在何处——它只改变同样三条已染色弧的局部组合排列。由于三个交叉点各自的染色规则 x+y+z≡0(mod3)x+y+z\equiv0\pmod3 仅依赖于在该处相交的（无序）三股的颜色，而第三型不改变哪些股在交叉点相交（只改变图中局部排列），移动前的有效染色限制为移动后的有效染色，反之亦然。

结论。 由于三染色性（作为要求使用 ≥2\ge 2 种颜色的是/否性质）在三种移动下均保持不变，它是纽结（而非仅仅图）的不变量。标准三叶结图在其三条弧上允许染色 a=0,b=1,c=2a=0,b=1,c=2（可验证三个交叉点均满足 0+1+2=3≡0(mod3)0+1+2=3\equiv0\pmod3），使用了 3≥23\ge2 种颜色，故三叶结可三染色。标准平凡结图（一个未打结的单圈，无交叉点，或任何可化简为单弧的图）只有一条弧，故只有一种颜色可用，不满足「≥2\ge 2 种颜色」的要求——平凡结不可三染色。由于三染色性是不变量而两个图结论不同，没有任何一串雷德迈斯特移动能将三叶结图连接到平凡结图，故三叶结确实是一个被打了结的圆。

定理: 琼斯多项式的斜链关系确定 VKV_K

对于除一个交叉点（分别为正、负、光滑化）外完全相同的三个图 L+,L−,L0L_+, L_-, L_0，琼斯多项式满足 t−1VL+−tVL−=(t1/2−t−1/2)VL0t^{-1} V_{L_+} - t V_{L_-} = (t^{1/2}-t^{-1/2})V_{L_0}，连同 Vunknot(t)=1V_{\text{unknot}}(t)=1；这两条规则对每个纽结/链环唯一确定 VK(t)V_K(t)。

为什么成立?

斜链关系把看似棘手的三维形变问题转化为纯粹的递归代数：任何纽结图都可以通过反复消解交叉点化简为平凡结，而该关系精确说明了每次消解时多项式如何变化，使 VK(t)V_K(t) 可以通过算法计算。

证明

通过交叉点归纳法验证良定义的概要。 对图 DD 的交叉点排序，定义 c(D)c(D) 为到达平凡结图所需切换的交叉点数（此数总是有限的，因为按适当顺序切换任意图的所有交叉点都会将其解结——这是经典事实）。我们证明 VK(t)V_K(t) 可以通过对 c(D)c(D) 的归纳来计算。

基础情形。 若 c(D)=0c(D)=0，则 DD 已表示平凡结（可能带有雷德迈斯特第一型化简产生的额外分离平凡圈），按定义 VK(t)=1V_K(t)=1（对 kk 个分离平凡分支带有归一化因子 (−t1/2−t−1/2)k−1(-t^{1/2}-t^{-1/2})^{k-1}，与应用于分离链环的斜链关系一致）。

归纳步骤。 设 c(D)≥1c(D)\ge 1，选取一个切换后能使 cc 减小的交叉点。设 D+D_+（或 D−D_-）为该交叉点切换前的图，D−D_-（或 D+D_+）为切换后的图——按构造，其中之一的 cc 会减小。设 D0D_0 为同一图但该交叉点被光滑化（去掉该交叉点，改用另一种方式连接绳股）；D0D_0 整体少一个交叉点，故 cc 也更小（或属于基础情形）。由归纳假设，D−D_-（或 D+D_+）与 D0D_0 的 VV 已知。将斜链关系 t−1VL+−tVL−=(t1/2−t−1/2)VL0t^{-1} V_{L_+} - t V_{L_-} = (t^{1/2}-t^{-1/2})V_{L_0} 整理以求解未知项（例如 VL+=t(VL−+(t1/2−t−1/2)VL0)V_{L_+} = t\big(V_{L_-} + (t^{1/2}-t^{-1/2})V_{L_0}\big)），即可算出 DD 的 VV。

一致性（概要）。 该定理非平凡的部分——这一递归计算的值不依赖于交叉点选择的顺序，并在三种雷德迈斯特移动下均不变——由考夫曼括号多项式构造建立：通过局部光滑化规则 ⟨crossing⟩=A⟨smoothing 0⟩+A−1⟨smoothing ∞⟩\langle\text{crossing}\rangle = A\langle\text{smoothing }0\rangle + A^{-1}\langle\text{smoothing }\infty\rangle 及 ⟨D⊔◯⟩=(−A2−A−2)⟨D⟩\langle D\sqcup\bigcirc\rangle = (-A^2-A^{-2})\langle D\rangle 定义 ⟨D⟩\langle D\rangle；可直接验证（有限的局部计算）⟨D⟩\langle D\rangle 在雷德迈斯特第二、三型下不变，在第一型下按可控因子变化，而这恰好通过乘以 (−A3)−w(D)(-A^3)^{-w(D)}（w(D)w(D) 为纽结的绕率，即带符号交叉数）来精确抵消；代入 t=A−4t=A^{-4} 即恢复出恰好满足所述斜链关系的 VK(t)V_K(t)。

大学实际应用与典型例题

DNA 拓扑学：环状 DNA 分子在复制过程中可能打结或相互连接，称为拓扑异构酶的酶会切开一股或两股，让另一股穿过，再重新封合——实质上执行了一次交叉切换。生物学家利用纽结不变量（交叉数、由凝胶电泳迁移模式计算出的琼斯多项式）来判断 DNA 样品形成了哪种纽结类型，从而推断作用其上的拓扑异构酶的机制。在拓扑量子计算中，任意子（某些二维材料中的准粒子）可以彼此编织，所得的辫子——闭合成链环后——具有琼斯多项式等不变量，人们相信（在某些模型中已证明）它们编码了容错量子门操作；值得注意的是，在某些单位根处求值琼斯多项式在经典意义下是 #P 难问题，却可被量子计算机高效近似，将纽结理论直接与量子复杂性理论联系起来。

例题: 验证三叶结的三染色性

标准三叶结图有 33 条弧和 33 个交叉点，每个交叉点都涉及全部三条弧（每条弧循环地下穿一次、上跨两次）。指定颜色 0,1,20,1,2，验证染色规则在每个交叉点都成立。

解答

将三条弧标记为 a=0,b=1,c=2a=0, b=1, c=2。由三叶结图的循环对称性，33 个交叉点中每一个恰好都有三条弧 a,b,ca,b,c 相交于此（一条弧下穿，另两条弧的股在两侧上跨，但组合上每个交叉点处三种颜色都出现）。

在每个交叉点检验染色规则 x+y+z≡0(mod3)x+y+z\equiv0\pmod3：a+b+c=0+1+2=3≡0(mod3)a+b+c = 0+1+2=3\equiv 0\pmod3。由于该式成立，且三个交叉点都涉及同一三元组 {a,b,c}\{a,b,c\}，规则在每个交叉点都满足。

由于染色用到了全部 33 种颜色（故 ≥2\ge 2），这是一个有效的非平凡三染色，故三叶结可三染色——（独立于不变性证明）确认了这一具体图通过了三染色性检验。

例题: 通过斜链关系计算霍普夫链环的 VK(t)V_K(t)

已知 Vunknot(t)=1V_{\text{unknot}}(t)=1，且解开（正）霍普夫链环 L+L_+ 的一个交叉点得到 L0=L_0= 平凡结、L−=L_-= 22 分支平凡链环（Vunlink2(t)=−t1/2−t−1/2V_{\text{unlink}_2}(t)=-t^{1/2}-t^{-1/2}），用斜链关系求霍普夫链环的 VL+(t)V_{L_+}(t)。

解答

斜链关系为 t−1VL+−tVL−=(t1/2−t−1/2)VL0t^{-1}V_{L_+} - tV_{L_-} = (t^{1/2}-t^{-1/2})V_{L_0}。代入已知值 VL−=−t1/2−t−1/2V_{L_-}=-t^{1/2}-t^{-1/2} 和 VL0=1V_{L_0}=1：t−1VL+−t(−t1/2−t−1/2)=(t1/2−t−1/2)(1)t^{-1}V_{L_+} - t(-t^{1/2}-t^{-1/2}) = (t^{1/2}-t^{-1/2})(1)。

化简左边第二项：−t(−t1/2−t−1/2)=t3/2+t1/2-t(-t^{1/2}-t^{-1/2}) = t^{3/2}+t^{1/2}。方程变为 t−1VL++t3/2+t1/2=t1/2−t−1/2t^{-1}V_{L_+} + t^{3/2}+t^{1/2} = t^{1/2}-t^{-1/2}。

分离出 t−1VL+=t1/2−t−1/2−t3/2−t1/2=−t−1/2−t3/2t^{-1}V_{L_+} = t^{1/2}-t^{-1/2} - t^{3/2}-t^{1/2} = -t^{-1/2}-t^{3/2}。两边乘以 tt：VL+(t)=−t1/2−t5/2V_{L_+}(t) = -t^{1/2}-t^{5/2}，即著名的霍普夫链环琼斯多项式。

以下哪一项不是雷德迈斯特三种移动之一？

为何三染色性能证明三叶结确实成结？

在斜链关系 t−1VL+−tVL−=(t1/2−t−1/2)VL0t^{-1} V_{L_+} - t V_{L_-} = (t^{1/2}-t^{-1/2})V_{L_0} 中，L0L_0 代表什么？

哪个实际应用利用酶对环状 DNA 执行交叉切换？

参考文献

  1. Colin C. Adams (2004). The Knot Book
  2. Dale Rolfsen (1976). Knots and Links
  3. Vaughan F. R. Jones (1985). A polynomial invariant for knots via von Neumann algebras