平面纽结类标号的指标细化绕数偶多项式

《Axioms》：An Index Refined Winding Pair Polynomial for Planar Knotoids

　　

平面纽结类（planar knotoids）因禁止端点变换使得腿（leg）与头（head）无法跨越弧线而蕴含端点位置信息。现有基于高斯图（Gauss diagram）与绕数（winding）数据的多项式不变量部分记录了该信息，但常将端点绕数与仿射指标（affine index）数据分离，或在求和后才合并绕数贡献。研究人员针对有向平面纽结类引入了一种三变量指标细化绕数偶多项式。在每个交叉点处，该不变量记录交叉瓣（crossing lobe）的有序绕数偶及同一交叉点的仿射指标权值。研究人员证明了其在平面纽结类等价下的不变性，推导了方向反转、镜像与平面乘积公式，并表明该不变量具有Vassiliev一度。研究人员还由非常系数范数得到交叉数、Gordian距离与解结数的下界。显式计算表明，绕数带号和多项式与仿射指标多项式即便联合考虑亦不能决定新不变量。

研究背景与动机

平面纽结类（planar knotoids）由Turaev引入，作为有向区间在有向曲面中带正负穿越信息的浸入等价类，其腿与头端点受禁止端点移动限制，使其对端点位置敏感并与球面纽结类区分。已有大量纽结类多项式不变量，如基于奇偶性的仿射指标多项式（affine index polynomial）、箭头多项式、F-多项式及三变量超越不变量等，但既有绕数类不变量与仿射指标类不变量多在求和后分离记录，导致同一边缘分布下不同局部配对不可区分。本研究核心缺口在于缺少在每个交叉点处同时保留端点绕数与仿射指标权值联合三元组的多项式不变量。该联合局部信息对开放链构象比较具有潜在描述力，尤其在蛋白质主链纠缠分析中可补充人工闭合带来的拓扑改变。

主要研究内容与结论

研究人员定义有向平面纽结类图D的指标细化绕数偶多项式P(D)=∑_c∈C(D)ε(c)x^w_L(c)y^w_H(c)(z^λ(c)?1)，其中ε(c)为交叉符号，w_L(c)、w_H(c)为交叉瓣绕腿与头的绕数，λ(c)为仿射指标权值。研究表明P为平面纽结类不变量；满足反向P(?D)=P(D)(x,y,z?y,x,z^?1)，镜像P(D*)=?P(D)(x,y,z?x,y,z^?1)；平面乘积可加P(D₁·D₂)=P(D₁)+P(D₂)；具Vassiliev一度；由非常系数范数‖P‖_nc可得交叉数c(K)≥‖P(K)‖_nc，Gordian距离d_G(K,L)≥?‖P(K)?P(L)‖_nc，解结数u(K)≥?‖P(K)‖_nc；P专门化可决定绕数带号和多项式与仿射指标多项式，但反向不成立，文内给出七交叉与六交叉图对分离实例。论文发表于《Axioms》。

关键技术方法

研究人员采用标准平面纽结类图定义，借助交叉瓣绕数计算（逆时针为正）与Cheng标记的半弧整数标记传播获得仿射指标权值λ(c)；利用有向Reidemeister变换在端点不相交圆盘内的局部性（引理1）证明不变性；通过奇异平面纽结类图的Vassiliev斜杆扩张（交替和解）证一度性质；以非恒定单项式系数绝对值之和定义范数并估界；显式计算两个平面纽结类图（图2七交叉D_A、图3六交叉D_B）的交叉数据表，比较P、绕数和W_w(D)、仿射指标A(D)以构造分离对。

研究结果分节概述

第2节预备：定义平面纽结类图、奇异图、交叉瓣、绕数偶(w_L,w_H)、高斯图与仿射指标权值；引理1证Reidemeister I/II/III下绕数偶与λ(c)的局部不变规律。

第3节多项式与不变性：定义6给出P(D)；定理1证其对平面纽结类等价不变；命题1给反向与镜像公式；定义基于图与平面乘积（定义8、9），命题2证可加性。

第4节有限型性质：定义Vassiliev扩张，定理2证P为一度不变量，借双奇异交叉分辨后λ差消项证二阶差为零，并以图1两图差非零证非度零。

第5节度量界：定义非常系数范数‖P‖_nc与绕数指标本质交叉数；定理3得c(K)≥‖P(K)‖_nc；引理2与定理4得Gordian距离与解结数下界?‖P‖_nc。

第6节与绕数带号和多项式比较：引述Bataineh等W_w(D)=∑ε(c)(x^w_Ly^w_H?1)；命题3证P专化决W_w与仿射指标A(D)=P(D)|_x=y=1；显式分离对D_A、D_B表1表2算得P(D_A)≠P(D_B)而W_w与A相同，示联合旧不变量不决新者；并示D_B六交叉使c下界锐。

第7节结论：P联合记录绕数偶与λ，兼容反向/镜像/乘积，一度，给下界，决旧两不变而逆否；局限含零三元组消项与不完备，计算复杂度O(n²)未优，界非普锐，未来找纯z分离例与表比较。

讨论与结论翻译浓缩

讨论指出该构造并非填补不变量空缺而是补局部联合记录空缺；z变量保留同绕数偶内仿射指标Laurent分布，专化z=1会丢信息。局限性包括ε、w_L、w_H、λ全零交叉消项，同三元反向号可消，不变量不完备；n交叉图朴素实现O(n²)弧访，未称最优；度量界非普锐。结论部分译文：研究人员引入了指标细化绕数偶多项式，其在有向平面纽结类各交叉处记录交叉瓣绕两腿头绕数及仿射指标权值；该不变量兼容上述基本运算，具Vassiliev一度，并给出交叉数、Gordian距离与解结数下界；命题3示其决定绕数带号和与仿射指标多项式；第6节分离对示即便两旧不变联合亦不决新者。构造局限为全零三元组消项与可能抵消故不完备；后续工作含寻纯z区分极小例、系统比界于纽结类表、提效算法。