이하라 제타 함수

틀:위키데이터 속성 추적 수학에서 이하라 제타 함수(틀:Llang)는 유한 그래프와 관련된 제타 함수이다. 이 함수는 셀베르그 제타 함수 와 매우 유사하며 인접 행렬의 스펙트럼에 그래프의 순환을 관련시키는 데 사용된다. 이하라 제타 함수는 1960년대 일본의 수학자 이하라 야스타카가 2x2 p-진 특수 선형군의 이산 부분 군의 맥락에서 처음 정의했다. 장-피에르 세르는 그의 저서 Trees 에서 이하라의 원래 정의를 그래프 이론적으로 재해석할 수 있다고 제안했다. 이 제안을 1985년에 실행에 옮긴 것은 스나다 토시카즈였다. 스나다가 관찰한 바와 같이 정규 그래프는 이하라 제타 함수가 리만 가설과 대응되는 명제를 충족하는 경우에만 라마누잔 그래프이다.

정의

이하라 제타 함수는 다음 무한 곱의 해석적 연속으로 정의된다.

${\zeta }_G\left(u\right)=\prod _p\frac{1}{1-u^{\mathrm{L}(p)}}$

이 곱은 그래프 $G=(V,E)$의 모든 닫힌 소 측지선 $p$에 대한 곱이다. 여기서 순환 회전에 의해 다른 측지선은 동일한 것으로 본다. $G$의 닫힌 측지선 (그래프 이론에서 순환이라는 이름으로 알려짐) $p$는 다음 조건이 성립하는 꼭지점들로 이뤄진 유한 열 $p=(v_0,\dots ,v_{k-1})$이다:

$(v_i,v_{(i+1)modk})\in E,$

$v_i\ne v_{(i+2)modk}.$

정수 $k$는 $p$의 길이 $L(p)$이다. 닫힌 측지선을 $m$번($m>1$) 반복하여 얻을 수 없는 닫힌 측지선 $p$를 소 측지선이라고 한다.

이 그래프 이론적 정의는 스나다가 하였다.

이하라의 공식

이하라(및 그래프 이론적 정의의 스나다)는 정규 그래프의 경우 제타 함수가 유리 함수임을 보여주었다. 만약에 $G$가 $q+1$-인접 행렬 $A$를 가지는 정규 그래프이면

${\zeta }_G(u)=\frac{1}{(1-u^2{)}^{r(G)-1}\det (I-Au+q{u}^{2}I)}$

여기서 $r(G)$는 $G$의 회로 랭크이다. $G$가 연결되어 있고 $n$개의 꼭지점을 가지면, $r(G)-1=(q-1)n/2$ .

이하라 제타 함수는 항상 그래프 다항식의 역수이다:

${\zeta }_G(u)=\frac{1}{\det (I-Tu)},$

여기서 $T$는 기이치로 하시모토의 모서리 인접 연산자이다. 하이먼 배스는 인접 연산자와 관련된 결정 공식을 제공했다.

응용

이하라 제타 함수는 자유군, 스펙트럼 그래프 이론, 동적 계 이론, 특히 기호 동적 계 연구에서 중요한 역할을 한다. 여기서 이하라 제타 함수는 루엘 제타 함수의 예이다.

각주

• 틀:저널 인용
• 틀:서적 인용
• 틀:저널 인용
• 틀:서적 인용
• 틀:서적 인용
• 틀:서적 인용