[論文レビュー] The zeta function for circular graphs

Oliver Knill|arXiv (Cornell University)|Dec 16, 2013

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)$ を用いて、ヒルベルトゼータ関数が不動点であることを示し、離散的・古典的ゼータ関数を結びつける。
• コンパクト集合上で $\zeta_n(s) - n c(s)$ がゼロに一様収束することを証明する。ここで $c(s) = \int_0^1 \sin(\pi x)^{-s} dx$ であり、臨界帯 $0 < \mathrm{Re}(s) < 1$ 内で成り立つ。
• $\mathrm{Re}(s) > 1$ において、$\zeta_n(s)\pi^s / (2n^s)$ がリーマンゼータ関数 $\zeta(s)$ に一様収束することを示し、この領域では $\zeta(s)$ は非ゼロである。
• $\cot(\pi x)$ がバーゲンホルム写像の不動点であるという事実を用いて、$\zeta_n(2k)$ の明示的有理数値を導出し、バーゼル問題の離散版を回復する。

実験結果

リサーチクエスチョン

• RQ1 $n \to \infty$ の際に、円形グラフ $C_n$ 上のディラックゼータ関数 $\zeta_n(s)$ の根は臨界線 $\mathrm{Re}(s) = 1/2$ に集積するか？
• RQ2 $\mathrm{Re}(s) > 1$ の領域において、$C_n$ 上のディラック作用素のゼータ関数は古典的リーマンゼータ関数とどのように関係するか？
• RQ3 $K$-微分を用いて、$\sin^{-s}(\pi x)$ のような端点に特異性を持つ関数のリーマン和近似における誤差を制御できるか？
• RQ4 臨界帯 $0 < \mathrm{Re}(s) < 1$ において、$\zeta_n(s)$ の極限的挙動は何か？ また、コンパクト部分集合上で一様収束するか？
• RQ5 $\zeta_n(2k)$ に対してどのような明示的値が計算可能か？ また、バーゲンホルム正規化を介して古典的ゼータ値とどのように関係するか？

主な発見

• $n \to \infty$ の際に、$C_n$ 上のディラックゼータ関数 $\zeta_n(s)$ の根は線 $\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)$ はコンパクト集合上でゼロに一様収束する。ここで $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$-微分法を用いてリーマン和の誤差を制御でき、ゼータ関数の積分近似の収束を証明できる。