艾伦·贝克 · 世界数学发展史

获奖原因

艾伦·贝克（Alan Baker，1939–2018）获 1970 年菲尔兹奖，表彰他在超越数论中建立的贝克定理（Baker’s theorem）：对代数数 $\alpha_1,\dots,\alpha_n$ （对数线性无关）与有理整数 $b_1,\dots,b_n$ ，线性型 $\Lambda = b_1\log\alpha_1+\cdots+b_n\log\alpha_n$ 有一个显式的非零下界 $|\Lambda| > \exp\!\big(-C\cdot (\log B)^{n+1}\big),$ 其中 $B=\max|b_i|$ ， $C$ 可由 $\alpha_i$ 的代数度数与高度有效算出。

此前，盖尔方德–施奈德定理（Gelfond–Schneider，1934）证明了如 $2^{\sqrt2}$ 的超越性，但它是非有效的——只保证非零，不能给出”小到什么程度”。贝克的关键创新是把下界变成可计算的，从而使一整类丢番图问题获得”有效解”：包括图埃（Thue）方程、超椭圆方程、以及高斯类数问题（虚二次域的类数 $h(-d)$ 当 $d\to\infty$ 趋于无穷，并给出有效界限）。这把超越数论从”存在性”推进到”可计算性”，影响数论算法与密码学中的界估计。

问题来龙去脉

一、超越数与”有效”难题

若 $\alpha$ 非零代数数、 $\beta$ 无理代数数，盖尔方德–施奈德定理断言 $\alpha^\beta$ 超越（从而 $e^\pi$ 超越）。其证明属于”非有效”：由反证法，若 $\Lambda=\beta\log\alpha$ 为代数，则导出矛盾；流程只说明 $\Lambda\neq0$ ，却不能给出 $|\Lambda|$ 的下界。

而数论中真正需要的是有效估计：例如解丢番图方程 $F(x,y)=\text{常数},$ 其中 $F$ 是齐次不可约二元型（图埃型）。经典 Siegel 定理说此类方程只有有限多整数解，但证明非有效——不给出解的上界，也就无法实际枚举。突破需要：对涉及对数的线性组合，给出可计算的 $|\Lambda|>\text{某个可算函数}$ 。

二、贝克的思想

贝克把盖尔方德–施奈德的方法代数化、精炼化，并叠加多个对数。核心技巧是插值+代数数构造：

假设 $|\Lambda|$ 很小（小于某个待定的 $e^{-C(\log B)^{n+1}}$ ）。
构造一列高度受控的代数数，用”多重插值”在多个点逼近指数函数的线性组合；每个插值点对应一个”辅助函数”。
用代数数的高度（height）理论与西格尔引理（Siegel’s lemma：高度有界的线性方程组有高度更小的解），证明若 $|\Lambda|$ 太小，则构造的代数数会”被迫为零”，矛盾。
由此反推出 $|\Lambda|$ 必须至少为 $\exp(-C(\log B)^{n+1})$ ——且 $C$ 可由 $\alpha_i$ 的度数、高度与 $n$ 显式算出。

这就是”有效性”的来源： $C$ 不是存在性的，而是可计算常数。

三、应用：高斯类数与图埃方程

高斯类数问题：高斯猜想虚二次域 $\mathbb{Q}(\sqrt{-d})$ 的类数 $h(-d)\to\infty$ （当 $d\to\infty$ ）。贝克的有效下界代入 Dirichlet 类数公式，给出 $h(-d) > c\,(\log d)^{-A},$ 结合海布拉（Heegner）、斯塔克（Stark）的工作，使类数为 1 的虚二次域被完全确定（9 个）。
有效图埃–西格尔：贝克方法对图埃方程 $F(x,y)=m$ 给出解的有效上界，从而可在有限步内实际求解；同理用于超椭圆方程与卡塔兰型方程的部分情形。

四、意义与后续

从存在到算法：贝克把超越数论变成”可计算的”，直接催生可实际运行的丢番图求解算法（至今是计算数论的标准工具）。
跨界：其界限用于丢番图逼近的有效版本、线性型的超越性、以及密码学中某些”困难问题”的硬度分析。
后续发展：贝克的学生与继承者（如 Masser、Wüstholz、沃尔夫奖得主）把方法推广到 elliptic logarithms 与 abelian varieties，形成”贝克理论”的广阔体系（如对数线性型的子系统方法）。

贝克以精炼的插值论证，把一个世纪之久的超越性”存在性”结果升级为可计算的武器，是 20 世纪数论最具实用价值的突破之一。