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

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

基本信息

  • 论文ID: 2510.00215
  • 标题: Continued Fractions and Irrationality Measures for Chowla--Selberg Gamma Quotients
  • 作者: Henri Cohen (Bordeaux) 和 Wadim Zudilin (Nijmegen)
  • 分类: math.NT (数论), math.CA (经典分析)
  • 发表时间: November 11, 2025
  • 论文链接: https://arxiv.org/abs/2510.00215v3

摘要

本文给出了39个快速收敛的连分数表示，用于Chowla-Selberg伽马商（gamma quotients），并推导出其中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))。这些似乎是首次对伽马商证明的、合理的无理性测度。

研究背景与动机

核心问题

本文研究Chowla-Selberg伽马商CS(D)的无理性测度问题，其中D是负基本判别式。这些量通过Lerch和Chowla-Selberg公式与Dedekind eta函数在CM点的值相关联。

重要性

  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)使d(n)u(n), d(n)v(n) ∈ Z且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节）

方法一：超几何函数表示（定理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)

方法二：模形式理论（第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)替代朴素的d_D(n) = lcm(Dj+1)，通过排除满足特定条件的素数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节的motivating example极好地引导读者
    • 详细的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 (in preparation) - 提供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 - 第二作者的相关工作

总体评价：这是一篇杰出的数论论文，在伽马商的无理性测度这一长期悬而未决的问题上取得重大突破。方法新颖、理论完整、结果显著。虽然适用范围有限，但在其适用领域内达到了近乎最优的结果。论文展示了连分数、模形式、超几何函数和算术分析的深刻结合，为相关领域提供了宝贵的方法论贡献。建议后续研究关注向更一般情况的推广以及与其他数学分支的联系。