第140章 原来到达山顶的路是这样的
他换了个思路。
在辛几何中，拉格朗日子流形之间的几何关系可以用它们的相交理论来描述。
对于两个拉格朗日子流形L1和L2，它们的相交数是一个重要的不变量。
如果L1和L2是某个辛同胚的像，那么这个相交数就反映了这个辛同胚的性质。
在X中，L_p和L_{p+2}是两条零维子流形，即点。
它们不相交，除非p=p+2，这不可能。
所以相交数为0。
这没有信息。
也许需要考虑更高维的拉格朗日子流形。
肖宿想到，可以构造一个一维拉格朗日子流形，它连接所有孪生素数对。
比如，考虑所有满足x和x+2都是素数的实数x的集合，这是一些孤立点，无法连成连续曲线。
还是不行。
肖宿再次站起身，在房间里踱步。
也许问题不在于单个素数对，而在于素数对的分布模式。
就像统计物理中，我们关心的不是单个粒子的位置，而是粒子的关联函数。
他想起陶哲轩报告中提到的“关联函数”概念。
对于素数分布，可以定义两点关联函数R(k) = lim (1/N) Σ χ_P(n)χ_P(n+k)，其中χ_P是素数的特征函数。
哈代—李特尔伍德猜想给出了R(2)的渐近形式：R(2) ~ C·N/(log N)^2，其中C≈1.32是孪生素数常数。
这个常数C是怎么来的？
它是∏_{p＞2} (1 1/(p—1)^2)。这个乘积收敛到1.32...。
肖宿盯着这个乘积，突然意识到什么。
这个形式，和顾—辛框架中加权度量的正规化项很像！
他的笔快速动了起来：
C = ∏_{p＞2} (1 1/(p—1)^2) = exp[ Σ_{p＞2} log(1 1/(p—1)^2) ]
而log(1 1/(p—1)^2) ~ —1/p^2 当p很大时，所以这个级数收敛。
如果把加权度量中的权重ω(p)取为log(1 1/(p—1)^2)，那么正规化后的距离d̂就会与C有关。
肖宿开始重新定义。
设ω(p) = —log(1 1/(p—1)^2) 对于p＞2，对于p=2需要单独处理。
这个权重是正的，因为1 1/(p—1)^2 ＜ 1，所以log为负，加负号后为正。
当p很大时，ω(p) ~ 1/p^2，所以Σ ω(p)收敛。
非常好！
这样定义加权度量时，不再需要正规化，因为级数本身就收敛。
接着再定义 (顾—辛关联度量)：对于两个整数m和n，定义它们的关联距离为ρ(m,n) = Σ_{p∤(m—n)} ω(p) + δ_{2|(m—n)} · ω(2)，其中ω(p) = —log(1 1/(p—1)^2) 对于p＞2，ω(2)由单独公式定义。
对于孪生素数对(m,n) = (p, p+2)，m—n=2，所以p=2整除m—n。
因此：ρ(p, p+2) = ω(2) + Σ_{p＞2, p∤2} ω(p) = ω(2) + Σ_{p＞2} ω(p)
因为对于p＞2，2不被p整除，所以所有p＞2都计入。
而Σ_{p＞2} ω(p) = Σ_{p＞2} log(1 1/(p—1)^2) = —log C
所以ρ(p, p+2) = ω(2) log C
只要适当定义ω(2)使得ρ(p, p+2) = 某个常数，比如1，就可以得到ω(2) = 1 + log C。
完美！
肖宿的思考越来越快，难以抑制的嘴角上扬。
他知道自己离成功越来越近了。
这个定义的美妙之处在于：对于孪生素数对，关联距离ρ是常数；对于非孪生素数对，ρ会不同。
而且这个ρ的构造直接来源于哈代—李特尔伍德的常数C，那个被数值验证了无数次的常数。
所以，孪生素数对就是那些使得ρ(p, p+2)取特定值的素数对。
现在，问题转化为：在顾—辛特征空间X中，考虑所有素数点构成的集合P。
在这个集合上，有一个由ρ诱导的“关联结构”。
如果能够证明，这个关联结构具有某种刚性，即如果存在有限个使得ρ取特定值的点对，那么就必须存在无穷多个，那么孪生素数猜想就得证了。
这种刚性从何而来？
肖宿想到了顾—辛框架的第二条公理，层次分明。
所有辛流形按照内在的“旋转复杂度”被安置在一个清晰的阶梯上。
在X中，素数点集P的“旋转复杂度”应该由ρ的分布决定。
如果只有有限个孪生素数对，那么P的关联结构就会在某个尺度上“断裂”，就像一座桥缺少了关键的石块。
而这种断裂会导致P的旋转不变量，也就是第一条公理中的守恒量发生变化。
守恒量必须守恒。
所以断裂不可能发生。
因此，孪生素数对必须有无穷多。
肖宿感觉脑海中那条隐藏的路径终于清晰起来。
他开始系统地写下证明框架：
第一步就是构造顾—辛特征空间X及其上的辛结构。
这需要用到p进数域的受限乘积、顾—辛度量的适当定义、以及辛形式的构造。
这一步是技术性的，但框架已经足够成熟了。
第二步则是定义关联距离ρ，并证明它与哈代—李特尔伍德常数C的关系。
这一步的关键是选择权重ω(p)使得Σ ω(p) = —log C。
这保证了孪生素数对在ρ下取相同的值。
第三步是将素数点集P视为X中的拉格朗日子流形，即零维子流形。
定义P上的“孪生关联结构”为所有满足ρ(p, p+2)=常数的点对构成的图。
第四步将引入顾—辛框架中的旋转守恒量。
这个守恒量是定义在P上的一个拓扑不变量，它可以通过某种配分函数计算。
关键在于证明，如果只有有限个孪生素数对，那么守恒量必须为零。
但如果从素数分布的全局性质推出守恒量恒不为零，那么孪生素数对必须有无穷多。
第五步就是计算守恒量了。
这一步需要用到素数定理和解析数论中的标准结果。
通过计算，可以得到守恒量正比于∏_{p} (1 1/(p—1)^2)的某种变形，而这个乘积正是孪生素数常数C！
由于C＞0（约1.32），所以守恒量＞0。
最后，由守恒量＞0，结合第四步的结论，推出孪生素数对有无穷多。
肖宿写完最后一行，放下了笔。
窗外，天色已经开始泛白。
他看了看手表，凌晨五点二十。
不知不觉，他竟然思考了整整一夜。
但此刻的肖宿没有丝毫疲惫。
他看着笔记本上那六页密密麻麻的推导，心中涌起的不是激动，也不是狂喜，反而是一种奇特的平静感，带着“本该如此”的释然。
还带着解决一个美丽问题后的纯粹的喜悦。
原来素数可以这样理解……
原来到达山顶的路是这样的……
一瞬间，他再次感受到了第一次接触数学时美妙的感觉，看似杂乱无章的世界，以一种近乎直白的方式，在他面前呈现出了最本质、最简洁的模样。
东方的天际线开始泛出鱼肚白，几颗残星还在天幕上闪烁。
普林斯顿的校园笼罩在黎明前的静谧中，那些红砖建筑、那些哥特式尖顶、那些藏着无数数学秘密的办公室，都在晨光中渐渐显露出轮廓。
张益唐证明的是间隔小于7000万的素数对有无穷多，当时有人说，从7000万到2的距离，相比于从无穷到7000万的距离，是微不足道的。
现在，这“微不足道”的最后一步，也被走完了。
肖宿拿起手机，拍下了那六页笔记。
然后他给顾清尘发了条消息：
“顾叔叔，我想我找到路径了。”
发完消息，肖宿躺在床上，闭上眼睛。
困意终于涌了上来。
(https://www.uuuxsvv.cc/80242/80242597/58669722.html)
1秒记住U小说：www.uuuxsvv.cc。手机版阅读网址：m.uuuxsvv.cc