久章智能JZLOG
转载 · Repost · 公众号原文

纽结理论和琼斯多项式

用绳子打结是我们每个人必备的一项技能,比如每天早上系鞋带,系包装袋,男士打领带,女士带发箍,小孩子要把秋千绑到高高的树枝上……但有些时候我们也需要考虑一下,到底该怎么打结才不容易松脱,否则后果可能会很严重,比如攀岩结,水手结,还有医护人员用的包扎结。

用绳子打结是我们每个人必备的一项技能,比如每天早上系鞋带,系包装袋,男士打领带,女士带发箍,小孩子要把秋千绑到高高的树枝上……但有些时候我们也需要考虑一下,到底该怎么打结才不容易松脱,否则后果可能会很严重,比如攀岩结,水手结,还有医护人员用的包扎结。

这些结一般都是有两个端点的绳子,理论上无论怎么缠绕都是可以解开的。但是数学家研究的结不太一样,需要把绳子的两个端点系在一起,形成一个闭合的圈,这样的纽结就不一定能解开了。

纽结理论始于人们对宇宙基本构成的猜想。1867 年,苏格兰数学家和物理学家泰特(Peter Guthrie Tait)向他的朋友和同胞威廉·汤姆森(William Thomson,即开尔文勋爵)展示了他的产生烟圈的装置。开尔文勋爵被烟圈的迷人形状和稳定性所吸引,于是产生了一个大胆的想法:或许就像烟圈是空气中的漩涡一样,原子也是发光“以太”中打结的“漩涡环”!当时的物理学家认为,光是通过“以太”这种不可见的介质传播的。

涡旋理论在科学界获得了关注,并启发泰特开始将所有可能的纽结分类列表,创造出他所希望的、与元素周期表对应的东西。可惜的是,1887年,著名的迈克尔逊-莫雷实验证明并无“以太”这种东西,而少了那介质,开尔文的原子涡漩理论就行不通了。然而,泰特已经被纽结的数学优雅所深深吸引,一如既往地继续他的列表计划。在此过程中,他创立了数学领域中的纽结理论(knot theory)。

彼得·泰特(Peter G. Tait,1831-1901),纽结理论的先驱

数学上研究的纽结是三维空间中的简单闭曲线,即连通的封闭的不自交的曲线。一个圈叫作一个纽结(knot),多个圈叫作一个链环(link)。如果把一个纽结在三维空间中经过连续变形(不许剪断或粘合)而变成另一个纽结,我们就说这两个纽结是等价的(equivalent),或同痕的(isotopic)。纽结可以用投影图来表示,这些投影图必须满足以下3个条件:

1. 只有有限多个重叠点。

2. 每个重叠点都是二重点。

3. 每个二重点处,上下两线的投影图都是互相跨越交叉的,实线在上虚线在下。

以下是一些纽结的投影图。

一些交叉数不超过7的纽结的投影图

第一个投影是一个圆圈,叫做平凡结(unkont),也叫“非结”,因为它没有打结,投影没有交叉。当然你可以把一个平凡结在三维空间扭转几下,让它的二维投影多一些交叉,但是这些交叉也可以通过还原扭转来消除,因此它的最小交叉数是0,我们把最小交叉数就称为交叉数(crossing number),因此交叉数为0的就是平凡结,交叉数不为0的就是非平凡结。

第二个是三叶结(trefoil knot),它的交叉数为3,是交叉数最少的非平凡纽结。三叶结与它的镜像不等价。把一个纽结放在你和一面镜子之间,你看到的镜子中的纽结就是它的镜像。把每个交叉点处的实线和虚线互换,就得到镜像的投影图。你无法通过连续变换把一个三叶结变成它的镜像,就像你无法把左手变成右手一样,这就叫手性或手征性(chirality),三叶结是有手性的(chiral)。

第三个是8字结(figure eight knot),它的交叉数为4。8字结与它的镜像是等价的,你可以通过连续变形把一个8字结变成它的镜像(后面会详细介绍)。这叫无手性(achirality)或兼手性(amphichiralty)。

8字结的三种投影

一个投影图代表一个纽结,可一个纽结却有不同的投影图表示。由此可见,要利用投影图来研究纽结理论,先决条件是必须弄清楚:纽结在空间中的移位变形怎样在投影图上反映出来。德国数学家赖德迈斯特(Reidemeister,1893-1971)归纳和设计出三种基本的对投影图的变换,即赖德迈斯特运动(Reidemeister Moves),其它更复杂的变换都可以由这三种运动组合拼接而成。

Reidemeister运动

第一种运动R1称为“Twist”,即对一个射影打上一个卷或消除一个卷。

第二种运动R2称为“Poke”,把一根线拨到另一根线之下,成为一个叠置的二边形,或者从另一根下拨出,消除一个叠置的二边形。

第三种运动R3称为“Slide”,让一根线在两段线之下滑动并通过交叉点,考虑其它线段的相对运动,这里其实也蕴含了在两根线之上或者之间滑动的情形。

在上述三种运动的定义下,赖德迈斯特在1927年提出一个定理:称两个纽结为等价的(equivalent),即环绕空间同痕的(ambient isotopic),当且仅当存在平面同痕(planar isotopy),以及一系列Reidemeister运动,可以把一个纽结投影变换到另一个纽结投影。

这里有几个数学概念需要解释一下。在拓扑学中,一个纽结就是圆周S¹到三维空间R³的一个嵌入 ,也就是三维空间的一个简单闭曲线。三维空间就是它的环绕空间,纽结在三维空间中连续变形的整个过程就叫做同伦(homotopy),即映射的连续变换,但是我们要求纽结在变形过程中不能割断或者粘合,这就要求每个时刻的映射(即切片section)都是一个同胚(homeomorphism)即连续的双射,这样就不能撕裂或者把多个点压缩成一个点,同胚也叫拓扑等价(topological equivalence),确保纽结在整个变形过程中均保持拓扑结构的不变性,这种特殊的同伦就叫作环绕空间同痕(ambient isotopy),简称同痕(isotopy),同痕相当于一个单参数的同胚族。同理,在二维空间里面,曲线保持拓扑结构不变的连续形变,就叫作平面同痕(planar isotopy),因此平面同痕不改变纽结投影图中交叉点的数量。

平面同痕与三种Reidemeister运动

平面同痕和环绕空间同痕有什么关系呢?如果两个纽结的投影之间存在平面同痕,那么这两个纽结之间一定存在环绕空间同痕;反之则不然,环绕空间同痕的两个纽结,它们的平面投影可以改变交叉数量,这些都不属于平面同痕,但是可以分解为一系列Reidemeister运动。平面同痕是很平凡的运动,而我们主要关心不平凡的运动与纽结同痕的关系,因此可以说,纽结的同痕形变本质上是由三种Reidemeister运动来刻画的,这样就把三维空间的纽结降到二维投影平面来研究。

前面我们说到8字结和它的镜像等价,根据Reidemeister定理,就一定存在一系列Reidemeister运动把8字结投影变换成它的镜像,如下图所示:

连通和

三色性表明三叶结不平凡

三色性是一个同痕不变量,即在Reidemeister变换下,该性质保持不变(分析颜色配置的几种情况即可证明)。三叶结的投影图是三色的,而平凡纽结的投影图不是三色的,所以三叶结不平凡!

三色性还可以用来证明某些链环是扣住不散的,因为可分离的链环的投影图一定是三色的,如果有一个投影图不是三色的,那么它所代表的链环就是不分离的,即互相扣住不散的。

下面介绍有向链环的一个最简单的同痕不变量——环绕数(linking number),它可以衡量两条有向闭曲线互相环绕的程度。

首先我们要确定交叉点的正负号。如上图所示,交叉点处实线在上虚线在下。如果请你将上面的实线箭头转动最小的角度,让它与下面的虚线箭头重合,你会怎么做呢?通过观察你会发现:左图按逆时针方向旋转的角度最小,而右图按顺时针方向旋转的角度最小。我们规定,按逆时针方向旋转角度最小的交叉点为正交叉点,记为+1;反之则为负交叉点,记为-1。

如果把链环L中所有交叉点的正负号±1全部加总,就是L的拧数(writhing number),记为w(L)。拧数在R2和R3这两种运动下不变,但在R1下会变,所以拧数不是同痕不变量。那我们能否做一些修改而构造出一个同痕不变量呢?

设K₁、K₂为有向链环L的两个分支,定义K₁、K₂的环绕数Lk(K₁, K₂)为K₁与K₂的交叉处(不包含K₁、K₂跟自己交叉或跟其它分支的交叉处)的正负号总和的一半。当链环L只有K₁、K₂两个分支时,也可以把环绕数Lk(K₁, K₂)简记为Lk(L)。

由两个纽结嵌套而成的链环的环绕数为±1

容易验证,和拧数类似,环绕数在 R2和R3运动下保持不变,由于环绕数是定义在不同分支的交叉点处,所以单个分支与自身的交叉点变化对环绕数没有影响,即在 R1运动下环绕数也不变。于是我们就得到了一个真正的同痕不变量——环绕数。

高斯

詹姆斯· 瓦德·亚历山大

辫理论

约翰·康威

△(○)= 1

其中○表示一个没有交叉的纽结的投影,规定其多项式为1。

亚历山大—康威多项式

这个名为“Pretzel knot (-3 5 7)”的结的亚历山大多项式也是1,它有很多有趣且出人意料的特性

为了区分镜像和更多纽结,数学家需要寻找鉴别力更强的扭结不变量。一晃60年过去了,那是1984年的春天,新西兰裔美国数学家沃恩·琼斯(Vaughan Jones)正在做一个演讲,介绍他关于算子代数的研究成果。听众中有一位美国拓扑学家、辫理论的权威——琼·伯曼(Joan Birman),她发现演讲中出现的一组公式与纽结理论中的公式很像,于是告诉了琼斯。经过几次长谈,琼斯终于弄清了两者之间的关系,从算子代数中成功引申出纽结和链环的一个新的同痕不变量——琼斯多项式(Jones polynomial),它能将大多数纽结与其镜像区分开来,帮助解决了许多悬而未决的难题,是拓扑学家们数十年来探求的一种强力工具,被誉为“80年代的数学明珠”。1990 年,琼斯因“在冯·诺依曼代数和纽结多项式方面的贡献”而获得菲尔兹奖。

沃恩·琼斯(Vaughan Jones,1952年12月31日-2020年9月6日)

琼斯在新西兰的奥克兰长大。在当地大学学习了数学和物理后,他获得了一份奖学金,去瑞士的日内瓦大学完成博士学业。在那儿他开始对算子的理论感兴趣,这引导着他去跟阿兰·孔涅(Alan Connes)——这个领域最卓越的专家——合作。

琼斯的研究兴趣始于泛函分析中的算子代数,特别是冯·诺依曼代数中的因子理论。他于上世纪八十年代开创了子因子理论(subfactor theory),并从中获得了琼斯多项式。子因子理论广泛应用于低维拓扑、群论、遍历理论、量子物理学等领域的研究中,包括统计力学的一部分具有完全可解的模型、量子群的新领域、Dynkin 图和简单李代数的表示理论等。在所有这些数学的中心连接点是嵌套代数塔,一个被称为“琼斯指标定理”的成果说明,如果这些代数是一一嵌套的,他们的相对尺度符合精确但谜一般的数值比例。

琼斯个性散漫叛逆不羁,在菲尔兹奖的颁奖典礼上,他没有像其他获奖者一样穿正装,而是穿了一件新西兰橄榄球国家队的全黑球衣。2018年的国际数学家大会(ICM)甚至玩起了官方梗,以“打破规则”为主题制作了一张海报,来纪念这桩趣事。

与亚历山大多项式一样,琼斯多项式也要满足那三个性质,只是拆接关系式稍有不同:

解得

<P U ○>= [–A²–A⁻²]<P>

那R1变换又如何呢?用尖括号多项式计算如下:

我们发现,起始多项式是一条打了一个卷的曲线,终点多项式是一条不带卷的曲线乘上一个系数(-A³)。按照R1变化的同痕性,带一个卷的曲线跟不带卷的曲线是等价的,因此系数-A³必等于1。假设A=-1,代入拆接关系式可知,无论正交叉还是负交叉,它们的尖括号多项式都是完全相同的,这样就降低了鉴别力,因为一些必要信息丢失了。那我们能否改进一下,让它既满足R1同痕性又保持鉴别力呢?

答案是肯定的。这里要用到前面介绍过的“拧数 ”w(L),即一个有向链环的全体交叉点的符号±1总和。令a=-A³,从上面R1变换的多项式计算可知,每增加1个卷(拧数加1),就会多乘1个因子a,这样我们只需再乘上1个a⁻¹就可以抵消了,于是我们在尖括号多项式里添加一个乘积因子a⁻ʷ,这样就得到了一个新的多项式,称为考夫曼多项式(Kauffman polynomial):考夫曼多项式是一个同痕不变量。如果把变量 替换为 ,考夫曼多项式就变成了琼斯多项式。因此,考夫曼多项式与琼斯多项式是等价的。

现在我们再看一下左手三叶结 ,前面已计算出它的尖括号多项式为 ,而左手三叶结的拧数 ,于是可计算其考夫曼多项式:

如果把变量 替换为 ,就得到左手三叶结的琼斯多项式 。同理,我们也可以计算出右手三叶结 的琼斯多项式为 ,确实跟左手三叶结不同,也证明了琼斯多项式可以区分手性。

琼斯多项式为什么有如此神奇的威力呢?数学家也给不出合理的解释,这个原因可能要到物理中去寻找。1989年,爱德华·威腾(Edward Witten)在一篇文章《量子场论与琼斯多项式》(Quantum Field Theory and the Jones Polynomial)中证明,一个被称作陈-西蒙斯理论(Chern-Simons theory)的拓扑场论可以给出琼斯多项式。在这之后有关量子场论和纽结的研究日渐深入,人们渐渐发现数学中的各种纽结多项式和某些量子场论都有紧密的联系,甚至在当代最前沿的弦理论之中,纽结理论是研究弦之间相互作用形成的复杂拓扑结构的有力工具。

纽结理论在其他的领域也有广泛的应用。比如分子生物学中,DNA复制时需要解开DNA的双螺旋结构,由螺旋酶将两股DNA分离。等到DNA复制完成后,两股DNA会产生拓扑学相连称为纽结,这种纽结只是形状上相连但是没有化学键。为了解除这种DNA的纽结状态,需要一种称为拓扑异构酶的酶来解除DNA的纽结状态。生物化学家们用纽结理论中的环绕数和链接数来描述DNA的纽结状态。

分子生物学中的纽结

纽结理论也是目前仍然在发展之中的拓扑量子计算的重要工具。此外,最近甚至还发现纽结理论与量子材料有着深刻的联系,比如研究人员发现可以用琼斯多项式来分类纽结半金属,其中纽结相变点附近节线或者奇异线的局域演化和琼斯多项式整体变化对应联系。可以预见到纽结理论将在更广泛的领域发挥更大的威力。

参考文献:

[1][美]Colin Adams等著,沈以淡等译,拓扑学基础及应用[M],机械工业出版社,2010年2月。

[2]姜伯驹,绳圈的数学[M],大连理工大学出版社,2011年5月。

[3]https://www.quantamagazine.org/why-mathematicians-study-knots-20221031/

[4]https://graphics.stanford.edu/courses/cs468-02-fall/projects/desanti.pdf

[5]https://arxiv.org/pdf/2004.00148v2.pdf

转载自久章智能(微信公众号,久章智能于 2023-12-18 转载),内容保持原貌,版权归原作者及原账号所有。阅读原文 ↗