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的正反射突变体
           。