[論文レビュー] Higher Apery-like numbers arising from special values of the spectral zeta function for the non-commutative harmonic oscillator

Kazufumi Kimoto|ArXiv.org|Jan 6, 2009

Quantum Mechanics and Non-Hermitian Physics参考文献 20被引用数 4

ひとこと要約

本稿は、非可換調和振動子のスペクトルゼータ関数 $ \zeta_Q(s) $ の特別な値から生じる higher Apéry-like 数 $ J_k(n) $ を導入する。$ J_k(n) $ と $ J_{k-2}(n) $ を結ぶ再帰的関係式を確立し、単一連通Heun方程式を満たす母関数を導出し、正規化された有理部 $ \tilde{J}_k(n) $ を定義する。さらに、古典的Apéry数に類似した合同式を証明し、特に $ \tilde{J}_2((p-1)/2) \equiv A_2((p-1)/2) \pmod{p^2} $ を含む。また、$ p^3 $ を法とする予想される超合同式も提示する。

ABSTRACT

A generalization of the Apery-like numbers, which is used to describe the special values $ζ_Q(2)$ and $ζ_Q(3)$ of the spectral zeta function for the non-commutative harmonic oscillator, are introduced and studied. In fact, we give a recurrence relation for them, which shows a ladder structure among them. Further, we consider the `rational part' of the higher Apery-like numbers. We discuss several kinds of congruence relations among them, which are regarded as an analogue of the ones among Apery numbers.

研究の動機と目的

• 2次以上の高次の $ k \geq 2 $ におけるApéry-like数を一般化し、非可換調和振動子のスペクトルゼータ関数の特別な値 $ \zeta_Q(k) $ と関連付けること。
• $ J_k(n) $ と $ J_{k-2}(n) $ を結ぶ再帰的構造を確立し、数の間のラダー型階層的構造を明らかにすること。
• 微分方程式における変数変換を用いて正規化された有理部 $ \tilde{J}_k(n) $ を定義し、合同式解析を可能にする。
• $ \tilde{J}_k(n) $ 間の合同関係を調査し、古典的Apéry数の合同式に類似した性質を明らかにすること。
• 超合同式に関する予想を提示・支持し、$ p^3 $ や $ p^r $ を法とする一般化を図ることで、既知の結果を高次の $ k $ へ拡張すること。

提案手法

• $ x_1, \dots, x_k $ の有理関数を含む $ k $ 重積分を $ [0,1]^k $ 上で定義し、$ n $ に依存する重み因子を導入することで、higher Apéry-like 数 $ J_k(n) $ を定義する。
• $ J_k(n) $ に対して三項非同次再帰関係を導出し、これが母関数の単一連通Heun微分方程式に翻訳されることを示す。
• $ J_k(n) $ を $ J_{k-2}(n) $ と関連付ける再帰的ラダーモデルを構築し、$ \zeta_Q(k) $ と $ \zeta_Q(k-2) $ 間の潜在的なモジュラー的または算術的関係を示唆する。
• 微分方程式における変数変換を用いて正規化された有理部 $ \tilde{J}_k(n) $ を定義し、$ J_k(n) $ が $ \zeta(k), \zeta(k-2), \dots $ のリーマンゼータ値の線形結合として、係数 $ \tilde{J}_m(n) $ を用いて表現可能であることを示す。
• $ p $-進解析と $ p^2 $、$ p^3 $ を法とした二項係数の恒等式を用いて合同式を証明し、特に $ \tilde{J}_2((p-1)/2) \equiv A_2((p-1)/2) \pmod{p^2} $ を含む。
• 高次の超合同式に関する予想を提示・支持し、例えば $ \sum_{n=0}^{p-1} \tilde{J}_2(n)^2 \equiv \left(\frac{-1}{p}\right) \pmod{p^3} $ や $ \tilde{J}_2(mp^r - 1) \equiv \left(\frac{-1}{p}\right) \tilde{J}_2(mp^{r-1} - 1) \pmod{p^r} $ といった式を含む。

実験結果

リサーチクエスチョン

• RQ1 $ k \geq 2 $ における higher Apéry-like 数 $ J_k(n) $ は、非可換調和振動子のスペクトルゼータ関数の特別な値 $ \zeta_Q(k) $ からどのように生じるか？
• RQ2 $ J_k(n) $ と $ J_{k-2}(n) $ を結ぶ再帰的構造は何か？この構造は $ \zeta_Q(s) $ のより深い算術的またはスペクトル的性質をどのように反映しているか？
• RQ3 正規化された有理部 $ \tilde{J}_k(n) $ の役割は何か？また、これらは $ p $-進合同式の研究をどのように容易にするか？
• RQ4 古典的Apéry数に類似した超合同式が存在するか？例えば $ \sum_{n=0}^{p-1} \tilde{J}_2(n)^2 \equiv \left(\frac{-1}{p}\right) \pmod{p^3} $ であり、高次の $ k $ へどのように一般化されるか？
• RQ5 合同式 $ \tilde{J}_2(mp^r - 1) \equiv \left(\frac{-1}{p}\right) \tilde{J}_2(mp^{r-1} - 1) \pmod{p^r} $ は高次の $ k $ へ拡張可能か、あるいは証明可能か？また、これは $ \zeta_Q(k) $ の算術的性質に何を示唆するか？

主な発見

• higher Apéry-like 数 $ J_k(n) $ は、$ J_k(n) $ を $ J_{k-2}(n) $ に結ぶ三項非同次再帰関係を満たし、$ k $ の各次元でラダー構造を示す。
• $ J_k(n) $ の母関数は単一連通Heun微分方程式を満たし、これは再帰関係から導かれ、スペクトルゼータ関数の解析的構造を反映する。
• 正規化された有理部 $ \tilde{J}_k(n) $ は微分方程式における変数変換を用いて定義され、$ J_k(n) $ が $ \zeta(k), \zeta(k-2), \dots $ のリーマンゼータ値の線形結合として、係数 $ \tilde{J}_m(n) $ を用いて表現可能であることを可能にする。
• $ \tilde{J}_2((p-1)/2) \equiv A_2((p-1)/2) \pmod{p^2} $ が証明され、ここで $ A_2(n) $ は $ \zeta(2) $ の古典的Apéry数である。これにより、正規化された高次Apéry数と古典的Apéry数の直接的な関係が確立される。
• 本稿では、$ \sum_{n=0}^{p-1} \tilde{J}_2(n)^2 \equiv \left(\frac{-1}{p}\right) \pmod{p^3} $ という超合同式を予想し、これはRodriguez-Villegas型の結果に類似している。
• より深い予想として、すべての $ m, r \geq 1 $ に対して $ \tilde{J}_2(mp^r - 1) \equiv \left(\frac{-1}{p}\right) \tilde{J}_2(mp^{r-1} - 1) \pmod{p^r} $ が成り立ち、さらに $ \tilde{J}_2((mp^r - 1)/2) $ が、重み6のモジュラー形式のフーリエ係数 $ \lambda_p $ を含む三項合同式を満たすことが示唆されている。