两个观察坐标怎样检测返回的频率增量

本章精读 H 的 Lemma 6.1 中不同槽位的分析部分，见 An $L^3$ bound for the trilinear Hilbert transform，固定 October 5 稿第 40–41 页。返回的相位计算来自第 16–17 页 Lemma 4.3 的证明。

目标很具体：一个四线性相关性若不小，则所有足够小的返回，其曲率频率增量都一致有界。大实频率不会被当作误差扔掉。这一页结束时尚未构造有理快空间；该构造还需要下一段几何数论。

返回 H 导读

1. 哪些数据有复杂度界

置

e(t)=\exp(2\pi\mathrm{i}t),\quad(c_0,c_1,c_2,c_3)=(-1,3,-3,1).

两个源槽位为 $i,j$ ，另两个观察槽位为 $a,b$ ，四个指标恰好构成 $\{0,1,2,3\}$ 。源列的形式为

\phi_l(y)=e(c_l\lambda_l y^2+\beta_l y) \sum_{n\in\mathbb Z^{d_l}}\chi_l(\theta_l y-n) e\!\left(c_l(\theta_l y)^TC_l(\theta_l y-n)\right), \quad l=i,j. \tag{列}

按 H 第 15 页 Definition 4.1，固定 $H\ge \mathrm{e}^2$ ，两个源原子的复杂度均不超过 $H$ 。具体而言，

d_l\le\log H,\quad \operatorname{ht}(C_l)\le H,\quad \operatorname{supp}\chi_l\subset[-H,H]^{d_l},\quad \|\chi_l\|_\infty+\max_\nu\|\partial_\nu\chi_l\|_\infty\le H^{C_0},

其中 $C_0$ 为固定绝对常数。更高 Gevrey 导数界是源定义的一部分，但本页只使用一阶界。因此总维数 $d_i+d_j\le2\log H$ 。参数 $\theta_l,\lambda_l,\beta_l$ 可为任意实数，不要求其大小有界。

物理列有固定上界；为省常数，记为 $|\phi_l|\le1$ 。若上界是另一项受控常数，可将它吸收到下文的 $D$ 。所有 $D$ 都可以取原复杂度的拟多项式；在 H 中即 $\exp(k^{O(1)})$ 。

2. 改用两个观察坐标

原四线性积分的四个坐标为 $y_l=x+lt$ 。设观察区间中心为 $x_I$ 、长度为 $r$ ，定义

y_a=x_I+rz,\quad y_b=x_I+rw.

反解得

x=x_I+r\frac{bz-aw}{b-a},\quad t=r\frac{w-z}{b-a},\quad \left|\frac{\partial(x,t)}{\partial(z,w)}\right|=\frac{r^2}{|b-a|}.

对每个槽位，

Y_l=x_I+r(\xi_lz+\zeta_lw),\quad \xi_l=\frac{b-l}{b-a},\quad \zeta_l=\frac{l-a}{b-a}.

源槽位的四个系数 $\xi_i,\zeta_i,\xi_j,\zeta_j$ 都非零。由

\sum_{l=0}^3c_l l^u=0,\quad u=0,1,2

可得

c_i\xi_i\zeta_i=-c_j\xi_j\zeta_j=\kappa\ne0. \tag{混合系数}

也可以把四个互异整数直接代入验证；分母最多为 $9$ ，非零分子为整数，故 $|\kappa|\ge1/9$ 。

把尺度核、平滑局部化和固定雅可比吸收到 $W(z,w)$ 。它在一个固定盒子上有界且 Lipschitz。观察函数延拓为盒子外为零的函数，规范化后

\|f\|_2,\|g\|_2\le1,\quad \operatorname{supp}f,\operatorname{supp}g\subset[-1/2,1/2].

定义一个固定核

K(z,w)=W(z,w)\phi_i(Y_i)\phi_j(Y_j).

可假定 $K$ 支撑于固定盒子， $\|K\|_\infty+\|K\|_2\le D$ 。原相关性归结为

\mathcal C=\iint K(z,w)f(z)g(w)\,\mathrm{d}z\,\mathrm{d}w, \quad |\mathcal C|>\tau,\quad 0<\tau\le1. \tag{相关性}

受控的固定因子只会改变 $\tau$ 的常数倍。所有后续核都指这一个 $K$ ，并不随返回倍数重新定义。

3. 返回和清分母的整数

令

V_l=r\theta_l,\quad V=(V_i,V_j),\quad C=\operatorname{diag}(C_i,-C_j),\quad A=C-C^T,\quad \Lambda=r^2(\lambda_i-\lambda_j).

令 $q_C$ 为两矩阵全部条目既约分母的乘积，则 $q_CC_i,q_CC_j$ 都为整数矩阵，且

q_C\le H^{d_i^2+d_j^2},\quad \log(6q_C)\le C(1+\log H)^3.

取

P_0=6q_C.

因 $\xi_l$ 的分母整除 $1,2,3$ 中的一个，若 $m_l\in P_0\mathbb Z^{d_l}$ ，则 $\xi_lm_l\in q_C\mathbb Z^{d_l}$ 。

一个返回由

h\in\mathbb R,\quad m=(m_i,m_j)\in P_0\mathbb Z^{d_i+d_j}, \quad d_h=Vh-m

组成。其小量是 $|h|+\|d_h\|_2$ ，不是 $\|m\|_2$ 。定义

\Omega(h,m)=(2\Lambda+V^TCV)h-V^TAm. \tag{增量}

我们将证明存在明确的 $\varepsilon_{\mathrm{ret}}>0$ ，使

|h|+\|d_h\|_2\le\varepsilon_{\mathrm{ret}} \quad\Longrightarrow\quad |\Omega(h,m)|<9. \tag{目标}

阈值的倒数为复杂度与 $\tau^{-1}$ 的拟多项式，且不依赖 $|\theta_l|,|\lambda_l|,|\beta_l|$ 。

4. 单个源相位的完整平移计算

只平移第一个观察坐标 $z\mapsto z+h$ 。固定一个源槽位 $l$ ，暂省略下标。记

u=\theta Y,\quad q=u-n,\quad m'=\xi m,\quad \delta=\xi(Vh-m).

平移后 $u$ 变成 $u+m'+\delta$ 。将新的求和指标写成 $n+m'$ ，这是合法的整数指标变换。新水平余量为 $q+\delta$ 。

去掉固定系数 $c_l$ 后，水平二次相位差准确等于

\begin{aligned} &(u+m'+\delta)^TC(q+\delta)-u^TCq\\ &\quad=u^TC\delta+m'^TCu+\delta^TCq +(m'+\delta)^TC\delta-m'^TCn. \end{aligned} \tag{展开}

最后一项为整数，因为 $m'\in q_C\mathbb Z^d$ 。前两项可改写为

u^TC\delta+m'^TCu =\xi u^T(CVh-Am). \tag{重排}

注意 $(m'+\delta)^TC\delta$ 可以很大；它与 $z,w$ 无关，必须放进常数相位。不能以 $\delta$ 小为由把它当作小误差。

唯一剩余的变量相位误差是 $\delta^TCq$ 。在振幅支撑上， $q$ 受复杂度控制，所以它的绝对值不超过受控常数乘 $\|\delta\|_2$ 。振幅变化

\chi(q+\delta)-\chi(q)

同样由一阶导数界控制。在原支撑及足够小的平移支撑的并上，每点的整数指标数不超过 $(2H+5)^{d_l}$ ，其对数为 $O((1+\log H)^2)$ 。矩阵范数和振幅一阶界也有上述预算。对各项求和后，误差仍为 $D\|d_h\|_2$ ，其中 $D\le\exp(C(1+\log H)^C)$ 。这里无需对 $u$ 或 $m'$ 作上界。

5. 大参数全部留在精确相位内

恢复下标，定义

A_l=C_l-C_l^T,\quad \Omega_l=(2r^2\lambda_l+V_l^TC_lV_l)h-V_l^TA_lm_l.

普通二次相位和第 4 节的线性变量项合并后，

\phi_l(Y_l(z+h,w)) =e(\gamma_l)e(c_l\xi_l^2\Omega_lz+c_l\xi_l\zeta_l\Omega_lw) \phi_l(Y_l(z,w))+E_l(z,w),

其中 $\|E_l\|_\infty\le D\|d_h\|_2$ 。为了核清常数项，可取

\begin{aligned} \gamma_l={}&c_l\lambda_l\!\left(2x_Ir\xi_lh+(r\xi_lh)^2\right) +\beta_lr\xi_lh\\ &+c_l\xi_l(\theta_lx_I)^T(C_lV_lh-A_lm_l) +c_l(m_l'+\delta_l)^TC_l\delta_l,\\ m_l'={}&\xi_lm_l,\quad \delta_l=\xi_l(V_lh-m_l). \end{aligned}

这样 $\theta_lx_I,\lambda_l,\beta_l$ 和 $m_l'\delta_l$ 的所有可能大项都有明确归属。

由差数据定义，

\Omega_i-\Omega_j=\Omega(h,m).

所以两个源合成后的 $w$ 频率正好是 $\kappa\Omega(h,m)$ 。令

\mathcal A=c_i\xi_i^2\Omega_i+c_j\xi_j^2\Omega_j,\quad \gamma=\gamma_i+\gamma_j.

核 $W$ 平移的 Lipschitz 误差再贡献 $D|h|$ 。适当增大 $D\ge1$ ，只要 $|h|+\|d_h\|_2\le1/3$ ，就有

K(z+h,w)=e(\gamma)e(\mathcal Az+\kappa\Omega w)K(z,w)+E(z,w), \quad \|E\|_\infty\le D(|h|+\|d_h\|_2). \tag{核平移}

该式在相关积分所用的固定盒子上成立。平移后的截断支撑仍包含在一个固定稍大盒子中。

6. 倍数返回共享同一个核

对整数 $\ell\ge1$ ，返回 $(\ell h,\ell m)$ 的水平误差是 $\ell d_h$ 。频率增量和 $z$ 频率均线性放大：

\Omega(\ell h,\ell m)=\ell\Omega(h,m),\quad \mathcal A(\ell h,\ell m)=\ell\mathcal A(h,m).

常数相位 $\gamma_\ell$ 可以含 $\ell^2$ ，但 $e(\gamma_\ell)$ 的模恒为 $1$ ，没有必要声称 $\gamma_\ell$ 也线性。

当 $\ell(|h|+\|d_h\|_2)\le1/3$ 时，

K(z+\ell h,w) =e(\gamma_\ell)e(\ell\mathcal Az+\ell\kappa\Omega w)K(z,w)+E_\ell(z,w), \quad \|E_\ell\|_\infty\le D\ell(|h|+\|d_h\|_2). \tag{倍数}

右端的核始终是最初的 $K$ 。只有外面的调制、常数和误差变化。

7. 先截高，保住一个不小的相关性

取

B=1+\frac{16D}{\tau},\quad f_B=f\,\mathbf1_{\{|f|\le B\}},\quad g_B=g\,\mathbf1_{\{|g|\le B\}}.

由 $L^2$ 归一化，

\|f-f_B\|_1\le B^{-1},\quad \|g-g_B\|_1\le B^{-1},

而 $\|f\|_1,\|g\|_1,\|f_B\|_1,\|g_B\|_1\le1$ 。所以

\left|\mathcal C-\iint Kf_Bg_B\right| \le\frac{2D}{B}<\frac{\tau}{8}. \tag{截高误差}

因此固定的截高相关性绝对值大于 $7\tau/8$ 。同时 $f_B,g_B$ 的 $L^2$ 范数仍不超过 $1$ ，上界不超过 $B$ 。

这里保留原稿的截高路线。它不是固定有界核情形下的最小必要假设；后面的估计也可以更直接利用核的上界。但不能只说任意 $L^2$ 乘子保持一个与乘子无关的指数 Bessel 常数。

8. 在固定区间上逐式证明 Bessel 界

设 $F\in L^2(\mathbb R)$ 支撑于长度不超过 $1$ 的区间，且 $|\alpha|\ge1$ 。令 $p=|\alpha|^{-1}\le1$ ，在 $[0,p)$ 上周期化：

F_p(w)=\sum_{k\in\mathbb Z}F(w+kp).

每点至多有 $p^{-1}+2$ 个非零项，故

\int_0^p|F_p(w)|^2\,\mathrm{d}w \le(p^{-1}+2)\|F\|_2^2.

周期 $p$ 的 Parseval 公式给出

\begin{aligned} \sum_{\ell\in\mathbb Z} \left|\int_{\mathbb R}F(w)e(\ell\alpha w)\,\mathrm{d}w\right|^2 &=p\int_0^p|F_p(w)|^2\,\mathrm{d}w\\ &\le3\|F\|_2^2. \end{aligned} \tag{Bessel}

正负号只重排整数指标，不改变等式。这一推导先可对可积平方函数使用，再由 $L^2$ 逼近完成；有限区间保证所有积分已定义。

对几乎处处的 $z$ ，取 $F_z(w)=K(z,w)g_B(w)$ 。它的 $w$ 支撑长度至多为 $1$ 。若 $|\kappa\Omega|\ge1$ ，Tonelli 定理与上式说明

\sum_{\ell=1}^M\int \left|\int K(z,w)g_B(w)e(\ell\kappa\Omega w)\,\mathrm{d}w\right|^2 \mathrm{d}z \le3B^2\|K\|_2^2\le3B^2D^2. \tag{固定核平方界}

没有假定不同 $\ell$ 的第一个观察函数相同。

9. 必须先选倍数个数，再选返回阈值

现在依次定义

M=\left\lceil100D^2B^2\tau^{-2}\right\rceil,\quad \varepsilon_{\mathrm{ret}}=\frac{\tau}{1000DM}. \tag{次序}

因 $D\ge1,\tau\le1$ ，有 $M\varepsilon_{\mathrm{ret}}\le1/1000$ 。因此任一满足返回阈值的 $(h,m)$ ，其前 $M$ 个倍数都在第 6 节的适用范围内。

在同一个截高相关性中换元 $z\mapsto z+\ell h$ ，然后代入核平移式。定义

f_\ell(z)=f_B(z+\ell h)e(\ell\mathcal Az),\quad g_\ell(w)=g_B(w)e(\ell\kappa\Omega w).

平移和模为 $1$ 的调制保持 $L^2$ 范数，故 $\|f_\ell\|_2\le1$ 。误差满足

\left|\iint E_\ell(z,w)f_B(z+\ell h)g_B(w)\,\mathrm{d}z\,\mathrm{d}w\right| \le D\ell\varepsilon_{\mathrm{ret}} \le\tau/1000.

于是每个 $1\le\ell\le M$ 都有

\left|\iint K(z,w)f_\ell(z)g_\ell(w)\,\mathrm{d}z\,\mathrm{d}w\right|>\tau/2. \tag{重复相关}

参数次序保证整个有限族同时满足误差界；不能先固定阈值，再任意增大 $M$ 。

10. 固定核的能量不够容纳这些相关性

假设 $|\kappa\Omega|\ge1$ 。先只在 $z$ 变量使用 Cauchy–Schwarz，再求和：

\begin{aligned} &\sum_{\ell=1}^M \left|\iint K(z,w)f_\ell(z)g_\ell(w)\,\mathrm{d}z\,\mathrm{d}w\right|^2\\ &\quad\le\sum_{\ell=1}^M\int \left|\int K(z,w)g_B(w)e(\ell\kappa\Omega w)\,\mathrm{d}w\right|^2 \mathrm{d}z \le3B^2D^2. \end{aligned}

另一方面，重复相关给出严格下界 $M\tau^2/4\ge25D^2B^2$ ，矛盾。因此

|\kappa\Omega(h,m)|<1,\quad |\Omega(h,m)|<|\kappa|^{-1}\le9

对所有满足同一阈值的返回成立。所选 $D,B,M,\varepsilon_{\mathrm{ret}}$ 全部先由复杂度和 $\tau$ 确定，不依赖被检验的返回。

11. 输出的量词与下一步

精确输出可以写成：在本章固定的源列、尺度、平滑核和归一化条件下，若相关性超过 $\tau$ ，则存在受控的 $\varepsilon_{\mathrm{ret}}>0$ ，使每个

h\in\mathbb R,\quad m\in P_0\mathbb Z^{d_i+d_j},\quad |h|+\|Vh-m\|_2\le\varepsilon_{\mathrm{ret}}

都满足 $|\Omega(h,m)|<9$ 。

这不是只对一个特别返回的结论。下一步恰好需要“每个小返回”：对两次返回反对称化，使一个整数配对严格小于 $1$ ，从而等于零。随后用逐次极小值寻找有理快空间，再用一个有定量下界的非零返回控制有效曲率。尚未做这些步骤时，不能直接把本页结论写成式 (2)。

本页使用两个不同源槽位和两个观察坐标。同槽位内积需要单独平滑区间并应用一维 Fourier 返回论证，不能通过删去一个观察函数自动得到。