[论文解读] The zeta function for circular graphs

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

Graph theory and applications参考文献 13被引用 6

一句话总结

本文研究了圆图 $C_n$ 上狄拉克算子相关的 zeta 函数，证明其根在 $n \to \infty$ 时累积于直线 $\sigma = \mathrm{Re}(s) = 1$。通过新颖的 K-导数分析及与 Hurwitz zeta 函数的联系，表明离散 zeta 函数在复平面不同区域收敛于经典 zeta 行为，其中拉普拉斯 zeta 函数 $\zeta_n(2s)$ 趋近于临界线 $\sigma = 1/2$，但狄拉克 zeta 本身收敛于 $\sigma = 1$。该工作建立了一致收敛性，并通过 Birkhoff 重整化与 Riemann 和估计得出了显式值。

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$ 上狄拉克算子的谱 zeta 函数。
• 理解当 $n \to \infty$ 时 zeta 函数根的渐近分布。
• 在复平面的不同区域建立离散 zeta 函数收敛于经典 zeta 行为的结论。
• 利用 Birkhoff 重整化映射的不动点性质，推导 $\zeta_n(2k)$ 的显式值。
• 提出一种基于 K-导数的新数值积分方法，适用于具有边界奇点的函数，如 $\sin^{-s}(\pi x)$。

提出的方法

• 引入一种新的 K-导数 $K_f(x)$，其行为类似于 Schwarzian 型导数，可确保 $\sin^{-s}(\pi x)$ 等函数的有界性，从而在 Riemann 和逼近中实现误差控制。
• 将 Newton-Coates-Rolle 分析与 K-导数结合，以界定 Riemann 和与积分之间的差异，尤其适用于奇异函数。
• 利用 Birkhoff 重整化算子 $Tf(x) = \frac{1}{n}\sum_{k=0}^{n-1} f\left(\frac{x}{n} + \frac{k}{n}\right)$ 证明 Hurwitz zeta 函数是不动点，从而建立离散与经典 zeta 函数之间的联系。
• 证明在临界带 $0 < \mathrm{Re}(s) < 1$ 的紧集上，$\zeta_n(s) - n c(s)$ 一致收敛于零，其中 $c(s) = \int_0^1 \sin(\pi x)^{-s} dx$。
• 证明在 $\mathrm{Re}(s) > 1$ 区域，$\zeta_n(s)\pi^s / (2n^s)$ 一致收敛于 Riemann zeta 函数 $\zeta(s)$，且 $\zeta(s)$ 在此区域非零。
• 利用 $\cot(\pi x)$ 是 Birkhoff 映射的不动点这一事实，推导出 $\zeta_n(2k)$ 的显式有理数值，从而恢复离散版的巴塞尔问题。

实验结果

研究问题

• RQ1 当 $n \to \infty$ 时，圆图 $C_n$ 上狄拉克 zeta 函数 $\zeta_n(s)$ 的根是否累积于临界线 $\mathrm{Re}(s) = 1/2$？
• RQ2 狄拉克算子在 $C_n$ 上的 zeta 函数在 $\mathrm{Re}(s) > 1$ 区域如何与经典 Riemann zeta 函数相关联？
• RQ3 K-导数能否用于控制具有端点奇点的函数（如 $\sin^{-s}(\pi x)$）的 Riemann 和逼近误差？
• RQ4 在临界带 $0 < \mathrm{Re}(s) < 1$ 中，$\zeta_n(s)$ 的极限行为如何？其在紧子集上是否一致收敛？
• RQ5 能否计算出 $\zeta_n(2k)$ 的显式值？它们如何通过 Birkhoff 重整化与经典 zeta 值关联？

主要发现

• 当 $n \to \infty$ 时，圆图 $C_n$ 上狄拉克 zeta 函数 $\zeta_n(s)$ 的根累积于直线 $\mathrm{Re}(s) = 1$，意味着对于充分大的 $n$，其补集的任意紧子集均不包含根。
• 在 $\mathrm{Re}(s) > 1$ 区域，归一化函数 $\zeta_n(s)\pi^s / (2n^s)$ 一致收敛于经典 Riemann zeta 函数 $\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$，从而保证了 zeta 函数结构的收敛性。
• 在 $\mathrm{Re}(s) \leq 0$ 区域，$\zeta_n(s)/n$ 作为 Riemann 和收敛于 $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-导数方法可用于控制 Riemann 和误差，并证明 zeta 函数积分逼近的收敛性。