孤独跑者终于有了一点回旋余地

想象一条一圈长的环形跑道。几名跑者在同一时刻从同一点出发，各自以恒定的速度奔跑，而且速度各不相同。孤独跑者猜想断言：当总共有n + 1名跑者时，每名跑者都会在某一时刻发现自己是孤独的——与其他所有人的距离都至少为一圈的1/(n + 1)。

这个问题比它的名字更古老。据中国科学院大学的Xiyu Hu和俄亥俄州立大学的Yifan Jing介绍，它可以追溯到Jörg Wills 1965年关于用分数逼近数的博士论文。Cusick给出了一个等价版本，用的是被障碍物遮挡的视线；跑者的说法出现得更晚，来自Goddyn的重新表述。此后，它与台球轨迹、图的着色以及一种叫做拟阵的抽象结构中的流都建立了联系。

度量孤独

数学家通常固定一名跑者，考察其他人相对于他的速度：一个由n个互不相同的正整数组成的集合V。在时刻t，速度为v的跑者位于跑道上的位置vt处，他与起点的距离记作∥vt∥——即vt与最近整数之间的距离。V的最大孤独度为

ML(V) = 对t取最大值（对V中的v取∥vt∥的最小值）

也就是以最近的那名跑者来衡量的最佳时刻。猜想断言ML(V) ≥ 1/(n + 1)，而且这个界是最优的：对于速度1, 2, …, n，最大孤独度恰好是1/(n + 1)。例如，当两名运动的跑者速度分别为1和2时，固定的那名跑者离两人最多只能有三分之一圈——在时刻1/3。

容易的那一半

一半的答案来得很容易。某名跑者与起点距离在δ以内的时刻，占据了时钟的2δ比例。有n名跑者时，如果2nδ小于1，这些时间窗口就不可能覆盖全部时间，于是总有某个时刻不落在任何窗口内。让δ增大到极限，就得到

ML(V) ≥ 1/(2n)

这大约是猜想预言值的一半。要超越它，事实证明极其困难。作者回顾了历史：几十年来，改进只有1/n²的量级；之后有Perarnau和Serra的改进、陶哲轩（Terence Tao）2018年的改进、Benjamin Bedert 2025年的改进。但它们都有一个共同的弱点：随着跑者人数增加，相对于1/(2n)，改进量趋于零。

不会消失的改进

新定理改变了这一点：

ML(V) > (1 + c)/(2n)

其中c > 0是一个固定常数，对任意由n ≥ 2个速度组成的集合都成立。无论有多少名跑者，额外的余量如今都是简单下界的一个固定比例。这个常数是显式的，但论文中没有计算出它的值，作者也没有尝试去优化它。它没有达到猜想中的1/(n + 1)；但这是第一个不会消散的改进。

证明考察的是不同跑者的“危险窗口”如何重叠。有些窗口因为共享同一个中心而重叠——速度有公约数的跑者会同时经过起点。另一些则在不同的中心处重叠。对于第一类，作者改进了Green和Walker关于大公约数的一个论证。对于第二类，他们证明了一个新的几何不等式：当窗口围绕各自中心加宽时，它们的重叠必须以超过正比例的速度增长。无论哪种情况，未被覆盖的时间都不可能缩小到零。

作为额外收获，这个结果还改进了“睡衣问题”的一个下界：需要多少个经过旋转和拉伸的条纹图案副本，才能覆盖整个平面。

谁做了什么

论文中有一份关于AI使用的明确声明。策略和框架是作者自己的。ChatGPT 6 Pro和ChatGPT 6 Astra主要用于检查论证、把非正式的证明变成严格的证明，以及探索改进方案。Pro建议引入对公约数的求和，后来又修补了关键不等式证明初版中的“一些小漏洞”。最终的证明由作者撰写。他们对这些工具的评价很精确：“这些模型无法自行改进孤独跑者的界。”

在Wills之后六十年，每名跑者所能保证的孤独，第一次有了一个稳稳保持住的余量。