[論文レビュー] An Elementary Dyadic Riemann Hypothesis

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

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

ひとこと要約

本稿では、接続ラプラシアン L 及びその平方 L² のスペクトル的性質を分析することにより、1次元有限単体複体における初等的な二進Riemann予想を導入する。L² のゼータ関数に対して関数等式 zeta(s) = zeta(-s) を確立し、L² のスペクトルが逆数的対称性（sigma = 1/sigma）を示すことを示し、特性多項式が回文的であることを示す。これにより、Barycentric極限における明示的な整関数としてのゼータ関数が得られ、解析的自己同型的対称性を示す。

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).

研究の動機と目的

• 1次元単体複体における接続ラプラシアン L² のゼータ関数に対して関数等式を確立すること。
• 1次元複体における L² のスペクトルが、逆数的対称性 sigma = 1/sigma を満たすことを示すことにより、回文的特性多項式が得られることを示すこと。
• Barycentric極限において明示的な整関数としてのゼータ関数を導出すること。これはRiemann予想に類似した離散的二進的設定におけるものである。
• Hodgeラプラシアンの場合に比べ、これまで関数等式が得られていなかった状況に対して、取り扱いやすい代替手法を提供すること。

提案手法

• 接続ゼータ関数を zeta_L(s) = sum_x 1/lambda_x^s として定義する。ここで lambda_x は接続ラプラシアン L の固有値である。
• Euler標跡と行列式の関係を表すスペクトル公式 chi(G) = p(G) - n(G) を用い、Euler標跡および行列式をゼータ関数の値および微分値で表現する。
• 行列の積に一般化されたCauchy-Binet公式を適用し、1次元複体において関数等式 zeta(s) = zeta(-s) を導出する。
• 1次元複体において、L² のスペクトルが sigma = 1/sigma を満たすことを示し、これにより回文的特性多項式が得られることを示す。
• Barycentric極限における極限ゼータ関数を一般化された超幾何関数として構成する。
• 関数等式を裏付ける解析的自己同型的対称性 (z,w) → (1/z, w/z²) を、実楕円曲線 w² = (1+z)(1-z)(z²-4z-1) 上に同定する。

実験結果

リサーチクエスチョン

• RQ1 1次元単体複体における接続ラプラシアン L² のゼータ関数は、関数等式 zeta(s) = zeta(-s) を満たすか？
• RQ2 1次元複体における L² のスペクトルに現れるスペクトル的対称性は何か？ また、特性多項式とどのように関係するか？
• RQ3 1次元複体のBarycentric極限において、明示的な整関数としてのゼータ関数を構成できるか？
• RQ4 得られたゼータ関数は代数幾何学、特に楕円曲線および自己同型的対称性とどのように関係するか？
• RQ5 接続ラプラシアンの離散的二進的アナロジーとして、Riemann予想に類似した性質を持つものがあるか？

主な発見

• 任意の1次元単体複体 G に対して、L² のゼータ関数は関数等式 zeta(s) = zeta(-s) を満たす。
• 1次元複体における L² のスペクトルは、逆数的対称性（すなわち sigma = 1/sigma）を満たす。
• L² の特性多項式は回文的であり、これによりスペクトル的対称性が反映されている。
• Barycentric極限において、ゼータ関数は明示的な整関数として、一般化された超幾何関数として表現可能である。
• ゼータ関数は、実曲線 w² = (1+z)(1-z)(z²-4z-1) 上の楕円積分と関係しており、解析的自己同型的対称性 (z,w) → (1/z, w/z²) を持つ。
• 本研究の構成は、Hodgeラプラシアンの場合に比べ、関数等式が得られていなかった複雑さを避ける、離散的かつ初等的なRiemann予想のアナロジーを提供する。