1. 引言
Kauffman [1]于1996年引入虚结理论,以图解和几何方式研究高斯编码。2013年Cheng and Cao [2]给出了writhe多项式
的定义并证明
是一个虚结不变量。Crans,Ganzell and Blake Mellor [3]根据交叉点数找到了forbidden数的上界,根据Cheng的奇writhe多项式[4]找到了下界。Sakurai [5]利用Henrich [6]的多项式发现了另一个(通常更强的)下界。由于奇writhe多项式和Henrich的多项式都是由writhe多项式
导出的,因此可以使用writhe多项式找到与利用它们中的任何一个得到的下界相比一样强(或更强)的下界。2016年Blake Mellor [7]给出了writhe多项式
与虚拟纽结的虚拟交叉点数的关系,定义了二阶writhe多项式
,同时又在找出虚拟纽结forbidden数的下界以及一些情况下利用
区分虚拟纽结及其突变体方面给出了相关结论与方法。
本文的组织结构为:在第2节中,我们回顾了虚拟纽结和高斯图的相关定义,以及writhe多项式的定义。此外,在这一节中还回顾了writhe多项式与虚拟纽结的虚拟交叉点数的下界和forbidden数的下界的关系,在第3节中,对于给出的一类虚拟纽结利用writhe多项式和二阶writhe多项式研究其虚拟交叉点数的下界和forbidden数的下界并给出结果,在第4节中,讨论了writhe多项式和二阶writhe多项式对该类虚拟纽结和其突变体的影响。在第5节中,对本文的主要研究结果进行总结。
2. 预备知识
2.1. 虚拟纽结图等价[7]
虚拟纽结图中包含经典交叉点(正/负交叉点)和虚拟交叉点,如图1所示。如果两个虚拟纽结图可由图2所示的一系列Reidemeister moves联系起来,则它们是等价的。
Figure 1. The crossings of three types in the virtual knot diagram
图1. 虚拟纽结图中三种类型的交叉点
2.2. 广义Reidemeister Moves [8]
虚拟Reidemeister moves是由经典Reidemeister moves推广而来的。广义Reidemeister moves包括经典Reidemeister moves和虚拟Reidemeister moves,变换方式如图2所示。
Figure 2. Generalized Reidemeister moves
图2. 广义Reidemeister moves
2.3. 高斯图及相关指标[7]
高斯图G由有向圆
和m个(
)有符号的有向弦组成,这些弦连接
上的2m个点,这2m个点对应高斯代码中的2m个三元组,弦的方向是由上交叉点指向下交叉点,并用弦对应的交叉点的符号标记该弦。
设
是G中符号为
,方向从P指向Q的弦,分别用
和
表示端点P,Q的符号,使得
,
。现令
为
上从P指向Q的弧,
为
上从Q到P的弧(
均遵循
的方向),如图3所示。
Figure 3. Gauss diagram
图3. 高斯图
c的右上指标:弧
上所有上交叉点的符号的和,记作
;
c的右下指标:弧
上所有下交叉点的符号的和,记作
;
c的左上指标:弧
上所有上交叉点的符号的和,记作
;
c的左下指标:弧
上所有下交叉点的符号的和,记作
;
c的指标,记作
:
。
2.4. 拧数[7]
给定一个纽结图D,图D中所有交叉点的符号之和称为D的拧数,记作
。
2.5. n-拧数[9]
给定一个纽结图D,图D中所有
的交叉点的符号的和称为n-拧数,记作
,即
。
2.6. Writhe多项式[7]
对于具有图D的任意虚拟纽结K,定义
,
,则K的
writhe多项式
定义为
。
2.7. 虚拟交叉点数[8]
给定一个虚拟纽结图D,设
为D的虚拟交叉点数,则对于虚拟纽结K,K的虚拟交叉点数定义为表示K的所有图D中
的最小值,记作
。
3. 一类虚拟纽结的虚拟交叉点数的下界和Forbidden数的下界
定理3.1 [7] 若K是虚拟纽结,则
的宽度
,其中
的宽度是
中t的最大幂次和最小幂次之差。
如果通过
来定义
,则有以下定理:
定理3.2 [7] 设K是虚拟纽结,并且有
,则K的forbidden数以
为下界。
在上述两个定理的基础上,本节研究了关于给定的一类虚拟纽结K的虚拟交叉点数的下界以及forbidden数的下界情况。
定理3.3 给定虚拟纽结K如图4所示,关于
的下界和K的forbidden数的下界情况:
对于
,
;对于
,
。
对于
,K的forbidden数的下界为k;对于
,K的forbidden数的下界为
。
Figure 4. Knot diagram and Gauss diagram for virtual knot K
图4. 虚拟纽结K的纽结图和高斯图
证明 首先,我们需要求出K的writhe多项式
。根据图4中K的纽结图可画出对应高斯图,通过高斯图可得到K中各交叉点的指标值和符号,结果如表1所示。
Table 1. The index value and sign of each crossing in the virtual knot K
表1. 虚拟纽结K中各交叉点的指标值和符号
|
|
|
|
1 |
+1 |
|
|
−1 |
|
1 |
+1 |
|
2 |
−1 |
|
−1 |
+1 |
将表中数据代入
,计算出
。
接下来根据定理3.1和定理3.2,分别讨论
的下界和K的forbidden数的下界情况。
先讨论
的下界:
(1) 当
时,即
,
的宽度等于3,则有
;
(2) 当
时,即
,
的宽度等于
,即
,则有
。
通过上述过程,整理得出如下结论:
(i) 对于
,
;
(ii) 对于
,
。
接下来讨论K的forbidden数的下界:
(1) 当
时,即
,此时
,则
;
(2) 当
时,即
,此时
,则
;
(3) 当
时,即
,此时
,
结果与上一情况相同;
(4) 当
时,即
,此时
,则
;
(5) 当
时,此时
,
则
。
通过上述讨论,结合定理3.2可整理得出以下结论:
(i) 对于
,K的forbidden数的下界为k;
(ii) 对于
,K的forbidden数的下界为
。 □
也有关于forbidden数的信息,有时
平凡,可用
判断。下面简单介绍
。先给出弦对的交替构型,即当我们绕边界圆一周时,它们的端点将出现上交叉点和下交叉点交替的情况。如图5所示,两条弦会有两种交替构型。同理,对于三条弦则有五种交替构型。
Figure 5. Alternating configurations of pairs of chords
图5. 弦对的交替构型
给定虚拟纽结图D,设
和
为结构A和B中弦对的集合(如图5所示)。定义[7]
命题3.1 [7] 假设K是一个forbidden数为1的虚拟纽结,那么
最多可以写成4项,其中最多两项涉及到t的偶次幂,最多两项涉及到t的奇次幂。
例3.1 [7] 设虚拟纽结
如图6所示,图7为对应高斯图,计算得
,
平凡,而此时
是非平凡的,
,由命题3.1可得,
的forbidden数≥2。而根据
对应的高斯图可知,只需两次forbidden变换就可实现解结操作,因此该虚拟纽结
的forbidden数为2。
4. 正旋转突变和正反射突变
Folwaczny和Kauffman [10]表明writhe多项式可以区分某些正旋转突变对,但不能区分正反射突变对,而二阶writhe多项式有时可以区分正反射突变对。下面我们分析writhe多项式和二阶writhe多项式对上面已给出的一类虚拟纽结K和其突变体的影响。
Figure 6. Virtual knot K1
图6. 虚拟纽结K1
Figure 7. Gauss diagram for virtual knot K1
图7. 虚拟纽结K1对应的高斯图
先回顾一下纽结的Conway突变,Conway突变是从纽结图中切断一个缠绕L,通过水平翻转,垂直翻转或180度旋转来转换缠绕,并将其粘合回去的过程,这三种类型的突变如图8所示。
Figure 8. Conway mutations on a tangle L within a knot diagram
图8. 在纽结图中缠绕L上的Conway突变
定义4.1. [10] 如果缠绕的方向在重新粘合后匹配,则称为正突变;如果缠绕的方向在重新粘合后需要逆转,则称为负突变。
在纽结图上完成的所有正突变都可以通过图9中的两种突变来实现,我们称它们为正反射和正旋转。
Figure 9. Positive reflection and positive rotation
图9. 正反射和正旋转
定理4.1 对于虚拟纽结K,writhe多项式可区分K和K的正旋转突变体MK;而writhe多项式不可区分K和K的正反射突变体
,但二阶writhe多项式可区分K和
。
证明 首先分析writhe多项式对K和K的正旋转突变体MK的影响,图10和图11分别为虚拟纽结K和MK的纽结图和高斯图。
根据图10和图11中的高斯图可分别计算出K和MK中交叉点的一些指标,结果在表2和表3中给出。
Figure 10. Knot diagram and Gauss diagram for virtual knot K
图10. 虚拟纽结K的纽结图和高斯图
Figure 11. Knot diagram and Gauss diagram for positive rotation mutant MK
图11. 正旋转突变体MK的纽结图和高斯图
Table 2. Some indicators of crossings in K
表2. K中交叉点的一些指标
|
|
|
|
|
|
|
1 |
|
+1 |
|
|
|
1 |
−1 |
|
0 |
1 |
−1 |
+1 |
|
−2 |
2 |
0 |
−1 |
|
|
−1 |
|
+1 |
Table 3. Some indicators of crossings in MK
表3. MK中交叉点的一些指标
|
|
|
|
|
|
|
−1 |
|
+1 |
|
−2 |
|
|
−1 |
|
|
−1 |
|
+1 |
|
|
−2 |
|
−1 |
|
0 |
1 |
−1 |
+1 |
由表2和表3可知
,
,其中
。
可计算出
,
,
则有
。
由此可知,writhe多项式可区分K和它的正旋转突变体MK。
下面分析writhe多项式对K和K的正反射突变体
的影响。图10和图12分别为虚拟纽结K和
的纽结图和高斯图。
Figure 12. Knot diagram and Gauss diagram for positive reflection mutant
图12. 正反射突变体
的纽结图和高斯图
同样,根据图12中的高斯图可计算出
中交叉点的一些指标,结果如表4所示。
根据表2和表4中的数据,有
,
,
其中
。因此
,即writhe多项式不可区分K和K的正反射突变体
。
于是我们选择接着分析二阶writhe多项式对K和K的正反射突变体
的影响。
Table 4. Some indicators of crossings in
表4.
中交叉点的一些指标
|
|
|
|
|
|
|
1 |
|
+1 |
|
|
|
2 |
−1 |
|
|
1 |
|
+1 |
|
|
2 |
|
−1 |
|
1 |
−1 |
0 |
+1 |
根据图5给出的弦对的交替构型,分别观察图10和图12中K和
的高斯图可知,K和
中可
交替的弦对为
,
,
,其中在K中
和
是构型A,
是构型B;而在
中
是构型A,
和
是构型B。
那么通过计算可得
接下来计算
。
因此可以得到
不是
的倍数。因为K和
的writhe多项式没有
项,所以
和
关于模
不同余,即二阶writhe多项式可将K和
区分开来。 □
5. 结语
本文主要针对给出的一类虚拟纽结K,利用writhe多项式和二阶writhe多项式研究其虚拟交叉点数的下界和forbidden数的下界情况。接着讨论了
和
对虚拟纽结K和它突变体的影响,其结果为writhe多项式可区分K和K的正旋转突变体MK,而writhe多项式不可区分K和K的正反射突变体
,但二阶writhe多项式可区分K和K的正反射突变体
。