同槽位内积的检测：平滑区间与固定 Fourier 能量

本章重建 H 第 40 页 Lemma 6.1 的同槽位分支，使用第 16–18 页 Lemma 4.3 的一参数返回论证。原稿见 An $L^3$ bound for the trilinear Hilbert transform，固定 October 5 稿，第 40 页。

这里直接保留区间中心造成的任意大水平平移，不把它隐藏在一个未经量化的“平移闭包”内。分析结论仍是所有小返回的频率增量有界；随后接入有理快分裂章。不同槽位的两个观察坐标和侧函数 Bessel 界不用于本证明。

返回 H 导读

1. 原始列和所需的反证

固定槽位 $i\in\{0,1,2,3\}$ ， $c_i\in\{-1,3,-3,1\}$ 。两个有界物理列为

\phi_v(y)=e(c_i\lambda_vy^2+\beta_vy) \sum_{n_v\in\mathbb Z^{d_v}}\chi_v(\theta_vy-n_v) e\!\left(c_i(\theta_vy)^TC_v(\theta_vy-n_v)\right),

以及同型的 $\phi_w$ 。假定 $\|\phi_v\|_\infty,\|\phi_w\|_\infty\le1$ 。源 Definition 4.1 的复杂度 $H\ge\mathrm e^2$ 控制

d_v,d_w\le\log H,\quad \operatorname{ht}(C_v),\operatorname{ht}(C_w)\le H,

振幅支撑为相应的 $[-H,H]^d$ ，所需一阶导数不超过 $H^{C_0}$ 。所有 $\theta,\lambda,\beta$ 均为任意实参数。

固定长度 $r>0$ 、中心 $x_I$ 的区间 $I$ 。设某个 $0<\tau_2\le1$ 满足

\left|\frac1r\int_I\phi_v(y)\overline{\phi_w(y)}\,\mathrm{d}y\right|>\tau_2. \tag{大内积}

要从中构造曲率差数据的式 (2) 分裂。这样当图边阈值 $H_{\mathrm{ed}}$ 预先大于统一构造预算时，上式就迫使两个标签距离至多为 $1$ 。

2. 归一化时不估计任意大的中心

置 $y=x_I+rz$ ，其中 $-1/2\le z\le1/2$ 。定义

V=r(\theta_v,\theta_w),\quad a=x_I(\theta_v,\theta_w),\quad C=\operatorname{diag}(C_v,-C_w),\quad \Lambda=r^2(\lambda_v-\lambda_w).

再记

\widetilde C=c_iC,\quad \widetilde\Lambda=c_i\Lambda,\quad \chi(q_v,q_w)=\chi_v(q_v)\overline{\chi_w(q_w)}.

乘积可以精确写成

\Psi(z)=\phi_v(x_I+rz)\overline{\phi_w(x_I+rz)} =e(\widetilde\Lambda z^2+bz+c) \sum_{n\in\mathbb Z^{d_v+d_w}}\chi(a+Vz-n) e\!\left((a+Vz)^T\widetilde C(a+Vz-n)\right). \tag{中心模型}

实参数 $b,c,a$ 可以任意大。振幅没有平移或扩大，其支撑和一阶导数仍有原来的拟多项式预算。并且 $|\Psi|\le1$ 。

取整数 $P$ 为 $C_v,C_w$ 全部既约分母的乘积。则 $P\widetilde C$ 和 $PC$ 都为整数矩阵，而且

\log P\le(d_v^2+d_w^2)\log H\le C(1+\log H)^3. \tag{清分母}

3. 用有定量误差的平滑替代区间指标

取一个固定的非负光滑过渡函数，并在长度 $O(\eta)$ 的边界带中平滑，其中 $\eta=\tau_2/100$ 。可构造 $\vartheta_\eta\in C_c^\infty((-1/2,1/2))$ ，满足

0\le\vartheta_\eta\le1,\quad \|\mathbf1_{[-1/2,1/2]}-\vartheta_\eta\|_1\le4\eta,\quad \|\vartheta_\eta'\|_\infty\le C/\eta.

若需完整 Gevrey 界，可选源文预先固定的 Gevrey 过渡函数；本证明只使用以上一阶界。

定义一个固定函数

F(z)=\vartheta_\eta(z)\Psi(z).

由 $|\Psi|\le1$ 和大内积，

|\widehat F(0)|>\tau_2-4\eta>3\tau_2/4, \quad \widehat F(\xi)=\int_{\mathbb R}F(z)e(-\xi z)\,\mathrm{d}z. \tag{初始 Fourier 值}

同时 $F$ 支撑于长度 $1$ 的固定区间， $\|F\|_\infty\le1$ 、 $\|F\|_2\le1$ 。由

|e(-\xi z)-e(-\xi'z)|\le2\pi|\xi-\xi'|\,|z|

得到

|\widehat F(\xi)-\widehat F(\xi')| \le2\pi|\xi-\xi'|\int|zF(z)|\,\mathrm{d}z \le\pi|\xi-\xi'|. \tag{Fourier Lipschitz}

这个 Lipschitz 界来自支撑的一阶矩，不是来自 $F'$ 。真实振荡频率再大也不会增加它。

4. 含大中心平移的返回公式

取

h\in\mathbb R,\quad m\in P\mathbb Z^d,\quad \delta=Vh-m,\quad d=d_v+d_w.

记 $\widetilde A=\widetilde C-\widetilde C^T$ ，定义

\widetilde\Omega(h,m)= (2\widetilde\Lambda+V^T\widetilde CV)h-V^T\widetilde Am.

对一个整数指标，置 $u=a+Vz$ 、 $q=u-n$ 。将 $z$ 平移为 $z+h$ ，并将求和指标平移为 $n+m$ 。水平相位差精确为

u^T\widetilde C\delta+m^T\widetilde Cu +\delta^T\widetilde Cq +(m+\delta)^T\widetilde C\delta-m^T\widetilde Cn.

最后一项为整数。前两项等于

u^T(\widetilde CVh-\widetilde Am) =a^T(\widetilde CVh-\widetilde Am) +zV^T(\widetilde CVh-\widetilde Am).

普通二次相位的线性增量与最后的 $z$ 项合并，正好产生 $\widetilde\Omega z$ 。所有常数可以取为

\gamma(h,m)=\widetilde\Lambda h^2+bh +a^T(\widetilde CVh-\widetilde Am) +(m+\delta)^T\widetilde C\delta. \tag{常数相位}

其中 $a^T(\cdots)$ 和 $m^T\widetilde C\delta$ 均可能很大，但都留在 $e(\gamma)$ 内。

唯一变量误差相位为 $\delta^T\widetilde Cq$ ，其大小在振幅支撑上受 $D\|\delta\|_2$ 控制。振幅的平移误差也同阶。活动整数指标数至多为 $(2H+5)^d$ ，且 $d\le2\log H$ 。结合 $\vartheta_\eta$ 的导数界，可取

D\le\exp\!\left(C(1+\log H+\log(1/\tau_2))^C\right),\quad D\ge10,

使只要 $|h|+\|\delta\|_2\le1/3$ ，就有

F(z+h)=e(\gamma(h,m))e(\widetilde\Omega(h,m)z)F(z)+E_{h,m}(z),

\|E_{h,m}\|_1+\|E_{h,m}\|_\infty \le D(|h|+\|\delta\|_2). \tag{固定函数返回}

误差支撑于原平滑区间与其小平移的并，长度受绝对常数控制，所以一致上界确实给出所写的 $L^1$ 界。

5. 先固定次数，再固定返回阈值

取

\rho=\frac{\tau_2}{100D},\quad M=\left\lceil100D^2\tau_2^{-2}\rho^{-1}\right\rceil,\quad \varepsilon=\frac{\tau_2}{100DM}. \tag{参数顺序}

这些量先于待检验的返回确定。若

|h|+\|Vh-m\|_2\le\varepsilon,

则前 $M$ 个倍数返回都满足第 4 节的适用条件，因为 $M\varepsilon\le1/100$ 。而

\widetilde\Omega(\ell h,\ell m)=\ell\widetilde\Omega(h,m).

对固定函数返回式取 Fourier 变换：

e(\xi\ell h)\widehat F(\xi) =e(\gamma_\ell)\widehat F(\xi-\ell\widetilde\Omega) +\widehat E_{\ell h,\ell m}(\xi).

设 $\xi=0$ ，用初始 Fourier 值和 $L^1$ 误差界，得到对所有 $1\le\ell\le M$ ，

|\widehat F(-\ell\widetilde\Omega)| \ge|\widehat F(0)|-D\ell\varepsilon > \tau_2/2. \tag{多个大值}

所有大值属于同一个 $\widehat F$ 。不需要把不同倍数对应的测试函数另行识别成同一个函数。

6. 分离区间的总能量导致矛盾

假设 $|\widetilde\Omega|\ge1$ 。中心 $-\ell\widetilde\Omega$ 两两至少相距 $1$ ，而 $\rho<1/100$ ，所以半径 $\rho$ 的 $M$ 个区间互不相交。

由 Fourier Lipschitz 界及 $D\ge10$ ，在这些区间上都有

|\widehat F(\xi)|>\tau_2/2-D\rho>\tau_2/3.

因此

\|\widehat F\|_2^2 \ge M(2\rho)\frac{\tau_2^2}{9} \ge\frac{200}{9}D^2>D^2.

然而本文 Fourier 归一化下的 Plancherel 恒等式是

\|\widehat F\|_2^2=\|F\|_2^2\le1\le D^2,

矛盾。所以每一个满足同一阈值的返回都满足

|\widetilde\Omega(h,m)|<1. \tag{同槽位返回界}

这里没有依赖区间中心、尺度或线性调制的额外常数。

7. 回到未乘槽位系数的曲率数据

把有理快分裂章用于

(\widetilde C,\widetilde\Lambda,V,P,\varepsilon,B_\Omega=1).

其结果是有理空间 $U$ 、正交分裂 $V=V_f+V_s$ ，以及

\widetilde A|_{U\times U}=0,\quad \|V_s\|_2\le H',

\left|\widetilde\Lambda+\frac12V^T\widetilde C_{\mathrm{sy}}V+ V_f^T\widetilde C_{\mathrm{sk}}V_s\right|\le H'.

因 $c_i\ne0$ ，第一条等价于 $A|_{U\times U}=0$ 。有效曲率也精确等于 $c_i\Lambda_*$ ，其中

\Lambda_*=\Lambda+\frac12V^TC_{\mathrm{sy}}V+ V_f^TC_{\mathrm{sk}}V_s.

因为 $|c_i|\ge1$ ，同一个 $H'$ 已控制 $|\Lambda_*|$ 。投影不变，高度不变。乘以固定整数 $c_i$ 对输入复杂度只造成固定幂损失。

综合清分母、平滑及返回阈值预算，

H'\le\exp\!\left(C(1+\log H+\log(1/\tau_2))^C\right). \tag{统一边预算}

所以按所有允许纯列的统一复杂度预先选择 $H_{\mathrm{ed}}\ge H'$ ，大内积便给出图的一条边。取逆否命题：

d_s(v,w)>1\quad\Longrightarrow\quad \left|\frac1{|I|}\int_I\phi_v\overline{\phi_w}\right|\le\tau_2

对任意深度 $s$ 的整个格 $I$ 成立。

8. 输出范围及与端点 Bessel 的连接

本结论控制物理内积。不同组的私有坐标是否正交，要由标签和掩膜的端点分离另行保证；没有把物理估计冒称为无条件增强空间估计。

只要有理快分裂章的经典输入和详细推导被接受，本章就闭合 Lemma 6.1 的同槽位分支。与双槽位返回及同一个快分裂章合在一起，得到 Lemma 6.1 两个检测结论，但颜色例外集、同标签模板与整个目录构造仍是别的模块。

零维水平情形 $d=0$ 也成立：整数和只有一项，所有水平矩阵项为空，返回公式只剩普通二次相位。有限区间平滑和 Fourier 能量反证不需任何改动；快分裂章已单独处理这个边界。