同一个曲率标签怎样产生固定的检测模板

本章精读 H §6.4 的 Lemma 6.6，第 46–47 页，见 An $L^3$ bound for the trilinear Hilbert transform，固定 October 5, 2026 版本。

目标是把一个四线性相关性转成目标残差对同标签模板的一个大矩。模板的非线性振幅只来自固定有限族；线性调制仍可任意取实数。源列无论是原始列还是后来插入的模板，都使用同一个复杂度预算，所以插入次数不会使非线性复杂度逐次增长。

目录怎样在变化投影历史下有限终止是 Lemma 6.7 的另外一段证明。本章只完成供它使用的同标签测试。

1. 固定标签、源列和要得到的矩

固定一个原始顶点的归一化曲率标签

(\theta,C,\lambda),\quad \theta\in\mathbb R^d,\quad C\in\mathbb Q^{d\times d},\quad\lambda\in\mathbb R,

并令 $c=(-1,3,-3,1)$ 、 $e(t)=\exp(2\pi\mathrm{i}t)$ 。设基本复杂度为 $H\ge\mathrm e^2$ ，其中

d\le\log H,\quad \operatorname{ht}(C)\le H.

原始振幅 $\chi$ 支撑于 $[-H,H]^d$ ，且源 Definition 4.1 的固定 Gevrey 常数 $c_0$ 给出

\|\partial^\alpha\chi\|_\infty \le H^{c_0(|\alpha|+1)}(|\alpha|+1)^{c_0(|\alpha|+1)}. \tag{原始振幅界}

不限制 $\theta,\lambda$ 或外线性调制的大小。

源槽位为 $i$ ，目标槽位为 $j\ne i$ ，其余两槽位为 $a,b$ 。原始源列写成

\phi_i(y)=e(\gamma y)\sum_{n\in\mathbb Z^d} \chi(\theta y-n)e\!\left(c_i[\lambda y^2+(\theta y)^TC(\theta y-n)]\right). \tag{源列}

它按源文归一化为有界物理列。目标物理残差记为 $F\in L^2(I)$ ，两个观察参数 $A,B\in L^2(I)$ 满足归一化范数

\|A\|_{2,I},\|B\|_{2,I}\le1.

局部形式 $H_I$ 与前面各章相同，核平滑并支撑于四个坐标都在 $I$ 内部的区域。下文的 $H_I(\phi_i,F,A,B)$ 表示把这四个函数分别放在指定槽位 $i,j,a,b$ ，其 progression 坐标仍按原槽位编号。本证明只使用这些平滑与支撑条件，不使用核的四个消失边缘。

我们要构造同标签模板 $\Phi_{j,r,\beta}$ ，使该源与 $F$ 的四线性形式范数若为 $t_0>0$ ，则对某个模板有

\left|\frac1{|I|}\int_I F(y)\overline{\Phi_{j,r,\beta}(y)}\,\mathrm{d}y\right| \ge t_0/H_0,\quad H_0\le\exp\!\left(C(1+\log H)^C\right). \tag{检测目标}

常数可依赖固定的核与 Gevrey 参数，但不依赖区间、插入秩或任意实调制。

2. 一次固定的平滑分割

选择非负平滑函数 $\rho_1$ ，支撑于 $(-1,1)$ ，并满足

\sum_{n\in\mathbb Z}\rho_1(u-n)=1.

例如先取源文固定 Gevrey 类中的非负 bump $\gamma_0$ ，使它在 $[-1/2,1/2]$ 上严格为正，再定义

q(u)=\sum_{n\in\mathbb Z}\gamma_0(u-n),\quad \rho_1(u)=\gamma_0(u)/q(u).

$q$ 是正的周期函数，有固定正下界；每点只有固定多个求和项。乘积与求倒数的 Leibniz 递推使 $\rho_1$ 保持同一个固定 Gevrey 阶数，所有常数固定。

取乘积

\rho(u_1,\ldots,u_d)=\prod_{\nu=1}^d\rho_1(u_\nu).

于是 $\rho\ge0$ 、支撑于 $(-1,1)^d$ ，且

\sum_{n\in\mathbb Z^d}\rho(u-n)=1. \tag{整数分割}

如果一维导数满足 $\|\rho_1^{(m)}\|_\infty\le C^{m+1}(m+1)^{s(m+1)}$ ，乘积法则和 $\prod_\nu\alpha_\nu!\le|\alpha|!$ 给出同类多维界

\|\partial^\alpha\rho\|_\infty \le C^{d+|\alpha|}(|\alpha|+1)^{C(|\alpha|+1)}.

因此维数增加只造成允许的拟多项式成本。

3. 固定有限的是振幅族，不是全部调制

置 $R_0=H+1$ ，选一个整数

P_0=\lceil32R_0\rceil,\quad \mathcal R=\{0,\ldots,P_0-1\}^d.

对每个槽位 $l$ 、余数 $r\in\mathcal R$ 和实数 $\beta$ ，定义

\Phi_{l,r,\beta}(y)=e(\beta y) \sum_{n\in\mathbb Z^d}\rho(\theta y-n) e\!\left(\frac{r\cdot(\theta y-n)}{P_0}\right) e\!\left(c_l[\lambda y^2+(\theta y)^TC(\theta y-n)]\right). \tag{模板}

每项除非负权重外都模为 $1$ 。由整数分割，

|\Phi_{l,r,\beta}(y)|\le\sum_n\rho(\theta y-n)=1. \tag{模板上界}

非线性振幅只有 $P_0^d$ 种，其对数数量为 $O(d\log(H+1))$ 。因各坐标 $0\le r_\nu/P_0<1$ ，振幅的全部导数有与 $r,\beta$ 无关的统一预算。

外线性调制 $\beta$ 仍遍历全体实数，所以这里没有把整个模板族误称为有限列目录。有限的是非线性形状；Lemma 6.7 再决定实际插入哪些列。

以后也允许源振幅本身为

\chi_{\mathrm{src}}(u)=\rho(u)e(r_0\cdot u/P_0),\quad r_0\in\mathcal R.

其支撑及导数界统一受同一个基本预算控制。下面始终以 $\chi_{\mathrm{src}}$ 表示原始 $\chi$ 或这种模板振幅，不随插入次数重新扩大周期或振幅族。

4. 四个 lifts 与有限整数 carries

在 progression $y_l=x+lt$ 上，把源列按其整数 lift 展开，并在其他三槽插入整数分割。对每槽记

u_l=\theta y_l,\quad d_l=u_l-n_l,\quad n_l\in\mathbb Z^d.

这里 $d_l$ 是向量 lift，水平维数仍记为 $d$ 。所有实际非零项都有 $\|d_l\|_\infty\le R_0$ 。

因为 $u_l=(1-l)u_0+lu_1$ ，

d_l=(1-l)d_0+ld_1+k_l,\quad k_l=(1-l)n_0+ln_1-n_l\in\mathbb Z^d. \tag{carry 关系}

其中 $k_0=k_1=0$ ，只有 $k_2,k_3$ 需要枚举，并且

\|k_2\|_\infty\le4R_0,\quad \|k_3\|_\infty\le6R_0.

所以可能的 carry 对至多有 $(12R_0+1)^{2d}$ 个。

定义每槽匹配相位

\Psi_l(y_l,n_l)= e\!\left(c_l[\lambda y_l^2+u_l^TCd_l]\right).

在其他三槽同时乘入 $\Psi_l$ 和其共轭。完整的四相位乘积可以精确计算。由

\sum_lc_l=\sum_llc_l=\sum_ll^2c_l=0

及 carry 关系，

\sum_lc_l\lambda y_l^2=0,\quad \sum_lc_lu_l^TC[(1-l)d_0+ld_1]=0.

从而

\prod_{l=0}^3\Psi_l(y_l,n_l) =e\!\left(\sum_lc_lu_l^TCk_l\right) =\prod_l e(c_l\theta^TCk_l\,y_l). \tag{共同相位相消}

剩下的每一项都是各槽自己的线性调制。即使 $\theta$ 或 $\lambda$ 很大，这里也没有任何误差。

5. 用平滑函数精确筛选整数 carry

取固定 Gevrey 函数 $\eta_1$ ，满足 $\eta_1(0)=1$ ，支撑于 $(-1/3,1/3)$ ，再令 $\eta(u)=\prod_{\nu=1}^d\eta_1(u_\nu)$ 。于是

\eta(k)=\mathbf1_{\{0\}}(k),\quad k\in\mathbb Z^d.

对一个可能的 carry 对 $\kappa=(\kappa_2,\kappa_3)$ ，约定 $\kappa_0=\kappa_1=0$ ，使用

\eta(d_2+d_0-2d_1-\kappa_2)\, \eta(d_3+2d_0-3d_1-\kappa_3). \tag{carry 筛选}

在实际 lifts 上，两个参数都是整数向量。因此此乘积准确等于对应 carry 的指示函数；对全部允许 $\kappa$ 求和恰为 $1$ 。这是整数点上的精确恒等式，不是对一个不连续约束的近似。

为作周期 Fourier 展开，在每个 $d_l$ 上乘一个固定平滑 cutoff，它在 $[-R_0,R_0]^d$ 上为 $1$ ，支撑于 $(-2R_0,2R_0)^d$ 。把四个 cutoff 与上式的乘积记为 $F_\kappa(d_0,d_1,d_2,d_3)$ 。它支撑于周期 $P_0$ 的基本盒内部，故可光滑周期化，且在所有实际 lifts 上不变。

于是有绝对收敛展开

F_\kappa(d_0,d_1,d_2,d_3) =\sum_{\ell_0,\ldots,\ell_3\in\mathbb Z^d} a_{\kappa,\ell}\prod_{l=0}^3e(\ell_l\cdot d_l/P_0). \tag{分离展开}

下一节核绝对系数和的复杂度，之后才交换这些求和与积分。

6. Fourier 绝对成本为什么只有拟多项式

给一个可反复核算的估计。设 $F$ 是 $n$ 维、每坐标周期为 $P\ge1$ 的光滑函数，记

B_{2n}(F)=\max_{|\alpha|\le2n}\|\partial^\alpha F\|_\infty.

将其缩到单位环面，应用 $(1-\Delta)^n$ 并逐项积分，有

|\widehat F(k)| \le (1+4\pi^2|k|_2^2)^{-n} (1+n)^n(1+P)^{2n}B_{2n}(F).

按整数立方壳计数，半径 $m$ 的壳至多有 $C^n(n+1)m^{n-1}$ 个点，故

\sum_{k\in\mathbb Z^n}(1+4\pi^2|k|_2^2)^{-n} \le C^n(n+1).

因此

\|F\|_{\mathrm W}:=\sum_k|\widehat F(k)| \le C^n(n+1)^{n+1}(1+P)^{2n}B_{2n}(F). \tag{Wiener 界}

零维情形只有常数项，另按绝对值处理。

对 $F_\kappa$ 取 $n=4d$ 、 $P=P_0$ 。其导数来自固定 Gevrey cutoff、固定系数至多为 $3$ 的线性组合及乘积法则，故阶数不超过 $8d$ 的导数满足

\log\bigl(2+B_{8d}(F_\kappa)\bigr) \le C(d+1)\log(d+2).

这对所有 carry 平移 $\kappa$ 一致。周期 $P_0$ 与 carry 个数的成本一起给出

\sum_\kappa\sum_\ell|a_{\kappa,\ell}| \le \exp\!\left(C(d+1)^2(1+\log H)\right). \tag{carry 总成本}

这是一个宽松预算，足以容纳全部固定次数的多维微分。因 $d\le\log H$ ，它是 $H$ 的拟多项式。

7. 先取余数，避免无限指标进入振幅导数

固定一个分离 Fourier 项。对整数向量 $\ell$ ，唯一写成

\ell=P_0q+r,\quad q\in\mathbb Z^d,\quad r\in\mathcal R.

实际 lift 为 $d_l=\theta y_l-n_l$ ，所以

e(\ell\cdot d_l/P_0) =e(q\cdot\theta\,y_l)e(r\cdot d_l/P_0). \tag{取余数}

这里 $q\cdot n_l$ 是整数。可能很大的 $q$ 只改变外线性调制，不再进入非线性振幅。

对非源槽 $l\ne i$ ，相位相消以后出现

e(c_l\theta^TC\kappa_l\,y_l)\, z_l(y_l)\sum_{n_l}\rho(d_l)e(\ell_l\cdot d_l/P_0) \overline{\Psi_l(y_l,n_l)}.

写 $-\ell_l=P_0q_l'+r_l'$ ，就将该表达式准确改写为

z_l(y_l)\overline{\Phi_{l,r_l',\beta_l}(y_l)},\quad \beta_l=q_l'\cdot\theta-c_l\theta^TC\kappa_l. \tag{非源槽}

所有 $\beta_l$ 都允许取任意实数，因此无需估计它们的大小。

源槽还剩平滑水平周期化。写 $\ell_i=P_0q_i+r_i$ ，定义

h_{r_i}(u)= \sum_{n\in\mathbb Z^d}\chi_{\mathrm{src}}(u-n)e(r_i\cdot(u-n)/P_0).

它是单位整数环面上的光滑函数。每点只有至多 $(2H+3)^d$ 个非零项； $r_i/P_0$ 的各坐标都小于 $1$ 。由原始振幅界和上一节的 Wiener 界，

h_{r_i}(u)=\sum_{m\in\mathbb Z^d}b_{r_i,m}e(m\cdot u), \quad \sup_{r_i\in\mathcal R}\sum_m|b_{r_i,m}| \le\exp\!\left(C(d+1)^2(1+\log H)\right). \tag{源周期化}

原始源振幅和模板源振幅都满足同一上界。关键是先把 $\ell_i$ 取余数；直接对含任意 $\ell_i$ 的振幅求导，不能把所得常数声称为一致。

结合外线性相位、carry 相位和 $e((q_i+m)\cdot\theta\,y_i)$ ，源槽只剩一个模为 $1$ 的线性相位 $e(\gamma_\sigma y_i)$ 。

8. 已得到的精确分离式

将各离散指标统称为 $\sigma$ 。前面的计算把原形式精确写为

H_I(\phi_i,F,A,B)=\sum_\sigma c_\sigma\,\mathcal B_\sigma, \quad \sum_\sigma|c_\sigma|\le H_{\mathrm{sep}},

H_{\mathrm{sep}}\le \exp\!\left(C(d+1)^2(1+\log H)\right), \tag{绝对分离成本}

其中每个 $\mathcal B_\sigma$ 的四个槽位分别为

e(\gamma_\sigma y_i),\quad F(y_j)\overline{\Phi_{j,\sigma}(y_j)},\quad A(y_a)\overline{\Phi_{a,\sigma}(y_a)},\quad B(y_b)\overline{\Phi_{b,\sigma}(y_b)}.

每个 $\Phi_{l,\sigma}$ 都属于第 3 节固定模板族。由于模板上界为 $1$ ，两个观察参数的 $L^2$ 范数不增加。

这些恒等式可先对有限 Fourier 和成立，再用绝对系数和通过一致收敛及积分连续性取极限。源周期化和 carry 展开都有绝对收敛；原 lift 求和在每点有限。下文还会单独说明目标残差只有 $L^2$ 正则性时如何取极限。

9. 用两个观察坐标分离光滑核

固定一个 $\mathcal B_\sigma$ ，令 $r_I=|I|$ 、中心为 $x_I$ ，取

y_a=x_I+r_Iu,\quad y_b=x_I+r_Iv,\quad u,v\in[-1/2,1/2].

目标坐标满足

y_j=\alpha y_a+\beta y_b,\quad \alpha=\frac{b-j}{b-a},\quad \beta=\frac{j-a}{b-a}, \quad \alpha+\beta=1. \tag{目标坐标}

因为四个槽位互异， $\alpha,\beta\ne0$ ，并且

1/3\le|\alpha|,|\beta|\le3,\quad |\alpha|+|\beta|\le5.

源坐标也为 $y_a,y_b$ 的固定线性组合，所以源线性相位可分别吸收到两个观察参数中，不改变其 $L^2$ 范数。

变换的雅可比为 $r_I^2/|b-a|$ ，抵消局部形式的 $r_I^{-2}$ 。归一化核 $K(u,v)$ 光滑支撑在固定方盒内部，其各阶导数由原核允许常数统一控制。将它在周期 $8$ 的盒上展开，得到

K(u,v)=\sum_{p,q\in\mathbb Z}k_{p,q} e(pu/8)e(qv/8),\quad \sum_{p,q}|k_{p,q}|\le C_{\mathrm{ker}}. \tag{核分离}

这是二维的同一 Wiener 估计，常数与 $I,\theta,\lambda$ 无关。每个核 Fourier 因子也可吸收到相应观察参数中。

因此只需控制

\iint_{[-1/2,1/2]^2} G(\alpha u+\beta v)\,\mathcal A(u)\mathcal B(v)\, \mathrm{d}u\,\mathrm{d}v, \tag{单个分离项}

其中 $\|\mathcal A\|_2,\|\mathcal B\|_2\le1$ ，且 $G$ 是目标 $F\overline{\Phi_{j,\sigma}}$ 归一化后的函数，先在 $[-1/2,1/2]$ 以外补零。

10. 目标 Fourier 系数就是允许的模板矩

记所有允许模板矩的上确界为

M=\sup_{\substack{r\in\mathcal R\\\beta_0\in\mathbb R}} \left|\frac1{r_I}\int_I F(y)\overline{\Phi_{j,r,\beta_0}(y)}\,\mathrm{d}y\right|.

由模板上界和 Cauchy–Schwarz， $M\le\|F\|_{2,I}<\infty$ 。

因为 $|\alpha|+|\beta|\le5$ ，单个分离项内的目标参数属于 $[-5/2,5/2]$ 。把零延拓的 $G$ 放在 $[-4,4]$ 上，作周期 $8$ 的 Fourier 展开：

G(z)=\sum_{m\in\mathbb Z}\widehat G(m)e(mz/8), \quad \widehat G(m)=\frac18\int_{-4}^4G(z)e(-mz/8)\,\mathrm{d}z.

整个目标取值范围都在一个基本周期内部，因此不会引入非零的周期复制项。

回到原区间，

\widehat G(m)=\frac1{8r_I}\int_I F(y)\overline{\Phi_{j,\sigma}(y)} e\!\left(-\frac{m(y-x_I)}{8r_I}\right)\,\mathrm{d}y.

乘上的字符只把模板的外线性调制加上 $m/(8r_I)$ ，另有一个模为 $1$ 的常数。所以

|\widehat G(m)|\le M/8. \tag{目标系数}

允许全部实线性调制在这里是实质条件； $r_I$ 很小时，新增调制可以非常大，但不造成新的非线性复杂度。

11. 两个非零频率间距分别给出 Bessel 界

先截断目标 Fourier 和。定义

A_m=\int_{-1/2}^{1/2}\mathcal A(u)e(m\alpha u/8)\,\mathrm{d}u,\quad B_m=\int_{-1/2}^{1/2}\mathcal B(v)e(m\beta v/8)\,\mathrm{d}v.

对第一个序列，取周期 $p_\alpha=8/|\alpha|$ 。因为

8/3\le p_\alpha\le24,

长度 $1$ 的观察支撑可零延拓到一个长度为 $p_\alpha$ 的周期区间。Parseval 给出

\sum_{m\in\mathbb Z}|A_m|^2 =p_\alpha\|\mathcal A\|_2^2\le24.

频率符号只重排整数指标。对第二个序列同理，

\sum_{m\in\mathbb Z}|B_m|^2\le24.

于是每个有限目标 Fourier 和的配对满足

\left|\sum_m\widehat G(m)A_mB_m\right| \le\frac M8\sum_m|A_mB_m| \le\frac M8 \left(\sum_m|A_m|^2\right)^{1/2} \left(\sum_m|B_m|^2\right)^{1/2} \le3M. \tag{两个观察平方界}

这里没有把任意 $L^2$ 观察函数换成点态有界函数，也没有对目标 Fourier 系数求绝对和。

现在说明极限。目标 Fourier 截断 $G_N$ 在 $[-4,4]$ 上以 $L^2$ 收敛到 $G$ ，且

\int_{[-1/2,1/2]^2} |G_N(\alpha u+\beta v)-G(\alpha u+\beta v)|^2\,\mathrm{d}u\,\mathrm{d}v \le|\alpha|^{-1}\|G_N-G\|_{L^2([-4,4])}^2.

这是对每个固定 $v$ 作 $z=\alpha u+\beta v$ 换元；范围没有离开基本周期。另一方面，

\|\mathcal A(u)\mathcal B(v)\|_{L^2(\mathrm{d}u\,\mathrm{d}v)} =\|\mathcal A\|_2\|\mathcal B\|_2\le1.

因此配对连续，有限和的一致 $3M$ 上界传到原来的 $L^2$ 目标。无需逐点或绝对 Fourier 收敛。

12. 求和以后取到一个实际模板

核分离的绝对成本和第 11 节给出

|\mathcal B_\sigma|\le3C_{\mathrm{ker}}M.

再按第 8 节求和，

|H_I(\phi_i,F,A,B)| \le C_{\mathrm{test}}M,\quad C_{\mathrm{test}}=3C_{\mathrm{ker}}H_{\mathrm{sep}}. \tag{形式由矩控制}

这对所有归一化观察参数一致。

若形式范数等于 $t_0>0$ ，先选一对观察参数，使相关性大于 $t_0/2$ 。于是 $M>t_0/(2C_{\mathrm{test}})$ 。虽然 $M$ 未必被某个模板取到，按上确界定义仍可选一个实际模板，使矩大于 $M/2$ 。取

H_0=8C_{\mathrm{test}},

就得到第 1 节检测目标，且

H_0\le\exp\!\left(C(1+\log H)^C\right).

构造的周期、余数族、分割函数和全部非线性导数预算从一开始就固定。模板作为下一次源列时，其字符仍先取余数，因而使用同一预算。这里没有“每插入一次就把复杂度再取一次幂”的递归损失。

零维 $d=0$ 时，所有整数 lift、carry 和余数指标为空，分割为常数 $1$ ，模板只是普通二次相位及任意线性调制。四相位相消和两个观察坐标的论证仍成立；只省去水平 Fourier 展开。

13. 这一结论怎样交给目录闭合

Lemma 6.6 现在提供的是：一次失败的四线性小量测试，强迫目标物理残差对某个固定复杂度的同标签模板有定量大矩。该模板可以配上一个新的私有坐标，作为下一次插入候选。

它尚未说明许多这样的失败测试总共发生多少次。被测残差随其他投影改变，因此不能把它当作一个固定向量反复套正交能量。原文在 Lemma 6.7 中引用 Lemma 3.4 的二进前缀论证。下一模块将先完整证明并使用 H §3.3 中 Lemma 3.3 的第一条前缀行估计，再在明列的固定输入下证明 Lemma 6.7 的主目录及 helper 目录有限闭合。模板族的统一性是那条论证的输入，不是它的替代。