解缠数作为三维周期网络中缠结复杂度的度量

《New Journal of Chemistry》：The untangling number as a measurement of entanglement complexity in 3-periodic networksOpen Access

　　

周期性网络作为生物和化学晶体系统结构组织的模型。单个或多个网络可以在空间中具有不同的构型，其中缠结可能由于（可能为曲线形的）边相互缠绕的方式而产生。这种缠结影响了由网络建模的材料的功能、物理和化学性质，这凸显了量化其复杂性的必要性。本文中，研究人员通过使用纽结理论的交叉图（crossing diagram）定义了三维周期网络的最小缠结嵌入，称之为基态（ground state）。基态的概念允许定义一种称为解缠数（untangling number）的缠结复杂度度量，该度量量化了给定三维周期结构与其最小缠结版本之间的距离。

三维周期网络是生物与化学晶体系统结构组织的重要数学模型。单重或多重网络在三维欧氏空间中可以呈现不同的嵌入构型，边（可能为曲线形）相互缠绕产生的缠结直接影响材料的功能、物理及化学性质，因而定量刻画缠结复杂度具有重要的科学意义。既有方法主要依赖环分析（cycle analysis）和Hopf环网（Hopf ring net, HRN）计算，二者均以强环（strong ring）中是否存在纽结（knot）和链环（link）为核心判据。然而，这三类途径均存在本质局限：一方面，存在无任何纽结或链接环却仍然缠结的图嵌入，即ravel结构；另一方面，缺乏纽结或链接环既不是嵌入为最小缠结状态的充分条件——如pcu网络的纯三维周期ravel嵌入，其HRN平凡却并非最小缠结——也不是必要条件——如用K₆图替换pcu顶点所构造的嵌入，其几乎必然为最小缠结却仍含链接环。此外，传统纽结理论中的解纽结数（unknotting number）仅适用于有限闭环构成的链环，而有限图与无限周期网络的缠结分析尚缺乏系统性数学框架。因此，研究人员在本论文中借助纽结理论的交叉图工具，形式化定义了三维周期网络的最小缠结嵌入——基态，并以此为基础提出了缠结复杂度度量——解缠数。

研究人员采用的核心技术方法包括以下几个关键环节：第一，建立单位胞（unit cell）与三视图（tridiagram）表示体系。将三维周期嵌入的平行六面体单位胞规范为立方体，沿三个非共面轴（前、顶、右）投影获得三个二维交叉图，并编码单位胞面交点的前后信息，从而将三维空间中的全部同痕（ambient isotopy）变换完整转换为图上的R-移动（R-moves）。第二，定义交叉数（crossing number）不变量。对三视图T={D₁,D₂,D₃}，取c(T)=a2+b2+c2（a、b、c分别为三个视图的交叉数）在所有表示该单位胞同痕类的三视图中的最小值，并在所有单位胞中取极小值得到嵌入的整体交叉数不变量。第三，定义交叉改变（crossing change）操作与??-族、??-族。??-族为单位胞之间可通过有限次交叉改变互连的全部嵌入集合；??-族为??-族中具有最小交叉数的子族，其元素即为基态。第四，定义解缠数为将给定嵌入的单位胞变换到某基态所需的最少交叉改变次数，并以所有单位胞上的最小值定义最小解缠数。上述定义仅依赖于交叉图信息，不涉及环的纽结链环结构，样本结构采用RCSR命名的标准三维周期网络如srs、dia、pcu、sql、utp及其互穿复合体。

3. 最小缠结嵌入。研究人员通过三视图和最小交叉数三元组刻画了若干网络的基态。sql、srs、dia、pcu及dia-c的常用单位胞（dia以其原始单位胞）的最小交叉数三元组均为(0,0,0)，故均为基态。值得注意的是，dia-c的强环相互链接且其HRN为hxg，却仍具有无交叉单位胞，这证明环的纽结链环信息与嵌入的交叉数之间不具关联性。相反地，pcu的ravel嵌入强环既无纽结也无链接且HRN平凡，却非基态，仅需一次交叉改变即可解缠为pcu的重心嵌入（barycentric embedding）。srs-c与srs-c*分别以最小交叉数三元组(4,4,4)和(4,4,8)成为各自??-族中最可能的基态。此外，utp-c*和utp-c**共享同一??-族，二者最小交叉数三元组均为(4,8,8)，表明同一??-族可包含多个基态元素。

4. 解缠数——缠结复杂度的度量。研究人员以dia-z为例说明解缠数上界的计算：dia-z相对其原始单位胞需两次交叉改变方可变换为dia的原始单位胞，故解缠数至多为2。pcu的ravel嵌入仅需一次交叉改变即可解缠为重心嵌入，说明一次交叉改变即可消除非基态缠结。在复杂度层级方面，srs-c**和同手性双srs嵌入（Fig.2c）的解缠数分别为4和6，srs-c*为二者的最近基态（nearest ground state），这一层级与交叉数（最小交叉数三元组分别为(9,10,9)和(12,12,12)）及环分析结果一致。utp-c***的最小交叉数三元组为(8,8,8)，其最近基态为utp-c*而非utp-c**，因为前者仅需两次交叉改变而后者需四次。然而，解缠数并不总是与其他度量一致：srs的另两个缠结嵌入（其中一个为srs-z）尽管环分析显示其强环分别形成Hopf链接加5₁²链接和仅Hopf链接，但二者解缠数均为8，说明不同不变量刻画了缠结复杂度的不同维度。对于强环形成Borromean环的结构，通过两次交叉改变可解缠为三层sql网络，其最小交叉数三元组从(6,6,8)降至(6,0,0)，从而验证了该方法对含任意纽结链环类型嵌入以及低周期结构的普适性，且三视图较单一视图提供了关键的额外交叉信息。

5. 解缠数的可计算性。解缠数的精确计算目前尚属难题，只能有效给出上界，这与经典纽结理论中解纽结数的计算困境类似。由于当前缺乏表征基态最小交叉数三元组的一般性方法，未来工作需要借鉴经典解纽结数下界估计的相关理论来发展三维周期图的下界估计。研究人员强调，在实践中上界经验值已能为结构分析提供有价值的信息，且受强化学习等计算方法的启发，开发三维周期图交叉图的计算机表示是推进解缠数精确计算的重要方向。

讨论与结论：解缠数提供了一种区别于环分析与HRN计算的新的缠结复杂度视角，即嵌入被解缠至其最小缠结状态的难易程度。该方法仅依赖沿三个非共面轴的投影交叉信息，因此自然适用于低周期网络、有限图乃至三维周期丝状缠结（3-periodic tangle）等无环结构，从而在三维周期网络与三维周期丝状缠结的缠结分析之间构建了桥梁。论文最终所得结论为：给出了三维周期网络基态的定义，提供了包括srs、dia、pcu重心嵌入及dia-c标准互穿结构在内的基态实例，并揭示了如dia-c这类嵌入具有链接环和非平凡HRN却仍拥有无交叉单位胞的有趣事实；同时定义了与经典解纽结数类似的解缠数，为三维周期网络的缠结复杂度提供了新的度量工具。该工作由德意志研究联合会资助，发表于《New Journal of Chemistry》。