第140章 原来到达山顶的路是这样的（2/2）

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

这个定义的美妙之处在于：对于孪生素数对，关联距离ρ是常数；对于非孪生素数对，ρ会不同。

而且这个ρ的构造直接来源于哈代—李特尔伍德的常数C，那个被数值验证了无数次的常数。

所以，孪生素数对就是那些使得ρ(, +2)取特定值的素数对。

现在，问题转化为：在顾—辛特征空间X中，考虑所有素数点构成的集合P。

在这个集合上，有一个由ρ诱导的“关联结构”。

如果能够证明，这个关联结构具有某种刚性，即如果存在有限个使得ρ取特定值的点对，那么就必须存在无穷多个，那么孪生素数猜想就得证了。

这种刚性从何而来？

肖宿想到了顾—辛框架的第二条公理，层次分明。

所有辛流形按照内在的“旋转复杂度”被安置在一个清晰的阶梯上。

在X中，素数点集P的“旋转复杂度”应该由ρ的分布决定。

如果只有有限个孪生素数对，那么P的关联结构就会在某个尺度上“断裂”，就像一座桥缺少了关键的石块。

而这种断裂会导致P的旋转不变量，也就是第一条公理中的守恒量发生变化。

守恒量必须守恒。

所以断裂不可能发生。

因此，孪生素数对必须有无穷多。

肖宿感觉脑海中那条隐藏的路径终于清晰起来。

他开始系统地写下证明框架：

第一步就是构造顾—辛特征空间X及其上的辛结构。

这需要用到进数域的受限乘积、顾—辛度量的适当定义、以及辛形式的构造。

这一步是技术性的，但框架已经足够成熟了。

第二步则是定义关联距离ρ，并证明它与哈代—李特尔伍德常数C的关系。

这一步的关键是选择权重ω使得Σ ω = —log C。

这保证了孪生素数对在ρ下取相同的值。

第三步是将素数点集P视为X中的拉格朗日子流形，即零维子流形。

定义P上的“孪生关联结构”为所有满足ρ(, +2)=常数的点对构成的图。

第四步将引入顾—辛框架中的旋转守恒量。

这个守恒量是定义在P上的一个拓扑不变量，它可以通过某种配分函数计算。

关键在于证明，如果只有有限个孪生素数对，那么守恒量必须为零。

但如果从素数分布的全局性质推出守恒量恒不为零，那么孪生素数对必须有无穷多。

第五步就是计算守恒量了。

这一步需要用到素数定理和解析数论中的标准结果。

通过计算，可以得到守恒量正比于∏_{} (1 1

(—1)^2)的某种变形，而这个乘积正是孪生素数常数C！

由于C＞0（约1.32），所以守恒量＞0。

最后，由守恒量＞0，结合第四步的结论，推出孪生素数对有无穷多。

肖宿写完最后一行，放下了笔。

窗外，天色已经开始泛白。

他看了看手表，凌晨五点二十。

不知不觉，他竟然思考了整整一夜。

但此刻的肖宿没有丝毫疲惫。

他看着笔记本上那六页密密麻麻的推导，心中涌起的不是激动，也不是狂喜，反而是一种奇特的平静感，带着“本该如此”的释然。

还带着解决一个美丽问题后的纯粹的喜悦。

原来素数可以这样理解……

原来到达山顶的路是这样的……

一瞬间，他再次感受到了第一次接触数学时美妙的感觉，看似杂乱无章的世界，以一种近乎直白的方式，在他面前呈现出了最本质、最简洁的模样。

东方的天际线开始泛出鱼肚白，几颗残星还在天幕上闪烁。

普林斯顿的校园笼罩在黎明前的静谧中，那些红砖建筑、那些哥特式尖顶、那些藏着无数数学秘密的办公室，都在晨光中渐渐显露出轮廓。

张益唐证明的是间隔小于7000万的素数对有无穷多，当时有人说，从7000万到2的距离，相比于从无穷到7000万的距离，是微不足道的。

现在，这“微不足道”的最后一步，也被走完了。

肖宿拿起手机，拍下了那六页笔记。

然后他给顾清尘发了条消息：

“顾叔叔，我想我找到路径了。”

发完消息，肖宿躺在床上，闭上眼睛。

困意终于涌了上来。