2025-11-12T06:19:10.619115

Continued Fractions and Irrationality Measures for Chowla--Selberg Gamma Quotients

Cohen, Zudilin
We give 39 rapidly convergent continued fractions for Chowla--Selberg gamma quotients, and deduce good irrationality measures for 20 of them, including for $\operatorname{CS}(-3)=(Γ(1/3)/Γ(2/3))^3$, for $a^{1/4}\operatorname{CS}(-4)=a^{1/4}(Γ(1/4)/Γ(3/4))^2$ with $a=12$ and $a=1/5$, and for $\operatorname{CS}(-7)=Γ(1/7)Γ(2/7)Γ(4/7)/(Γ(3/7)Γ(5/7)Γ(6/7))$. These appear to be the first proved and reasonable irrationality measures for gamma quotients.
academic

Chowla-Selberg ガンマ商の連分数と無理性測度

基本情報

  • 論文ID: 2510.00215
  • タイトル: Continued Fractions and Irrationality Measures for Chowla--Selberg Gamma Quotients
  • 著者: Henri Cohen (Bordeaux) と Wadim Zudilin (Nijmegen)
  • 分類: math.NT (数論)、math.CA (古典解析)
  • 発表日: 2025年11月11日
  • 論文リンク: https://arxiv.org/abs/2510.00215v3

摘要

本論文は、Chowla-Selberg ガンマ商（gamma quotients）に対する39個の高速収束連分数表現を提供し、そのうち20個について良好な無理性測度を導出している。これらの結果には、CS(-3) = (Γ(1/3)/Γ(2/3))³、a^(1/4)CS(-4)（ここでa=12およびa=1/5）、ならびにCS(-7) = Γ(1/7)Γ(2/7)Γ(4/7)/(Γ(3/7)Γ(5/7)Γ(6/7))が含まれる。これらはガンマ商に対して証明された、合理的な無理性測度の最初の例と思われる。

研究背景と動機

核心問題

本論文は、負の基本判別式Dに対するChowla-Selberg ガンマ商CS(D)の無理性測度問題を研究している。これらの量は、Lerch公式とChowla-Selberg公式を通じてCM点におけるDedekind eta関数の値と関連している。

重要性

  1. 理論的意義：ChudnovskyとNesterenkoがCS(D)、πおよびexp(π√D)がQ上で代数的に独立であることを証明しており（特にCS(D)は超越数である）、明示的かつ合理的な無理性測度は極めて稀である。
  2. 歴史的空白：これまで、数値実験に基づくCS(-3)の無理性測度（12で提案）が唯一であり、文献3におけるμ(Γ(1/3))およびμ(Γ(1/4))の界は実用的でないほど巨大である。
  3. 方法の革新：従来の無理性測度は積分または超幾何構造を通じて得られるが（例えばMahlerのπに関する研究）、本論文は連分数方法を使用しており、この分野では極めて稀である。

既存方法の限界

  • 従来の積分および級数方法はガンマ商に適用不可能
  • 既知の超幾何級数表現は収束が遅い（通常はz=1での値）
  • 有用な積分表現が知られていない

核心的貢献

  1. 39個の高速収束連分数の構成：形式は L=[[0,a1,A(n−1)],[b0,−K(Dn−1)(D(n−1)+1)]]L = [[0, a_1, A(n-1)], [b_0, -K(Dn-1)(D(n-1)+1)]] ここでD ∈ {2, 3, 4, 6}。
  2. 20個のガンマ商の無理性測度の証明：CS(-3)、CS(-7)などに対する初めての厳密な界を含む、例えば：
    • μ(CS(-3)) < 5.548
    • μ(CS(-7)) < 5.283
    • μ(CS(-163)) < 2.477
  3. 系統的な理論枠組みの確立：
    • Laguerre連分数と超幾何関数を通じた連分数の構成
    • モジュラー形式とCM理論を利用した連分数極限の計算
    • Apéry型算術解析法による分母の界定
  4. 完全なCM値分類：44個の有理CM値の完全な表を提供し、どれが無理性測度を生成するかを識別

方法の詳細

タスク定義

無理数Lに対して、有理数列u(n)とv(n)を構成し、以下を満たす：

  1. |v(n)L - u(n)|が十分に小さい：log|v(n)L - u(n)| ~ -Fn
  2. 分母が制御可能：d(n)u(n), d(n)v(n) ∈ Zなるd(n)が存在し、log(d(n)) < Mn

F > Mのとき、無理性測度の上界が得られる：μ(L) ≤ 1 + (F+M)/(F-M)

核心方法の構造

第一段階：Laguerre連分数（第2節）

古典的なLaguerre連分数から出発： (1+z1−z)a=[[1,1−az,2n−1],[2az,−z2(n2−a2)]]\left(\frac{1+z}{1-z}\right)^a = [[1, 1-az, 2n-1], [2az, -z^2(n^2-a^2)]]

収束速度は： (1+z1−z)a−p(n)q(n)∼2sin⁡(πa)((1+z)/(1−z))a((1+1−z2)/z)2n+1\left(\frac{1+z}{1-z}\right)^a - \frac{p(n)}{q(n)} \sim \frac{2\sin(\pi a)((1+z)/(1-z))^a}{((1+\sqrt{1-z^2})/z)^{2n+1}}

重要な技巧：「半シフト」（nをn-1/2に置換）を通じて、新しい連分数を得る。その極限はガンマ商となる。

第二段階：連分数族の構成（第3節）

特定の形式の連分数族を研究： C=[[0,a1,A(n−1)],[b0,−K(Dn−1)(D(n−1)+1)]]C = [[0, a_1, A(n-1)], [b_0, -K(Dn-1)(D(n-1)+1)]]

収束性分析（命題3.1）：

  • R = (A + √(A² - 4KD²))/2、E = R²/(KD²)とする
  • A² - 4KD² > 0のとき、連分数は収束
  • 収束速度：L - p(n)/q(n) ~ C₁/E^n

第三段階：極限計算（第4-5節）

方法1：超幾何関数表現（定理4.7） L0=−K1/2T1T0(12,1−1D;12+A4DK1/2)L_0 = -K^{1/2}\frac{T_1}{T_0}\left(\frac{1}{2}, 1-\frac{1}{D}; \frac{1}{2}+\frac{A}{4DK^{1/2}}\right)

ここで Tn(a,b;z)=Γ(a+n)Γ(b+n)Γ(2a+2n)(1/z)a+n⋅2F1(a+n,b+n;2a+2n;1/z)T_n(a,b;z) = \frac{\Gamma(a+n)\Gamma(b+n)}{\Gamma(2a+2n)}(1/z)^{a+n} \cdot {}_2F_1(a+n, b+n; 2a+2n; 1/z)

方法2：モジュラー形式理論（第5節） 三角群(p,p,∞)のHauptmodulとモジュラー超幾何求値を利用：

  • (3,3,∞)：2F1(1/2,5/6;1;1/(1−R1(τ)))=(F1,−1/2/F1,+1/3)(τ)_2F_1(1/2, 5/6; 1; 1/(1-R_1(τ))) = (F_{1,-}^{1/2}/F_{1,+}^{1/3})(τ)
  • (4,4,∞)：2F1(1/2,3/4;1;1/(1−R2(τ)))=(F2,−1/2/F2,+1/4)(τ)_2F_1(1/2, 3/4; 1; 1/(1-R_2(τ))) = (F_{2,-}^{1/2}/F_{2,+}^{1/4})(τ)
  • (6,6,∞)：2F1(1/2,2/3;1;1/(1−R3(τ)))=(F3,−1/2/F3,+1/6)(τ)_2F_1(1/2, 2/3; 1; 1/(1-R_3(τ))) = (F_{3,-}^{1/2}/F_{3,+}^{1/6})(τ)

CM点τの選択（(2R_N(τ)-1)²が有理数となるよう）を通じて、Chowla-Selberg公式と基本周期Ω(τ)の計算を結合し、連分数極限の明示的表現を得る。

技術的革新点

  1. 半シフト技術の系統的応用：Laguerre連分数のnをn-1/2に置換することで、代数数の連分数からガンマ商の連分数を系統的に導出。
  2. Apéry型漸化式：重要な漸化式の形式は (n+B)vn+1=Znvn+K(B−n)vn−1(n+B)v_{n+1} = Znv_n + K(B-n)v_{n-1} 係数がnの一次関数のみであり（一般的な二次関数ではなく）、分母分析が可能となる。
  3. 明示的公式（定理7.1）：収束項p(n)/q(n)の正確な表現を提供し、切断超幾何和を含む： Pn=∑j=0⌊n/2⌋(−1)jKn−j(Z/K)n−2j(n−j)!(n−2j)!∑i=0j(−1)i(n−i)!i!2(j−i)!ΛiP_n = \sum_{j=0}^{\lfloor n/2\rfloor} (-1)^j K^{n-j}(Z/K)^{n-2j}\frac{(n-j)!}{(n-2j)!}\sum_{i=0}^j \frac{(-1)^i(n-i)!}{i!^2(j-i)!}\Lambda_i
  4. 最適化された分母界：素朴なd_D(n) = lcm(Dj+1)の代わりにd*_D(n)を導入し、特定の条件を満たす素数p（集合P_n）を除外することで、分母推定を大幅に改善。

実験設定

データソース

本論文は純粋な理論数学研究であり、「実験」は主に以下を指す：

  1. 数値検証：高精度計算を使用して連分数が予想されるガンマ商に収束することを検証
  2. CM値の列挙：2の完全な分類に基づき、合計44個の有理CM値
  3. OEIS識別：整数列オンライン百科事典を利用して数値係数を識別

評価指標

  • 収束速度E：log|E|/2が収束の速さを決定
  • 分母増長率m*_D：漸近的にlog(d_D(n)) ~ m_D · n
  • 無理性測度μ(L)：log|E|/2 > m*_Dのとき測度を得る

重要なパラメータ

  • m*_2 = 2
  • m*_3 = 3 - π/(2√3) ≈ 2.093
  • m*_4 = 4 - π/2 ≈ 2.429
  • m*_6 = 6 - π√3/2 ≈ 3.279

実験結果

主要な結果（定理6.2）

最良の無理性測度：

  • μ(CS(-163)) < 2.477（最適値2に最も近い）
  • μ(CS(-232)) < 2.652
  • μ(CS(-267)) < 2.869
  • μ(CS(-67)) < 3.002

重要な特殊値：

  • μ(CS(-3)) < 5.548（初めて厳密に証明、数値結果13.418より優秀）
  • μ(CS(-7)) < 5.283
  • μ(12^(1/4)CS(-4)) < 25.733

系：

  • μ(Γ(1/3)/Γ(2/3)) < 16.644

連分数の例

CS(-3)の高速収束連分数（ラベル1.4）： CS(−3)=[[0,31,1012(n−1)],[240,−(6n−1)(6n−5)]]CS(-3) = [[0, 31, 1012(n-1)], [240, -(6n-1)(6n-5)]]

収束速度：E = (16 + 5√10)⁴/36 ≈ 28446.4、すなわち CS(−3)−p(n)q(n)∼33/2CS(−3)(16+510)4n6−2nCS(-3) - \frac{p(n)}{q(n)} \sim \frac{3^{3/2}CS(-3)}{(16+5\sqrt{10})^{4n}6^{-2n}}

CS(-7)の連分数（ラベル1.5）： CS(−7)=[[324,10773,107732(n−1)],[3570,−84(6n−1)(6n−5)]]CS(-7) = [[324, 10773, \frac{10773}{2}(n-1)], [3570, -84(6n-1)(6n-5)]]

完全性分析

  • 44個の有理CM値のうち、39個が収束連分数を生成
  • そのうち20個が十分に高速に収束して無理性測度を得る
  • 残りの19個は収束するがlog|E|/2 ≤ m*_Dであり、測度を得られない
  • 5個の連分数は発散（A² - 4KD² < 0）

ケース分析：z = 128/3のCM値

τ = (-3 + 3√(-3))/2に対して、1 - R₁(τ) = 128/3。Ω(τ) = e^(iπ/4)η(τ)²を選択：

計算結果：

  • Ω = 3^(-19/12)Γ(1/3)/Γ(2/3)²
  • R₁ = -125/3
  • 2F1(1/2,5/6;1;3/128)=225/63−3/25−1Γ(1/3)Γ(2/3)2_2F_1(1/2, 5/6; 1; 3/128) = 2^{25/6}3^{-3/2}5^{-1}\frac{\Gamma(1/3)}{\Gamma(2/3)^2}

Serre導関数とモジュラー性を利用して2F1(3/2,11/6;3;3/128)_2F_1(3/2, 11/6; 3; 3/128)を計算し、最終的に連分数がCS(-3)に収束することを証明。

関連研究

無理性測度の古典的方法

  1. Mahlerのπ測度：積分方法を最初に使用
  2. Apéryのζ(3)とπ²：連分数を使用するが、後にBeukersにより積分として再解釈
  3. Zeilberger-Zudilinのπ測度：現在最良、超幾何構造を使用

ガンマ関数関連の研究

  • Chudnovsky 5とNesterenko 14,17：CS(D)の超越性を証明
  • Bruiltet 3：Γ(1/3)とΓ(1/4)の巨大な界（実用的でない）
  • Dougherty-Bliss等12：CS(-3)の数値測度（厳密に証明されていない）

モジュラー形式と超幾何関数

  • Fricke公式：2F1(1/12,7/12;1;1728/(1728−j(τ)))=E61/6(τ)_2F_1(1/12, 7/12; 1; 1728/(1728-j(τ))) = E_6^{1/6}(τ)
  • Beukers-Cohen 2：算術三角群のHauptmodulとCM値分類
  • Cohen-Guillera 9：1/πの有理超幾何Ramanujan恒等式

本論文と関連研究の関係

  • 19（第二著者の最近の研究）と方法が類似するが異なる問題に対応
  • 10（著者の別の研究）のCS(-3)²、CS(-4)²の連分数と関連するがより系統的
  • ガンマ商に対する初めての厳密かつ合理的な無理性測度

結論と議論

主要な結論

  1. 初めての厳密な証明：20個のガンマ商に対する初めての厳密かつ合理的な無理性測度を提供
  2. 方法の革新：連分数方法が特定の場合に従来の積分/級数方法より優れていることを証明
  3. 理論的完全性：特定の形式の連分数族に対する完全な理論枠組みを提供
  4. 結果の最適性：数値証拠は分母界が漸近的に最適であることを示唆し、無理性測度の改善は困難

限界

  1. 特定の形式に限定：方法はa(n)が1次、b(n)が2次の連分数にのみ適用可能
  2. D値の制限：D ∈ {2, 3, 4, 6}の場合のみ処理
  3. CM値の有限性：有理CM値の有限性が処理可能な判別式を制限
  4. 特定の値の欠落：CS(-4)、CS(-8)、CS(-88)は代数倍数の形式でのみ出現
  5. CS(-11)の測度なし：収束連分数は存在するが収束が不十分

将来の方向

  1. 紧致三角群：紧致算術三角群(p,q,r)を探索し、Shimura曲線上の自己同型形式を通じてより多くの例を得る可能性
  2. より深い連分数：a(n)とb(n)の次数がより高い連分数を研究、例えば論文で言及されたCS(-3)²、CS(-4)²、CS(-8)²の連分数： (21/3CS(−3))2=[[72,33,40n2+2],[648,−9(2n+1)4]](2^{1/3}CS(-3))^2 = [[72, 33, 40n^2+2], [648, -9(2n+1)^4]]
  3. 1/π²との関連：有理超幾何公式との関係を探索し、15個のCS値の平方の連分数を得る可能性
  4. p進類似：Gross-Koblitz公式はChowla-Selberg公式のp進版であり、平行理論の発展が可能
  5. 積分表現：ガンマ商の有用な積分または級数表現を探索

深い評価

長所

  1. 重大な突破：ガンマ商に対する初めての厳密かつ実用的な無理性測度を提供し、この分野の重要な空白を埋める
  2. 方法の独創性：
    • 無理性測度における連分数方法の応用は極めて稀
    • 半シフト技術の系統的応用は革新的
    • モジュラー形式理論と算術解析の枠組みは優雅
  3. 理論的完全性：
    • 連分数構成から極限計算、分母界定まで完全な閉ループを形成
    • 明示的公式（定理7.1）を提供し、存在性結果のみではない
    • すべての可能なCM値を完全に列挙（表1）
  4. 技術的深さ：
    • Apéry型漸化式の識別と利用は深い洞察を示す
    • 分母最適化（d*_D(n）は精密な素数篩選を通じて結果を大幅に改善
    • 補題7.4の技術的証明は高度な技巧を示す
  5. 執筆の明確性：
    • 第1.2節の動機付け例は読者を優れた方法で導く
    • CS(-3)の詳細な計算ケース（第6.1節）は理解を助ける
    • 表の組織は明確で参照しやすい

不足

  1. 適用範囲の限定：
    • 特定の形式の連分数とD値にのみ適用可能
    • 一般的なガンマ商への明らかな推広路がない
    • 44個のCM値のうち20個のみが測度を得る
  2. 特定の結果の質：
    • μ(12^(1/4)CS(-4)) < 25.733は過度に大きい
    • μ(CS(-51)) < 2598.5は実質的に無用
    • 理論的最適値2との間にはまだ差がある
  3. 理論的説明の不足：
    • なぜこれらの特定のCM値が高速収束連分数を生成するのか？
    • 半シフトの深層的理由が十分に明確化されていない
    • Hilbert モジュラー形式との可能な関連は簡潔に言及されているのみ
  4. 計算の詳細：
    • 特定の導出（定理7.1など）は「容易に検証できる」と述べられているが実際には複雑
    • 数値検証の精度と方法が詳述されていない
    • 定数C₁、C₂の具体値が与えられていない
  5. p進推広：
    • p進方向が提案されているが具体的な思路が与えられていない
    • Gross-Koblitz公式の応用方法が不明確

影響力

  1. 理論的貢献：
    • ガンマ商を研究するための連分数の新しい方向を開拓
    • 特定の超越数問題において連分数が積分方法より優れていることを証明
    • Apéry型方法に新しい応用場面を提供
  2. 実用的価値：
    • 無理性測度はディオファントス逼近に応用可能
    • 連分数公式自体は高精度数値計算に使用可能
    • 方法は他の特殊関数値に推広される可能性
  3. 再現性：
    • 理論導出は詳細で検証可能
    • 表1と表2は完全なデータを提供
    • 依存する2は未発表だが著者から入手可能
  4. 後続研究：
    • 既に第二著者の後続研究19を引き起こしている
    • 10と一連の研究を形成
    • 紧致三角群方向のテンプレートを提供

適用場面

  1. 数論研究：
    • 超越数論における無理性と代数的独立性
    • ディオファントス逼近理論
    • 特殊値の算術性質
  2. モジュラー形式理論：
    • CM理論の応用
    • モジュラー超幾何関数の求値
    • 算術三角群の研究
  3. 計算数学：
    • ガンマ商の高精度計算
    • 連分数アルゴリズムの実装
    • 特殊関数値の数値検証
  4. 関連分野：
    • 楕円曲線とアーベル多様体の周期に対する示唆の可能性
    • 量子場論のFeynman積分との関連の可能性
    • 組合せ数学の生成関数への応用の可能性

参考文献（重要な文献）

2 F. Beukers and H. Cohen, Arithmetic Triangle Groups, Hauptmoduln, Complex Multiplication, and Hypergeometric Functions (準備中) - CM値分類の基礎を提供

5 G.V. Chudnovsky (1976) - CS(D)の代数的独立性を証明

10 H. Cohen and W. Zudilin (2025), Variations on a theme of Apéry - 関連するApéry型連分数研究

12 R. Dougherty-Bliss, Ch. Koutschan and D. Zeilberger (2022) - CS(-3)の数値測度

14 Yu.V. Nesterenko (1996) - モジュラー関数と超越性問題

19 W. Zudilin (2025), Linear independence measures for Chowla–Selberg periods - 第二著者の関連研究

総合評価：これは数論における傑出した論文であり、ガンマ商の無理性測度というこれまで未解決だった問題に対して重大な突破をもたらしている。方法は新奇で、理論は完全で、結果は顕著である。適用範囲は限定的だが、その適用領域内ではほぼ最適な結果に達している。本論文は連分数、モジュラー形式、超幾何関数および算術解析の深い結合を示し、関連分野に貴重な方法論的貢献をもたらしている。後続研究は、より一般的な場合への推広および他の数学分野との関連に焦点を当てることが推奨される。