Дзета-функция Ихары

В математике дзета-функция Ихары — это дзета-функция, связанная с конечным графом. Она очень похожа на дзета-функцию Сельберга и используется для связи замкнутых путей со спектром матрицы смежности. Дзета-функция Ихары была впервые определена Ясутакой Ихара в 1960-х годах в контексте дискретных подгрупп p-адической специальной линейной группы размером два на два. Жан-Пьер Серр в своей книге «Деревья» предположил, что первоначальное определение Ихары можно переинтерпретировать с точки зрения теории графов. Именно Тошикадзу Сунады применил это предложение на практике в 1985 году. Как заметил Сунады, регулярный граф является графом Рамануджана тогда и только тогда, когда его дзета-функция Ихары удовлетворяет аналогу гипотезы Римана.

Дзета-функция Ихары определяется как аналитическое продолжение бесконечного произведения

${\displaystyle \zeta _{G}(u)=\prod _{p}{\frac {1}{1-u^{{L}(p)}}},}$

где ${\displaystyle L(p)}$ — длина ${\displaystyle L(p)}$ от ${\displaystyle p}$. Произведение в определении берётся по всем простым замкнутым геодезическим ${\displaystyle p}$ графа ${\displaystyle G=(V,E)}$, где геодезические, отличающиеся циклическим поворотом, считаются равными. Замкнутая геодезическая ${\displaystyle p}$ на ${\displaystyle G}$ (известная в теории графов как «редуцированный замкнутый маршрут»; не является геодезической линией графа) — конечная последовательность вершин ${\displaystyle p=(v_{0},\ldots ,v_{k-1})}$, такая что

${\displaystyle (v_{i},v_{(i+1){\bmod {k}}})\in E,}$

${\displaystyle v_{i}\neq v_{(i+2){\bmod {k}}}.}$

Целое число ${\displaystyle k}$ есть длина ${\displaystyle L(p)}$. Замкнутая геодезическая ${\displaystyle p}$ является простой, если её нельзя получить повторением замкнутой геодезической ${\displaystyle m}$ раз при целом ${\displaystyle m>1}$ .

Эта формулировка из теории графов принадлежит Сунаде.

Ихара (и Сунады в терминах теории графов) показал, что для регулярных графов дзета-функция является рациональной функцией. Если ${\displaystyle G}$ — это ${\displaystyle q+1}$ -регулярный граф с матрицей смежности ${\displaystyle A}$, то

${\displaystyle \zeta _{G}(u)={\frac {1}{(1-u^{2})^{r(G)-1}\det(I-Au+qu^{2}I)}},}$

где ${\displaystyle r(G)}$ — это контурный ранг ${\displaystyle G}$. Если ${\displaystyle G}$ связный граф с ${\displaystyle n}$ вершинами, ${\displaystyle r(G)-1=(q-1)n/2}$ .

Дзета-функция Ихары на самом деле всегда является обратной величиной многочлена графа:

${\displaystyle \zeta _{G}(u)={\frac {1}{\det(I-Tu)}}~,}$

где ${\displaystyle T}$ — это оператор смежности рёбер Ки-Итиро Хашимото. Хайман Басс привёл определяющую формулу, включающую оператор смежности.

Дзета-функция Ихары играет важную роль в изучении свободных групп, спектральной теории графов и динамических систем, особенно символической динамики, где дзета-функция Ихары является примером дзета-функции Рюэля.

• Ихара, Ясутака (1966). On discrete subgroups of the two by two projective linear group over ${\displaystyle {\mathfrak {p}}}$-adic fields. Journal of the Mathematical Society of Japan. 18: 219–235. doi:10.2969/jmsj/01830219. MR 0223463. Zbl 0158.27702.
• Сунада, Тоcикадзу. L-functions in geometry and some applications // Curvature and Topology of Riemannian Manifolds. — 1986. — Vol. 1201. — P. 266–284. — ISBN 978-3-540-16770-9. — doi:10.1007/BFb0075662.
• Басс, Хаймен (1992). The Ihara-Selberg zeta function of a tree lattice. International Journal of Mathematics. 3 (6): 717–797. doi:10.1142/S0129167X92000357. MR 1194071. Zbl 0767.11025.
• Старк, Гарольд М. Multipath zeta functions of graphs // Emerging Applications of Number Theory / Hejhal ; Friedman ; Gutzwiller ; Odlyzko. — Springer, 1999. — Vol. 109. — P. 601–615. — ISBN 0-387-98824-6.
• Террас, Одри. A survey of discrete trace formulas // Emerging Applications of Number Theory / Hejhal ; Friedman ; Gutzwiller ; Odlyzko. — Springer, 1999. — Vol. 109. — P. 643–681. — ISBN 0-387-98824-6.
• Террас, Одри. Zeta Functions of Graphs: A Stroll through the Garden. — Cambridge University Press, 2010. — Vol. 128. — ISBN 978-0-521-11367-0.