多重逐点遍历定理

陈述位置与直接推论

三重任意整数斜率为 C Theorem 1.1，p.1；连续斜率任意有限阶为 A Theorem 1.1，p.1。基本三重和四重分别见 D Theorem 1.1，p.2 与 B Theorem 1.1，p.1。四个主陈述均取固定有界可测函数、可逆双可测 mixing 保概率变换。

在本页相同的系统与函数假设下，A 的主定理直接蕴含有限个互异同号非零整数斜率的相同乘积极限。验证分为四步：

1. 若全部 $b_j>0$，取 $M=\max(2,\max_j b_j)$，在 $1,\ldots,M$ 未使用的位置填入常数函数 $1$，应用 A。
2. 若全部 $b_j<0$，令 $S=T^{-1}$、$c_j=-b_j>0$。
3. 逆变换仍可逆、双可测、保概率，而且 $\mu(E\cap S^{-n}F)=\mu(T^{-n}E\cap F)\to\mu(E)\mu(F)$ 当 $|n|\to\infty$，故仍 mixing。
4. 由 $T^{b_jn}=S^{c_jn}$，应用第一步。

这是原主定理的直接推论，沿用全部证明前提，不另称新增定理。例外零测集可依赖固定函数元组与固定斜率。

互异性不可省去。重复斜率须先合并相应函数，所得极限是合并后函数积分的乘积。这一推论不覆盖任意高阶的正负混合斜率，也不涉及任意多项式或稀疏时间。

固定元组的标准因子：取有界代表元，映射 $x\mapsto(f_j(T^n x))_{1\le j\le d,\ n\in\mathbb Z}$。其像分布位于可数个紧圆盘的乘积，平移与变换相容。可数个平移的零集并仍是零集。见 A §2.1，p.3。

对角推前测度 $\Delta_*\mu$ 通常不在 $S$ 下不变。即使某个证明得到一个 $S$-不变的极限连接，仍需解释原始对角起点与这一连接的关系。这里没有将对角集合上的 Birkhoff 性质视作已知。

这也是多重 $L^2(\mu)$ 范数理论与乘积空间 Birkhoff 定理所回答问题不同的原因：前者仍对原始起点 $x$ 积分。

Chebyshev 不等式由 $L^2$ 收敛给出 $\mu\{|A_N-L|>\varepsilon\}\to0$，但这不足以控制这些事件的 $\limsup$。如果额外有可求和界，则 Borel–Cantelli 可用。当前主定理既没有混合速率，也不能直接假设这种可求和误差。

若抽取 $L^2$ 误差可求和的子列，可以得到该子列的 a.e. 收敛。对全体平均长度，仍然需要振荡估计或其他稳定性论证。

图解及其范围

每一行对应一个示性函数。同一点在每一层被击中一次，也在该层的其他行被错过。这是明确的打字机序列，不是遍历平均的反例。

相同现象也可在无理旋转中出现。令 $T(x)=x+\alpha$ 于 $\mathbb R/\mathbb Z$，$\alpha\notin\mathbb Q$，取 $f_1=f_2=\mathrm e^{2\pi\mathrm i x}$、$f_3=\mathrm e^{-2\pi\mathrm i x}$。沿斜率 $1,2,3$ 的乘积恒为 $\mathrm e^{2\pi\mathrm i x}$，而每个积分均为零。这只是结构性极限的例子，不验证 mixing 主定理。

HSY：Pointwise convergence of multiple ergodic averages and strictly ergodic models，Theorem C；J. Analyse Math. 139 (2019), 265–305。假设为可逆、遍历 measure-distal 的 Lebesgue 概率系统，结论对每个固定 $d$ 与有界元组成立。

GHSY：Almost sure convergence of the multiple ergodic average for certain weakly mixing systems，Theorem 3.4；Acta Math. Sin. (Engl. Ser.) 34 (2018), 79–90。PID 的含义是：对每个 $k\ge3$，任意两坐标边缘均为 $\mu\otimes\mu$ 的 $k$-重自连接等于 $\mu^{\otimes k}$。

后续使用的非遍历 distal 版本、最大 distal 因子及相对不交性，按 B Proposition 2.2 与 A Proposition 2.3 的形式引用。不能把 HSY 的遍历版本单独当作这些步骤的全部证明。

第一部分的解析输入是三重振荡，并非任意阶振荡。第二部分也没有假定任意扩张上的高阶逐点定理。后者通过最小支撑选择，在特定空间坐标列表上推出低于该最小值的条件乘积分布。

允许的平均核

$\phi$ 为实值、紧支撑的光滑函数，满足 $\int\phi=1$、$\int t^r\phi(t)\,\mathrm dt=0$ 对 $r=1,2,3$，且存在 $G\ge1$ 使

核参数 $G$ 可以依赖 $\phi$。上述振荡界为 C Proposition 3.5，pp.8–9。若原斜率公因子为 $g$，以 $T^g$ 和 $b_j/g$ 代换；一般系统中仍可逆保测。

来自局部估计的步骤

局部实直线四线性估计经整数重建、有限序列估计，再通过截断轨道转移到任意概率系统。转移常数不依赖该系统，也不要求 Rokhlin 塔。完整后续推导见 C §3.1–§3.2，pp.5–9。

量词与端点选择

对可测复序列 $Z_k$，定义 $\omega(x)=\inf_K\sup_{m,n\ge K}|Z_m(x)-Z_n(x)|$。若不收敛集合有正测度，可取 $E=\{\omega>2\delta\}$，$d_0=\mu(E)>0$。对每个确定 $K$，三角不等式给出 $\sup_{\ell\ge K}|Z_\ell-Z_K|\ge\delta$ 于 $E$。

有限最大值随 $L$ 单调增加。单调收敛定理保证存在确定的 $L>K$，使 $\int\max_{K\le\ell\le L}|Z_\ell-Z_K|\,\mathrm d\mu\ge\delta d_0/2$。递归定义端点即可。

实质需要的是对所有确定分块统一的 $o(w)$ 上界。若上界仅为 $Cw$，则 $Z_k=(-1)^k$ 是反例。若常数依赖端点，也不能使用本反证。

图解及其范围

这里 $c=\delta d_0/2$。右图将两界同时除以 $C^2/c$，因此曲线恰为 $t$ 与 $\sqrt t$。矛盾来自可以逐次选定任意多个确定分块。

局部结果的完整条件

固定 primitive 的不同整数 $b_0=0,b_1,b_2,b_3$ 及 $\delta_0>0,C_0\ge1$。对有限二进树、根区间 $J$、任意子族 $\mathcal I$，每个长度为 $r$ 的 $I$ 配以核 $w_I\in C_c^\infty(\mathbb R^2)$。支撑上每个 $x+b_jt$ 均在 $I$ 内且距边界至少 $\delta_0r$；对每个 $v,j$ 有 $\int w_I(v-b_jt,t)\,\mathrm dt=0$；导数满足 $\|\partial_x^a\partial_t^d w_I\|_\infty\le r^{-(a+d)}[C_0(a+d+2)]^{C_0(a+d+2)}$。

定义 $H_I(z_0,\ldots,z_3)=r^{-2}\int_{\mathbb R^2}w_I(x,t)\prod_{j=0}^3z_j(x+b_jt)\,\mathrm dx\,\mathrm dt$。每个输入 $z_{j,s}$ 在全部深度给定并以 $W_j$ 个确定连续块分割，逐点满足 $V_B(z_j)\le W_j^{-1/2}$。零延拓到 $J$ 外，则 C Theorem 2.2 断言

常数与格点平移、树、深度、子族、核、四个分块及块数无关。实际振荡线性化在四输入中只让测试槽变化。核心依赖见 D Theorem 3.2 与 C §1.2、§§4–6，以及伴随稿 H。

C §1.2 明确说明其技术部分采用对 H 与 D 的 proof by reference，加上斜率敏感修改。固定 $b_j$ 时，不同斜率可改变常数，不要求对整个整数三元组族统一。

三个位点均要求非零且彼此不同，因此连同 $b_0=0$ 共四个不同系数。约去公因子不改变彼此不同或非零性。有关整数重建与二次消去见 C §2.2，pp.4–5；检测、局部化和频率修改见 §§4–5。

正负时间 Abel 步骤

令 $F_n=\prod_{j=1}^3 f_j\circ T^{b_jn}$、$R_N^{\pm}=\sum_{n=1}^N(F_{\pm n}-p)$，则 $\|R_N^{\pm}\|_2=o(N)$。固定 $\phi\in C_c^1(\mathbb R)$，其支撑在 $[-B,B]$；取 $a\to\infty$，$M=\lfloor Ba\rfloor+1$，$w_n^{\pm}=a^{-1}\phi(\pm n/a)$，故 $w_M^{\pm}=0$。

右侧范数至多 $a^{-2}\|\phi'\|_\infty\sum_{n<M}\|R_n^{\pm}\|_2$。先取 $N_0$ 使后段 $\|R_n^{\pm}\|_2\le\varepsilon n$，有限前段乘 $a^{-2}$ 趋零，后段的极限上界为 $O_{\phi,B}(\varepsilon)$。最后 $\varepsilon\to0$。$n=0$ 项为 $O(a^{-1})$，常数项由 Riemann 和趋于 $p$。取 $a=2^k$ 即得结论。

范数输入包括混合正负斜率，见 C Lemmas 3.7–3.8，pp.10–11。不得只写“由硬平均的 $L^2$ 收敛显然得到平滑平均极限”。

设 $N_k=\lfloor c2^k\rfloor$，归一化 $|F_n|\le1$。对固定允许核 $\phi$，

第二项是紧支撑、有限跳点函数的 Riemann 和，极限为 $\|h_c-\phi\|_1$。因此在共同满测集上 $\limsup_k|A_{N_k}-p|\le2^{-h}$，再令 $h\to\infty$。

选含 $1,2$ 的有限有理网格，宽度不超过 $\eta$。对 $2^k\le N<2^{k+1}$，可使 $|N-\lfloor c2^k\rfloor|\le\eta2^k+1$。长度变化误差至多 $2\eta+2^{1-k}$。先 $k\to\infty$，再 $\eta\to0$。

A Lemma 2.5 将光滑振荡与一般系统的范数极限结合，得到标准可逆保概率系统上至多三个不同正整数斜率的全部长度 a.e. 收敛。那里不要求 mixing，且不声称极限为积分乘积。

图解及其范围

图中五个比率只是一组示例。网格间距为 $\Delta$ 时，相邻选定长度之差至多为 $\Delta 2^k+1$。原估计给出至多 $2\Delta+o(1)$ 的误差。全部有理比率与核逼近共用可数个满测集的交。

具体见 A Lemma 3.1，pp.6–7。选择 $N_a(x,u)$ 与悬挂相位 $u$ 无关，取值在 $\{c2^k:c\in F,k\ge a\}$，$F\subset[1,2]$ 为固定有限网格，且在 $E^c$ 上为 $2^a$。

将离散正相关转入悬挂流时还需非负连续相位测试 $\Psi$。它限制小数时间使各槽的整数部分一致，从而把流平均与离散平均比较，误差为 $O(2^{-a})$。集合外的背景贡献由确定长度的 $L^2$ 趋零消失。因此保留的正相关不是将离散式直接无条件替换成连续时间式。

任意阶论证此时只需某个非空中心化支撑 $J_0$，不预设其必须包含全部 $d$ 个槽。最小支撑选择在后面统一进行。

图解及其范围

仅为有限示例。取 $F_1(a)=1$、$F_1(b)=-1$ 及 $F_2=-F_1$，并令 $A_n=(F_1+\cdots+F_n)/n$。图中每个固定长度的均值均为零，但取 $N(a)=1$、$N(b)=2$ 后均值为 $1/2$。这不证明被选择遍历平均的任何律。

悬挂与法则的条件

$C=X\times[0,1)$，$m_C=\mu\otimes\mathrm du$，$S_C^t(x,u)=(T^{\lfloor u+t\rfloor}x,\{u+t\})$。时间一映射保留相位 $u$，因此通常不遍历。$Y$ 是标准概率空间上的联合 Borel 保概率流，以保概率因子 $\pi_Y$ 映到 $C$。所有固定时间的相容关系按零集意义理解，时间积分由联合可测性与 Fubini 处理。

固定同一选择器族与自由超滤子 $\mathcal U$，A Proposition 3.2，pp.7–8 建立唯一法则 $\lambda_Y$，对所有有界可测槽测试满足上式。它的单槽边缘为 $m_Y$，在 $(y_i)\mapsto(S_Y^{it}y_i)$ 下不变，并与扩张及可数逆极限相容。

为何能给定全部参数

这里 $W_Y$ 指时间一映射的最大 measure-distal 因子；A Proposition 2.3 保证它由所有流时刻保持。因此对 $G_i$ 作固定时间平移后，条件期望仍可在同一因子上处理。

A Proposition 3.3 的条件法则不是仅由少数槽的边缘推出。先得给定 $(P_i)_{i\in J}$ 的相对乘积，再将该相对弱混合系统与整个 distal 参数阵列视为保共同因子的 joining。相对不交性才把条件提升到 $P$。所用的非遍历、幂稳定性与相对不交性为 B Proposition 2.2、A Proposition 2.3 中的结构输入。

主画面中的 $\operatorname{grp}(\gamma)$ 表示输出 $\gamma$ 的组号。张量乘积对组号属于 $H$ 的全部输出坐标取积；每组可含多个输出，也允许空组。

每个输出 $D_\gamma:Y\to C$ 为保概率映射，满足 $D_\gamma(S_Y^ty)=S_C^{q_\gamma t}D_\gamma(y)$，$q_\gamma>0$ 为有理数。Definition 4.1 与 Lemma 4.2（A，pp.10–11）还把上述条件从相位 $V$ 提升到最大 distal 因子 $W_Y$。该提升使用固定相位下的 mixing 乘积系统与 distal 扩张的相对不交性。

有限例子的核对：固定任何两符号，第三个仍公平独立，所以 $X$ 条件分布仍公平；同时 $XU_1U_2U_3=1$ 恒成立，故全体不共同独立。

完整的张量估计

B Theorem 4.1，p.11 与 A Theorem A.1，p.21：给定 $0<\varepsilon\le1$、整数 $d\ge1,L\ge0$，$x_1,\ldots,x_m$、$y_1,\ldots,y_m$ 分别在两个实 Hilbert 空间的单位球中。对每个向量族，存在最大度至多 $L$ 的图包含全部绝对内积大于 $\eta$ 的非对角配对，且 $0\le\eta\le\varepsilon^2/10^4$。两图可不同。则任意秩至多 $d$ 的正交投影 $P$ 满足

$C$ 为普适常数。对 $d_m=\lceil(1+\log m)^{3/2}\rceil$，右侧为 $o_{\varepsilon,L}(m)$，对环境维数、投影及允许的 $\eta$ 一致。证明还需高协方差方向分离与 Gaussian 比较，主画面的平方展开只是其中的基本观察。

具体选长闭合见 A Proposition 4.3，pp.11–14。固定清除速度分母的整数 $h$，令 $m(k,c)=\lfloor c2^k/h\rfloor$，$p_{k,c}$ 为选择事件的条件概率，则 $\sum_{k,c}p_{k,c}=1$。对足够大的 $a$，余项满足

这里 $d_{m(k,c)}^{-1}=O(k^{-3/2})$，可求和的是根号内的级数。投影部分先固定 $\varepsilon$ 后取选择尺度极限，再令 $\varepsilon\to0$。

严格极值范围见 A §5.1、Lemma 5.1，pp.14–15。$\Phi$ 为全 distal 参数阵列上的有界实函数，各 $h_i$ 为其指定空间列表的有界实测试，对相应空间乘积法则中心化。允许列表为 $L_i=D$，或 $L_i=(x_0,D_{H_i})$，其中 $H_i\subsetneq\{1,2,3\}$。条件独立性还保证这些测试给定自身 distal 参数后均值为零。

若少于 $k$ 个不同位置各指定一个允许列表，将测试展开为均值与中心化部分。每个非恒定项的支撑小于 $k$，都由最小性消失，因此列表们给定全参数后服从其空间乘积法则。此论证不允许把列表换成任意可测完整状态。A Proposition 3.3 另行用一般系统上至多三项的逐点收敛，确定至多三个完整状态的条件联合分布。

选一个含原变量的位置 $b$。由于 $k\ge4$，可取满射 $\tau:J\setminus\{b\}\to\{1,2,3\}$，把其余位置各自的整份允许列表分入三组。遗漏一个新组，至少遗漏一个旧支撑位置，所以可以使用小于 $k$ 的列表乘积律。角点旧组三编号保留，使原来含原变量的函数仍属于允许类别。全部新辅助变量的乘积律还需用 $r$ 的最大性，见 A Lemma 5.3，pp.16–17。

四重论证直接在四位置相关中最大化 $r$。B Proposition 6.1 还用数组与 Bessel 不等式排除 $r=3$。任意阶论证不照搬这一额外上界，只需最小支撑与全辅助乘积律给出的 $r<k$。

两套条件信息

B Proposition 6.2 与式 (6.2)–(6.3)，pp.19–20，取 $\mathcal D_0(Y)=\sigma(P)$ 和 $\mathcal D_l(Y)=\sigma(P,(y_i)_{i\ne l})$。这里恰有四个位置。A Lemma 5.2 与式 (5.2)–(5.3)，pp.15–16，改取 $\mathcal D_0(Y)=\sigma(P)$ 和 $\mathcal D_i(Y)=\sigma(P,y_i)$。

各自的结论是：每个在 $C$ 上的标准流都有标准流扩张 $Y_*$，使对任意进一步标准流扩张 $\rho:Y'\to Y_*$、任意 $f\in L^2(\lambda_{Y_*})$、每个 $\ell\in\{0\}\cup I$，使用相应论文定义的 $\mathcal D_\ell$ 时都有

选取法则对扩张与可数逆极限相容，阶段测试在极限 $L^2$ 中稠密。扩张使条件信息增加，所以 $\|\mathbb E[f\mid\mathcal D_\ell]\|_2^2$ 单调且不超过 $\|f\|_2^2$。若嵌套闭子空间的投影为 $P_1,P_2$，则 $\|P_2f\|^2=\|P_1f\|^2+\|(P_2-P_1)f\|^2$；能量相等迫使条件期望相等。

四重的后续使用见 B Lemma 6.4，式 (6.9)–(6.11)，pp.21–22。任意阶的单状态使用见 A Lemma 6.1，式 (6.5)，p.18。这一改变避免先要求一般辅助系统上 $n-1$ 项平均的逐点收敛；至多三项的逐点结论仍保留。

行列恒等式的准确对象

设 $Z=M_b(Y)$，其空间为 $Y^I$、测度为 $m_Z=\lambda_Y$，流为 $S_Z^t((y_i)_i)=(S_Y^{it/b}y_i)_i$。因此投影到第 $b$ 槽与 $S_Y^t$ 相容，是流因子。再取 $z_i=(y_{ij})_j$，$E_i=\omega_Z(z_i)$。令列状态 $y_i=y_{ib}$，列的旧参数为 $p$，共同角旧参数为 $w$。取 $q((y_i)_i)=\prod_{j\in J\setminus\{b\}}h_j(L_j(y_j))$，$g(P,y_b)=\mathbb E_{\lambda_Y}[q\mid P,y_b]$，$u(e,y_b)=\mathbb E_{m_Z}[q\mid e,y_b]$。原非零相关保证 $g\ne0$ 于 $L^2$。

A Lemma 6.1，pp.18–19 给出

其中所需更强等式是 $\mathbb E[q((y_i)_i)\mid E,z_b]=g(p,y_{bb})$，来自 A 对参数与单个状态的稳定性。Lemma 6.2 另外处理参数条件独立性。后续给定 $w$，参数 $p$ 与 $e=E_b$ 独立；令 $R(e)$ 表示新 distal 参数所确定的旧全参数阵列。其条件法则 $\alpha_w,\beta_w$ 满足 $R_*\beta_w=\alpha_w$ 及 $\mathbb E_{\beta_w}[u(e,\cdot)\mid R(e)]=g(R(e),\cdot)$。若行列配对恒零，对 $e$ 按 $R(e)$ 条件平均，就会使两个独立同分布的 $g$ 向量几乎处处正交。在可分实 Hilbert 空间中，这迫使 $g=0$，与原相关矛盾。因此存在非零配对，进而得到增加一个只依赖辅助变量的位置的新相关。这里没有将 $\int gu$ 直接当作平方范数。详见 A §6.2–§6.4，pp.19–20。主画面的方阵只定位这些条件期望。

比较四重论证：B Lemma 6.4，式 (6.9)–(6.11)，先遗漏一行，利用其余三个完整行状态给定参数后的独立性，再用“参数加其余三个状态”的稳定性补回遗漏的列状态。任意阶的式 (6.5) 直接给出主画面的单状态等式。它没有把最小支撑的列表乘积律升级为完整状态独立，也没有取消一般系统上至多三项的逐点前提。

图解及其范围

示意子数组只显示 $1,b,n$ 三个位置，其间其他行列已省略。图不声明转置对称性。精确条件期望恒等式与图一同展示。

局部分析依赖

H：An L3 bound for the trilinear Hilbert transform（2026-10-05）。D Theorem 3.2 发展深度变化版本；C Theorem 2.2 与 §§4–6 处理不同斜率。B 自有系数附录，因此四稿不构成简单的先后线性证明链。

高阶 mixing 的精确输入

R：Rokhlin’s multiple-mixing problem for one transformation（2026-09-23）。A Theorem 2.1 引入如下陈述：若 $T$ 是可逆 mixing 保概率变换，则对每个固定 $s\ge2$、$g_j\in L^\infty$ 与整数时间，

本报告未完成该外部论文的独立证明审查。它在 A Theorem 2.1、B 选长闭合中的使用需要保留为可见依赖，不能当作普通 mixing 的定义展开。

可单独推进的核验

在接受局部 Theorem 2.2 的前提下，可独立检查转移、振荡反证、平滑极限、全长度网格。接受高阶 mixing 与结构输入以后，可继续逐项检查选长法则、条件乘积、packing、饱和与行列恒等式。各项的核验范围应分别记录。

四篇原文与版本

以下均为官方公开论文入口。报告依据 2026-10-08 核对的仓库版本，commit 为 fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb。以下原文链接需联网打开；离线报告与公式本身不依赖网络。

• Pointwise Multiple Ergodic Averages for Mixing Transformations（2026-10-04，25 页）。
• Pointwise convergence of fourfold ergodic averages for mixing transformations（2026-10-04，36 页）。
• Triple ergodic averages with distinct integer slopes（2026-10-04，43 页）。
• Pointwise convergence of triple ergodic averages for mixing transformations（2026-10-04，61 页）。

已发表背景文献：Huang–Shao–Ye，Theorem C；Gutman–Huang–Shao–Ye，Theorem 3.4。

官方仓库及其验证状态说明。本报告没有把公开发布等同于完整同行评审或形式化核验。