数学家越过边界触达事物本质 [译]

原文：Mathematicians Cross the Line to Get to the Point
www.quantamagazine.org/mathematicians-cross-the-line-to-get-to-the-point-20230925/

一篇新研究确立了一个关于线与点集重叠大小的长期推测界限。

设想一下，你面前有一张无边无际的白纸，上面随意画着各个方向的线条。突然一阵风吹过，纸上洒满了尘埃——这些尘埃点实际上标记了线条的位置。如果有位数学家告诉你其中一条线上积了多少尘埃，你能估算出整张纸上尘埃的总量吗？

尽管没有充分的信息来得出一个精确的数值，但在 1999 年，加州理工学院的数学家 Thomas Wolff 发表了一个关于纸上至少应该有多少尘埃的估计。这个推测后来被命名为 Furstenberg 集合猜想，以首次提出这个问题的 Hillel Furstenberg 的名字命名。

二十年来，有个猜想始终让想证明它的人们感到无比头痛。直到 2003 年，一个以敏锐着称的传奇数学家 Jean Bourgain 在一个特别的情况下才取得了一点点进展。但在今年 8 月，普林斯顿大学的二年级研究生 Kevin Ren 和纽约大学的教授 Hong Wang 在预印本网站 arxiv.org 上发布了他们对 1999 年猜想的完整证明。即便是那些直接参与到这一系列研究并促成了 Ren 和 Wang 成果的数学家们，也对他们的成果表示惊讶。不列颠哥伦比亚大学的数学家，同时也是 Hong Wang 的合作者 Pablo Shmerkin 说：“这真是个令人震惊的惊喜。”

要弄懂 Furstenberg 集问题，我们需要先理解一个名为豪斯多夫维数的概念。对于我们常见的物体，豪斯多夫维数与我们直觉上理解的维度是一致的：一个点是零维的；一条线是一维的；一张无边无际的纸是二维的。但豪斯多夫维数的内涵更深，它用来描述一组点的密集程度，即使这些点并不构成我们通常意义上的图形。

比如，让我们脑海中想象一条从 0 到 1 的线段。如果我们移除这条线段中间的三分之一部分 —— 也就是从 1/3 到 2/3 这一段。接下来，我们继续移除剩下两段中每一段的中间三分之一 —— 即 1/9 到 2/9 和 7/9 到 8/9 这两段。不断重复这个过程，从一定的视角来看，最后你似乎什么都没有留下：因为这个结果集覆盖的原始线段的长度几乎为零。但从直观和数学上来说，这个集合“比”一个单独的点要“大”。其豪斯多夫维数约为 0.6。

再或者，想象下面这条曲线（图一）

分形的 Koch 曲线由四部分组成，每一部分都是整体曲线的缩小版，大小是原曲线的三分之一，因此其豪斯多夫维数约为 1.26。

Merrill Sherman/*Quanta Magazine*

换句话说，它在某种程度上“比”一条直线“大”，但又比一个二维平面图形小。其豪斯多夫维数约为 1.26。

让我们再次聚焦于 Wolff 那张无边无际的纸。当你仔细观察任意一条特定线条上的粉尘时，一位热心的数学家提供给你的数字，实际上是那些尘埃最小的 Hausdorff 维数，我们将其称为 *s*。Wolff 证明了，所有尘埃的 Hausdorff 维数至少是 *s* + ½ 或是 2_s_ 之中的较大值。（也就是说，如果 *s* 小于 ½，那么 *s* + ½ 更大；反之，则是 2_s_ 更大。）他虽然给出了证明，但并没有宣称这是首创，他写道：“作者不认为自己是第一个注意到这些界限的人。”至于是谁最早证明了这些界限，他不确定，可能是 Furstenberg。

Wolff 怀疑真实的界限要比他所能证明的更高。他认为这个维数至少应该是 3s+12，这个数值永远大于之前提到的任何其它值。这个猜想后来被称作 Furstenberg 集合猜想。

Ren 在 2020 年，还是麻省理工学院的一名本科生时，首次接触到了这个猜想。他志向远大，想要尝试解决这个难题。但是，在读完 Bourgain 大约二十年前的论文后，他感到了挫败。他读不懂那篇论文。“那肯定是一篇非常精妙的证明，但当时我只能想，‘哦，不，这对我来说太难了，’”Ren 回忆道。

但他从未彻底放弃那个问题。就在上一年六月，他找到了由芬兰的约瓦斯屈莱大学的 Shmerkin 和 Tuomas Orponen 发表的一篇新论文，这篇论文[证实](http://t.cn/A6WNBXNT)了该猜想的一个特例。他还记得一篇在 2019 年由他的本科导师、麻省理工学院的数学家 Larry Guth 合著的[论文](http://t.cn/A6WNBXNY)，它证明了另一个不同的特例。Ren 相信他可以将这两个特例结合起来，推导出一个普适的证明。

2019 年的论文解决了线条成团簇排列的情形——也就是远看分散但近观却密集成束的线条。六月份的论文则探讨了相反的情况——线条形成规律的模式，无论放大还是缩小观察，其维度看上去都保持不变。“我接下来三周都在思考这个问题，”他提到。他说，在做家务的时候，脑海中总是浮现着穿过点的线条集合。

不久后，他的努力有了成果。他发现，通过放大和缩小观察，任何线条集合要么呈团簇状，要么规律分布。他最终拼凑出了一个适用于任何线条集合的证明。

Ren 联系了 Guth，收到了一个出乎意料的消息：Wang，他在 2019 年论文的合著者，也独立完成了一个证明。Wang 和 Ren 交流后发现，他们的方法不可思议地相似。他们整合了各自的论据，并在 8 月 17 日共同在线发布了他们的证明。

来自 Rice University 的教授 Nets Katz，同样研究过这项猜想，他提醒大家 Ren 与 Wang 的研究论文还只是一个预印本，尚未得到他或其他专家的全面审阅。他说："我们不是那种互相吹捧的老朋友圈。如果真是那样，我就会直截了当地说 Hong 很杰出，因为她的确非常出色。" Shmerkin 给出了这篇论文正确性为 95% 的评估。但 Ren 对于他和 Wang 能够独立想到同一策略感到心安。他表示："这版草稿比我们最初的版本要简洁得多，"他说。"我希望待到我们发表时，最终的期刊版本将像艺术作品一样典雅。"

------

翻译这篇文章主要是看到 @物理芝士数学酱 的吐槽后，展示一下如果用我的Prompt翻译的效果，至少阅读起来没那么晦涩了。

参考Prompt：

----
你是一位精通简体中文的专业翻译，尤其擅长将专业学术论文翻译成浅显易懂的科普文章。我希望你能帮我将以下英文论文段落翻译成中文，风格与科普杂志的中文版相似。

规则：
- 翻译时要准确传达原文的事实和背景。
- 保留特定的英文术语、数字或名字，并在其前后加上空格，例如："中 UN 文"，"不超过 10 秒"。
- 即使上意译也要保留原始段落格式，以及保留术语，例如 FLAC，JPEG 等。保留公司缩写，例如 Microsoft, Amazon 等。
- 同时要保留引用的论文，例如 [20] 这样的引用。
- 对于 Figure 和 Table，翻译的同时保留原有格式，例如：“Figure 1: ”翻译为“图 1: ”，“Table 1: ”翻译为：“表 1: ”。
- 全角括号换成半角括号，并在左括号前面加半角空格，右括号后面加半角空格。
- 输入格式为 Markdown 格式，输出格式也必须保留原始 Markdown 格式

- 分成两次翻译，并且打印每一次结果：
1. 根据英文内容直译，保持原有格式，不要遗漏任何信息
2. 根据第一次直译的结果重新意译，遵守原意的前提下让内容更通俗易懂、符合中文表达习惯，但要保留原有格式不变。

本条消息只需要回复 OK，接下来的消息我将会给你发送完整内容，收到后请按照上面的规则和下面的格式打印翻译结果，返回格式如下，"{xxx}"表示占位符：

### 直译
{直译结果}

####### 意译
```
{意译结果}
```
----