2022年度邵逸夫数学科学奖平均颁予诺加・阿隆 (Noga Alon)和埃胡德・赫鲁索夫斯基 (Ehud Hrushovski)，以表彰他们对离散数学和模型论的非凡贡献，尤其是与代数几何、拓扑和计算机科学的相互影响。诺加・阿隆是美国普林斯顿大学数学教授。埃胡德・赫鲁索夫斯基是英国牛津大学默顿数理逻辑讲座教授。

诺加・阿隆专注於广泛的离散数学。他引进新方法，并取得重要成果，从而全面地影响了这个领域。从一系列可观的成果及应用中，我们可以特别留意以下的贡献。他与马蒂亚斯(Matias)和塞格迪(Szegedy)一起开创了数据流分析的领域。他与米尔曼(Milman)将扩张图的组合特性和代数特性联系起来。他与克莱特曼(Kleitman)一起解决了於1957年提出的哈德威格- 德布伦纳(Hadwiger–Debrunner)猜想。在他的「组合零点定理」中，他从代数几何中的希尔伯特零点定理制定了一个特殊情况的显式版本，可以广泛应用於离散问题上。由此促成了高尔文(Galvin)於1995年证明有关拉丁方的迪尼兹(Dinitz)猜想，并令其得到进一步推广。他与塔西(Tarsi)定出图的色数的界。他与纳桑森 (Nathanson)和鲁萨(Ruzsa)一起研发出一种代数技术，可以解决加法数论中的柯西–达文波特(Cauchy–Davenport)问题。他与斯宾塞(Spencer)合著关於概率方法的书，更成为概率、组合学及其他方面的重要基础手册。

埃胡德・赫鲁索夫斯基专注在模型理论的广泛领域上，并应用於代数算术几何和数论方面。在一系列可观的成果及应用中，我们可以特别留意以下的贡献。他提出群构形定理，作为对齐尔伯(Zilber)和马尔切夫(Malcev)定理的重大推广，而这定理就成为几何稳定理论的有力工具，其后更有助他解决了有关稳定理论的库克(Kueker)猜想。他与皮莱(Pillay)一起证明了一个关於群的结构定理，促使他其后证明了正特徵代数几何中的莫德尔–兰(Mordell–Lang)猜想。这个发现颇为出人意表。此外，他否定了齐尔伯关於强极小集的猜想，当中引进了一种方法，这种方法成为估算复杂性的基本技术。他与查齐达基斯(Chatzidakis)一起编写了差分域理论，其后他展示这理论在有限域上的几何的动力学有惊人的应用，例如，它是解决关於有限域上D模结构的吉塞克(Gieseker)猜想的关键工具。他使用自己从逻辑发展出的工具来证明马宁–芒福德(Manin–Mumford)猜想(雷诺定理)。他研究出计算线性微分方程的伽罗瓦群的算法。最后，他提出有值域和非阿基米德驯顺几何中的积分理论，这项工作始於2006年与卡兹丹(Kazhdan)合作，并於2016年与洛瑟(Loeser)一起完成。

邵逸夫数学科学奖遴选委员会

2022年5月24日  香港