[论文解读] An Elementary Dyadic Riemann Hypothesis

Oliver Knill|arXiv (Cornell University)|Jan 15, 2018

Spectral Theory in Mathematical Physics参考文献 15被引用 7

一句话总结

本文通过分析连接拉普拉斯算子 L 及其平方 L² 的谱性质，提出了一维有限单纯复形上的初等二元黎曼猜想。它建立了 L² 的 zeta 函数的函数方程 zeta(s) = zeta(-s)，表明 L² 的谱在倒数变换下对称（即 sigma = 1/sigma），并证明其特征多项式为回文式，从而在 Barycentric 极限下导出一个显式的整函数 zeta 函数，该函数表现出解析对合对称性。

ABSTRACT

The connection zeta function of a finite abstract simplicial complex G is defined as zeta_L(s)=sum_x 1/lambda_x^s, where lambda_x are the eigenvalues of the connection Laplacian L defined by L(x,y)=1 if x and y intersect and 0 else. (I) As a consequence of the spectral formula chi(G)=sum_x (-1)^dim(x) = p(G)-n(G), where p(G) is the number of positive eigenvalues and n(G) is the number of negative eigenvalues of L, both the Euler characteristic chi(G)=zeta(0)-2 i zeta'(0)/pi as well as determinant det(L)=e^zeta'(0)/pi can be written in terms of zeta. (II) As a consequence of the generalized Cauchy-Binet formula for the coefficients of the characteristic polynomials of a product of matrices we show that for every one-dimensional simplicial complex G, the functional equation zeta(s)=zeta(-s) holds, where zeta(s) is the Zeta function of the positive definite squared connection operator L^2 of G. Equivalently, the spectrum sigma of the integer matrix L^2 for a 1-dimensional complex always satisfies the symmetry sigma = 1/sigma and the characteristic polynomial of L^2 is palindromic. The functional equation extends to products of one-dimensional complexes. (III) Explicit expressions for the spectrum of circular connection Laplacian lead to an explicit entire zeta function in the Barycentric limit. The situation is simpler than in the Hodge Laplacian H=D^2 case where no functional equation was available. In the connection Laplacian case, the limiting zeta function is a generalized hypergeometric function which for an integer s is given by an elliptic integral over the real elliptic curve w^2=(1+z)(1-z)(z^2-4z-1), which has the analytic involutive symmetry (z,w) to (1/z,w/z^2).

研究动机与目标

• 建立一维单纯复形上连接拉普拉斯算子平方 L² 的 zeta 函数的函数方程。
• 证明 L² 的谱满足对称性 sigma = 1/sigma，从而导致特征多项式为回文式。
• 在 Barycentric 极限下构造一个显式的整 zeta 函数，其形式类似于黎曼猜想，但存在于离散的二元设定中。
• 提供一种可处理的替代方案，以取代此前无法获得此类函数方程的 Hodge 拉普拉斯算子情形。

提出的方法

• 将连接 zeta 函数定义为 zeta_L(s) = sum_x 1/lambda_x^s，其中 lambda_x 是连接拉普拉斯算子 L 的特征值。
• 利用谱公式 chi(G) = p(G) - n(G) 将欧拉示性数和行列式表示为 zeta 函数值及其导数值的形式。
• 应用矩阵乘积的广义 Cauchy-Binet 公式，推导出一维复形下 zeta(s) = zeta(-s) 的函数方程。
• 证明在一维复形中，L² 的谱满足 sigma = 1/sigma，从而导出回文式特征多项式。
• 将 Barycentric 极限下的极限 zeta 函数构造为广义超几何函数。
• 在实椭圆曲线 w² = (1+z)(1-z)(z²-4z-1) 上识别出一个解析对合对称性 (z,w) → (1/z, w/z²)，该对称性是函数方程的根源。

实验结果

研究问题

• RQ1 一维单纯复形上连接拉普拉斯算子平方 L² 的 zeta 函数是否满足函数方程 zeta(s) = zeta(-s)？
• RQ2 在一维复形中，L² 的谱中出现何种谱对称性？它与特征多项式有何关系？
• RQ3 是否可以在一维复形的 Barycentric 极限下构造出一个显式的整 zeta 函数？
• RQ4 所得 zeta 函数与代数几何有何关联，特别是与椭圆曲线及对合对称性之间的关系？
• RQ5 是否存在一个在二元设定下对连接拉普拉斯算子成立的离散黎曼猜想的类比？

主要发现

• 对于每一个一维单纯复形 G，L² 的 zeta 函数均满足函数方程 zeta(s) = zeta(-s)。
• 一维复形上 L² 的谱在倒数变换下具有对称性，即 sigma = 1/sigma。
• L² 的特征多项式为回文式，反映了其谱对称性。
• 在 Barycentric 极限下，zeta 函数成为可显式表达为广义超几何函数的整函数。
• zeta 函数与实曲线 w² = (1+z)(1-z)(z²-4z-1) 上的椭圆积分相关联，该曲线具有解析对合对称性 (z,w) → (1/z, w/z²)。
• 该构造提供了一个离散且初等的黎曼猜想类比，避免了 Hodge 拉普拉斯算子情形下此前未知的此类函数方程的复杂性。