Iwaniec

生平

亨里克・伊万涅茨（Henryk Iwaniec，1947- ）是一位波兰裔美国数学家，出生于波兰东北部靠近波罗的海的工业城市埃尔布隆格（Elblag）。他比他的双胞胎兄弟塔德乌什・伊万涅茨（Tadeusz Iwaniec，1947- ；后来也成为了一位杰出的分析学家）早出生八个小时。他们的家庭并没有任何学术背景，父母均为普通阶层，但他的父母，尤其是母亲，为他们营造了极佳的学习氛围，不断鼓励他们并对他们寄予厚望。

童年时期的 Iwaniec 兄弟并没有表现出对数学的特殊偏好。为了将来能拥有一份安稳且高薪的职业，兄弟俩在 1961 年进入了 Elblag Technical High School 学习，这所学校的教学重点是蒸汽涡轮机等机械与工程技术。

然而在这所技术高中里，他们偶然发掘了对数学的热情。起初这主要归功于各种数学竞赛。他们先参加校内竞赛，后被校长科乔尔科夫斯基（Aleksander Kociołkowski）推荐，每月前往格但斯克（Gdańsk）参加更高级别的数学俱乐部。

到了高中三年级，兄弟俩开始参加数学奥林匹克竞赛，并立刻取得了惊人的成功。两人均代表波兰参加了 1965 年和 1966 年的国际数学奥林匹克竞赛（IMO），并在 1966 年双双斩获银牌。

由于在竞赛中的卓越表现，他们的高中数学老师安杰伊・温德克（Andrzej Wendecker）对他们给予了特殊的关照。

Iwaniec 后来回忆道，Wendecker 是一位极其出色的教育家，他有一个充满戏剧性的习惯：当他叫一个学生去黑板前答题时，他会把该学生的笔记本放在讲桌的边缘，如果学生回答错误，他就会把笔记本往边缘推一点，直到它掉在地上；而 Iwaniec 兄弟的笔记本从未掉落过。

最终，这位开明的老师免除了他们的日常作业和考试，让他们有充足的课堂时间去探索自己真正感兴趣的数学领域。

凭借在 IMO 中的优异成绩，Iwaniec 兄弟在 1966 年免试进入了 Warsaw 大学数学系。这一免试资格让 Henryk Iwaniec 感到如释重负，因为这让他得以避开当时极其令人头疼的俄语必修入学考试。

在大学期间，虽然兄弟俩对数学的热情如出一辙，但为了保持智识上的独立性，他们刻意决定在未来的研究中避开彼此的领域，选择不同的专业方向。

在大学的第一年结束时，Iwaniec 展露出的非凡才华引起了波兰著名数论学家辛泽尔（Andrzej Bobola Maria Schinzel，1937-2021）的注意。Schinzel 本人是谢尔宾斯基（Wacław Franciszek Sierpiński，1882-1969）的学生。Schinzel 邀请 Iwaniec 参加他在波兰科学院数学研究所主持的数论研讨会，并鼓励他在会上发表演讲。

在 Schinzel 的引导下，Iwaniec 迅速被解析数论深深吸引。他发现，这门学科能够将极其广泛且多样的数学工具汇聚在一起，用来解决具有纯粹算术风味的经典问题。

他在本科期间特别受到了苏联数学家林尼克（Yuri Vladimirovich Linnik，1915-1972）工作的震撼，并开始独自钻研筛法（Sieve methods）理论。

在 Schinzel 提供宏观建议和论文编辑帮助下，Iwaniec 展现出了惊人的早熟：在 1971 年本科毕业前，他就已经有两篇关于筛法的重要论文被学术期刊接受发表。

这两篇论文顺理成章地分别成为了他的硕士论文（1971 年）和博士论文（1972 年）。

1972 年春，Iwaniec 在 Warsaw 大学顺利通过了博士论文答辩，其博士生导师正是 Andrzej Schinzel。

关于他的博士答辩阶段，有一段极其有趣且广为流传的轶事。在当时的波兰，获得博士学位的一个硬性条件是必须通过马克思主义哲学的考试。

由于 Iwaniec 将全部精力投入于数学，从未去听过相关的哲学课程，他只能硬着头皮去见科学哲学教授瓦迪斯瓦夫・克拉耶夫斯基（Władysław Krajewski，1919-2006）。Krajewski 教授最初问他什么是 “唯我论（solipsism）”，Iwaniec 凭借之前碰巧读到的一点知识勉强回答了上来。

接着教授问他是否喜欢物理，得到肯定答复后，他解释 “Heisenberg 测不准原理（Heisenberg's uncertainty principle）”。Iwaniec 抓住机会，滔滔不绝地讲了很久，试图借此耗尽考试的规定时间。

然而教授察觉到了他的意图，温和地打断他说：“你知道，这毕竟是一场马克思主义哲学考试，我必须问你那个领域的问题。请告诉我，根据普列汉诺夫（Plekhanov）的观点，唯物主义和经验批判主义之间有什么区别？”

面对这个问题，Iwaniec 大脑一片空白，彻底崩溃。幸运的是，这位仁慈的教授笑着问他：“如果我把你这三个问题的成绩平均一下，算你及格，你觉得公平吗？”

Iwaniec 就这样有惊无险地拿到了他的博士学位。

从 1971 年本科毕业到 1983 年离开波兰之前，Iwaniec 一直在波兰科学院数学研究所担任研究职务。这里的纯科研职位让他免于繁重的教学任务，能够全心全意地投入到深度的数学思考中。

1976 年，他在该研究所完成了 Habilitation（任职资格论文）的答辩。在此期间，尽管当时波兰的政治环境对出国访问有诸多限制，但他依然抓住了前往多国交流的机会。

为了在国际学术界立足，他意识到必须提高自己的英语
口语水平，而这奇妙地发生在他访问意大利期间。

1976 至 1977 年，他获得了 Accademia Nazionale dei Lincei 的奖学金，前往意大利 Pisa 的 Scuola Normale Superiore（比萨高等师范学院）访学。正是在这里，他结识了加拿大数学家约翰・本杰明・弗里德兰德（John Benjamin Friedlander），并极大提升了他的英语。

Iwaniec 与 Friedlander 不仅成为终生挚友，还开启了一段长达数十年、极具传奇色彩的合作，两人共同发表了六十余篇论文，他们的合作构成了 Iwaniec 学术生涯的核心主体。

1979 年，他受邀前往法国 University of Bordeaux 为研究生讲学，这促成了他与法国解析数论学派的长期合作，特别是与艾蒂安・富夫里（Étienne Fouvry，1953- ）以及让 - 马克・德苏耶（Jean-Marc Deshouillers，1946- ）建立了深厚的友谊与科研纽带。1983 年，Iwaniec 晋升为正教授，并
当选为波兰科学院通讯院士。

同年，Iwaniec 迎来了人生的重大转折。1983 年，他带着家人离开波兰前往美国，最初在普林斯顿的高等研究院（IAS）担任访问学者（1983–1984，1985–1986），随后在 Michigan 大学（1984 年夏）担任访问教授，并在 Colorado Boulder 大学（1984 年秋）担任 Ulam Distinguished Visiting Professor。

在 IAS 期间，他与 John Friedlander、恩里科・邦别里
（Enrico Bombieri，1940- ）密切合作，将他在波兰和法国
萌芽的思想进一步推向巅峰。

1987 年 1 月，他正式接受了 Rutgers 大学的 New Jersey State Professor of Mathematics 席位，并在此任职至今。他后来正式成为美国公民，同时保留了波兰国籍。

Iwaniec 凭借其在数论领域深邃而革命性的贡献获得了众多荣誉。

他于 1995 年当选为美国艺术与科学院院士，2006 年当选为美国国家科学院院士，并于 2012 年成为美国数学会会士。

他获得了 2001 年的 Ostrowski Prize：

Ostrowski Prize 部分获奖者

2002 年的 Cole Prize in Number Theory：

Cole Prize in Number Theory 部分获奖者

2011 年的 Leroy P. Steele Prize in Mathematical Exposition（表彰其长期以来卓越的数学论著，特别是《谱理论和自守型引论》（Introduction to the spectral theory of automorphic forms）与《经典自守型的专题》（Topics in classical automorphic forms），颁奖词赞誉其著作 “已成为该领域的经典，是学生们的基本资源”。

2015 年的邵逸夫奖（与法尔廷斯（Gerd Faltings，1954-）共同获得，表彰他们在数论领域引入和发展基本工具，促使他们和其他数学家解决了长期存在的经典问题）

2017 年的 Doob Prize（与 John Friedlander 共同获得，表彰他们合著的关于筛法的集大成之作《Opera de Cribro》（中文翻译很有意思，叫《婴儿床歌剧院》））。

Iwaniec 在培养学生和提携后辈方面同样成就斐然。他以其极具感染力的数学品味、深厚的解析功底和慷慨的合作精神，指导并影响了一大批杰出的数学家，其中包括 Étienne Fouvry 和赫尔夫戈特（Harald Andrés Helfgott，1977- ）。

2013 年，Helfgott 证明了 Goldbach 弱猜想（Goldbach weak conjecture）—— 每个大于 5 的奇整数都可表示为三个素数之和。

在数学研究之外，Iwaniec 的个人生活充满了温情与广泛的兴趣。在 Warsaw 大学本科学习的第一年，他就结识了同班同学卡塔齐娜（Katarzyna），两人因共同的学术背景坠入爱河，并于 1971 年毕业后立刻步入了婚姻。

他们育有两个女儿：大女儿 Irena 在纽约著名的 Cooper Union 学习艺术；小女儿 Anna 则走上了科学的道路，在 Caltech 学习工程，随后获得了医学工程的博士学位并成为教授。

他为人幽默、谦逊，且对数学的美学和宇宙的内在秩序有着近乎宗教般的敬畏。

英国作家 K. Sabbagh 在其著作中记录了 Iwaniec 的一段名言，称他谈及素数时听起来 “仿佛已经准备好与路西法（Lucifer，即魔鬼）探讨交易条款了”：“我愿意用我在数学上所知道的一切，去换取黎曼猜想的证明。那是极其华丽壮美的瑰宝（It's gorgeous stuff）。我唯一担心的是，我自己会无法理解它的证明。那将是最糟糕的事情……”

Henryk Iwaniec 的数学工作标志着现代解析数论在方法论上的一次重大飞跃。他将高维几何、代数几何中的 Weil 猜想、自守形式的谱理论与传统的组合筛法进行了极其深度的融合。

André Weil (1906-1998)

贡献

一、Friedlander-Iwaniec 定理

素数分布理论中最艰深的问题之一是证明由多项式生成的序列中包含无穷多个素数。

对线性多项式 ， Dirichlet 的算术级数素数定理（Dirichlet's theorem on arithmetic progressions） 已给出肯定答案（对互素的正整数 、 ，存在无穷多个形如 的素数）；但对于次数 的多项式，传统的分析方法遇到了不可逾越的高墙 —— 奇偶性障碍（parity problem） 。

Johann Peter Gustav Lejeune Dirichlet (1805-1859)

1949 年，塞尔伯格（Atle Selberg，1917-2007）深刻地指出，如果在应用筛法时仅仅依赖于序列在同余类中分布的渐近信息（即所谓的 Type I 信息），那筛法在本质上无法区分具有偶数个素因子和奇数个素因子的整数。

具体而言，筛法的目标函数通常涉及 Möbius 函数 ：

或 Liouville 函数 ，

在缺乏对这些函数在序列上振荡的非平凡控制时，纯粹的上界和下界筛法会陷入死胡同。这导致了诸如 “是否存在无穷多个形式为 的素数” 之类的问题，在纯粹的经典筛法下是无解的。

1998 年，Iwaniec 与合作者 John Friedlander 在《Annals of Mathematics》上发表了划时代的论文《多项式 包含了它的素数》（The polynomial captures its primes）。他们成功构造了一种 “对奇偶性敏感” 的渐近筛法，首次打破了奇偶性障碍。

定理（Friedlander–Iwaniec，1998）

存在无穷多个素数 可以表示为 的形式，其中 。更精确地，令 为 von Mangoldt 函数（当 且 为素数时取值为 ，否则为 ），则对于 ，有如下渐近公式：

这一结果的非凡之处在于目标序列的极端稀疏性。为了打破奇偶性障碍，Iwaniec 和 Friedlander 引入了奇偶性敏感筛法，其核心在于不仅需要对 Type I（线性算术级数分布）有极好的控制，还必须提取深度的 Type II 信息（双线性形式估计）。

为了严格控制这些双线性形式，他们极大地扩展了 Bombieri 的渐近筛法框架，并深入利用了代数几何中由于 Deligne 证明 Weil 猜想所带来的对高维特征和的最优界限。

这一定理后来激发了希思 - 布朗（David Rodney Heath-Brown，1952- ）在 2001 年证明 包含无穷多素数，以及梅纳德（James Alexander Maynard，1987- ）在不完全范数形式（incomplete norm forms）上的突破。

二、Bombieri-Friedlander-Iwaniec 定理

解析数论中另一个极其核心的问题是素数在算术级数中的均值分布。设 表示不超过 且与 模 同余的素数个数：

根据经典的 Siegel-Walfisz 定理

这里 为对数积分函数（logarithmic integral function）

是 Euler totient 函数。

著名的 Bombieri-Vinogradov 定理（1965）断言，对于任意 和 ，有：

这说明素数在算术级数中的分布水平（level of distribution） 至少可以达到 。这在许多应用中可作广义 Riemann 猜想（GRH）的完美替代品。然而，著名的 Elliott-Halberstam 猜想大胆地断言该分布级别实际上可以被推进到 。

1986 年，Bombieri、Friedlander 和 Iwaniec 在《Acta Mathematica》上发表了里程碑式论文《等差数列中模数较大的素数》（Primes in arithmetic progressions to large moduli）。他们首次在严格的加权意义下打破了 的屏障，将分布水平推进到了 。

定理（Bombieri-Friedlander-Iwaniec，1986）

固定任意非零整数 ，令 为一个 level 为 良好可分解（well-factorable）函数。则对于任意给定的 和 ，有：

此处，良好可分解函数的严格定义是：如果对于任意给定的分解 （其中 ），都存在分别支撑
在 和 上的算术函数 和 ，使得 ， ， 即

则称 是 level 为 的良好可分解函数。

将分布水平提高需要极其繁复的分析技巧，经典的 Type II 双线性形式估计会完全失效。Bombieri、Friedlander 和 Iwaniec 的创新在于运用 Linnik 的 dispersion method，将误差项转化为复杂的指数和，并使用了基于自守形式谱理论的 Kuznetsov 迹公式等工具进行估计。

这一定理的框架极大地丰富了解析数论的武器库。张益唐（1955- ）在 2013 年证明素数间有界距离时，其核心的技术突破正是对 BFI 定理的深度变体。

三、Kloosterman sum 与自守形式谱理论

在解析数论中，特别是应用圆法（circle method）或处理移位卷积问题时，常遇到 Kloosterman sum，其经典定义：

其中 且 。

由代数几何中的 Weil 界，我们有

但在许多深层数论问题中，我们需要将 对 进行求和。此时简单的绝对值相加（即使用 Weil 界）不足以给出最优结果。

在 1982 年发表于《Inventiones Mathematicae》的论文《Kloosterman 和与尖点形式 Fourier 系数》（Kloosterman sums and Fourier coefficients of cusp forms）中，Iwaniec 与 Deshouillers 深入研究了 Kuznetsov 迹公式。该等式的一侧是按模数求和的 Kloosterman 和，另一侧则是双曲空间商群 上 Maass forms 的离散谱，加上 holomorphic cusp forms 的离散谱，以及连续谱（Eisenstein 级数）。

通过 Kuznetsov 迹公式，他们展示了如何将经典的指数和问题精确转化为自守形式的谱理论问题，并通过对 Maass forms 的 Fourier 系数的大筛法不等式（large sieve inequalities for exceptional Maass forms）和特征值的 Ramanujan-Petersson 猜想的深刻理解，获得了远远超越 Weil 界能达到的指数和相消结果。

Deshouillers 和 Iwaniec 借此解决了一个古老的问题：他们证明了对于无穷多个整数 ，多项式 的最大素因子 至少大于 （远远超越了基于简单初等筛法所能得到的线性下界）。

四、Selberg 的 1 / 4 猜想与例外特征值界限

在 GL (2) 上的自守形式理论中，一个基本问题是：对于同余子群 （ 为素数）作用在双曲上半平面 上的商空间，其上的 Laplace-Beltrami 算子

的离散特征值 到底有多大？

记 ，Selberg 的 猜想（Selberg's 1 / 4 Conjecture，1965）断言：所有非平凡特征值必定满足 （即 必为实数）。这实际上等价于一般线性群在无限位置上的广义 Ramanujan-Petersson 猜想。

如果存在 （即 为纯虚数），这就产生了所谓的例外特征值，它会在诸如 Kloosterman sum 的算术估计中产生打破平方根相消的主导误差项。

Selberg 本人在提出猜想时，利用 Weil 对 Kloosterman sum 的绝对界限以及他自己发明的迹公式，无条件证明了 。

1990 年，Iwaniec 利用他对 Kloosterman sum 谱理论的深厚理解，极大地推进了这一界限。他构造了高度复杂的测试函数代入 Kuznetsov 迹公式，并辅以极度精妙的解析估计，证明了对于带有特定乘子 的几乎所有 Hecke 同余子群 ，例外特征值可以被进一步压缩。

他给出了著名的下界：

后来 Henry Kim 和 Peter Sarnak（2003 年）将该结果提升到

五、Rosser-Iwaniec 筛法

组合筛法的目的是估计有限整数序列 中，不能被一簇素数 中任何小于的素数整除的元素个数，记为筛函数 。在线性筛（linear sieve，即每个素数平均筛去一个同余类，筛维度 ）的情形下，罗瑟（John Barkley Rosser，1907-1989）曾提出一种极具潜力的权重选择，但并未发表严格的完整证明。

在 1980 年发表在《Acta Arithmetica》的两篇里程碑式论文中，Iwaniec 严格化并极大地扩展了这一理论，构建了如今被称为 Rosser-Iwaniec 筛法（Rosser-Iwaniec sieve）的基础框架。

Iwaniec 证明了，在满足常规的余项条件（由截断参数 控制，使得余项可通过 Bombieri-Vinogradov 型定理处理）和一定的局部密度条件（ ）下，筛函数的上下界可以被两个连续函数精确控制：

其中 是集合的近似主项大小， ， 是极小的误差项。连续函数 和 是某种 delay-differential equations 的唯一解。

Iwaniec 基于 Buchstab 恒等式的反复迭代，并巧妙地定义了 Rosser 截断规则，证明了这组函数 给出的是在一般线性筛假设下绝对最优的上下界。