第210章 鞍点圆法（2/2）

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

到这里，肖宿手上有两件武器了。

一件是分层筛法，负责在整数集合上直接操作，给出g的一个下界估计。

另一件是鞍点圆法，负责在复平面上做积分，给出g的主项近似。

可这样还是不能完全解决问题，毕竟这两件武器是两种完全不同的语言写成的，他们还是分开的。

筛法用的是组合数学和初等数论的语言，而圆法用的是复分析和傅立叶分析的语言。

它们之间的鸿沟，就像两个说著不同方言的人试图交流，虽然偶尔能通过手势和表情猜到对方的意思，但永远无法进行真正精確的对话。

肖宿需要一个翻译。

他想到了自己最熟悉的领域：辛几何。

在辛几何里，不同空间之间的对应，可以用一种叫“傅立叶-米库辛变换”的工具来实现。

米库辛（ikh）是一位苏联数学家，上世纪六十年代研究过一类特殊的积分变换。

后来这个方向因为太难用、应用场景太窄，渐渐被人遗忘了。

肖宿去年在构建辛几何框架的时候，偶然在一本冷门的会议论文集里翻到了米库辛的旧论文，发现他研究的那种变换，恰好可以用来描述辛流形上不同坐標系之间的对偶关係。

他当时把这个变换做了一些推广，改进了它的收敛性质，然后把它用在了辛几何框架的构建中。

那篇论文发表之后，数学界对顾—辛流型的关注主要集中在孪生素数猜想证明用到的前半部分，而对於傅立叶-米库辛变换，关注的人並不多。

但现在，肖宿忽然意识到，这个变换，恰好可以作为筛法和圆法之间的那座桥樑。

傅立叶-米库辛变换的核心，是把一个定义在离散集合上的函数，映射到一个连续流形上的某种几何对象。

在这个映射下，离散集合上的卷积操作，会对应到流形上的某种相交运算。

而圆法积分，本质上就是一个卷积的傅立叶变换表示。

换句话说，筛法操作和圆法积分，可以通过傅立叶-米库辛变换，统一到同一个几何框架下。

在这个框架里，它们变成了同一个硬幣的两面，而不是两个各自为政的独立工具。

肖宿花了两天时间，把这个对应的具体形式推导了出来。

他构造了一个辛流形，记作_p，它的每一个点对应於一个素数的某种“状態”。

在这个流形上，哥德巴赫猜想的g函数，恰好等於两个特定拉格朗日子流形的相交数。

而分层筛法给出的下界估计，对应的是这个相交数的一个截断近似。

鞍点圆法给出的主项估计，对应的是同一个相交数在另一个坐標卡下的展开。

两者之间的误差，可以通过流形上的一个几何不变量来统一控制。

肖宿把这个不变量记作。

它的定义涉及弗洛尔同调，在合適的条件下，是一个拓扑不变量，也就是说，它在流形的连续变形下保持不变。

这意味著如果你能证明大於零，那么不管你怎么扰动你的筛子、怎么调整你的积分路径，只要扰动的方式是连续的，g的下界就永远大於零。

而g大於零，就意味著每一个充分大的偶数，都至少有一种方式可以写成两个素数之和。

哥德巴赫猜想，就这么被转化成了一个几何不变量的非零性证明。

现在框架有了。

但框架只是骨架，还需要往里面填肉。

最难填的一块肉，是证明確实大於零。

这就需要用到分层筛法和鞍点圆法的具体估计了。

肖宿重新打开了他之前推导的那些公式，把分层筛法的下界估计和鞍点圆法的主项展开，代入到的表达式里。

然后他发现了一个问题。

两个估计之间有重叠。

分层筛法在估计下界的时候，会重复计数一部分偶数。

鞍点圆法在计算主项的时候，也会覆盖同一批偶数的一部分。

如果直接把两个结果相加，就会把这些重叠的部分算两次，导致最终的估计偏大。

反过来，如果你试图减去重叠的部分，因为两种方法一个用的是筛法的语言，一个用的是积分的语言，它们“计数单位”不一样，又很难精確界定哪些是重叠的、哪些不是。

肖宿在这个问题上卡了整整三天。

三天里，他试了不下十种方法来处理重叠的问题，可是仍然没有突破。

这让他的状態变得格外不同。

顾清尘最先察觉到了肖宿的异常。

得知肖宿正在写毕业论文时，顾清尘还问过他的题目，可惜肖宿什么也没说了。

他一向不喜欢在结果出来之前大肆宣扬。