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

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

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

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

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

    肖宿需要一个翻译。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    肖宿把这个不变量记作。

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

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

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

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

    现在框架有了。

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

    最难填的一块肉，是证明确实大于零。

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

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

    然后他发现了一个问题。

    两个估计之间有重叠。

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

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

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

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

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

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

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

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

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

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