1. 引言
图式流形的概念由刘亚星、李起升与1994年在文献 [1] 中首次提出。对于一个简单图G,将图G中的所有顶点替换为有向圆周(称其为结点),同时将图G中的所有边替换为圆柱面(称其为管子),则得到以图G为缩影的图式流形。由于结点与管子之间的连接方式不同,得到的G图式流形也可能不同。此前有不少学者对具有特殊缩影的图式流形同胚分类问题进行了研究。
1994年,刘亚星、李起升于文献 [1] 中首次提出了扭转变换,即扭转结点圆周的方向,使得与这个结点相连的所有管子均反向,并利用扭转变换,求出以K4为缩影的图式流形同胚类共有3个。1996年,郭驼英于文献 [2] 中得到以K5为缩影的图式流形同胚类数量为7个。2009年,郭臣峰在文献 [3] 中利用扭转变换得到,缩影为三棱柱一维骨架的图式流形共有6个同胚类,而缩影为正方体一维骨架的图式流形共有7个同胚类,缩影为五棱柱一维骨架的图式流形同胚类数为12个。2010年,卢建立等人在文献 [4] 利用扭转变换得到缩影为轮图W8和W9的图式流形同胚类数分别为18个和30个。
1997年,陈胜敏、胡努春在文献 [5] 中引入了图式流形的伴随矩阵,将图式流形与矩阵以及特征多项式联系起来。若记
为图式流形的同胚类所成之集,记
为对于伴随矩阵的特征多项式所成之集,则有
,且当
时等号成立。1998年,郭驼英于文献 [6] 推广了上述结论,分别用扭转变换以及伴随矩阵的方法求出了
时的同胚类数和下界,得到
。2004年,钱有华、翁云杰等人于文献 [7] 利用图式流形伴随矩阵的特征多项式计算得到缩影为K8,K9的图式流形同胚类下界分别为235个和1824个。2007年,周慧清等在文献 [8] 中对上述结果进行改进,通过计算伴随矩阵的积和式进一步提高了K8,K9情形的同胚类下界,结果分别为242个和1997个。
1997年,宋中山、张群于文献 [9] 首次运用机器计算,编写算法程序,计算出缩影骨架具有3,4,5个顶点的所有图式流形同胚类数。1998~1999年,林诒勋等人于文献 [10] [11] 运用图论的方法解决图式流形的同胚分类问题。其中林诒勋和邓俊强在文献 [11] 中通过构造独立系,讨论了缩影为轮图W6,W7的图式流形分类,得到分类结果分别为8个和14个。
2001年,袁夫永在文献 [12] 中利用求数列个数的办法,推导出缩影为轮图
的图式流形同胚类数公式:
![](//html.hanspub.org/file/36-1251836x14_hanspub.png?20230403100628403)
其中,
为欧拉函数,表示满足
且
的自然数r的个数。
2012年,平麟等人于文献 [13] [14] 以轮图
为例,利用Burnside引理给出了计算缩影为
的同胚类上界的方法并计算出同胚类上界数,并猜想当
时,以轮图
为缩影的图式流形同胚类数等于由Burnside引理得到的上界数。
多面体相关的研究在各个领域都有着极其广泛的应用,其中正多面体因其具有特殊的结构和性质,吸引了许多学者的目光,如文献 [15] [16] 等。
引理1.2 [17] 空间中正多面体只有五种,分别为正四面体、正六面体、正八面体、正十二面体、正二十面体。
关于引理1.2的证明,早已有许多学者给出了不同的方法,详见文献 [17] [18] [19] 。
现考虑以正多面体的一维骨架为缩影的图式流形。首先,对于缩影为正四面体一维骨架的图式流形,刘亚星、李起升在文献 [1] 中利用扭转变换得到结论:共有3个同胚类。而对于正六面体,郭臣峰在文献 [3] 中有相关讨论,他利用扭转变换得到结果:共有7个同胚类。
本文主要研究的是以正多面体的一维骨架为缩影的图式流形的同胚分类问题,首先验证正四面体与正六面体的情形,再进一步计算正八面体、正十二面体与正二十面体的同胚类型数量的下界,其中结合正十二面体与正二十面体对应的伴随矩阵的稀疏性,给出了两种计算同胚类数量下界的算法,并运用数学软件编程实现。
本文的结构安排如下:
第二章为计算同胚类下界的算法。本章分为5个小节来分别阐述缩影为正四面体、正六面体、正八面体、正十二面体以及正二十面体一维骨架的图式流形同胚类下界的计算过程。其中对于正十二面体和正二十面体的情形,利用特征多项式法以及正交变换法这两种算法来分别计算同胚类下界。
第三章为总结与展望。
2. 计算同胚类下界的算法
下面先给出图式流形的数学定义:
定义2.1 [8] 设
是一个简单图,其中
为顶点集,其元素为图G的n个顶点;
为由m条边所构成的集合。现把V中每个顶点
均替换为有向圆周
,假设两顶点
间存在一条边,并将其记为
,则可把
相应地替换为一个圆柱面
。我们将这两个顶点所对应的圆周
用一个映射度为1或−1的连续映射与圆柱面的两个边界
相连接,这样可以得到一个拓扑空间M。我们将顶点所对应的圆周称为结点,将边所对应的圆柱面称为管子,同时将连接管子与结点的映射称为粘附映射,称由此构造的拓扑空间M为G图式流形,其中图G称为图式流形M的缩影。
根据定义2.1可知,若管子两端的粘附映射的映射度是同号(异号)的,则称管子为正管(负管),对应的边称为正边(负边)。易知正管两端的结点圆周是同向的,而负管两端的结点圆周是反向的。
设M为满足定义2.1的一个图式流形,其缩影
是有n个顶点m条边的简单图,其中
,
。
定义2.2 [7] 称n阶矩阵
为图式流形M的伴随矩阵,若满足
根据定义2.2可知,由定义2.1所定义的图式流形的伴随矩阵均为主对角线元素为0、其他元素为±1或0的对称方阵。
定义2.3 [20] 称一个变换为图式流形的扭转变换,如果这个变换将图式流形中某个结点圆周改变方向,即改变与这个结点连接的所有边的符号。
由定义2.3我们可以得到,若对图式流形M中的一个顶点
进行扭转变换,则相当于将其伴随矩阵的第i行与第i列同时乘以−1。
定义2.4 [8] 称一个变换为图式流形的顶点变换,如果这个变换将其伴随矩阵的第i行与第j行对换,同时将第i列与第j列对换。
定义2.5 [8] 扭转变换和顶点变换统称为图式流形的容许变换。
由文献 [8] 可知,图式流形的容许变换是同胚的,并且同胚的图式流形伴随矩阵的特征多项式也是相同的。因此一个图式流形M经过有限次的容许变换后得到的新的图式流形M'与M同胚,而它们伴随矩阵的特征多项式也相同。所以通过计算对比图式流形伴随矩阵的特征多项式,就可以得到图式流形的同胚类数量的下界。
2.1. 正四面体
首先讨论缩影为正四面体的一维骨架(如图1)的情形。根据图1,我们可以得到一个伴随矩阵的形式为
![](//html.hanspub.org/file/36-1251836x39_hanspub.png?20230403100628403)
Figure 1. One-dimensional skeleton of regular tetrahedron
图1. 正四面体的一维骨架
并且满足
,其中“
”处取值为1或−1。则共有26种不同的伴随矩阵。
接着,利用ntom_tetra函数,依次将自然数k (其中k的取值为
)转化为上述形式的伴随矩阵T,并分别计算出它们的特征多项式。
最后对得到的特征多项式进行去重,即可得到同胚类数量的下界。
下面给出ntom_tetra函数的算法 [7] :
首先将自然数k化为二进制表示。再对二进制数k从右往左依次判断每一位数,若为1,则伴随矩阵T上三角部分的对应位置元素赋值为1;若为0,则对应元素赋值为−1。最后利用对称性给伴随矩阵T下三角部分赋值,即可得自然数k所对应的伴随矩阵T。例如输入ntom_tetra(2),则可输出矩阵
运用上述方法,运行得到结果至少有3个同胚类,它们的特征多项式系数向量如下:
1)
;
2)
;
3)
。
这与文献 [1] 中利用扭转变换讨论得到的结果是一致的。
2.2. 正六面体
正六面体的情形,大致思路与正四面体的情形类似。如图2为正六面体的一维骨架,则可得到正六面体情形对应的一个伴随矩阵形式
并且满足
,其中“
”处取值为1或−1。则共有212种不同的伴随矩阵。为了编程方便,可利用顶点变换将伴随矩阵C化为
其中
且“
”处取值为1或−1。
![](//html.hanspub.org/file/36-1251836x54_hanspub.png?20230403100628403)
Figure 2. One-dimensional skeleton of regular hexahedron
图2. 正六面体的一维骨架
然后利用ntom_cube函数,依次将
转化为对应的伴随矩阵
。
接下来对每个
分别计算特征多项式,最后对比去掉重复的,即可得到结果:缩影为正六面体一维骨架的图式流形同胚类数量下界为6个,对应的特征多项式系数向量分别为:
1)
;
2)
;
3)
;
4)
;
5)
;
6)
。
所得结果与文献 [3] 基本吻合。
2.3. 正八面体
正八面体的一维骨架如图3所示,由此可得正八面体对应的一种伴随矩阵的形式
利用顶点变换,可以将H化为一个排布规律的形式:
且上述H与
中“
”处取值均为±1。则根据“
”处取值不同,需计算212种情况。
![](//html.hanspub.org/file/36-1251836x69_hanspub.png?20230403100628403)
Figure 3. One-dimensional skeleton of regular octahedron
图3. 正八面体的一维骨架
接下来利用ntom_octa函数将
分别输出为对应的伴随矩阵
,同时算出它们的特征多项式系数,经过对比去重后可得到结果。
经计算,得到缩影为正八面体一维骨架的图式流形同胚类下界为14个,它们分别对应了14个特征多项式系数向量如下:
1)
;
2)
;
3)
;
4)
;
5)
;
6)
;
7)
;
8)
;
9)
;
10)
;
11)
;
12)
;
13)
;
14)
。
2.4. 正十二面体
图4为正十二面体的一维骨架图,由图4可以得到以正十二面体一维骨架为缩影的图式流形的一个伴随矩阵的形式
其中“
”处取值为±1,其余处均为0。易知矩阵D是一个对称矩阵,并且D的每行每列有且仅3个非零元,这是因为正十二面体的每个顶点有且仅有3条边与之相连,因此共有230种情况。
利用矩阵的稀疏性,提出了两种算法。
![](//html.hanspub.org/file/36-1251836x88_hanspub.png?20230403100628403)
Figure 4. One-dimensional skeleton of regular dodecahedron
图4. 正十二面体的一维骨架
2.4.1. 特征多项式法
特征多项式法与前文算法类似,利用ntom_dodeca函数,将
分别输出为对应的伴随矩阵D,并对它们的特征多项式系数去重,可以得到结果至少有46个同胚类。
计算得到的46个特征多项式中,其中前10个系数向量如下:
1)
;
2)
;
3)
;
4)
;
5)
;
6)
;
7)
;
8)
;
9)
;
10)
。
2.4.2. 正交变换法
正交变换法结合矩阵D的稀疏性,可利用Householder变换先将其化为三对角形式,再计算它的特征多项式。下面给出Householder变换的定义。
定义2.6 [21] 称n阶矩阵H为Householder变换,如果满足
其中
满足
,称为Householder向量。
下面的引理给出了Householder矩阵的性质。
引理2.7 [22] 设H为满足定义2.6的Householder矩阵,则
1) 对称性:
,
2) 正交性:
,
3) 设
为任意的非零向量,则存在
满足
,使得H满足
其中
。
证明 1) 与2) 利用H的定义容易验证。
3) 可取
则
证毕。
由引理2.7可知,利用Householder变换,可以将一个向量中若干相邻分量化为0。根据上面过程,可以按如下步骤来构造确定H的单位向量
:
1) 计算
;
2) 计算
;
3) 计算
。
在上述计算过程中,涉及到
前的符号选取问题。如果选取
,就会出现计算
(其中
分别表示
的第1个分量)。当
时,按上式计算
可能会导致有效数字的丢失,此时可改用如下的计算方式:
这样就可避免两个相近数相减的情形。
因此定义2.6可改进为
其中
。
另外,如果x的某分量过大,其平方运算可能会出现上溢的现象。为避免计算溢出,可以用
代替x来构造向量v,其中
。
根据上述计算过程,可以实现实列向量的Householder变换。具体Matlab程序如下:
算法2.1 [22] 函数mhouse(x)
function [v,beta]=mhouse(x)
n=length(x);
eta=norm(x,inf ); x=x/eta;
sigma=x(2:n)’*x(2:n);
v=[1;x(2:n)];
if sigma==0
if x(1)>=0 beta=0;
else beta=2;
end
else
alpha=(x(1)^2+sigma)^0.5;
if x(1)<=0
v(1)=x(1)-alpha;
else
v(1)=-sigma/(x(1)+alpha);
end
beta=2*v(1)^2/(sigma+v(1)^2);
v=v/v(1);
end
进一步,可利用上述Householder变换,将一个对称矩阵化为对称三对角形式,算法步骤如下 [22] :
设
为n阶实对称方阵。记
,取
,再记
。则由引理2.7,可构造Householder矩阵
使得
因此可计算得
的第一列为
因为
均为对称矩阵,于是
再取
,记
,构造
使得
则可得
重复上述过程
次,直至对称阵
化为三对角形式
根据上述过程可编写Matlab程序如下:
算法2.2 [22] 函数H_mhessen(A)
function A=H mhessen(A)
n=size(A,1);
for k=1:(n-2)
x=A(k+1:n,k);
[v,beta]=mhouse(x);
H=(eye(length(v))-beta*v*v’);
A(k+1:n,1:n)=H*A(k+1:n,1:n);
A(1:n,k+1:n)=A(1:n,k+1:n)*H;
end
实现了对称矩阵三对角化后,运用文献 [23] 所述的递推算法,可简便计算三对角矩阵的特征多项式。
引理2.8 [23] 设A为n阶实三对角矩阵,
其中
。设A的特征多项式为
记
为A的k阶顺序主子式,则
的特征多项式记为
其中
。则有递推关系:
引理2.8的证明详见文献 [23] 。
利用引理2.8所给的算法,即可实现三对角矩阵特征多项式的简便计算,编写的Matlab程序如下:
算法3.3 函数tripoly(A)
function v=tripoly(A)
n=size(A,1);
a=diag(A,-1);
b=diag(A);
c=diag(A,1);
v=-b(1);
temp=[0;1];
for k=2:n
r=[1;v];
B=diag(diag(-b(k)*eye(k)))+diag(diag(eye(k-1)),1);
v=B*r-a(k-1)*c(k-1)*temp;
temp=[0;r];
end
v=[1;v];
综上所述,可得正交变换法的步骤:
1) 利用ntom_dodeca函数生成伴随矩阵;
2) 利用H_mhessen函数,对步骤1) 生成的伴随矩阵进行三对角化;
3) 利用tripoly函数,计算步骤2) 所得的三对角矩阵的特征多项式;
4) 对求得的所有特征多项式系数向量进行去重,即可得以正十二面体一维骨架为缩影的图式流形同胚类数量的下界。
由正交变换法可编程计算得,同胚类下界为46个,与特征多项式法运行结果一致。
2.5. 正二十面体
正二十面体的每个顶点连接了5条边(它的骨架图如图5所示),因此所对应的伴随矩阵每行每列有且仅有5个非零元。伴随矩阵的一种代表形式如下所示:
其中,S为对称矩阵,且“
”处取值为±1,其余处均为0,则共有230种情况。
![](//html.hanspub.org/file/36-1251836x170_hanspub.png?20230403100628403)
Figure 5. One-dimensional skeleton of regular icosahedron
图5. 正二十面体的一维骨架
2.5.1. 特征多项式法
特征多项式法先运用ntom_icosa函数,将
分别输出为对应的伴随矩阵S,并对它们的特征多项式系数去重,可以得到缩影为正二十面体一维骨架的图式流形同胚类下界为4184。
得到的4184个同胚类中,前10个对应的伴随矩阵特征多项式的系数向量如下:
1)
;
2)
;
3)
;
4)
;
5)
;
6)
;
7)
;
8)
;
9)
;
10)
。
2.5.2. 正交变换法
根据2.4.2节中正交变换法的步骤,可得计算正二十面体情形的算法。经实验,两种算法运行所得结果一致,同胚类下界均为4184。
综上所述,我们可得到如下定理。
定理2.9 缩影为正四面体一维骨架的图式流形同胚类下界为3个;
缩影为正六面体一维骨架的图式流形同胚类下界为6个;
缩影为正八面体一维骨架的图式流形同胚类下界为14个;
缩影为正十二面体一维骨架的图式流形同胚类下界为46个;
缩影为正二十面体一维骨架的图式流形同胚类下界为4184个。
3. 总结与展望
本文利用特征多项式法以及正交变换法分别验证和计算了缩影为正多面体一维骨架的图式流形同胚类下界。对比两种算法,特征多项式法的整体运行时间较少,见表1。但这两种算法均只能得到同胚类下界,例如文献 [3] 中的正六面体有两种同胚类(其代表元如图6)用本文方法则无法进行区分。
![](Images/Table_Tmp.jpg)
Table 1. Comparison of the running time of the two algorithms
表1. 两算法运行时间对比
![](//html.hanspub.org/file/36-1251836x192_hanspub.png?20230403100628403)
Figure 6. Two types of homeomorphic classes that cannot be distinguished (the dotted line represents the negative side)
图6. 无法区分的两种同胚类(虚线表示负边)
另外,文献 [13] 中利用Burnside引理求出了以轮图
为缩影的图式流形同胚类上界。能否利用Burnside引理计算缩影为正多面体一维骨架的图式流形同胚类上界,还有待进一步研究。