伊原のゼータ函数

伊原のゼータ函数

伊原のゼータ函数とは、数学の数論分野で定義される特殊な関数で、有限グラフに付随しています。この関数は、セルバーグのゼータ函数と非常に似ており、閉じた径路を隣接行列のスペクトルと関連付ける役割を果たします。最初にこの函数が定義されたのは1960年代で、数学者伊原康隆によって、2 × 2 p-進特殊線型群に関する離散部分群の文脈において行われました。

さらに、著名な数学者ジャン＝ピエール・セールはその著書『Trees』で、伊原のゼータ函数の元々の定義がグラフ理論において解釈可能であることを示唆しています。1985年には、数学者砂田利一がこの提案を具現化し、伊原のゼータ函数が正則グラフにおいてラマヌジャングラフとの関係があることを証明しました。具体的には、正則グラフがラマヌジャングラフであることと、そのゼータ函数がラマヌジャン予想に関連する条件を満たすことが同値であるということが示されています。

定義

伊原のゼータ函数は、リーマンゼータ函数のオイラー積に類似した形で定義されます。この関数は次のように表されます：

$$
\frac {1}{\zeta _{G}(u)} = \prod_{p}(1 - u^{L(p)}).
$$

ここで、$G=(V,E)$ はグラフを表し、$L(p)$ はサイクルの長さを示します。この定義は、グラフ上の全てのプライムウォークを考慮に入れた形になっており、閉じたサイクルを通る積としても記述されています。

伊原の公式

伊原自身、または砂田による研究で、正則グラフに関するゼータ函数が有理関数であることが示されています。特定の条件下で、隣接行列 $A$ を持つ $k$-正則グラフ $G$ に対して、次の形でゼータ函数を記述できます：

$$
\zeta_{G}(u) = \frac {1}{(1-u^{2})^{\chi(G)-1} \det(I - Au + (k-1)u^{2}I)}.
$$

ここで、$\chi$ は回路のランクを示します。実際、伊原のゼータ函数は常に多項式の逆数であることも知られています。これは、次の形で表現することが可能です：

$$
\zeta_{G}(u) = \frac{1}{\det(I - Tu)}.
$$

ここで、$T$ は橋本の隣接作用素です。この関数に関連する様々な行列式の公式に関しては、数学者ハイマン・バスが重要な結果を提供しました。

応用例

伊原のゼータ函数は、自由群やスペクトルグラフ理論、さらには力学系の解析においても重要な役割を果たしています。特に、シンボリック力学の文脈では、伊原のゼータ函数がルエルのゼータ函数の一例として機能することが注目されます。

参考文献

伊原のゼータ函数に関する詳細は以下の文献で確認できます。
1. 伊原康隆 (1966) “On discrete subgroups of the two by two projective linear group over $p$-adic fields”. J. Math. Soc. Japan 18: 219–235.
2. 砂田利一 (1986) “L-functions in geometry and some applications”. Curvature and Topology of Riemannian Manifolds.
3. ハイマン・バス (1992) “The Ihara-Selberg zeta function of a tree lattice”. International. J. Math. 3 (6): 717–797.
4. スターク (1999) “Multipath zeta functions of graphs”.
5. テラス (2010) Zeta Functions of Graphs: A Stroll through the Garden.

もう一度検索