1. 绪论
图的Zeta函数首先是由Ihara [1]提出的正则图的Ihara Zeta函数,他证明了正则图的Ihara Zeta函数的倒数是一个多项式。Sunada [2]提出了图的正则图的Zeta函数和图的基本群之间的统一表示。Hashimoto [3]将Ihara关于正则图的Ihara Zeta函数的结论推广到了非正则图,并证明了它的倒数也是由一个含有边矩阵的行列式构成的多项式。利用非正则图的邻接矩阵,Bass [4]给出了非正则图的Ihara Zeta函数的另一个行列式表达式。之后,Stark和Terras [5]定义了图的边Zeta函数和路Zeta函数。
作为图的矩阵变量Zeta函数,Watanabe和Fukumizu [6]定义了图的矩阵加权Zeta函数,并给出了它的行列式表达式。Iwao Sato [7]等人又介绍了一个矩阵加权函数,并给出了它的行列式表达式。作为一个应用,他们利用图的矩阵加权L-函数的积给出了图的正则覆盖的矩阵加权Zeta函数的一个分解公式。Sato和他的合作者定义了各种加权版本的Zeta函数,并得到这些Zeta函数的行列式表达式。
Ihara Zeta函数是20世纪60年代Yasutaka Ihara提出的一个计算一阶p-元群离散子群中素元的Zeta函数。它可以解释为相应的有限图的一个几何Zeta函数,这是与p-元组相连的Bruhat-Titsbuilding的商。
图上的非回溯随机游动与图的Ihara Zeta函数密切相关。2007年Alon,Benjamini,Lubetzky和Sodin [8]研究了正则图的非回溯随机游动的混合率,证明了正则图上的非回溯随机游动比允许回溯的随机游动具有更快的混合率。2013年Fitzner和Hofstad [9]处理格和环面上非回溯随机游动的收敛性。Krzakala [10]等人利用边矩阵来研究SVD算法。两年后Angel,Friedman和Hoory [11]研究了图的泛覆盖的非回溯谱。图的非回溯谱正是其边矩阵的谱。又过了一年,Kempton [12]证明了Ihara公式的一个加权版本,并得到了正则和半正则二部图的非回溯随机游动的过渡转移矩阵谱。此外,Kempton还证明了Alon等人关于正则图上非回溯随机游动的混合率的结果,并将这一结果推广到半正则二部图。
2019年Norio Konno [13]等人介绍了图G的一个新的加权Ihara Zeta函数,并给出了它的行列式表达式。给出了G的正则覆盖的新的加权Ihara Zeta函数的分解公式,并引入了G的新的加权Ihara L-函数,给出了它的行列式表达式。作为推论,他们给出了G的正则覆盖的新的加权Ihara Zeta函数的分解公式。作为应用,他们给出了Kempton关于正则图和半正则二部图的非回溯随机游动过渡矩阵谱的结果的新证明。
2021年Zhu [14]定义了图G的顶点加权Bartholdi Zeta函数,并给出了其对应的行列式表达式,之后还定义了顶点加权Bartholdi L-函数,并证明了图G的正则覆盖下的顶点加权Bartholdi Zeta函数是图G的顶点加权Bartholdi L-函数的乘积。
2. 顶点矩阵加权的Zeta函数
这里所提到的图都是有限的简单图。
是一个连通图,其中
是它的顶点集,
是它的无向边集。uv表示连接点u和v的一条边,弧
是连接从u到v一条有向边。
。对于有向边
,让
,
。此外,
表示
的逆。
图G中长度为n的路P是一系列边
,其中要满足
,
。
对于路
,
,
并且
,当存在
使得
时,称这条路有回溯,当
时,称这条路是一个圈。圈
的逆是圈
。
对于两个圈
和
如果存在k使得对于所有的j有
,那么称这两个圈是等价的。一般而言圈C的逆和它本身是不等价的。
表示圈C的等价类,即所有与C等价的圈的集合。
表示圈B进行r次循环得到的圈,这种圈称作圈B的幂次。如果圈C没有回溯,那么就称它是约化的。此外如果圈C不是严格比它小的一个圈的幂次,那么就称这个圈是素圈。事实上,图G的每个约化的素圈的等价类唯一对应图G在点v的基本群
的共轭类。
是一个有限连通图,其中
,
并且
。令
表示一个函数。对于G中的圈
,
,并且函数满足表达式
。
定义1. 图的顶点矩阵加权Zeta函数定义为:
其中,
跑遍G中约化的素圈的所有等价类。
首先定义三个
矩阵,
,
和U:
,
.
之后便可以得到如下结果:
定理2. G是一个n个点m条边的有限连通图。
表示一个函数,则图的顶点矩阵加权Zeta函数的倒数可以写成:
为了进一步得到Zeta函数的行列式表达,定义两个分块矩阵:
,
是一个准对角矩阵定义为:
定理3. G是一个n个点m条边的有限连通图。
表示一个函数,并且对于所有的
,则图的顶点矩阵加权Zeta函数的倒数可以写成:
3. 图的正则覆盖顶点矩阵加权Zeta函数
G是一个有限连通图,Γ是一个阶为r的群。对于映射
,对于任一个
,如果满足
,则称这个映射是一般电压分配。
叫做一个一般电压图。这个图
被称作电压在Γ或图G的Γ-覆盖上的图G的导出图覆盖,其中
,
,当且仅当
并且
。自然投射
定义为
。Γ-覆盖
是一个图G
-折叠正则覆盖。此外[4],对于图G的每一个正则覆盖都存在一个群Γ,使得这个正则覆盖是图G的一个Γ-覆盖。
对于Γ-覆盖
,令
,
,其中
,
,
。则根据正则覆盖的定义有
。
G是一个n个点m条边的有限连通图,w是图G的一个顶点加权。则由w导出的图
的点加权
定义为:
.
之后,令
。定义三个
维矩阵
,
和
如下:
再然后对于任一个
,定义一个
维矩阵
:
根据之前定义的矩阵,可以得到:
。
对于方阵
,
表示
的分块对角和矩阵,如果
,则将它们的分块对角和写成
。
定理4. G是一个n个点m条边的有限连通图。w是该图的一个点加权,并且对于所有的
。Γ是一个阶为r的群,
是一个一般电压分配。
是Γ的所有不相等的不可约表示,对于每个i,
表示
的度。则图
的顶点矩
阵加权Zeta函数的倒数可以写成:
证明。由定理2和定理3得
对于每个
定义一个
维矩阵
:
将
中的点分成r个分块:
从
的定义可以得到
。对于
,
,因为
,
,所以有
因此
。
令
为Γ的右正则表示。
是Γ的所有不相等的不可约表示,对于每个i,
表示
的度,其中
。对于每个
,有
。由群的表示理论知[5] [12],存在一个可逆矩阵P,使得
,其中
所以可以得到
因此
4. 二部图的正则覆盖Zeta函数
是一个
个点在X中,
个点在Y中并且有m条边的有限连通二部图。
表示一个函数。对于
中的圈
,令
。Γ是一个r阶的群,
是一个一般电压分配。在Γ-覆盖
中,定义
的顶点矩阵加权为
。
首先还是先定义三个矩阵
,
和
:
再定义两个矩阵
和
:
则可以得到如下结果:
定理5.
是一个
个点在X中,
个点在Y中并且有m条边的有限连通二部图。w是上述定义的
的一个顶点矩阵加权。Γ是一个r阶的群,
是一个一般电压分配。此外,
是Γ的所有不相等不可约的表示,并且对于每个i,
是
的度。则
的顶点矩阵加权zeta函数的倒数可以写成: