[论文解读] A Solution to the Lonely Runner Conjecture for Almost All Points

C. Harold Horvat, Matthew Stoffregen|arXiv (Cornell University)|Mar 8, 2011

Mathematics and Applications被引用 4

一句话总结

本文通过利用遍历理论与丢番图逼近，证明了几乎所有的速度向量下孤独跑者猜想成立，表明对于线性无关的速度，存在某一时刻使得某一跑者与其余所有跑者之间的距离至少为 1/(k+1)。例外情况的集合具有勒贝格测度零，从而确立了该猜想在‘几乎全部’配置下成立。

ABSTRACT

The Lonely Runner Conjecture is a number theory problem, dating to 1964. Using dynamical systems theory, we show almost all sets of velocities solve the conjecture. Furthermore, any "traditional" approach of Diophantine approximation cannot solve the problem, and we offer a short list of reformulations of the problem.

研究动机与目标

• 解决圆形跑道上绝大多数速度配置下的孤独跑者猜想。
• 证明当速度线性无关时，存在某一时刻使得某一跑者与其余所有跑者之间的距离至少为 1/(k+1)。
• 证明违反猜想的速度向量集合具有勒贝格测度零。
• 分析有理依赖速度向量的结构及其在测度论意义上的稀少性。
• 为识别接近最优配置的‘良好’速度比提供一个构造性框架。

提出的方法

• 使用圆周上的无理旋转映射来建模跑者轨迹，确保在线性无关条件下轨道是稠密的。
• 应用无理旋转的乘积以在环面 T^k 上实现稠密性，从而保证任意配置均可被逼近。
• 运用中国剩余定理构造一个时间 T，使得所有跑者在该时刻与起点的距离均至少为 1/(n+1)。
• 定义一个‘质量’函数 Q(D_i, D_{i+1})，以限制速度比偏差的允许范围，同时保持孤独跑者条件成立。
• 通过对有理逼近进行体积积分，估计良好速度向量的测度。
• 通过连续映射 F1 从有理点向无理点进行逆向构造，以定位精确或伪精确解。

实验结果

研究问题

• RQ1 孤独跑者猜想是否对除测度为零的集合外的所有速度向量成立？
• RQ2 当速度线性无关时，能否找到某一时刻使得某一跑者与其余所有跑者之间的距离至少为 1/(k+1)？
• RQ3 该猜想失效的速度向量集合的测度是多少？
• RQ4 如何利用对最优跑者配置的有理逼近来构造良好的速度比？
• RQ5 能否通过连续性与稠密性论证将猜想推广到有理点？

主要发现

• 当速度向量的分量在有理数上线性无关时，孤独跑者猜想成立。
• 违反猜想的速度向量集合具有勒贝格测度零，因其位于可数个低维超平面的并集中。
• 对于任意互质整数构成的速度集合 (1/D1, ..., 1/Dn)，存在时间 T < ∏Di，使得每个跑者与起点的距离均至少为 1/(n+1)。
• 推导出一个扰动边界 δvi，表明对良好速度向量的小幅变动可保持孤独跑者条件成立。
• 良好速度比的体积下限由对有理逼近的求和给出，区间由 δvi 和 Di 定义。
• 在从有理失败点到无理点的连线上存在一点 B，使得 F1(B) = 1/(n+1)，这意味着任一有理点都不可能是伪精确失败情况。