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

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

Определение

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

Произведение в определении берется по всем простым закрытые геодезические графика , где геодезические, различающиеся на циклическое вращение считаются равными. А закрытая геодезическая на (известный в теории графов как "закрытая прогулка ") - конечная последовательность вершин такой, что

Целое число это длина из . Закрытая геодезическая является основной если его нельзя получить повторением замкнутой геодезической раз, для целого числа .

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

Формула Ихары

Ихара (и Сунада в теоретико-графическом контексте) показали, что для регулярных графов дзета-функция является рациональной функцией. это -регулярный граф с матрица смежности тогда[2]

куда это звание цепи из . Если подключен и имеет вершины, .

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

куда является оператором смежности ребер Ки-ичиро Хашимото. Хайман Басс дал детерминантную формулу, включающую оператор смежности.

Приложения

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

Рекомендации

  1. ^ Террас (1999) стр. 678
  2. ^ Террас (1999) стр. 677
  3. ^ Террас (2010) стр. 29