第210章 鞍点圆法（3 / 4）
肖宿去年在构建辛几何框架的时候，偶然在一本冷门的会议论文集里翻到了米库辛的旧论文，发现他研究的那种变换，恰好可以用来描述辛流形上不同坐標系之间的对偶关係。
他当时把这个变换做了一些推广，改进了它的收敛性质，然后把它用在了辛几何框架的构建中。
那篇论文发表之后，数学界对顾—辛流型的关注主要集中在孪生素数猜想证明用到的前半部分，而对於傅立叶-米库辛变换，关注的人並不多。
但现在，肖宿忽然意识到，这个变换，恰好可以作为筛法和圆法之间的那座桥樑。
傅立叶-米库辛变换的核心，是把一个定义在离散集合上的函数，映射到一个连续流形上的某种几何对象。
在这个映射下，离散集合上的卷积操作，会对应到流形上的某种相交运算。
而圆法积分，本质上就是一个卷积的傅立叶变换表示。
换句话说，筛法操作和圆法积分，可以通过傅立叶-米库辛变换，统一到同一个几何框架下。
在这个框架里，它们变成了同一个硬幣的两面，而不是两个各自为政的独立工具。
肖宿花了两天时间，把这个对应的具体形式推导了出来。
他构造了一个辛流形，记作m_p，它的每一个点对应於一个素数的某种“状態”。
在这个流形上，哥德巴赫猜想的g(n)函数，恰好等於两个特定拉格朗日子流形的相交数。
而分层筛法给出的下界估计，对应的是这个相交数的一个截断近似。
鞍点圆法给出的主项估计，对应的是同一个相交数在另一个坐標卡下的展开。
两者之间的误差，可以通过流形上的一个几何不变量来统一控制。
肖宿把这个不变量记作。
它的定义涉及弗洛尔同调，在合適的条件下，是一个拓扑不变量，也就是说，它在流形的连续变形下保持不变。
这意味著如果你能证明大於零，那么不管你怎么扰动你的筛子、怎么调整你的积分路径，只要扰动的方式是连续的，g(n)的下界就永远大於零。
而g(n)大於零，就意味著每一个充分大的偶数，都至少有一种方式可以写成两个素数之和。
哥德巴赫猜想，就这么被转化成了一个几何不变量的非零性证明。
现在框架有了。
但框架只是骨架，还需要往里面填肉。
最难填的一块肉，是证明確实大於零。
这就需要用到分层筛法和鞍点圆法的具体估计了。
肖宿重新打开了他之前推导的那些公式，把分层筛法的下界估计和鞍点圆法的主项展开，代入到的表达式里。
然后他发现了一个问题。
两个估计之间有重叠。
分层筛法在估计下界的时候，会重复计数一部分偶数。
鞍点圆法在计算主项的时候，也会覆盖同一批偶数的一部分。
如果直接把两个结果相加，就会把这些重叠的部分算两次，导致最终的估计偏大。 ↑返回顶部↑
他当时把这个变换做了一些推广，改进了它的收敛性质，然后把它用在了辛几何框架的构建中。
那篇论文发表之后，数学界对顾—辛流型的关注主要集中在孪生素数猜想证明用到的前半部分，而对於傅立叶-米库辛变换，关注的人並不多。
但现在，肖宿忽然意识到，这个变换，恰好可以作为筛法和圆法之间的那座桥樑。
傅立叶-米库辛变换的核心，是把一个定义在离散集合上的函数，映射到一个连续流形上的某种几何对象。
在这个映射下，离散集合上的卷积操作，会对应到流形上的某种相交运算。
而圆法积分，本质上就是一个卷积的傅立叶变换表示。
换句话说，筛法操作和圆法积分，可以通过傅立叶-米库辛变换，统一到同一个几何框架下。
在这个框架里，它们变成了同一个硬幣的两面，而不是两个各自为政的独立工具。
肖宿花了两天时间，把这个对应的具体形式推导了出来。
他构造了一个辛流形，记作m_p，它的每一个点对应於一个素数的某种“状態”。
在这个流形上，哥德巴赫猜想的g(n)函数，恰好等於两个特定拉格朗日子流形的相交数。
而分层筛法给出的下界估计，对应的是这个相交数的一个截断近似。
鞍点圆法给出的主项估计，对应的是同一个相交数在另一个坐標卡下的展开。
两者之间的误差，可以通过流形上的一个几何不变量来统一控制。
肖宿把这个不变量记作。
它的定义涉及弗洛尔同调，在合適的条件下，是一个拓扑不变量，也就是说，它在流形的连续变形下保持不变。
这意味著如果你能证明大於零，那么不管你怎么扰动你的筛子、怎么调整你的积分路径，只要扰动的方式是连续的，g(n)的下界就永远大於零。
而g(n)大於零，就意味著每一个充分大的偶数，都至少有一种方式可以写成两个素数之和。
哥德巴赫猜想，就这么被转化成了一个几何不变量的非零性证明。
现在框架有了。
但框架只是骨架，还需要往里面填肉。
最难填的一块肉，是证明確实大於零。
这就需要用到分层筛法和鞍点圆法的具体估计了。
肖宿重新打开了他之前推导的那些公式，把分层筛法的下界估计和鞍点圆法的主项展开，代入到的表达式里。
然后他发现了一个问题。
两个估计之间有重叠。
分层筛法在估计下界的时候，会重复计数一部分偶数。
鞍点圆法在计算主项的时候，也会覆盖同一批偶数的一部分。
如果直接把两个结果相加，就会把这些重叠的部分算两次，导致最终的估计偏大。 ↑返回顶部↑