1. 简要介绍
图的zeta函数首先由Ihara提出,他对正则图定义了Ihara zeta函数,并证明了正则图的Ihara zeta函数的倒数是一个多项式。Sunada [1] 得到了图的正则覆盖图的zeta函数和图的基本群的表示之间的联系。Hashimoto [2] 将Ihara关于正则图的Ihara zeta函数的结论推广到了非正则图,并证明了它的倒数也是由一个包含边关联矩阵的行列式构成的多项式。利用非正则图的邻接矩阵,Bass [3] 给出了非正则图的Ihara zeta函数的另一个行列式表达式。之后,Stark和Terras [4] [5] 定义了图的边zeta函数和路zeta函数。Sato [6] [7] [8] 和他的合作者定义了各种加权版本的zeta函数,并得到这些zeta函数的行列式表达式。
这里所提到的图都是有限的简单图。是一个连通图,其中
是它的顶点集,
是它的无向边集。uv表示连接点u和v的一条边,弧
是连接从u到v一条有向边。
。对于有向边
,让
,
。此外,
表示
的逆。
图G中长度为n的路P是一系列边
,其中要满足
,
。对于路
,
,
并且
,当存在
使得
时,称这条路有回溯,当
时,称这条路是一个圈。圈
的逆是圈
。
对于两个圈
和
如果存在k使得对于所有的j有
,这里的指标都是mod k的,那么称这两个圈是等价的。一般而言圈C的逆和它本身是不等价的。
表示圈C的等价类,即所有与C等价的圈的集合。
表示圈B进行r次循环得到的圈,这种圈称作圈B的幂次。如果一个圈及与它等价的圈都没有回溯,那么就称它是约化的。此外如果圈C不是严格比它小的一个圈的幂次,那么就称这个圈是素圈。事实上,图G的每个约化的素圈的等价类唯一对应图G在点v的基本群
的共轭类。
当
充分小,图G的Ihare zeta 函数定义为
,
其中,
跑遍G中约化的素圈的所有等价类 [9] 。
本文的主要研究内容是定义了顶点矩阵加权的zeta函数和L-函数,再通过计算得到图的顶点矩阵加权zeta函数和L-函数的行列式表达式。这一结果推广了文献 [7] 的结果,并且是文献 [11] 的顶点加权的类比。
2. 图的顶点矩阵加权zeta函数
是一个有限连通图,其中
,
并且
。令
表示一个函数。对于G中的圈
,
。
定义1. 图的顶点矩阵加权zeta函数定义为:
,
其中,
跑遍G中约化的素圈的所有等价类 [11] 。
首先定义三个
矩阵,
,
和U:
,
,
。
之后便可以得到如下结果:
定理2. G是一个n个点m条边的有限连通图。
表示一个函数,则图的顶点矩阵zeta函数的倒数可以写成:
。
在证明定理2之前,我们需要如下的预备知识。我们将利用Amitsur恒等式 [10] 给出图G顶点矩阵加权zeta函数的行列式表达。首先需要了解Lyndon字的定义,X是一个有限非空集,<是X的一个全序集,X*是X生成的自由幺半群。X中的全序集<导出X*中的典序<*。X中的Lyndon字定义为X*中的一个非空素字,即对于
,不存在一个字l,使得它等于
,并且在<*下的圈重排的类里是最小的。将L表示成 X中所有的Lyndon字。
引理3. 对于方阵
,
,其中,这个运算跑遍所有
中所有的Lyndon 字,并且对于
有
。
接下来对定理2进行证明:
证明. 首先定义两个矩阵
和
:
,
。
令
使得
,
是第
行等于
的第
行,其他行等于0的
矩阵。令
,则对于弧
任一序列,
,
其中,对于
有
。
通过上面的引理可得
。
而
,
。
因此
。
为了进一步得到zeta函数的行列式表达,定义两个分块矩阵:
,
是一个准对角矩阵定义为:
。
定理4. G是一个n个点m条边的有限连通图。
表示一个函数,并且对于所有的
,则图的顶点矩阵zeta函数的倒数可以写成:
。
定理4的证明见第3节定理7。
3. 图的L-函数
定理5. G是一个n个点m条边的有限连通图,Γ是一个有限群。
是一个一般电压分配,
是图G的一个顶点矩阵加权,其中
是
维矩阵。当
是G的一个圈时,定义
,对于G中的路
,令。
是Γ的度为d的一个表示。
则图G关于
和
的顶点矩阵加权L-函数定义为:
,
其中,
跑遍G中约化的素圈的所有等价类。
令
,
定义如下:
,
。
定理6. G是一个n个点m条边的有限连通图,Γ是一个有限群。
是一个一般电压分配,
是图G的一个顶点矩阵加权,其中
是
维矩阵。当
是G的一个圈时,定义
,对于G中的路
,令
。
是Γ的度为d的一个表示。则图G关于
和
的顶点矩阵加权L-函数的倒数可以写成:
。
证明. 首先定义两个矩阵
,
,
。
令
使得
,
是第
行等于
的第
行,其他行等于0的
矩阵。令
,则对于弧
任一序列,
,
其中,对于
有
。
通过之前的引理可得
。
而
,
,
因此
。
之后对于任一个
,定义一个
维矩阵
:
。
定理7. G是一个n个点m条边的有限连通图,Γ是一个有限群。
是一个一般电压分配,
是图G的一个顶点矩阵加权,其中
是
维矩阵并且对于所有
,都有
。当
是G的一个圈时,定义
,对于G中的路
,令
。
是Γ的度为d的一个表示。则图G关于
和
的顶点矩阵加权L-函数的倒数可以写成:
。
证明. 首先定义两个矩阵
,
:
,
不难得到
。
所以
由条件
,
所以
可逆,
因此
令
,
所以
又因为
令
,
,
,
所以
。
对于
,
对于
,
因此,
。
当
是平凡表示时,定理7中的行列式表达式就是定理4中要证的等式。
4. 二部图的顶点矩阵加权Zeta函数
4.1. 二部图的Zeta函数
在二部图中,顶点矩阵加权可以有稍微一般一些的形式,在这里并不要求每个矩阵都是方阵。具体地,设
是一个
个点在X中,
个点在Y中并且有m条边的有限连通二部图,其中
。
表示一个函数。对于
中的圈
,令
。
然后定义三个矩阵
,
和
:
,
,
。
之后再定义一个矩阵
和一个准对角矩阵
:
,
。
则可以得到如下结果:
定理8.
是一个
个点在X中,
个点在Y中并且有m条边的有限连通二部图,其中
。
表示一个函数,并且对于所有的
都有
。对于
中的圈
,令
。则二部图
的顶点矩阵加权zeta函数的倒数可以写成:
该定理的证明和前面的证明类似。
4.2. 二部图的L-函数
定理9.
是一个
个点在X中,
个点在Y中并且有m条边的有限连通二部图。w是4。中定义的
的一个顶点矩阵加权。Γ是一个r阶的群,
是一个一般电压分配。此外,
是Γ的一个度为d的表示。则图
关于
和
的顶点矩阵加权L-函数的倒数可以写成:
,
其中矩阵
定义为:
。
4.3. 例子
是一个完全二部图,其中点
,点
。w是
的一个顶点矩阵加权定义为:
很容易看出
的约化的素圈的等价类是
和
,其中
。
通过
的定义有:
令
可以得到:
所以
,
通过4.1的定理8可以得到