[논문 리뷰] The zeta function for circular graphs

Oliver Knill|arXiv (Cornell University)|2013. 12. 16.

Graph theory and applications참고 문헌 13인용 수 6

한 줄 요약

이 논문은 원형 그래프 $C_n$ 위의 딜라크 연산자와 관련된 제타 함수를 연구하여, $n \to \infty$일 때 그 근이 선 $σ = \mathrm{Re}(s) = 1$에 집중됨을 증명한다. 새로운 K-미분 분석과 허위츠 제타 함수와의 연결을 통해, 다양한 영역에서 이산 제타 함수가 고전적 제타 함수 행동으로 수렴함을 보이며, 라플라스 제타 함수 $ζ_n(2s)$는 임계선 $σ = 1/2$에 수렴하지만, 딜라크 제타 함수 자체는 $σ = 1$로 수렴한다. 이 작업은 균일 수렴성과 바이어코프 재정규화 및 리만 합 추정을 통한 명시적 값 계산을 확립한다.

ABSTRACT

We study the entire function zeta(n,s) which is the sum of l to the power -s, where l runs over the positive eigenvalues of the Laplacian of the circular graph C(n) with n vertices. We prove that the roots of zeta(n,s) converge for n to infinity to the line Re(s)=1/2 in the sense that for every compact subset K in the complement of this line, and large enough n, no root of the zeta function zeta(n,s) is in K. To prove this, we look at the Dirac zeta function, which uses the positive eigenvalues of the Dirac operator D=d+d^* of the circular graph, the square root of the Laplacian. We extend a Newton-Coates-Rolle type analysis for Riemann sums and use a derivative which has similarities with the Schwarzian derivative. As the zeta functions zeta(n,s) of the circular graphs are entire functions, the result does not say anything about the roots of the classical Riemann zeta function zeta(s), which is also the Dirac zeta function for the circle. Only for Re(s)>1, the values of zeta(n,s) converge suitably scaled to zeta(s). We also give a new solution to the discrete Basel problem which is giving expressions like zeta_n(2) = (n^2-1)/12 or zeta_n(4) = (n^2-1)(n^2+11)/45 which allows to re-derive the values of the classical Basel problem zeta(2) = pi^2/6 or zeta(4)=pi^4/90 in the continuum limit.

연구 동기 및 목표

• 원형 이산 그래프 $C_n$ 위의 딜라크 연산자 스펙트럼 제타 함수를 분석하는 것.
• 이론적 분포를 $n \to \infty$일 때 제타 함수의 근을 이해하는 것.
• 복소평면의 다양한 영역에서 이산 제타 함수가 고전적 제타 함수 행동으로 수렴함을 확립하는 것.
• 바이어코프 재정규화 맵의 固定点 성질을 이용하여 $\zeta_n(2k)$의 명시적 값을 유도하는 것.
• 경계 특이성이 있는 함수, 예를 들어 $\sin^{-s}(\pi x)$와 같은 함수를 위한 새로운 수치적 적분 방법을 개발하는 것, K-미분을 활용하여 오차를 통제함.

제안 방법

• 함수 $\sin^{-s}(\pi x)$와 같은 함수에 대해 유한성을 보장하고 리만 합 근사의 오차를 통제할 수 있도록 하는 새로운 K-미분 $K_f(x)$를 도입함. 이는 샤우르형 미분과 유사하게 행동함.
• K-미분을 활용한 뉴턴-코이츠-롤 분석을 적용하여, 특히 특이성이 있는 함수에 대해 리만 합과 적분 간의 차이를 극한함.
• 바이어코프 재정규화 연산자 $Tf(x) = \frac{1}{n}\sum_{k=0}^{n-1} f\left(\frac{x}{n} + \frac{k}{n}\right)$를 사용하여 허위츠 제타 함수가 고정점임을 보이며, 이로써 이산 제타 함수와 고전 제타 함수를 연결함.
• 비판적 스트립 $0 < \mathrm{Re}(s) < 1$ 내의 컴acts 집합에서 $\zeta_n(s) - n c(s)$가 0으로 수렴함을 증명함. 여기서 $c(s) = \int_0^1 \sin(\pi x)^{-s} dx$
• 비판적 영역 $\mathrm{Re}(s) > 1$에서 $\zeta_n(s)\pi^s / (2n^s)$가 리만 제타 함수 $\zeta(s)$로 수렴함을 증명함. 이 영역에서 $\zeta(s)$는 영이 아님.
• 바이어코프 재정규화 맵의 고정점 성질을 이용하여 $\zeta_n(2k)$의 명시적 유리수 값을 도출함. 이는 이산 바젤 문제의 해를 복원함.

실험 결과

연구 질문

• RQ1 원형 그래프 $C_n$ 위의 딜라크 제타 함수 $\zeta_n(s)$의 근은 $n \to \infty$일 때 임계선 $\mathrm{Re}(s) = 1/2$에 집중되는가?
• RQ2 $\mathrm{Re}(s) > 1$ 영역에서 $C_n$ 위의 딜라크 연산자 제타 함수는 고전 리만 제타 함수와 어떻게 관련이 있는가?
• RQ3 경계에서 특이성이 있는 함수, 예를 들어 $\sin^{-s}(\pi x)$와 같은 함수에 대해 K-미분을 사용하여 리만 합 근사의 오차를 통제할 수 있는가?
• RQ4 비판적 스트립 $0 < \mathrm{Re}(s) < 1$ 내에서 $\zeta_n(s)$의 극한 행동은 어떠한가? 그리고 컴팩트 부분집합에서 균일 수렴하는가?
• RQ5 $\zeta_n(2k)$에 대해 어떤 명시적 값을 계산할 수 있으며, 바이어코프 재정규화를 통해 고전 제타 값과 어떻게 관련이 있는가?

주요 결과

• 원형 그래프 $C_n$ 위의 딜라크 제타 함수 $\zeta_n(s)$의 근은 $n \to \infty$일 때 선 $\mathrm{Re}(s) = 1$에 집중되며, 이는 충분히 큰 $n$에 대해 이 선의 여집합의 어떤 컴팩트 부분집합에도 근이 포함되지 않음을 의미한다.
• $\mathrm{Re}(s) > 1$ 영역에서 정규화된 함수 $\zeta_n(s)\pi^s / (2n^s)$는 고전 리만 제타 함수 $\zeta(s)$로 균일 수렴하며, 이 영역에서 $\zeta(s)$는 영이 아님.
• 비판적 스트립 $0 < \mathrm{Re}(s) < 1$ 내에서 $\zeta_n(s) - n c(s)$는 컴팩트 집합에서 0으로 균일 수렴함. 여기서 $c(s) = \int_0^1 \sin(\pi x)^{-s} dx$이며, 이는 제타 함수의 구조 수렴을 보장함.
• $\mathrm{Re}(s) \leq 0$ 영역에서는 $\zeta_n(s)/n$이 리만 합으로서 $c(s)$로 수렴함을 확인하여 왼쪽 반평면에서의 수렴성을 확인함.
• 이산 바젤 문제가 정확히 해결됨: $\zeta_n(2) = \sum_{k=1}^{n-1} \lambda_k^{-2} = (n^2 - 1)/12$이며, $n \to \infty$일 때 $\pi^2/6$로 수렴함. 이는 고전 값과 일치함.
• $\sin^{-s}(\pi x)$는 $0 < s < 1$일 때 유한한 K-미분을 가지며, 이로 인해 K-미분 방법을 사용하여 리만 합 오차를 통제하고 제타 함수 적분 근사의 수렴성을 증명할 수 있음.