【原】小乐数学科普：融合领域，数学家们在老问题上走得更远

zzllrr小乐 2024-04-02 发布于江苏

展开全文

数学家们已经阐明了任两点距离都是整数的点集可以是什么样子。

如果一个大的（但非无限的）点集中的点彼此之间的距离都是整数距离，那么这些点该如何排列呢？一个最新的结果证明，圆形是仅有的可能选项之一。

图源：Fran Pulido

作者：Erica Klarreich 量子杂志特约通讯员 2024-4-1

译者：zzllrr小乐（数学科普公众号） 2024-4-2

计划改变发生在一次公路旅行中。去年四月的一个美好日子，数学家Rachel Greenfeld（瑞秋·格林菲尔德）和Sarah Peluse（莎拉·佩卢斯）从她们的母校，新泽西州普林斯顿的高等研究院出发，前往纽约州的罗切斯特，她们两人第二天都将在此地发表演讲。

她们近两年来一直在努力解决调和分析领域的一个重要猜想，该领域研究如何将复杂信号分解成其组分的频率。与第三位合作者Marina Iliopoulou（玛丽娜·伊莉奥普鲁）一起，她们研究了该难题的一个版本，其中各组分频率被表示为平面上的点，这些点之间的距离与整数相关。这三名研究人员试图证明这些点的数量不可能很多，但到目前为止，她们所有的技术都失败了。

她们似乎在原地打转。然后Peluse有了一个想法：如果她们暂时放弃调和分析问题，将注意力转向任意两点之间距离正好为整数的点集会怎样？这样的点集可能具有什么结构呢？自从古代以来，数学家们一直在试图理解整数距离点集。例如，勾股数组（即毕达哥拉斯三元组，例如3、4和5）表示一类直角三角形，其三个顶点之间都是这些整数距离。

“坐在车里，我猜是因为Rachel和我在一起，我提出了这个想法，”现担任密歇根大学教授的Peluse说。解决整数距离集的想法让Greenfeld感到兴奋。

在得到想法之前，她们已经开始不止一次而是两次改变方向。

“我们其实没有注意到正在往哪里开车，也没有离开高速公路，”Peluse说。“我们在前往罗切斯特相反的方向上行驶了大约一个小时才留意到，因为我们太兴奋了。”

1945年，Norman Anning（诺曼·安宁，1883 - 1963）和Paul Erdős（保罗·埃尔德什，1913 - 1996）证明 https://www./journals/bull/1945-51-08/S0002-9904-1945-08407-9/ ，平面上满足任意两点距离均为整数的无限点集必位于一条直线上（共线）。对于一个有限点集，可能性更加多样化。数学家们已经构建了位于直线或圆上的大的点集，有时还有三四个例外的点偏离主要路径。（点本身不必具有整数坐标——只在乎它们之间的距离是整数。）

Rachel Greenfeld（瑞秋·格林菲尔德），普林斯顿高等研究院数学家

图源：Andrea Kane

没有人提出具有任何其他配置的大的点集，但没有人证明其他配置是不可能的。自从Anning和Erdős的结果发表以来，近80年来这个课题几乎没有任何进展——直到现在。

Greenfeld、Iliopoulou和Peluse已经证明 https:///abs/2401.10821 ，一个大的整数距离点集的所有点——也许除了少数几个异常点之外——必位于一条直线或圆上。“如果你想要一个所有点对距离都是整数的大的集合，那么圆形和直线是唯二的可能，”不列颠哥伦比亚大学的József Solymosi（约瑟夫·索利米斯）说。他称她们的结果为“极妙的解决方案”。

这种新方法使用了来自数学三个不同领域的思想和技巧：组合学、数论和代数几何。这些不同领域的结合“可能是一个真正的心理突破”，加州大学洛杉矶分校的数学家陶哲轩（Terence Tao）说。

罗切斯特大学的Alex Iosevich（亚历克斯·伊奥塞维奇）表示赞同。“她们为一系列非常广泛的问题奠定了非常坚实的基础，”他说。“毫无疑问，这将找到更深入的应用。”

简单性的局限

在平面上，选择一个所有点之间距离都是整数的无限集合是很容易的——只需取你喜欢的任意一条直线，想象一条数轴线叠加在上面，然后使用对应于整数的所有或部分点。但正如Anning和Erdős在1945年所认识的那样，这是在平面上构建无限整数距离点集的唯一方式。一旦你有三个不在同一直线上的点，你的配置就会变得受限，而不可能再添加无限多个点。

原因可以归结为简单的几何学。假设从距离为整数的两点A和B开始。如果你想添加第三点C，它到A和B的距离都是整数，但不在过A和B的直线上，那么平面上的大多数点都不适用。可行的点位于特殊曲线上，这些曲线称为双曲线（hyperbola），它们位于A和B之间。如果A和B之间的距离是4个单位，那么恰好有四条这样的双曲线。（双曲线通常有两个不同的部分，例如下面的两条红色曲线形成一个双曲线。）

图源：Merrill Sherman

一旦在你选择了C（在这个例子中，C到A的距离是3个单位，到B的距离是5个单位）之后，你几乎没有更多的选项来添加更多的点。你能添加的任何点必须位于A和B之间的某条双曲线上，或者位于通过它们的直线上。但它也必须位于A和C之间的某条双曲线上，以及B和C之间的某条双曲线上（或相应的直线上）——换句话说，一个新的点只能放在三条双曲线或直线的交点处（尽管并非每个交点都适用）。一开始只有有限数量的这些双曲线和直线，而两条双曲线（或直线）最多在四个点上相交。所以你最终只能从有限数量的交点中选择——你不能构建一个无限集合。

当你想要理解一个整数距离的有限点集实际上是什么样子时，双曲线方法很快就会变得不实用。随着你添加点，你必须应对越来越多的双曲线。例如，当你的集合中只有10个点时，添加第11个点将创建10个新的双曲线家族——所有这些新的双曲线都在你新加的点和集合中已有的每一点之间。Greenfeld说：“你不能添加很多点，因为你会迷失在所有这些双曲线和交点中。”

因此，数学家们一直在寻找更易于驾驭的方法来构建不位于直线上的大的整数距离点集。但他们只能想出一种方法：将你的点放在一个圆上。如果你想要一个有万亿个点的整数距离点集，有办法在一个半径为1的圆上找到万亿个点，这些点之间的距离都是分数。然后你可以扩大这个圆，直到所有的分数距离都变成整数。你想要的集合中的点越多，你需要扩大的圆就越大。

多年来，数学家们只找到了稍微复杂一些的例子。他们可以构建所有点都在一条直线上或除三个点外的所有点都在一个圆上的大的整数距离点集。许多数学家怀疑这些是仅有的大的整数距离点集，其中并非所有点都在一条直线或一个圆上。如果他们能够证明所谓的Bombieri-Lang猜想，他们将对此确信无疑。但是数学家们对于这个猜想是否可能成立持有不同意见。

自1945年Anning和Erdős的工作以来，数学家在理解整数距离点集方面几乎没有取得进展。随着时间的推移，整数距离问题似乎加入了组合学、数论和几何学中的一系列其他问题，这些问题简单易懂，但似乎无法解决。陶哲轩说：“这是衡量我们的数学有多可怜的一种方式。”

Sarah Peluse（莎拉·佩卢斯），密歇根大学数学家

图源：Dan Komoda

在某种意义上，整数距离问题是早期成功的牺牲品。双曲线证明及其巧妙简单性，是Erdős所倡导的哲学的典型代表，Erdős是一位非常有影响力的数学家，他经常谈到“圣经”（The Book）——一个假想的收录数学中最优雅证明的书卷。Erdős推广的简单性文化在组合几何学中产生了“巨大的成果”，Iosevich说。但这也可能导致盲点——在这个案例中，是关于引入代数几何方法的价值。

“我认为你不会找到一个在过去50年里被证明的不是非常技术性和混乱的（代数几何中的）结果，”Iosevich说。“然而，有时候事情需要这种方式。”

回顾过去，整数距离问题一直在等待那些愿意考虑比双曲线更不规则的曲线的数学家，利用来自代数几何和数论的深奥工具来驯服它们。“这需要具备足够知识和兴趣的人，”Iosevich说。

他说，大多数数学家满足于在整个职业生涯中只在一个数学领域使用几种工具。但Greenfeld、Iliopoulou和Peluse是无畏的探险家，Iosevich说。“她们认为数学是一个连贯的整体。”

问题复杂化

在2021年夏天，Greenfeld决定是时候尝试解决一个她自研究生以来一直在思考的调和分析问题。古典调和分析，构成了现实世界中信号处理的基础，是关于将信号分解为不同频率和相位的正弦波。这个过程之所以有效，是因为可以制作一个无限的正弦波列表，当它们组合在一起时，可以捕捉到任何信号的所有特征，而不会有任何冗余。

然而，研究者们通常想要研究比一维信号更复杂的东西。例如，他们可能想要分解平面上的一个圆盘上的信号。但是，圆盘只能承载有限数量的兼容的正弦波——不足以捕捉圆盘上所有可能信号的行为。问题于是变成了：这个有限集合可以有多大？

在这样的集合中，正弦波的频率可以作为平面上的点来表示，这些点似乎排斥在直线和圆上聚集：你永远不会找到三个点都靠近同一直线，或四个点都靠近同一个圆。Greenfeld希望利用这种排斥来证明这些频率集合只能包含几个点。

在2021年波恩大学的一次会议上，Greenfeld参加了一个关于“行列式方法”（determinant method）的讲座，这是来自数论的一种技术，可以用来估计在曲线上某些类型的整数点可以有多少个。她意识到，这个工具可能正是她需要的。Greenfeld邀请了也参加会议的Iliopoulou和Peluse。“我们开始一起学习这个方法，”Greenfeld说。

但是，尽管做出了许多努力，她们似乎无法将行列式方法应用到她们的目的上，到了2023年春天，她们感到很沮丧。Iosevich邀请Greenfeld和Peluse开车去罗切斯特进行访问。“所以我们想，'好吧，我们会去罗切斯特，和Alex谈谈会让我们重新振作起来，’”Peluse说。但结果显示，她们在宾夕法尼亚州萨斯奎哈纳河（Susquehanna River）沿岸的意外绕行中讨论整数距离点集，让她们在到达罗切斯特时精神就已经得到了提振。

她们到达时已经错过了计划与Iosevich共进的晚餐，但她们在酒店大堂找到了拿着外卖的Iosevich。他原谅了她们的迟到——而且第二天早上，当她们告诉他计划解决整数距离点集时，他更加宽容了。“他非常兴奋，”Peluse回忆道。“在情感上给了我们巨大的鼓舞。”

就像双曲线方法一样，Greenfeld、Iliopoulou和Peluse试图通过识别点必须所处的曲线家族来控制整数距离点集的结构。在点数超过几个时双曲线方法就开始变得过于复杂，但Greenfeld、Iliopoulou和Peluse想出了如何通过将整个配置移动到更高维空间来同时考虑许多点。

为了搞清楚这是如何工作的，假设你的整数距离点集中有一个“参考”点A。集合中别的每一点都与A有一个整数距离。这些点位于一个平面上，但你可以通过给每一点添加一个第三坐标（其值是到A的距离）将平面弹到三维空间中。例如，假设A是点(1, 3)。那么，到A距离为5个单位的点(4, 7)在三维空间中变成了点(4, 7, 5)。这个过程将平面转换成三维空间中的一个锥形，其尖端位于A，此时标记为(1, 3, 0)。整数距离点变成了三维空间中位于锥形上且也位于某个格点上的点。

同样，如果你选择两个参考点A和B，你可以将平面上的点转换到四维空间中——只需给每一点两个新的坐标，其值是它到A和B的距离。这个过程将平面转换成四维空间中的一个曲面。你可以继续以这种方式添加更多的参考点。每增加一个新的参考点，维数就增加1，平面就映射到一个更加蜿蜒的曲面（或者，数学家称之为更高次的曲面）。

有了这个框架，研究人员使用了来自数论的行列式方法。行列式是与矩阵相关联的数字，它们刻画了一组点的许多几何属性——例如，一个特定的行列式可能度量了由三个点形成的三角形的面积。行列式方法提供了一种使用这些行列式来估计同时位于蜿蜒曲面和格点上的点数的方法——这正是Greenfeld、Iliopoulou和Peluse所处理的情况。

研究人员利用基于行列式方法的工作线来证明，当她们将整数距离点集提升到适当高的维度时，点必须都位于少数几条特殊曲线上。这些曲线，当它们的阴影在平面上不是一条直线或一个圆时，就不能包含许多格点，而这些格点是整数距离点集中的点的唯一候选者。这意味着集合中可能位于主线或圆之外的点的数量是有限的——研究人员证明，这个数量必须小于一个关于集合直径的非常缓慢增长的函数。

她们的界限并没有达到许多数学家认为对于大的整数距离点集来说正确的“四点离线或三点离圆”猜想的标准。即使如此，这一结果表明，“猜想的本质是正确的，”斯坦福大学的Jacob Fox（雅各布·福克斯）说。数学家们表示，这个猜想的完整证明可能需要另一种新思路的注入。

Iosevich说，团队的高维编码方案“极其稳健”。他说：“不仅仅是在原理上，我已经开始考虑实际应用了。”

Greenfeld、Iliopoulou和Peluse希望，她们原始的调和分析问题将是一个应用。她们现在正在回到这个问题上。她们关于整数距离点集的结果“可能是通向那个问题的垫脚石，”Greenfeld说。

研究人员开始将组合学与代数几何相结合，Iosevich预测，这种结合不会止步于整数距离点集或调和分析中的相关问题。“我相信我们所看到的是一种概念性的突破，”他说。“这向两个领域的数学家传达了一个信息，即这种互动非常富有成效。”

这也传达了一种信息，有时使问题变得更加复杂也是有价值的，陶哲轩说。他指出，数学家们通常追求相反的目标。“但这是一个例子，其中复杂化问题实际上是正确的做法。”

他说，这一进展改变了他对高次曲线的看法。“有时候，它们可以是你的朋友，而不是敌人。”