|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 原 : [はら, もと] 1. (n,n-suf,n-t) (1) origin 2. basis 3. foundation ・ ー : [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 函数 : [かんすう] (oK) (n) function (e.g., math, programming, programing) ・ 数 : [すう, かず] 1. (n,n-suf) number 2. figure
数論では、伊原のゼータ函数(Ihara zeta-function)は、有限グラフに付随するゼータ函数である。伊原のゼータ函数は、セルバーグのゼータ函数に非常に良く似ていて、閉じた径路を隣接行列のスペクトルに関係付けることに使われる。伊原のゼータ函数は、最初、1960年代に伊原康隆により、2 × 2 ''p''-進特殊線型群の(discrete subgroups)の脈絡の中で定義された。ジャン=ピエール・セール(Jean-Pierre Serre)は書籍 ''Trees'' の中で、伊原の元来の定義はグラフ理論的に解釈することができると示唆している。1985年、砂田利一は、この示唆を現実のものとした。砂田が述べたように、正則グラフが(Ramanujan graph)であることと、グラフの伊原のゼータ函数がラマヌジャン予想の類似を満たすこととは同値である〔Terras (1999) p.678〕。 ==定義== 伊原のゼータ函数はリーマンゼータ函数のオイラー積に類似な等式により、次の式で定義することができる。 : この積はグラフ のすべての prime walk を渡る積、すなわち、 : であるような閉じたサイクル を渡る積として定義され、これらの式の中で使われる はサイクル ''p'' の長さである〔Terras (2010) p.12〕。このグラフ理論での定式化は砂田による。
|