上海理工大学理学院,上海
收稿日期:2024年3月11日;录用日期:2024年4月3日;发布日期:2024年5月16日
摘要
对于一个图,定义了它的顶点矩阵加权zeta函数,并给出了相对应的行列式表达式。之后定义了图的顶点矩阵加权L-函数。然后对于二部图给出了其顶点矩阵加权zeta函数和L-函数的具体形式。最后计算了二部图zeta函数的例子。
关键词
Zeta函数,顶点矩阵加权,L-函数,二部图
A Vertex Matrix-Weighted Zeta Function of a Graph
Mengshi Kao
College of Science, University of Shanghai for Science and Technology, Shanghai
Received: Mar. 11th, 2024; accepted: Apr. 3rd, 2024; published: May 16th, 2024
ABSTRACT
We define a vertex matrix-weighted zeta function of a graph, and give a determinant expression of it. Then we give the L-function in this weight. Furthermore, we define a vertex matrix-weighted zeta function of a bipartite graph, and give the determinant expression of zeta function and L-function of a bipartite graph. Finally, we give an example of the zeta function of a bipartite graph.
Keywords:Zeta Function, Vertex Matrix-Weight, L-Function, Bipartite Graph
Copyright © 2024 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
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可以得到
文章引用
考梦诗. 图的顶点矩阵加权Zeta函数
A Vertex Matrix-Weighted Zeta Function of a Graph[J]. 理论数学, 2024, 14(05): 69-77. https://doi.org/10.12677/pm.2024.145162
参考文献
- 1. Kotani, M. and Sunada, T. (2000) Zeta Functions of Finite Graphs. Journal of Mathematical Sciences-University of Tokyo, 7, 7-25.
- 2. Hashimoto, K.-I. (1989) Zeta Functions of Finite Graphs and Representations of p-Adic Groups. In: Hashimoto, K. and Namikawa, Y., Eds., Automorphic Forms and Geometry of Arithmetic Varieties, Academic Press, Boston, 211-280.https://doi.org/10.1016/B978-0-12-330580-0.50015-X
- 3. Bass, H. (1992) The Ihara-Selberg Zeta Function of a Tree Lattice. International Journal of Mathematics, 3, 717-797.https://doi.org/10.1142/S0129167X92000357
- 4. Stark, H.M. and Terras, A.A. (1996) Zeta Functions of Finite Graphs and Coverings. Advances in Mathematics, 121, 124-165. https://doi.org/10.1006/aima.1996.0050
- 5. Stark, H.M. and Terras, A.A. (2000) Zeta Functions of Finite Graphs and Coverings, Part II. Advances in Mathematics, 154, 132-195. https://doi.org/10.1006/aima.2000.1917
- 6. Mizuno, H. and Sato, I. (2000) Zeta Functions of Graph Coverings. Journal of Combinatorial Theory, Series B, 80, 247-257. https://doi.org/10.1006/jctb.2000.1983
- 7. Mizuno, H. and Sato, I. (2004) Weighted Zeta Functions of Graphs. Journal of Combinatorial Theory, Series B, 91, 169-183. https://doi.org/10.1016/j.jctb.2003.12.003
- 8. Sato, I., Mitsuhashi, H. and Morita, H. (2014) A Matrix-Weighted Zeta Function of a Graph. Linear and Multilinear Algebra, 62, 114-125. https://doi.org/10.1080/03081087.2013.764496
- 9. Ihara, Y. (1966) On Discrete Subgroups of the Two by Two Projective Linear Group over p-Adic Fields. Journal of the Mathematical Society of Japan, 18, 219-235. https://doi.org/10.2969/jmsj/01830219
- 10. Amitsur, S.A. (1980) On the Characteristic Polynomial of a Sum of Matrices. Linear and Multilinear Algebra, 8, 177-182. https://doi.org/10.1080/03081088008817315
- 11. Foata, D. and Zeilberger, D. (1999) A Combinatorial Proof of Bass’s Evaluations of the Ihara-Selberg Zeta Function for Graphs. Transactions of the American Mathematical Society, 351, 2257-2274.https://doi.org/10.1090/S0002-9947-99-02234-5