伊原のゼータ函数

数論では、伊原のゼータ函数(Ihara zeta-function)は、有限グラフに付随するゼータ函数である。伊原のゼータ函数は、セルバーグのゼータ函数に非常に良く似ていて、閉じた径路を隣接行列のスペクトルに関係付けることに使われる。伊原のゼータ函数は、最初、1960年代に伊原康隆により、2 × 2 p-進特殊線型群の離散部分群(discrete subgroups)の脈絡の中で定義された。ジャン＝ピエール・セール(Jean-Pierre Serre)は書籍 Trees の中で、伊原の元来の定義はグラフ理論的に解釈することができると示唆している。1985年、砂田利一は、この示唆を現実のものとした。砂田が述べたように、正則グラフがラマヌジャングラフ（English版）(Ramanujan graph)であることと、グラフの伊原のゼータ函数がラマヌジャン予想の類似を満たすこととは同値である^[1]。

定義

伊原のゼータ函数はリーマンゼータ函数のオイラー積に類似な等式により、次の式で定義することができる。

[math]\frac{1}{\zeta_G(u)} = \prod_{p} ({1 - u^{L(p)}}) \ .[/math]

この積はグラフ [math] G = (V, E) [/math] のすべての prime walk を渡る積、すなわち、

[math] (u_i, u_{(i+1)\bmod L(p)}) \in E~; \quad u_i \neq u_{(i+2) \bmod L(p)~} [/math]

であるような閉じたサイクル [math]p = (u_0, \cdots, u_{L(p)-1}, u_0)[/math] を渡る積として定義され、これらの式の中で使われる [math] L(p) [/math] はサイクル p の長さである^[2]。このグラフ理論での定式化は砂田による。

伊原（とグラフ理論の設定においては砂田）は、正則グラフのゼータ函数は有理函数であることを示した。G が隣接行列 A を持つ k-正則グラフであれば、

[math]\zeta_G(u) = \frac{1}{(1-u^2)^{\chi(G)-1}\det(I - Au + (k-1)u^2I)} \ [/math]

が成り立つ^[3]。ここに χ は、回路のランク（English版）(circuit rank)である。

実は、伊原のゼータ函数は常に多項式の逆数である：

[math]\zeta_G(u) = \frac{1}{\det (I-Tu)}~.[/math]

ここに、T は橋本の隣接作用素である。ハイマン・バス（English版）(Hyman Bass)は、隣接作用素に関わる行列式の公式を与えた。

伊原のゼータ函数は、自由群、スペクトルグラフ理論（English版）(spectral graph theory)、力学系、とくにシンボリック力学（English版）(symbolic dynamics)で重要な役割を果たし、そこでは、伊原のゼータ函数はルエルのゼータ函数（English版）(Ruelle zeta function)の例となっている^[4]。

Ihara, Yasutaka (1966). “On discrete subgroups of the two by two projective linear group over [math]{\mathfrak p}[/math]-adic fields”. J. Math. Soc. Japan 18: 219–235. Zbl 0158.27702.
Sunada, Toshikazu (1986). “L-functions in geometry and some applications”, Curvature and Topology of Riemannian Manifolds, Lecture Notes in Mathematics, 266–284. DOI:10.1007/BFb0075662. ISBN 978-3-540-16770-9.
Bass, H. (1992). “The Ihara-Selberg zeta function of a tree lattice”. International. J. Math. 3 (6): 717–797. doi:10.1142/S0129167X92000357. Zbl 0767.11025.
Stark, Harold M. (1999). “Multipath zeta functions of graphs”, Emerging Applications of Number Theory, IMA Vol. Math. Appl.. Springer, 601-615. ISBN 0-387-98824-6.
Terras, Audrey (1999). “A survey of discrete trace formulas”, Emerging Applications of Number Theory, IMA Vol. Math. Appl.. Springer, 643-681. ISBN 0-387-98824-6.
Terras, Audrey (2010). Zeta Functions of Graphs: A Stroll through the Garden, Cambridge Studies in Advanced Mathematics. Cambridge University Press. ISBN 0-521-11367-9.