[論文レビュー] Computation of Selberg zeta functions on Hecke triangle groups

Fredrik Strömberg|ArXiv.org|Apr 30, 2008

Advanced Algebra and Geometry参考文献 21被引用数 9

ひとこと要約

本稿では、移行作用素と記号的力学系を用いて、非共compactなヘッケ三角群に対するセルバーグゼータ関数を計算するヒューリスティックな数値手法を提示する。この手法により、標準的なフレドホルム行列式手法が適用できない非共compact性を持つ群に対しても、高精度な評価が可能となる。臨界帯における値について、精度が$10^{-36}$未満に達することが確認され、広範な数値的結果と誤差解析によって検証されている。

ABSTRACT

In this paper, a heuristic method to compute the Selberg zeta function for Hecke triangle groups, $G_q$ ($q>=3$) is described. The algorithm is based on the transfer operator method and an overview of the relevant background is given. We give numerical support for the claim that the method works and can be used to compute the Selberg Zeta function for $G_q$ to any desired precision. We also present some numerical results obtained by implementing the algorithm.

研究の動機と目的

• 共有限ではあるが共compactでないヘッケ三角群におけるセルバーグゼータ関数を数値的に計算する実用的な手法を開発すること。
• 従来、共compact群に限って用いられてきた移行作用素法を、ヘッケ三角群のような非共compactなフクシアン群へと拡張すること。
• 臨界帯におけるセルバーグゼータ関数の数値的証拠と高精度な結果を提供すること。解析接続が必要となる領域で、その有効性を検証する。
• 誤差解析と近似固有値、関数等式の恒等式との比較を通じて、手法の妥当性を検証すること。
• 臨界線$ e s = 1/2$に沿って、ゼータ関数および関連関数（例：$ ilde{ ho}_q(s)$）の値を計算し、表形式で提示すること。

提案手法

• 地理的流れの記号的力学系とマルコフ分割を用いて、ヘッケ曲面における地理的流れを区分的線形写像$F_q$でモデル化する。
• 記号的力学系に基づいて、地理的流れのダイナミクスを符号化する移行作用素$ ilde{ ho}_q(s)$を構築する。
• 有限次元切断$A_eta^{(N)}$を用いた数値的近似により、移行作用素の固有値を近似する。収束は固有値の減衰をモニタリングすることで確認する。
• 固有値$| ilde{ ho}_K|$の減衰を用いて、移行作用素の解析接続を、近似列$A_eta^{(N)}$を介して行う。誤差境界は、この減衰率を用いて推定する。
• セルバーグゼータ関数の関数等式を、$ ilde{Z}_q(1-s)/\tilde{Z}_q(s)$と予測された$ ilde{ ho}_q(s)$の比較によって数値的に検証する。
• 100桁の作業精度を用いて固有値とゼータ関数の値を計算し、残渣ノルムと固有値の減衰に基づく誤差推定値を提供する。

実験結果

リサーチクエスチョン

• RQ1 非共compactなフクシアン群（例：ヘッケ三角群）に対して、移行作用素法を応用してセルバーグゼータ関数を計算できるか。
• RQ2 移行作用素の固有値はどの程度数値的に近似可能であり、臨界帯における$Z_q(s)$の正確な値を導けるか。
• RQ3 数値的結果は、関数等式$Z_q(1-s) = Z_q(s) \cdot \rho_q(s)$とどの程度一致するか。また、どの程度の誤差境界を確立できるか。
• RQ4 本手法を用いて、$s = \frac{1}{2} + ni$における$Z_q(s)$の計算でどの程度の精度が達成できるか。
• RQ5 固有値近似の収束は、切断サイズ$N$と反復回数$K$にどのように依存するか。

主な発見

• 誤差推定により、$q=3$および$s = \frac{1}{2} + 250i$に対して、$Z_q(s)$の計算精度が$10^{-36}$未満に達することが確認された。
• $q=3$の場合、$Z_3(\frac{1}{2} + 250i)$は$1.192213402686855883047193551130117623672 + 0.07441372137027373177901851156938182265i$と計算され、誤差は$1 \cdot 10^{-36}$であった。
• 関数等式は数値的に検証された：$q=4$および$n \leq 10$の場合、$ \tilde{Z}_q(1-s)/\tilde{Z}_q(s)$と$ \tilde{\rho}_q(s)$の一致は$10^{-15}$未満であった。
• $q=5$の場合、臨界線に沿って$ \mathcal{Z}_5(t)$が計算され、図3に可視化され、安定した挙動を示した。
• 固有値近似の収束は安定的であった：$q=3$の場合、$K=50$反復で$|\tilde{\lambda}_K| \approx 5 \cdot 10^{-36}$が得られ、高い精度が裏付けられた。
• 固有値の減衰と残渣ノルムに基づく誤差推定値は、常に$10^{-9}$未満であり、数値的結果の信頼性が確認された。