A supercongruence fantasy on Fibonacci and Lucas (after Guillera)

技術的要約：「フィボナッチ数とリュカ数に関する超合同式のファンタジー」

問題提起
本論文は、ラマヌジャン型の超合同式（通常、切断された超幾何級数を、素数の冪に対する$\pi$とその冪の値に関連付けるもの）の拡張について扱っている。ギレラらによる先行研究では、無理数形式の公式とその代数的共役を組み合わせることで「有理的」なラマヌジャン型級式が確立されてきたが、これらの有理的級式は通常、標準的な二項係数を用いる。本研究の中心的な問題は、このような「有理化」が、係数にフィボナッチ数（$F_n$）およびリュカ数（$L_n$）、あるいはアペリー数を含む級式に対しても拡張可能であるか否かである。著者は、これらの数列が高次の線形漸化式を満たすことに着目し、これらが$p^k$を法とする超合同式の性質を示すような、$1/\pi$および$1/\pi^2$のための新しい級式の族を生成できるかどうかを調査している。

手法
手法は主に、ギレラの発見の「精神」に基づいた観測的かつ数値的なものである。そのアプローチは以下の通りである：

1. 無理数級式の有理化： 既知の無理数ラマヌジャン型級式（例：$\sqrt{5}$や$\sqrt{6}$を含むもの）から出発し、著者はそれらをその代数的共役と組み合わせる。このプロセスにより、無理数項が排除され、有理的な係数を持つ級式が生成される。
2. フィボナッチ／リュカ項の導入： 得られた有理的級式において、係数を$F_n$および$L_n$（または$\sqrt{6}$から導かれる一般化された数列$U_n, V_n$）を用いて表現する。
3. 超合同式の数値的検証： 著者は、これらの新しい級式に対応する切断和（$S_1(N)$から$S_6(N)$）を定義する。計算的証拠を用いて、これらの和が以下の形式の超合同式を満たすかどうかをテストする：
   $$S(p^s) \equiv \chi(p) p^k S(p^{s-1}) \pmod{p^{m s}}$$
   ここで、$\chi(p)$はルジャンドル記号、$p$は素数、$s \geq 1$である。
4. 母関数解析： 数値チェックを容易にするため、論文では「希薄化された」数列（例：$F_{8n}, L_{8n}, F_{15n}$）の母関数を導出し、それらが次数1より大きい定数有理係数の線形漸化式を満たすことを示している。

主な貢献と結果
本論文は、フィボナッチ数およびリュカ数に関する超合同式に関するいくつかの新しい予想を提示している：

• レベル1（$\pmod{p^3}$ および $\pmod{p^5}$）：

  • $\sqrt{5}$を含むギレラの$1/\pi$の級式を組み合わせることで、著者は$F_{8n}$および$L_{8n}$を含む2つの新しい級式（式3および式4）を導出している。
  • 予想： 切断和$S_1(N)$および$S_2(N)$は、以下の超合同式を満たす。具体的には：
    $$S_1(p^s) \equiv \left(\frac{-5}{p}\right) p S_1(p^{s-1}) \pmod{p^{3s}}$$
    $$S_2(p^s) \equiv \left(\frac{-1}{p}\right) p S_2(p^{s-1}) \pmod{p^{3s}}$$
  • より短い切断（$(p^s+1)/2$まで）についても同様の合同式が提案されている。

• レベル2（$\pmod{p^5}$）：

  • 同様の論理を、$\sqrt{5}$および二項係数の高次冪を含む$1/\pi^2$の級式に適用することで、著者は$F_{15n}$および$L_{15n}$を含む級式$S_3(N)$および$S_4(N)$を構成している。
  • 予想： これらの和は、より強い$\pmod{p^5}$の超合同式を満たす：
    $$S_3(p^s) \equiv \left(\frac{5}{p}\right) p^2 S_3(p^{s-1}) \pmod{p^{5s}}$$
    $$S_4(p^s) \equiv p^2 S_4(p^{s-1}) \pmod{p^{5s}}$$

• アペリー型への一般化：

  • 著者は、アペリー数（$A_n$）および$\sqrt{6}$に関連する数列$U_n, V_n$を含むようにフレームワークを拡張している。
  • 予想： 和$S_5(N)$および$S_6(N)$は、それぞれ特定のルジャンドル記号$\left(\frac{-3}{p}\right)$および$\left(\frac{-2}{p}\right)$を伴い、$\pmod{p^3}$の超合同式を満たす。単一の例外として$S_6(31)$が注記されている。

意義と主張
本論文は、これらの合同式の厳密な証明ではなく、あくまで「ファンタジー」あるいは数値的観測の集積として控えめに位置づけている。その意義は以下の点にある：

1. 一般化： ラマヌジャン型の級式をフィボナッチ数やリュカ数を含むように「有理化」するという現象が、孤立した珍奇な現象ではなく、一般化可能な算術的パターンであることを提案している。
2. 構造的相違： 著者は、古典的なラマヌジャン公式（係数が純粋な冪のような次数1の漸化式を満たす数列に由来することが多い）と、これらの新しい「フィボナッチ的」なバージョンとの間の主要な違いを強調している。後者は高次の線形漸化式を満たす数列を含むものであり、これは、より深く、未解明の算術的構造を示唆している。
3. 理論への呼びかけ： 論文は、純粋な超幾何および有理的な超合同式に関する実質的な研究蓄積がある一方で、これらのフィボナッチおよびアペリーに基づく事例を説明するための統一的な概念的枠組みが現在存在しないことを指摘して締めくくられている。主要な貢献は、これらのパターンの特定と、これらを説明するための理論的枠組みを構築するための数学界への招待である。

本研究は、これらの合同式の「数値的観測」に大きく依存しており、厳密な証明は将来の研究における未解決問題として残されている。