H 的调和分析依赖：从局部形式读到 D

H 是 An $L^3$ bound for the trilinear Hilbert transform，标题日期为 October 5, 2026，共 93 页。D 是 Pointwise convergence of triple ergodic averages for mixing transformations，标题日期为 October 4, 2026，共 61 页；D 第 61 页参考文献 [22] 明确引用 H 的 October 5 稿。这里始终按这两个固定版本的印刷页码阅读。

本导读把已经展开的局部证明与仍需单独阅读的条件分开。沿每个具体步骤核清依赖关系，才能看出主定理之前实际用了哪些分析估计。

1. H 的主定理不是 D 的直接输入

H 第 2 页 Theorem 1.1 断言

其中

D 实际使用的是更靠近证明内部的局部形式估计，以及曲率局部化、端点空间、两侧估计和核心频率测试。因此不能写成“H 的主定理直接推出 D 的有限局部定理”。

H 自身的主要方向是

D 从前两项及支持它们的指定模块中取输入，加入随深度变化的参数控制。

2. 统一局部估计究竟统一于什么

对长度为 $r$ 的区间 $I$，两篇稿采用

核支撑使全部四个位置位于 $I$ 的固定相对内部；四个边缘积分都消失；归一化后的各阶导数有固定 Gevrey 型界。不同格可独立选择核，Hilbert 值参数只取物理标量坐标。

H 第 4 页定义 $C_N(q)$：对至多 $N$ 个连续深度中的任意有限格集合，要求

Theorem 2.2 说某个 $q\in(2,3)$ 满足

它统一于深度个数、格集合、格网和允许的核族，但输入函数在深度间固定。D 的输入时间表不是自动包含在这个陈述中。

3. D 还加上了深度变化

D 第 11 页 Theorem 3.2 固定根区间 $J$ 下的一棵有限二进树，最大深度为 $d$，允许每个角色有整个深度时间表 $f_{j,s}:J\to\mathbb C$，$0\le s\le d$，并在 $J$ 外延拓为零。把全部深度分成 $W_j$ 个确定的非空连续块，在每个块 $B=\{a,\ldots,b\}$ 上要求

几乎处处成立。四个角色的块划分可以不同。结论为

常数不依赖深度、块数及其划分。

没有求和格的深度也要预先指定函数，因为完整时间表参与比较。D 在第 4–7 节证明这些额外变化预算，不能只把 $f_j$ 换成 $f_{j,s}$ 就引用 H2.2。

4. 证明链中的四个主要分析关口

首先是局部检测。H 第 4 节从二次图表和有限尺度的返回出发，得到有理快分裂及 Fourier 展开，并结合指定的离散逆定理和分离步骤。H §3.4 的压缩与第 5 节的基本增量展开负责把相关性放进有限目录和尺度分组中。

第二是曲率局部化。H §6.1 用标签构成图：大相关性检测一条边，短路径把各边分裂传到端点。§6.2–6.3 的颜色和历史球掩膜使同色不同组在可用端点上分离；整格小内积和私有坐标再给出 Bessel 界。

第三是两侧估计。H 第 7 节使用短块比较、固定 stack 函数和耦合的近带项。固定 stacks 的构造在 Lemma 7.4；整个 hull 上的极大函数与共同停止在 §7.6。停止一个求和项不等于重新裁剪此前固定的函数。

第四是三个或四个核心角色。H 第 8 节提供模式、分量、代表和平方大小；§9.1 选共同成功高度；§9.2 转成频率测试；§9.3 Lemma 9.1 控制有限稀疏计数；§9.4–9.5 把分组和幅度分箱相加。最后第 10 节选参数、重启和吸收。

这些模块相接时要保持三件事：完整格上的范围空间、原始格上的最小值，以及先选复杂度次数再选指数的顺序。

5. 为什么 H 和 D 必须共用一个 $q$

D 第 60 页明确核对这一点。H 的局部检测允许任意 $q>2$，对数复杂度的次数独立于 $q$，系数可以依赖 $q$。短块比较允许 $2<q<3$，并保留与 $q-2$ 成比例的显式损失。其余复杂度次数先于 $q$ 固定。

设 H 与 D 的相应次数分别为 $C_{19}^{H},C_5^{H}$ 和 $C_{19},C_5$。D 选择同一个足够接近 $2$ 的 $q$，满足

随后在这个 $q$ 上重新运行 H 第 2、10 节的参数及吸收证明，才得到

所以共同 $q$ 来自 H 证明层面的参数顺序，而非把 H2.2 中“存在某个 $q$”直接当成“所有接近 $2$ 的 $q$ 都已由定理陈述保证”。

6. 配套精读与原文位置

成功高度后的标量 Fourier 分析 从式 (29) 的有限模型开始，展开 Haar 平方比较、四条消失线、完整陪集合并、三核心 Schur 界及失败历史的概率求和。模式构造和分量近正交明确作为输入。

一次共享染色与小异常根 展开 §6.2 的 Lemma 6.3。在原始顶点列表、出生记录和整个单调图族预先固定的条件下，它证明每次延迟实现都有有限颜色变化，并选取同一次全局实现，使第一次所需标记失败的格具有小的相对总长度。主数组与高数组的独立性、不同上下文共享高数组的要求均保留。

历史球掩膜与端点 Bessel 界 从一次成功固定的颜色实现开始，证明 Lemmas 6.4–6.5。它详细处理历史中心、当前可用顶点、只有较细组需要未来见证、重复系数先合并及伴随保留整个端点格。

短路径的快空间有限代数 展开 Lemma 6.2。它假定边分裂已经存在，证明两次有理消元的高度预算、两次各向同性替换、联合块相消和端点像空间。

双槽位返回的分析检测 展开 Lemma 6.1 不同槽位部分的前半段。它从大相关性推出所有小返回的频率增量有界，逐项保留大实参数，核明固定核 Bessel 反证及先倍数个数、后返回阈值的顺序。

有界返回到一参数有理快分裂 接上双槽位检测所得的返回条件。在明列的 Minkowski 第二定理输入下，它展开反对称恒等式、整数各向同性空间、极体与投影高度，并控制慢量和有效曲率。一般多参数矩阵情形不在本章范围内。

同槽位内积的物理检测 通过区间平滑和同一个 Fourier 变换上的能量反证产生返回条件，再接上同一个有理快分裂。结论控制整个格上的物理内积；私有坐标的正交性仍由标签与掩膜的端点分离另行保证。

同标签的固定检测模板 展开 §6.4 的 Lemma 6.6，把原始列或已插入模板与目标物理残差的大四线性相关性转成一个同标签模板矩。整数 carry 筛选、先取余数的水平 Fourier 展开和两个观察坐标的平方和估计共同保证统一预算。非线性振幅来自固定有限族，外线性调制仍可任意取实数；本章不处理 Lemma 6.7 的目录终止。

变化历史下的列目录终止 先完整证明 Lemma 3.3 的第一条前缀行估计，再在明列的固定输入下展开 Lemma 6.7 的主目录及 helper 目录终止。完整根叶路径预留原始预算，实际投影仍只使用当前可用列；主历史不含 helper 秩，整个 helper 基在主目录完成后固定，helper 阶段的插入另行计数。活跃格路径数仍是本章引用 H 第 38 页 Proposition 5.8 的输入；其所需论证现已在给定基本数据下于 H10 展开。原始目录预算的构造现见 H11 第 16 节；实际历史清单现见 H12 第 6 节；完整侧基的构造与数量仍需 H 第 7–8 节的输入。

固定三列与活跃路径预算 从 Proposition 5.6 已提供的基本数据出发，展开 H 第 37–38 页 Lemma 5.7 与 Proposition 5.8 所需的固定三列尺度计数、小值路径和、活跃格路径数及最小值归约。同一 H10 模块的三变量技术附录 推导这里需要的有理快分裂和有限展开。原始目录及其路径预算在本章中作为输入，其构造现见 H11；后续实际历史清单现见 H12；完整侧基仍须另行构造。非活跃格误差与两延迟差误差分别保留。

原始基本列与整条路径标签预算 展开 H 第 35–36 页 Proposition 5.6 所需的旧列、固定预测列和两个高槽位额外列的构造，再合成原始路径预算。空间压缩、局部检测、全尺度预测目录和参数选择分列在同一 H11 模块的四篇技术附录中。检测明确使用外部离散二次逆定理；第 31、35 页精度记法的差异由可验证的定量选择补足，不据此判定作者的记号意图。实际后续历史、整个 helper 基和全局吸收仍不在本章结论中。

实际搜索历史、当前组局部化与远带转移 展开 H 第 47–52 页的滤子安排、Proposition 6.8 与 Lemma 6.9。先逐项列出搜索与转移实际使用的有限历史，再在原始活跃格上证明局部化，保留每叶完整组和及原始最小值。两个终端带均进入精确恒等式，两个远带方向分别按所需的严格秩序估计。同一 H12 模块的历史与精度附录 详列投影词、pad 选择和误差量词。完整侧基的构造与数量、线性侧能量以及近带的全局估计仍需后续证明。

短深度块与同一个有限深度常数的比较 展开 H 第 52–57 页 Lemmas 7.1–7.2。先用两次加权外推保留混合范数的原次序，再通过叶深矩形、共享二次随机化、单个重槽位截断和两次取样回到原核。短块常数允许依赖固定核类及预先统一固定的八阶矩界。绝对复杂度次数先于指数选择；这里仍保留同一个有限深度常数，没有提前作最终吸收。计算与边界附录 展开完整取样质量与具体反例，文献附录 说明实际使用的 2006 年函数对外推定理及尚未直接核实的 2011 年原引。变动侧输入的固定栈、完整侧基、线性侧能量和近带全局估计仍需后续证明。

这些章节各自有明确的输入和输出。读完某一页不等于已经证明整个 H，也不等于已经消除了 D 的全部分析依赖。

7. 接下来真正还要补什么

本批已把 Lemma 6.1 的不同槽位与同槽位检测接到一参数有理快分裂，保留其中明列的经典输入。固定三列所需的至多三变量、固定参数缩放形式现已在 H10 技术附录 展开。这补上了这里需要的 Lemma 4.3 形式。H11 的预测附录 进一步证明固定低列所需的全尺度尾部与有限目录，检测附录 在注明的外部离散二次逆定理下展开连续化及局部残差检测。这仍不代表 Lemma 4.4 的所有强化尾界或整个 Section 4 已经展开。

历史球掩膜与端点 Bessel 界所需的成功固定染色输入现已补齐；原始顶点列表、出生记录和整个单调图族预先固定，仍是这一步的输入。染色一章只控制标记失败这一类首次异常根。同标签模板一章进一步补齐了 Lemma 6.6 的统一测试；变化投影历史下的 Lemma 6.7 目录闭合现已在明列的固定输入下展开；所用活跃格路径数出自 H 第 38 页 Proposition 5.8，其在给定基本数据下的论证现见 H10；原始目录及其路径预算的构造现见 H11，该构造不借用活跃格数或后续目录终止；H12 列出了实际局部化与转移历史，并在给定固定完整侧基的条件下证明局部远带估计。完整侧基的构造与数量、线性侧能量及近带全局估计仍是后续输入，其他停止机制的误差与根长度预算也仍需分别展开。

H13 已展开固定栈的短块比较，但未从变动的侧输出构造这些栈，也未证明有限深度常数的一致有界性。后续两侧与共同停止、完整侧基和全局近带求和仍需分别核对。

此外，两侧 stack 和 hull 估计、第 8 节模式与分量构造，以及最终共同参数下的重启和吸收，仍未在这十三个局部模块中全部展开。各章已经证明的结论与所保留的输入分别列明。