牛津大学圣约翰学院二年级数学本科生塔努帕特·特拉库尔通猜，改进了一项已有近60年历史的“孤独跑者猜想”证明工作。“孤独跑者猜想”数十年来一直极难证明。
对大多数人来说，跑者绕着跑道奔跑的画面，往往让人想到竞赛。但对牛津大学圣约翰学院二年级数学本科生塔努帕特·特拉库尔通猜而言，这一画面却把他带向了数学中一个看似简单、实则极难攻克的未解问题——“孤独跑者猜想”。这个问题最早在近60年前被提出，听上去几乎像一道儿童谜题。
这一猜想认为，在某个时刻，每一名跑者都会变得“孤独”，也就是与跑道上的其他所有人都拉开足够远的距离。这个图景不难想象，但要真正证明它，却难倒了几代数学家。
塔努帕特用很直白的话解释说：“如果有n名跑者……从同一点出发，以不同速度在环形跑道上奔跑……那么在某一个时刻，每一名跑者都会处于‘孤独’状态。”
在这个问题中，跑道长度被设定为1。当一名跑者与其他所有跑者之间的距离都至少达到跑道长度的1／n时，就被视为“孤独”。
这种“孤独时刻”不必在所有人身上同时发生。每名跑者只需要拥有属于自己的那一刻分离。
正是这种“表述简单、证明困难”的特质，吸引了塔努帕特。
他说：“当我知道这还是一个猜想时，我非常惊讶。它看起来非常明显……像是一个很容易证明的东西。但结果是，我们到现在仍然没能证明它。”
与许多高深的数学问题相比，“孤独跑者猜想”并不需要成页的专业术语才能理解。但在它看似平和的表面之下，却隐藏着一个复杂结构，涉及数论、几何和组合数学。
换句话说，数学家不必在纯粹抽象的层面一次性证明整个猜想，而是可以把问题缩小为大量但可以逐一检验的情形。
不过，困难在于，这些情形的数量依然极其庞大。塔努帕特解释说：“罗森费尔德所做的，是把这个问题变成一个实际可操作的有限检验问题。但即便如此，还是会花很多时间。”
塔努帕特的贡献，在于利用组合数学对这一过程进行了简化。
他通过预先计算，降低了主要的计算瓶颈。他说：“这引入了一个额外步骤，但这个额外步骤减少了主要步骤中的工作量。”
最初，塔努帕特的工作把这一猜想推进到了10名跑者的范围。但故事并未止步于此。
如果读者想知道，这种数学上的“孤独”是否有现实用途，塔努帕特对此相当谨慎，并未夸大其词。
他说：“这个猜想本身并没有直接应用。”但它所属的更大领域——丢番图逼近——与计算机中如何表示数字有重要关联。
这一猜想与跑步本身也存在一种颇为直面的联系。塔努帕特注意到，许多研究这个问题的数学家似乎都会以某种方式提到自己的跑步经历，尽管这种联系在数学上并没有理由。
他自己在小学时就曾是一名很有天赋的短跑选手。他说：“我以前跑得非常好。”他笑着补充，自己并没有认真训练，这些年“慢慢退步了”。
谈到未来，塔努帕特认为，继续沿着当前的计算路径推进，终究只能走到一定程度。随着跑者数量增加，需要检验的情形也会成倍增长。
他说：“你拥有的时间终究是有限的。最终，这种计算方法会走到极限。”
完整的“孤独跑者猜想”至今仍未解决，但塔努帕特的工作已经把它的边界向前推进了一步。对于这样一个围绕“距离”展开的问题来说，他的经历也说明，数学的推进依赖于旧思想、新方法，以及一位愿意追逐这个已持续近60年的谜题的年轻泰国学生。
热门跟贴