第134章 迷宫
他的手动的飞快，空白的草稿纸被逐渐填满。
定义3 (孪生条件)：两个整数m和n是孪生素数对，若且唯若：
1. φ(m)和φ(n)都是x中的“算术奇点”，即对应素数的像；
2. d(φ(m), φ(n)) = 2；
其中2是所有p进分量差异的加权和。
如果m和n是孪生素数对，比如3和5，那么对於大多数素数p，|3—5|_p = | —2 |_p。
对於p≠2，|—2|_p = 1，因为—2不被p整除。
对於p=2，| —2 |_2 = 1/2，因为2整除—2一次。
所以d(φ(3), φ(5)) = Σ w(p) · 1 (对p≠2) + w(2) · (1/2)。
因为Σ w(p)发散，所以这个和发散。
所以3和5在加权度量下的距离是无穷大？
肖宿皱起眉头。
不对，这样定义有问题。
他意识到，如果直接用原始定义，任何两个不同整数的距离都是无穷大，因为对无穷多个p，|m—n|_p = 1。
加权和自然发散。
需要修改。
也许不是所有p都计入？
也许只有那些对“区分”m和n有贡献的p才计入？
肖宿托腮思考了一会儿，他觉得定义2还不够完备。
定义2在实际计算中，应该只考虑那些|m—n|_p ≠ 0的p，即p不整除m—n。
对於这些p，|m—n|_p = 1。
所以d(φ(m), φ(n))正比於这些p的权重和。
当m—n固定时，这个和发散，所以需要正规化。
减去发散项，留下有限部分。
肖宿自己曾经在《数学发明》那篇论文中用过类似的技巧：对於素数计数函数的误差项，减去主项后，剩余部分可以用一个收敛的级数表示。
在这里也可以用同样的方法。
定义2 (正规化加权度量)：定义正规化距离d?(φ(m), φ(n)) = lim_{x→∞} [ Σ_{p≤x, p?(m—n)} w(p) Σ_{p≤x} w(p)/p ]
这个定义的精妙之处在於，第一项求和是对所有不整除(m—n)的素数，第二项减去的是所有素数的某种平均。
当x→∞时，两个发散项抵消，留下一个有限值。
肖宿开始估算这个值。
对於固定的差值k=m—n，不整除k的素数占比大约是n_{p|k} (1—1/p)。
所以第一项约等於(n_{p|k} (1—1/p)) · Σ_{p≤x} w(p)。
第二项是Σ_{p≤x} w(p)/p。
两者相减后，主项抵消，剩下的是一个收敛级数。
当k=2时，只有p=2整除k。
所以n_{p|k} (1—1/p) = 1—1/2 = 1/2。
因此：d?(φ(m), φ(n)) = lim [ (1/2)·Σ_{p≤x} w(p) Σ_{p≤x} w(p)/p ] + 有限修正= lim Σ_{p≤x} w(p)·(1/2 1/p) + 有限修正
当p很大时，(1/2 1/p)趋近於1/2，所以这个级数发散，除非w(p)衰减得足够快。
w(p) = (p—1)/p · log p ~ log p。
乘以(1/2 1/p)后，仍然~ (1/2) log p，求和发散。
又卡住了。
肖宿揉了揉紧绷的太阳穴。
也许w(p)需要重新设计。
也许应该让w(p)衰减得快一些，比如w(p) = log p / p？
但这样在之前的有理点估计中就不够用了。
他陷入了沉思。
窗外传来远处的汽车声，很轻，像是从另一个世界飘来的。
等等。
肖宿突然想到一种可能性。
也许根本不需要d?(φ(m), φ(n)) = 2这个条件。
也许孪生素数的本质特徵在於，φ(m)和φ(n)在x中形成某种特殊的“双子结构”，一种在辛几何意义下的配对。
他想起自己在顾—辛框架中定义的“孪生结构”，那原本是用来描述辛流形上两个互为对偶的子流形的。
如果把这个概念移植过来...
孪生结构的定义是设(m, w)是一个辛流形，l1和l2是两个拉格朗日子流形。
如果存在一个辛同胚φ: m→m，使得φ(l1)=l2，且φ^2=id，则称(l1, l2)构成一个孪生结构。
现在，把x看作一个辛流形。把每个素数p对应的“点”看作一个零维拉格朗日子流形。
那么，孪生素数对(p, p+2)对应於一对拉格朗日子流形，它们之间由一个特定的辛同胚相联繫。
这个辛同胚是什么？
肖宿放下笔沉思了会儿。
在数轴上，从p到p+2是一个平移。
在x中，这个平移应该对应於一个变换t，它在每个p进分量上的作用是t(x) = x + 2。
t是一个辛同胚吗？在顾—辛框架的辛结构中，平移確实是辛同胚，因为辛形式是平移不变的。
所以t是辛同胚。
那么t^2就是平移4，不是恆等映射。
所以不满足φ^2=id的条件。
也许不是要求φ^2=id，而是要求φ和某个对合变换的复合是id？
肖宿继续思考。
设s是某个对合变换，比如s(x) = —x。那么如果t°s是id，则t = s。
这不可能。
如果s°t°s = t^{—1}？
这有点像辛几何中的某种对偶关係。
也许这就是关键。
肖宿开始重新表述问题。
在顾—辛框架中，任何一个辛流形都有三个基本不变量：旋转守恆量、层次结构指数、可计算性度量。
对於x这个特殊的辛流形，它的旋转守恆量应该与素数分布有关。
如果我能够证明，在x中，由孪生素数条件所定义的子集具有非零的旋转守恆量，那么这个守恆量的存在就会强制要求孪生素数有无穷多对，就像角动量守恆强制要求旋转体不能停止一样。
这个想法让肖宿眼前一亮。
他继续在纸上推导起来。
第一步就是构造x上的辛形式。
这需要用到顾—辛框架中的標准方法，通过对每个p进分量赋予一个权重，然后取某种直和。
具体来说，设w_p是第p个分量上的標准辛形式，在p进数域上，辛形式可以定义为w_p(x,y) = |xy xy|_p，但需要適当正规化。
然后定义总辛形式为Ω = Σ λ_p w_p，其中λ_p是权重係数。
权重係数需要满足某些条件，比如使得Ω是良定义的，即级数收敛，並且使得平移变换保持Ω。
肖宿尝试设λ_p = 1/(p log p)。
这样Σ λ_p收敛，因为Σ 1/(p log p)发散？
不，Σ 1/(p log p)是发散的，积分∫ dx/(x log x)发散。
所以需要衰减得更快。
λ_p = 1/(p (log p)^2)？
这个级数收敛，因为∫ dx/(x (log x)^2)收敛。
好，就用这个。
第二步是定义孪生结构。
设l_p是x中对应於素数p的点，即第p个分量为p，其他分量为0的嵌入像。
那么对於孪生素数对(p, p+2)，我们有一对点(l_p, l_{p+2})。
现在考虑变换t: x → x + 2。
这是一个辛同胚，因为Ω是平移不变的。
考虑对合变换s: x → —x。
s也是辛同胚，如果Ω是偶函数的话，这还需要验证，但暂时假设成立。
那么s°t是一个变换，它把x映到 —x—2。
这个变换的平方是？
(s°t)^2 = s°t°s°t = s°(t°s°t)。t°s°t把x映到 t°s(t(x)) = t°s(x+2) = t(—x—2) = —x。
所以t°s°t = —id。
因此(s°t)^2 = s°(—id) = —s。
这不是恆等映射。
有点乱。
肖宿意识到，可能还需要更系统的分析。
定义3 (孪生条件)：两个整数m和n是孪生素数对，若且唯若：
1. φ(m)和φ(n)都是x中的“算术奇点”，即对应素数的像；
2. d(φ(m), φ(n)) = 2；
其中2是所有p进分量差异的加权和。
如果m和n是孪生素数对，比如3和5，那么对於大多数素数p，|3—5|_p = | —2 |_p。
对於p≠2，|—2|_p = 1，因为—2不被p整除。
对於p=2，| —2 |_2 = 1/2，因为2整除—2一次。
所以d(φ(3), φ(5)) = Σ w(p) · 1 (对p≠2) + w(2) · (1/2)。
因为Σ w(p)发散，所以这个和发散。
所以3和5在加权度量下的距离是无穷大？
肖宿皱起眉头。
不对，这样定义有问题。
他意识到，如果直接用原始定义，任何两个不同整数的距离都是无穷大，因为对无穷多个p，|m—n|_p = 1。
加权和自然发散。
需要修改。
也许不是所有p都计入？
也许只有那些对“区分”m和n有贡献的p才计入？
肖宿托腮思考了一会儿，他觉得定义2还不够完备。
定义2在实际计算中，应该只考虑那些|m—n|_p ≠ 0的p，即p不整除m—n。
对於这些p，|m—n|_p = 1。
所以d(φ(m), φ(n))正比於这些p的权重和。
当m—n固定时，这个和发散，所以需要正规化。
减去发散项，留下有限部分。
肖宿自己曾经在《数学发明》那篇论文中用过类似的技巧：对於素数计数函数的误差项，减去主项后，剩余部分可以用一个收敛的级数表示。
在这里也可以用同样的方法。
定义2 (正规化加权度量)：定义正规化距离d?(φ(m), φ(n)) = lim_{x→∞} [ Σ_{p≤x, p?(m—n)} w(p) Σ_{p≤x} w(p)/p ]
这个定义的精妙之处在於，第一项求和是对所有不整除(m—n)的素数，第二项减去的是所有素数的某种平均。
当x→∞时，两个发散项抵消，留下一个有限值。
肖宿开始估算这个值。
对於固定的差值k=m—n，不整除k的素数占比大约是n_{p|k} (1—1/p)。
所以第一项约等於(n_{p|k} (1—1/p)) · Σ_{p≤x} w(p)。
第二项是Σ_{p≤x} w(p)/p。
两者相减后，主项抵消，剩下的是一个收敛级数。
当k=2时，只有p=2整除k。
所以n_{p|k} (1—1/p) = 1—1/2 = 1/2。
因此：d?(φ(m), φ(n)) = lim [ (1/2)·Σ_{p≤x} w(p) Σ_{p≤x} w(p)/p ] + 有限修正= lim Σ_{p≤x} w(p)·(1/2 1/p) + 有限修正
当p很大时，(1/2 1/p)趋近於1/2，所以这个级数发散，除非w(p)衰减得足够快。
w(p) = (p—1)/p · log p ~ log p。
乘以(1/2 1/p)后，仍然~ (1/2) log p，求和发散。
又卡住了。
肖宿揉了揉紧绷的太阳穴。
也许w(p)需要重新设计。
也许应该让w(p)衰减得快一些，比如w(p) = log p / p？
但这样在之前的有理点估计中就不够用了。
他陷入了沉思。
窗外传来远处的汽车声，很轻，像是从另一个世界飘来的。
等等。
肖宿突然想到一种可能性。
也许根本不需要d?(φ(m), φ(n)) = 2这个条件。
也许孪生素数的本质特徵在於，φ(m)和φ(n)在x中形成某种特殊的“双子结构”，一种在辛几何意义下的配对。
他想起自己在顾—辛框架中定义的“孪生结构”，那原本是用来描述辛流形上两个互为对偶的子流形的。
如果把这个概念移植过来...
孪生结构的定义是设(m, w)是一个辛流形，l1和l2是两个拉格朗日子流形。
如果存在一个辛同胚φ: m→m，使得φ(l1)=l2，且φ^2=id，则称(l1, l2)构成一个孪生结构。
现在，把x看作一个辛流形。把每个素数p对应的“点”看作一个零维拉格朗日子流形。
那么，孪生素数对(p, p+2)对应於一对拉格朗日子流形，它们之间由一个特定的辛同胚相联繫。
这个辛同胚是什么？
肖宿放下笔沉思了会儿。
在数轴上，从p到p+2是一个平移。
在x中，这个平移应该对应於一个变换t，它在每个p进分量上的作用是t(x) = x + 2。
t是一个辛同胚吗？在顾—辛框架的辛结构中，平移確实是辛同胚，因为辛形式是平移不变的。
所以t是辛同胚。
那么t^2就是平移4，不是恆等映射。
所以不满足φ^2=id的条件。
也许不是要求φ^2=id，而是要求φ和某个对合变换的复合是id？
肖宿继续思考。
设s是某个对合变换，比如s(x) = —x。那么如果t°s是id，则t = s。
这不可能。
如果s°t°s = t^{—1}？
这有点像辛几何中的某种对偶关係。
也许这就是关键。
肖宿开始重新表述问题。
在顾—辛框架中，任何一个辛流形都有三个基本不变量：旋转守恆量、层次结构指数、可计算性度量。
对於x这个特殊的辛流形，它的旋转守恆量应该与素数分布有关。
如果我能够证明，在x中，由孪生素数条件所定义的子集具有非零的旋转守恆量，那么这个守恆量的存在就会强制要求孪生素数有无穷多对，就像角动量守恆强制要求旋转体不能停止一样。
这个想法让肖宿眼前一亮。
他继续在纸上推导起来。
第一步就是构造x上的辛形式。
这需要用到顾—辛框架中的標准方法，通过对每个p进分量赋予一个权重，然后取某种直和。
具体来说，设w_p是第p个分量上的標准辛形式，在p进数域上，辛形式可以定义为w_p(x,y) = |xy xy|_p，但需要適当正规化。
然后定义总辛形式为Ω = Σ λ_p w_p，其中λ_p是权重係数。
权重係数需要满足某些条件，比如使得Ω是良定义的，即级数收敛，並且使得平移变换保持Ω。
肖宿尝试设λ_p = 1/(p log p)。
这样Σ λ_p收敛，因为Σ 1/(p log p)发散？
不，Σ 1/(p log p)是发散的，积分∫ dx/(x log x)发散。
所以需要衰减得更快。
λ_p = 1/(p (log p)^2)？
这个级数收敛，因为∫ dx/(x (log x)^2)收敛。
好，就用这个。
第二步是定义孪生结构。
设l_p是x中对应於素数p的点，即第p个分量为p，其他分量为0的嵌入像。
那么对於孪生素数对(p, p+2)，我们有一对点(l_p, l_{p+2})。
现在考虑变换t: x → x + 2。
这是一个辛同胚，因为Ω是平移不变的。
考虑对合变换s: x → —x。
s也是辛同胚，如果Ω是偶函数的话，这还需要验证，但暂时假设成立。
那么s°t是一个变换，它把x映到 —x—2。
这个变换的平方是？
(s°t)^2 = s°t°s°t = s°(t°s°t)。t°s°t把x映到 t°s(t(x)) = t°s(x+2) = t(—x—2) = —x。
所以t°s°t = —id。
因此(s°t)^2 = s°(—id) = —s。
这不是恆等映射。
有点乱。
肖宿意识到，可能还需要更系统的分析。