介绍
1977 年 XNUMX 月，一位革命家 纸 悄悄出现在 数学分析杂志, 专业数学期刊. 作者 Hillel Furstenberg 没有声称有任何激动人心的——甚至是新的——结果。 他只是提供了另一位数学家 Endre Szemerédi 两年前已经证明的定理的证明。
尽管如此，Furstenberg 的论文在数学上留下了持久的印记。 他的新论点包含一个具有深远影响的洞察核心：你可以将像 Szemerédi 已经解决的关于整数集的问题改写为关于在空间中移动的点的问题。
此后的岁月里，Furstenberg 的技法被反复运用，并一点一点地进行调整和完善。 今年早些时候，它们得到了提升，出现在两篇新论文中，揭示了整数集中的无限模式——跨越了 Szemerédi 现在已有 47 年历史的定理。
Furstenberg 的证明
Szemerédi 一直在研究包含所有整数的“正分数”的集合。 以包含所有 5 的倍数的集合为例。当您查看越来越大的数字线时，5 的倍数继续定期出现。 数学家说，包含所有 5 的倍数的集合具有所有整数的五分之一的分数。
相比之下，虽然素数的数量是无限的，但随着数字变大，它们变得越来越稀有，以至于所有素数的集合都不包含整数的正分数，或者换句话说，没有正密度. 相反，素数被称为密度为零。
Szemerédi 一直在寻找所谓的算术级数或等距数字链的例子。 例如，假设您有一个无限的数字序列，例如完全平方数：{1, 4, 9, 16, 25, 36, 49, 64, 81, 100, …}。 完全正方形的等差数列长度为三，隐藏在前几项中：{1, 25, 49}。 此级数中的每个数字都比其前身多 24。
Szemerédi 证明，任何包含整数正分数的集合都必须包含任意长的算术级数。 结果是数学子领域的一个里程碑，称为加法组合。
Szémeredi 的证明虽然出色，但几乎无法遵循。 “直到今天，我认为可能只有三四个人真正理解 [Szemerédi] 的证明，”说 陶ence，加州大学洛杉矶分校的数学家。
因此，Furstenberg 更易于理解的论点受到欢迎。 为了编写它，Furstenberg 依赖于他自己的数学、动力系统领域的方法。 动态系统是任何随时间变化的过程。 这可以像台球在台球桌上滚动一样简单。 您所需要的只是一种以数学方式表示您的系统的方法，以及它如何演化的规则。 例如，一个球可以用它的位置和速度来描述。 该系统遵循经典物理学定律，随着时间的推移以规定的方式发展。
Furstenberg 对遍历理论最感兴趣。 遍历理论家不是在任何给定的时间点查看系统的状态，而是研究长期的统计数据。 对于台球来说，这可能意味着要弄清楚球最终是否会比其他地方更多地停留在桌子上的某些位置，因为它往往会从墙上反弹。
Furstenberg 的主要思想是不将整数集视为固定对象，而是将其视为动力系统中的瞬时状态。 这似乎是一个小小的视角变化，但它让他能够使用遍历理论的工具来证明组合数学的结果。 当时，Furstenberg 并不知道他的想法会成为现实。 “只是，我喜欢有其他证据，”他说。 但其他人看到了遍历理论和组合学之间联系的前景。 “整整一代遍历理论家开始涉足组合学并解决所有这些问题，反之亦然，”陶说。
在过去的几年里，四位数学家—— 布莱纳克拉, 乔尔·莫雷拉, 弗洛里安·里希特 和 唐纳德·罗伯逊 - 开发了 Furstenberg 的技术，不仅可以在任何包含整数正分数的集合中找到任意长的级数，而且还可以找到称为总和集的结构的无限版本。
“总和远不如级数具体； 他们看起来不那么特别，”罗伯逊说。 “但它更有趣也更微妙，因为总和是无限的配置，而级数是有限的。”
如果 Furstenberg 在遍历理论和组合学之间架起一座桥梁，Kra、Moreira、Richter 和 Robertson 则将其扩大为“六车道高速公路”，Tao 说。
B + C 推测
Szemerédi 定理于 1936 年由两位数学家首次提出，但并未得到证明。 其中一位是以猜想着称的匈牙利数学家：Paul Erdős。 2016 年，莫雷拉在俄亥俄州立大学撰写博士论文时，偶然发现了 埃尔德什的另一个猜想 关于称为总和集的结构。
一个总和集由另外两个集合组成； 打电话给那些 B 和 C. 总和，写成 B + C, 是通过将每对可能的数字加在一起，从中取出一个数字来构建的 B 另一个来自 C. Erdős 推测对于任何集合 A 包含整数的正分数，存在其他无穷集 B 和 C 其总和包含在 A. 在莫雷拉阅读的论文中，作者证明了 Erdős 的猜想，即 A 包含大部分整数。 但是对于较小的正密度集，结果仍然未知。 “我一读到这份声明，就觉得这是一个非常好的问题，因为它非常简单，”莫雷拉说。 “要么是假的，要么应该不难。 这当然是错误的。 这既不虚假也不容易。”
莫雷拉让他在研究生院的朋友里希特和罗伯逊参与了这个项目。 罗伯逊现在就读于曼彻斯特大学，比莫雷拉早一年毕业，而里希特则落后几年。 三人都精通将遍历理论技术应用于组合学。 但这个问题带来了新的挑战。
“几乎没有在一组正密度中找到无限总和的先例，”说 丹尼尔·格拉斯科克，马萨诸塞大学洛厄尔分校的数学家，曾与莫雷拉、里希特和罗伯逊一起读研究生。
或许正是因为这个原因，总和问题被证明很难解决。 “我们有点不得不强迫遍历理论通过，”莫雷拉说。 他们的努力最终得到了回报，在什么情况下 马钦·萨博克 被麦吉尔大学称为“惊人成就”的他们在 2018 年成功证明了 Erdős 的猜想。他们的证明后来被 发表在 数学年鉴，数学最负盛名的期刊之一。
新证明
那篇论文留下了两个悬而未决的大问题。 其中之一是 Erdős 的另一个总和猜想，称为 B + B + t 推测。
Moreira、Richter 和 Robertson 也提出了他们自己的问题：如果你有一个正密度集 A，你能找到三个无限集吗？ B, C 现在 D- 哪里 B + C + D 在里面 A？ 四个无限集呢？ 五？
在他们提出多集版本后，数学家们一度陷入困境。 看来，两人猜想的手法，已经到了极限。
“我们找不到这个问题的动态重新表述，”里希特说。 他说，他们的方法“一开始就失败了”。
两年过去了，他们才看到真正的进步。 此时，里希特已是西北大学的博士后研究员， 布莱纳克拉 是一名教授。 2020 年，由于 Covid-19 大流行而无法亲自会面，Kra 和 Richter 发现自己正在通过 Zoom 讨论求和集问题。
“最终，我们想出了一些我们理解的其他变体，”克拉说。
克拉和里希特开始每周与莫雷拉和罗伯逊交谈，重新检查 2018 年的证明。
“我们必须做的是重新考虑证明的每一步，从将其转化为动力系统开始，”克拉说。
对他们的事业有帮助的是 2019 纸 由一位法国数学家命名 伯纳德主机. Host 重新证明了 Moreira、Richter 和 Robertson 的结果，并想出了让遍历理论大放异彩的方法。 在 Moreira 看来，Host“看到了如何按照应有的方式编写我们的证明。”
随着 Host 的改进，Kra、Moreira、Richter 和 Robertson 继续调整他们的证明，试图提取最简单、最优雅的论证。 “我猜，我们只是一遍又一遍地剖析它，以真正了解：问题的关键是什么？” 里希特说。 “最后，我们得到的证明与最初的证明几乎没有相似之处。”
他们最终得到的证明，就像 Furstenberg 的一样，将无限的整数集视为动力系统中的时间戳。 不过，这个动力系统最好被设想为在空间中跳跃的点。
这是它如何工作的粗略图片：首先站在一个封闭房间的一个角落，称之为角落 0。你配备了一个时间列表 A. 该集， A, 是正密度整数集。
您还配备了在房间内走动的规则。 每一秒，你都会根据你刚刚站立的位置移动到一个新的位置。 您所遵循的确切规则将被设计为与您的时间设置相匹配 A — 每当时间戳在 A，您会发现自己位于房间的一个特殊区域。
例如，说 A 由所有可被 4 整除的数字组成，每一秒，你顺时针移动到房间的下一个角落。 一秒钟后，你移动到 1 号角； 两秒后，角球 2，依此类推。 然后，每四步——意味着每一次 一种 - 你会回到原来的角落 0。
这个过程永远持续下去。 顺时针从一个角落到另一个角落，您将无限次访问每个角落。 您无限次接近的点称为累积点。
Kra、Moreira、Richter 和 Robertson 证明您可以巧妙地选择这些地点之一来找到您的总和集 B + C. 在转角示例中，取转角 1。您在第 1、5、9 和 13 次到达那里——时间看起来像 4n + 1 表示某个整数 n。 让 B 成为那些时代的集合。
现在想象一下，你不是从角 0 开始，而是从角 1 开始。这意味着有时被 4 整除，你会发现自己回到角 1，三步后你会到达角 0：有时3、7、11 或 4 形式的任意数字n + 3.调用那些时间的集合 C.
现在，再次从角 0 开始您的过程。 这一次，看看如果你从 B 和一个数字 C — 比如说，13 来自 B 和3来自 C - 并将它们相加。
这将需要 13 + 3 = 16 秒。 因为 16 是 4 的倍数，所以它在 A. 但是你也可以预测 13 + 3 将被 4 整除，因此在 A，实际上并没有将 13 和 3 加在一起。 只需关注当您等待 13 + 3 秒时动力系统中发生的情况：首先，13 秒过去了。 那时，您发现自己位于第 1 个角落。然后，从第 1 个角落开始，您再移动三步，这将带您回到第 0 个角落。由于您从第 0 个角落开始并最终回到那里，您必须等待一个四秒的倍数，这意味着总时间量是原始集合中的一个数字 A.
为了使这个论点成立，该小组必须处理许多挑剔的数学细节。 例如，在大多数情况下，您可以移动到无数个点，而不仅仅是四个角。 这意味着你实际上不会无限次地回到一个地方； 你只会无限次地接近它。 这给争论引入了新的数学复杂性。 但是一旦他们弄清楚了这个过程是如何运作的，他们就知道他们能够解决他们所追求的更难的问题。
“我们在这里提出了这个证明，并且立即清楚了如何推广它，”现就职于瑞士洛桑联邦理工学院的里希特说。 例如，为了证明该猜想的多集版本，研究人员可以在路径中添加一个累积点。 总体论点是一样的，只是增加了一层新的复杂性。
敲定所有技术细节并不容易。 在他们确定了他们的动力学设置后，Kra、Moreira、Richter 和 Robertson 花了一年多的时间来证明更困难的猜想。 今年XNUMX月，小组终于发了两篇论文。 一个证明 和集猜想的多集版本。 另 证明了 B + B + t 猜想的版本，它要求第二组 C 等于第一组 B，由一些常数移动， t.
下一步
尽管 XNUMX 月的论文解决了两个关于总和集的问题，但 Kra、Moreira、Richter 和 Robertson 为他们的研究领域展望了一个漫长的未来。 “就像 Erdős 提出的所有要求一样，他只是希望我们迈出第一步，”现就职于华威大学的莫雷拉说。 “但现在我们需要打开门，去探索那里还有什么。”
在他们的新论文中，这四位数学家以尚未回答的问题的形式列出了几个可能的探索方向。 一个依赖于这样一个事实，尽管任何正密度集 A 包含无限总和 B + C，它不一定包含这两个组件 B 和 C. 你什么时候可以坚持 B 和 C 也必须包含在里面 A？ 作者还挑战数学家，弄清楚他们是否可以找到无限集合的无限序列，其总集包含在 A.
麦吉尔大学 Sabok 的研究生 Matt Bowen 已经回答了该领域的另一个悬而未决的问题。 十月，他 发布 证明如果你给每个整数分配几种颜色中的一种，你可以找到一个总和集 乙+丙 和集合的乘积 BC 只有一种颜色。
Kra、Moreira、Richter 和 Robertson 的新作品究竟将带向何方仍不得而知。 但至少，Tao 对该小组开发的新技术持乐观态度。 他说，他们用自己的方法取得的成果“实际上非常惊人”。 “还有其他涉及无限集的问题，以前被认为是无望的，现在触手可及。”
