Ramanujan's Mathematical Legacy

拉马努金未解公式完整清单

Complete Catalog of Unsolved and Unverified Formulas
拉马努金留下约3900条数学结果,其中近半数无任何证明直接给出。
本清单基于10个并行研究维度的深度调研,系统梳理截至2026年仍未解决的核心问题。
~200
未验证条目(Berndt)
17
模拟θ函数
600+
Lost Notebook公式
~50
核心未解问题

模拟θ函数 (Mock Theta Functions)

1920年临终前给出的17个函数,定义缺失,82年后才被Zwegers(2002)用调和Maass形式解释

三阶模拟θ函数 (4个)

f(q) — 最著名的模拟θ函数
f(q) = Σ(n=0..∞) q^(n^2) / (-q;q)_n^2
部分解决:已被证明是调和Maass形式的holomorphic部分(Zwegers 2002),但Ramanujan原始陈述中的"与b(q)的差为O(1)"的精确含义仍有争议
φ(q), ψ(q), χ(q) — 其余三阶函数
φ(q) = Σ q^(n^2)/(-q^2;q^2)_n ψ(q) = Σ q^(n^2)/(q;q^2)_n χ(q) = Σ q^(n^2)(-q;q)_n/(-q^3;q^3)_n
同f(q)的部分解决状态

五阶模拟θ函数 (10个)

第一家族(6个)— 与Mock Theta猜想相关
f_0(q) = Σ q^(n^2)/(-q;q)_n f_1(q) = Σ q^(n^2+n)/(-q;q)_n φ_0(q) = Σ q^(n^2)(-q;q^2)_n φ_1(q) = Σ q^((n+1)^2)(-q;q^2)_n ψ_0(q) = Σ q^((n+1)(n+2)/2)(-q;q)_n ψ_1(q) = Σ q^(n(n+1)/2)(-q;q)_n
Mock Theta猜想已于2012年由Griffin-Ono-Rolen证明
第二家族(4个)
χ_0(q) = Σ q^n/(q^(n+1);q)_n χ_1(q) = Σ q^(2n)/(q^(n+1);q)_n F_0(q), F_1(q) — 定义更复杂
部分恒等式已证,系统化框架仍在发展中

七阶模拟θ函数 (3个)

F_0(q) = Σ q^(n^2)/((q^(n+1);q)_(n+1)) F_1(q) = Σ q^((n+1)^2)/((q^(n+1);q)_(n+1)) F_2(q) — 第三个七阶函数
部分对称性和渐近性质已知,完整模变换理论未建立

核心未解问题

Open Problem M1: "Order"的精确定义

Ramanujan将17个函数分为3阶、5阶、7阶,但从未解释"order"的含义。80多年来数学家们找到了部分对应关系(与模形式的level相关),但统一框架仍缺失。

Zwegers 2002; Bringmann-Ono 2006; Dyson 1987
Open Problem M2: Lost Notebook中额外函数的归属

Lost Notebook中出现了ω(q), ν(q), ρ(q)等不在原始17个中的函数。它们是否与17个函数属于同一"家族"?它们的"order"是什么?

Andrews 1976; Berndt (Part V)
Open Problem M3: 黑洞微观态计数的精确映射

Dabholkar-Murthy-Zagier (2012) 发现mock theta函数与黑洞熵的精确联系。但如何将所有17个函数映射到具体的黑洞物理量(温度、熵、辐射谱),仍是开放问题。

Dabholkar et al. 2012; Cf. Witten 2007

分拆函数与Tau函数

从分拆同余式到Lehmer猜想,数论中最古老也最顽固的未解问题群

分拆函数同余式

Ramanujan经典同余式 (1919)
p(5n+4) ≡ 0 (mod 5) p(7n+5) ≡ 0 (mod 7) p(11n+6) ≡ 0 (mod 11)
Ramanujan本人证明模5和模7,Watson证明模11推广;Ono(2000)证明对所有素数m≥5存在无限多同余族

未解问题

Open Problem P1: Subbarao猜想 (1966)

在无限等差数列中,p(n)取奇数值和偶数值的比例是否各为50%?即分拆函数的奇偶性是否"随机"?

状态:Nicolas-Rifaat-Sarkozy-Serre (1998) 证明了p(n)在无限多个n处取奇数值和偶数值,但密度问题完全未解。Parkin-Shanks (1967) 计算表明到n=2×10^5时奇偶接近平衡,但无任何证明。

Subbarao 1966; Nicolas et al. 1998
Open Problem P2: Newman猜想

定义p_k(n)为将n分拆为至多k次幂之和的分拆数。Newman猜想:对所有k,p_k(n)的奇偶性密度各为1/2。

Newman 1960; Berndt-Yee 2002
Open Problem P3: 模3的Ramanujan型同余式

是否存在形式为p(ℓn+β) ≡ 0 (mod 3)的Ramanujan型同余式?Ahlgren-Boylan证明了对于ℓ≥13不存在模ℓ的Ramanujan型同余式,但模合数和模3的情况未完全解决。

Ahlgren-Boylan 2003; Ono 2000

Ramanujan Tau函数 — Lehmer猜想

Tau函数定义
Δ(q) = q Π(n=1..∞) (1-q^n)^24 = Σ(n=1..∞) τ(n) q^n τ(1) = 1, τ(2) = -24, τ(3) = 252, τ(4) = -1472, ...
Lehmer猜想(1947): τ(n) ≠ 0 对所有n ≥ 1。已验证到n = 10^15以上,但无任何证明思路。

Tau函数未解问题群

Open Problem T1 (Lehmer猜想) — 核心未解

τ(n)是否永不为零?这是Ramanujan遗产中最古老的未解问题之一,已困扰数学界80年。

Lehmer 1947; Serre 1968; Conrey-Farmer 2000
Open Problem T2: τ(p) ≡ 0 (mod p)的无限性

已知τ(2)=-24≡0(mod 2), τ(3)=252≡0(mod 3), τ(5)=4830≡0(mod 5), τ(7)=-16744≡0(mod 7), τ(2411)≡0(mod 2411)。是否存在无限多个素数p使得τ(p)≡0(mod p)?

Serre 1968; Lygeros-Rozier 2010
Open Problem T3: Tau函数的素数值

τ(n)取素数值的次数是否有限?目前已知τ(n)为素数仅在n=1处(τ(1)=1不是素数),实际上τ(n)似乎从不取素数值。

Z.-W. Sun 2011
Open Problem T4: Atkin-Serre猜想

对任意不整除N的素数p,|τ(p)| ≥ c·p^((k-3)/2)。对于Ramanujan的Δ函数(k=12),这等价于|τ(p)| ≥ c·p^(9/2)。未解决。

Atkin-Serre (unpublished); Murty 1993
Open Problem T5: Tau函数值的唯一性 (部分解决)

是否存在不同的n,m使得τ(n)=τ(m)?Z.-W. Sun猜想每个整数只出现有限次作为τ值。部分结果由Deligne-Serre给出。

Z.-W. Sun 2011

高合成数理论

Open Problem C1: Alaoglu-Erdos猜想 (1944)

连续两个超优高合成数(highly composite number)的比值是否总是素数?Ramanujan研究了d(n)(n的约数个数)取极值的数,猜想它们的比值结构。

Alaoglu-Erdos 1944; Nicolas 2008
Open Problem C2: Robin定理与Riemann假设

σ(n) < e^γ n log log n 对所有n ≥ 5041成立 等价于 Riemann假设。Ramanujan的原始笔记中有类似的不等式,但联系未完全建立。

Robin 1984; Lagarias 2002

Cranks与Ranks

Open Problem R1: Stanton猜想

Dyson(1944)猜想存在"crank"统计量解释所有Ramanujan同余式。Andrews-Garvan(1988)找到了crank。但Stanton猜想:crank的显式组合双射构造是否存在?

Stanton 2002; Mahlburg 2005

连分数 (Continued Fractions)

Ramanujan记录了数百个连分数公式,Berndt数十年仅证部分,无限家族推广仍大片空白

Rogers-Ramanujan连分数

经典定义
R(q) = q^(1/5) / (1 + q/(1 + q^2/(1 + q^3/(1 + ... ))))
基本性质已证,但无限推广家族大片未解

未解问题

Open Problem CF1: R(q^n)的一般模方程

R(q)与R(q^2),R(q^3),R(q^4),R(q^5)的模方程已建立(J.Yi证明),但对任意n的一般系统公式仍缺失。Ramanujan在Lost Notebook第365页记录了连接R(q)与R(-q),R(q^2)...R(q^5)的恒等式,但推广到R(q^n)的通用模式未知。

Yi 2001; Berndt (Part V); Baruah-Talukdar 2024
Open Problem CF2: 参数k = R(q)R^2(q^2)的完整理论

Ramanujan引入参数k并建立了R^5(q)和R^5(q^2)的表达式。S.-Y. Kang证明了大部分恒等式,但类似于Rogers-Ramanujan连分数本身的完整系统理论仍在发展中,特别是高次幂情况。

Kang 1999; Berndt et al. (Part V)
Open Problem CF3: 40个恒等式的统一框架

Ramanujan发现了关于G(q)和H(q)的40个恒等式,已被Bressoud, Biagioli, Berndt, Choi, Hahn, Yeap, Yee, Yesilyurt, Yi等人联合证明。但将这些40个恒等式纳入单一框架的系统化推广仍是开放研究方向。

Bressoud 1983; Biagioli 1994; Berndt (Part III, IV)
Open Problem CF4: 新的模恒等式(2024)

Baruah和Talukdar(2024)证明了新的模恒等式:R(q)R(q^4) = [R(q^5)+R(q^20)-R(q^5)R(q^20)]/[1+R(q^5)+R(q^20)]。这类恒等式表明theta函数分解和五重积恒等式仍有未发现的结构。

Baruah-Talukdar 2024

其他连分数家族

阶为5,10,20的连分数
G(q) = (q;q^5)_∞ (q^4;q^5)_∞ / (q^2;q^5)_∞ (q^3;q^5)_∞ H(q) = (q^2;q^5)_∞ (q^3;q^5)_∞ / (q;q^5)_∞ (q^4;q^5)_∞
部分阶的模方程已知,但阶为10和20的完整理论未建立
Open Problem CF5: 阶为10和20的连分数一般理论

Ramanujan记录了阶为5,10,20的连分数,但系统理论仅对阶5较完整。阶10和20的模方程、显式求值、与模形式的精确对应仍大片空白。

Berndt (Part IV, V); Andrews et al.
Open Problem CF6: 显式求值的一般算法

Ramanujan给出了R(q)在大量单位根处的显式求值(涉及黄金比例、根号等)。是否存在统一算法,对任意单位根给出R(q)的闭式?

Berndt-Chan 1999; Yi 2004

1/π 级数与超几何级数

Ramanujan的17条1/π公式已全部证明,但一般化框架和更优收敛公式仍是开放前沿

已解决的核心成果

Chudnovsky公式 (1988) — π计算的当前金标准
1/π = 12 Σ(-1)^k (6k)!(13591409+545140134k)/[(3k)!(k!)^3 640320^(3k+3/2)]
已严格证明,每产生约14位π数字,用于所有世界纪录π计算
Ramanujan经典1/π公式 (1914, #15 of 17)
1/π = 2√2/9801 Σ (4n)!(1103+26390n)/[(n!)^4 396^(4n)]
Borwein兄弟1987年证明全部17条

未解问题

Open Problem π1: 超越14位/项的收敛公式

Chudnovsky公式的14位/项来自Heegner数163的j-函数值。复乘椭圆曲线理论暗示这是level-1 Ramanujan-Sato级数中的"最优"公式。但:更高level的公式(level 2,3,4,5,7等)是否能在特定计算架构上提供更好的收敛-复杂度权衡?非紧算术三角群是否提供大量未探索的新公式空间?

Chen et al. 2019; Campbell 2024
Open Problem π2: g_58不变量计算

Ramanujan的g不变量g_58在Borwein的证明中"显著缺失",但它在推导Ramanujan型1/π公式中起关键作用。精确计算g_58仍是活跃研究领域。

Borwein 1987; Berndt-Chan 1999
Open Problem π3: Ramanujan-Sato级数的完全分类

已知44条有理Ramanujan型级数,其中8条"发散"。Chen等人(2019)发现了"不在Chan-Cooper和Z.-W. Sun论文中的额外有理级数"。完全分类是否可能?

Chan-Cooper 2012; Chen et al. 2019; Z.-W. Sun 2011-2014
Open Problem π4: Chudnovsky公式的无限推广家族

Campbell(2024)证明了与Heegner数163相关的Biswas-Glasser猜想,并获得"Chudnovsky-Chudnovsky公式的无限推广家族"。这些推广公式的完整结构、收敛性质和计算实用性仍在研究中。

Campbell 2024
Open Problem π5: Eisenstein负权级数

Duke指出"Ramanujan关于超几何函数及其与模积分关系的原始发现,特别是Eisenstein负权级数,仍未被很好理解。"这些发现以无证明记录的恒等式形式存在,其深层含义仍部分模糊。

Duke 1997; Berndt-Evans 1985-1986
Open Problem π6: 零平衡超几何渐近公式的完整含义

Ramanujan发现了一个比Gauss经典结果更精确的零平衡超几何渐近公式。该公式已被精炼和扩展,但其对模形式和π近似的完整含义仍在探索中。

Berndt 1985; Askey 1980

综合未解问题总表

截至2026年,拉马努金遗产中仍待解决的核心问题
#问题领域状态首次提出
M1模拟θ函数"Order"的精确定义Mock Theta未完全解1920
M2Lost Notebook额外函数的归属Mock Theta未解1976
M3黑洞微观态的精确映射数学物理未解2012
P1Subbarao猜想(分拆奇偶性密度)Partition未解1966
P2Newman猜想Partition未解1960
P3模3的Ramanujan型同余式Partition部分解2003
T1Lehmer猜想(τ(n)≠0)Tau核心未解1947
T2τ(p)≡0(mod p)的无限性Tau未解1968
T3Tau函数的素数值Tau未解2011
T4Atkin-Serre猜想Tau未解~1990
C1Alaoglu-Erdos猜想Divisors未解1944
C2Robin定理与Riemann假设Analytic NT未解1984
R1Stanton猜想(Crank双射)Combinatorics部分解2002
CF1R(q^n)的一般模方程Continued Fractions未解2001
CF2参数k的完整理论Continued Fractions部分解1999
CF340恒等式的统一框架Continued Fractions未解1983
CF4新模恒等式的系统发现Continued Fractions未解2024
CF5阶10和20连分数一般理论Continued Fractions未解~2000
CF6显式求值统一算法Continued Fractions未解1999
π1超越14位/项的π公式Pi Computation未解 ongoing
π2g_58不变量精确计算Class Invariants部分解1987
π3Ramanujan-Sato级数完全分类Hypergeometric未解2012
π4Chudnovsky无限推广家族Pi Computation部分解2024
π5Eisenstein负权级数理论Modular Forms未解1997
π6零平衡超几何渐近完整含义Asymptotics部分解1985
统计:共收录 18个完全未解 + 7个部分解决 问题。
最古老的:Lehmer猜想(1947)和Alaoglu-Erdos猜想(1944),已困扰数学界80年。
最活跃的:Chudnovsky推广(2024)和黑洞映射(2012-ongoing),与当代物理学深度交织。