“不过你们的华国人比较例外，你们的团队通常都只接纳自己国家的学者，很少会有外来学者进入你们的研究团队。”

听到这话，韩川笑了下。

这话说的倒也没毛病。

真要说，最团结的是国人，但...

曼努埃尔·席尔瓦的手指悬在鼠标左键上方，迟迟没有点下“下载PDF”的按钮。屏幕幽蓝的光映在他瞳孔里，像两小片未被驯服的冰湖。他下意识摸向床头柜上那杯早已凉透的咖啡，指尖触到杯壁时才发觉自己正微微发抖。

不是因为冷。

是因为他忽然意识到——自己正站在数学史某条隐秘岔路口的入口，而门缝里漏出来的光，刺得人睁不开眼。

他闭了闭眼，再睁开时迅速切回Arxiv首页，在搜索栏输入“Han Chuan”+“Vinogradov”+“minor arc”，回车。三秒钟后，页面弹出六篇结果。最上面那篇，正是半年前轰动解析数论圈的《一种重构维诺格拉多夫圆法中八角和估计的误差控制方法》，发表于《Journal of the American Mathematical Society》第36卷第4期，引用量已破127——对一篇纯理论工具型论文而言，这几乎是爆炸级的数据。

他点开这篇旧文的参考文献页，逐行扫过。在第18条引用处顿住：*H. Chen, “On the uniform convergence of exponential sums over short intervals”, Acta Arith. 192 (2020), 301–326.*

——那是韩川本科毕业论文的扩展版，发表时年仅21岁。

埃尔席猛地坐直身体，脊椎骨节发出轻微咔响。他调出自己电脑里存着的导师伦纳德教授手写讲义扫描件，翻到第七讲《圆法的现代困境》。泛黄纸页边缘有导师用红笔批注的一段话：“……若能建立某种双尺度衰减机制，使主弧贡献可控、劣弧振荡可压，则哥德巴赫之‘三素数定理’瓶颈或可突破。惜乎现有框架缺乏内嵌稳定性结构——除非有人能造出数学意义上的‘串级滤波器’。”

他盯着“串级滤波器”四个字，喉结上下滚动了一下。

窗外，普林斯顿初冬的夜风撞上玻璃，发出细碎声响。远处传来救护车由远及近又远去的鸣笛，像一段被拉长的、不协和的音阶。

埃尔席终于点下下载键。

PDF加载完成。他跳过摘要，直接翻到第37页——那里是全文第一个定义框：

**定义3.12（双层控制列）**

设 \mathcal{C}_1 = \{c_{1,n}\}_{n\in\mathbb{N}} 与 \mathcal{C}_2 = \{c_{2,n}\}_{n\in\mathbb{N}} 为两个正项单调递减序列，满足：

(i)\sum_{n=1}^\infty c_{1,n} < \infty ，且 \lim_{n\to\infty} n \cdot c_{1,n} = 0 ；

(ii)\sum_{n=1}^\infty c_{2,n} = \infty ，但 \sum_{n=1}^\infty c_{2,n}^2 < \infty ；

(iii) 对任意 \varepsilon > 0 ，存在 N_\varepsilon ，使得当 n > N_\varepsilon 时， c_{2,n} < \varepsilon \cdot c_{1,n} 。

称 (\mathcal{C}_1,\mathcal{C}_2) 构成一个双层控制列，记作 \mathbf{DC} 。

埃尔席的呼吸停滞了半秒。

这不是什么玄学比喻。这是真真切切的、可计算、可验证、可嵌入任何Fourier分析框架的数学对象！它把工程学里“快慢回路”的思想翻译成了严格的序列收敛性条件——而第三条(iii)正是整个结构的精魂：外层慢变序列始终被内层快变序列压制，如同舵面微调始终包裹在主翼大角度偏转的包络线之内。

他手指发颤地往下拖动页面，停在第52页引理4.8：

**引理4.8（劣弧能量压缩定理）**

设 S(\alpha) = \sum_{p\leq X} e^{2\pi i \alpha p} 为素数指数和， \mathfrak{m} 为标准劣弧集合。则对任意 \mathbf{DC} = (\mathcal{C}_1,\mathcal{C}_2) ，存在常数 C > 0 ，使得

\int_{\mathfrak{m}} |S(\alpha)|^3 d\alpha \leq C \cdot X^2 \cdot \left( \sum_{n=1}^\infty c_{1,n} \right)^{\frac{1}{2}} \cdot \left( \sum_{n=1}^\infty c_{2,n}^2 \right)^{\frac{1}{2}}.

这个不等式右边……没有 \log 因子！没有 \log\log ！甚至没有 \log^A ！

埃尔席的太阳穴突突直跳。他抓起手边的草稿纸，飞速写下维诺格拉多夫原始估计： \int_{\mathfrak{m}} |S(\alpha)|^3 d\alpha \ll X^2 (\log X)^{-A} 。A是某个正数，但永远卡在 \frac{1}{3} 以下——这正是三素数定理无法升级为弱哥猜的致命软肋。

而眼前这个新估计……右边是 X^2 乘以两个收敛级数的几何平均！只要选一组满足条件的 \mathcal{C}_1 、 \mathcal{C}_2 ，比如 c_{1,n}=n^{-2} 、 c_{2,n}=n^{-\frac{3}{2}} ，那么整个上界就坍缩成 O(X^2) ——干净利落，不带任何对数污染。

他猛地从椅子上弹起来，冲到书架前抽出一本蒙尘的《Additive Number Theory: The Cssical Bases》。翻到第217页，手指划过哈代-李特尔伍德圆法的标准推导流程，最终停在那个决定命运的积分分割点：主弧需贡献至少 \frac{1}{2}X^2 量级，劣弧必须压到 o(X^2) 才能保证总和为正。

现在，劣弧被压到了 O(X^2) ——但前面那个常数 C 呢？他疯狂翻回论文第63页，找到定理5.1的证明末尾：

> “取 \mathcal{C}_1 = \{n^{-2}\} ， \mathcal{C}_2 = \{n^{-\frac{3}{2}}\} ，经数值验证，对应常数 C = 0.987 < 1 。故 \int_{\mathfrak{m}} |S(\alpha)|^3 d\alpha < 0.99 X^2 ，而主弧贡献 > 1.01 X^2 ，二者之差严格大于零。”

埃尔席盯着“0.987 < 1”这行小字，仿佛被闪电劈中天灵盖。

他踉跄着扑回电脑前，打开Mathematica新建文档，输入：

广告位置下