选择一段文字或公式，即可在这里留下建议。保存后的建议仅作者可见，审核后才会公开。

A/B 的多重混合依赖：R 原文精读导读

A、B 在辅助变量的扩张中，需要固定有界函数在充分分离的多个时间上的相关趋于积分之积。它们将这一输入归于 R 的 Theorem 1.1。本补篇沿着这条依赖，逐步阅读 R 的主证明；它接在 A/B 的相应精读单元之后。

R 的完整标题是 Rokhlin’s multiple-mixing problem for one transformation。以下“原文定理”指该预印本的陈述；各章正文提供的是对其论证的逐式展开。稿件的学界接受、历史优先权和发表状态不在本补篇中作判断。

1. A/B 调用的准确陈述

R Theorem 1.1（p.2）声称： $T$ 是可逆、双可测、保概率、普通混合的变换时，对每个固定 $k\ge3$ 、固定可测集合 $A_1,\ldots,A_k$ ，以及正整数间隔 $n_1,\ldots,n_{k-1}$ ，当最小间隔趋于无穷，

\mu\!\left(A_1\cap T^{-n_1}A_2\cap\cdots\cap T^{-(n_1+\cdots+n_{k-1})}A_k\right) \longrightarrow\prod_{i=1}^k\mu(A_i).

原始概率空间不要求标准。阶数按参与集合的数目计数。

A p.3 Theorem 2.1、B p.4 式(2.1)使用其固定有界函数版本：每个固定有限 $s\ge2$ 、固定 $g_1,\ldots,g_s\in L^\infty(\mu)$ ，在整数时间满足 $\min_{i\ne j}|t_i-t_j|\to\infty$ 时，

\int\prod_{i=1}^s g_i(T^{t_i}x)\,\mathrm d\mu \longrightarrow\prod_{i=1}^s\int g_i\,\mathrm d\mu.

量词不提供随输入函数变化的统一混合速率。证明中凡出现“一致”，都必须另说明它来自固定有限组函数、固定有限个偏移模式，还是某个明确范数估计。

这项输入实际出现在 A Proposition 4.3（pp.11–14）的扩张闭包证明，以及 B Proposition 5.3（pp.15–17）的对应闭包证明。它既用于单个旧输出中多位置的积分，也用于两份时间配置内积的近正交性。B 虽只有四个位置，两份配置合并时仍可涉及八个时间点。

阅读前的几种用词

位置（slot）：有限指标集 $I$ 中的一个索引
附加参数位置（parent slot）：把该位置的完整状态纳入新增参数；给定这些参数时，该状态成为已知量。方阵层称为附加参数行
可见空间（active space）：其它指定坐标的函数向当前坐标作条件期望，所张成的闭线性空间；分别沿行、列取时，称行可见空间、列可见空间
精确函数线（exact line）：由模长一函数 $\chi$ 张成的一维空间 $\mathbb C\chi$ ； $\chi$ 能与同一行或列其它位置的模长一函数相乘得到常相位
参数元组（tuple）：按位置排列的参数列表 $p=(p_1,\ldots,p_k)$
条件空间（fibre）：固定局部参数 $u$ 后的概率空间 $(Y,\eta_u)$ ，其中 $H_u=L^2(\eta_u)$

这些用词只解释原文对象，不改变原文的记号。

2. 阅读顺序与每章的输入、输出

第一章：从真实布局开始

从失败布局到零熵见证与有序数组

原文位置：Proposition 2.1，pp.4–6；§3.1，pp.6–7。

输入是假定存在的最小失败阶 $k$ 。首先得到一个有限字母的标准过程 $X$ ：它的熵率为零，并保留所有低于 $k$ 阶的混合性。与此同时取得固定的中心化单坐标函数 $f_i$ 、正数 $\delta$ 、分离布局 $d_i(b)$ ，以及所有层的有序数组分布 $\rho_n$ 。

本章展开原稿的过去尾替换和有限熵计算，并逐项证明数组的概率存在性、任意轴面相容性、共同时间不变性及真子族末轴平面的联合独立。Bernoulli 的 $(U,V,UV)$ 联结用来说明为什么这些归约必须依靠真实时间布局。

第二章：取得新的条件局部性

有序数组的饱和扩张与条件局部性

原文位置：Definition 3.1、Proposition 3.2、Lemmas 3.3–3.4、Proposition 3.5，pp.7–13。

输入是第一章的全部 $\rho_n$ ，以常参数对象作为起点。输出是一个保留原 $X$ 因子与见证相关的饱和数组对象，以及方阵中的行、列真子族产品律和精确条件核。

本章展开可容许类的逆极限封闭性、可数能量安排、较小附加参数位置集的归纳，以及式(8)如何先推出条件核的局部依赖式，再允许增加条件。有限方阵例子说明，单有列方向独立不足以得到加入附加参数后的局部性。

第三章：固定参数后的算子分析

算子方阵与精确函数线的完备性

原文位置：Definition 4.1、Lemmas 4.2–4.7，pp.14–21。

输入是一个固定典型参数下的分组三行三列方阵，及第二章给出的条件核。输出是：每个矩形格的行可见空间投影与列可见空间投影对易，交空间由同时完成行、列乘法关系的精确函数线张成。

本章展开两条矩形恒等式、投影交织、固定正部、稠密像取消、交换酉群，以及正迹类平均如何提供共同离散特征基。最后单独证明完备性的反向包含，不预设可见空间是函数代数。

第四章：让逐参数结果可以跨参数使用

可测标签与有限移动块

原文位置：Lemma 3.6，pp.13–14；Proposition 4.8，pp.22–23；§5，pp.23–33。

本章先回到原文较早的参数几何，因为前章不需要它，而跨参数推导现在需要：对角交汇的两个参数元组给定局部参数后条件独立同分布。结合分组结果的全部坐标还原，原稿将单个可见空间完整分解并建立可测局部标签群。

输出还包括等势有限块及其时间置换，以及一个固定有限块 $B$ 的可测绝对系数和 $s_r(u)$ ，满足统一有界且每个 $r$ 的积分为同一个 $c>0$ 。

本章展开可测谱编号、局部降参、计数提升、有限块的来源和见证传递。抽象群识别可以不可测；真正要积分的有限和必须另写成内在的可测形式。整块置换不被加强为逐标签的恒定时间规则。

第五章：排除这个有限块见证

熵、单轨道代数与最后消去

原文位置：Proposition 6.1、Lemmas 6.3–6.5，pp.33–37；§7，pp.37–38。

输入是原始 $X$ 的零熵和普通混合、标签函数的允许常相位的乘法关系，以及第四章的有限块输出。输出是每条固定抽象标签轨道的绝对相关 Cesàro 消去，并由此使有限块平均逐个条件空间趋零。

本章展开确定词的指数界、高概率词并集界、单轨道的代数选择、含挠元的多项式公式及 Hilbert 空间差分。最后仅对已可测且统一有界的有限块和使用有界收敛，与恒正积分矛盾。

3. 统一符号表

相同字母若在不同局部论证中承担不同角色，下表明确列出；不把它们当作同一个对象。

符号	含义与作用范围
$(\Omega,\mathcal F,\mu,T)$	原始可逆保概率系统；不要求原空间标准
$k$ ， $I=\{1,\ldots,k\}$	假设中的最小失败阶；从选定以后贯穿整条主证明
$d_i(b)$ ， $g(b)$	第 $b$ 个时间布局及其最小相邻间隔
$\alpha_i$ ， $\Gamma_0$ ， $\mathcal C$	原见证集合生成的分区平移、可数轨道 $\sigma$ 域、完成的过去尾
$(X,\mu_X,T_X)$	第一章得到的标准有限字母过程；零熵、混合与低阶混合性用于此系统
$f_i$ ， $\delta$	固定的中心化单坐标见证及统一正相关下界
$\rho_n$	$X^{I^n}$ 上的初始有序数组律； $n$ 是数组层数，不是混合阶数
$Y$ ， $U$ ， $\kappa$ ， $u$	扩张的局部状态、局部参数，以及到 $X$ 、 $U$ 的因子映射； $\kappa(y)$ 也记 $x(y)$
$T_Y$ ， $T_U$	辅助状态与参数的时间作用；不假定 $T_Y$ 混合，不假定其熵为零
$m_n$ ， $\eta_u$	扩张数组律，以及 $m_0$ 给定局部参数的条件概率； $\kappa_*\eta_u=\mu_X$
$\mathcal P_n$ ， $\mathcal O_{n,j}$ ， $\mathcal G_{n,j}$	全参数、缺失平面外的完整状态、两种观察的合并 $\sigma$ 域
$E$ ， $p_a$ ， $q_j$	完整参数方阵、它的第 $a$ 行元组、第 $j$ 列元组
$\pi$ ， $\vartheta$	第1层参数元组律、第2层参数方阵律
$V$ ， $W$ ， $D$	一个格子的行可见、列可见空间及其交 $D=V\cap W$
$L_A,L_B,J_s,J_t$	四条条件期望边算子；第三章局部使用
$\rho$ （无下标）， $\mathcal G$	第三章极部构造中的不变概率与交换酉群；它们不同于初始 $\rho_n$
$H_u$ ， $\Pi_i(p)$ ， $C_i(p)$	局部 Hilbert 空间 $L^2(\eta_u)$ 、元组的可见空间投影、其精确函数线闭张成
$B_{i,u}$	第四章平均可见空间的正交投影的正算子；不是有限标签块
$\mathcal L(u)$ ， $\mathcal L$	可测局部标签群，以及后来选择的一个抽象群模型；原文 §6 的独立消去引理将抽象群记作 $L$
$\Phi_{st}(p)$ ， $\tau_u$	元组内的精确匹配；局部时间搬运的群同构
$\xi$ ， $\widetilde\pi$ ， $\widetilde\vartheta$	标签上的计数测度，以及元组、方阵的计数提升
$M_{st}$	计数提升的概率转移核在 $L^2(\xi)$ 上的算子
$\mathcal B$ ， $B_b(u)$ ， $B$	块指标集、局部有限标签块，以及承载见证的固定抽象有限块
$D_0$ ， $S_0$ ， $G$	块的转移置换、时间置换，以及实现整块 $S_0^{-1}$ 置换的抽象群自同构
$\chi_{u,\ell}$ ， $\chi_l^u$	可测局部代表；经抽象群识别后的逐个条件空间代表。二者的可测性范围不同
$s_r(u)$ ， $c$	有限块绝对系数和，以及不随 $r$ 改变的正积分
$H_n$ ， $P(m)$	第五章的有限词 Shannon 熵、群值二项式多项式；与观察 $\sigma$ 域 $\mathcal P_n$ 不同

原文 $P,A,B$ 也用于三个行组；这是一段方阵内部的局部命名，与有限块 $B$ 无关。原文 $N$ 在不同节可表示平均长度或 $G^p-\operatorname{id}$ ；每次使用均由所在公式重新确定。

4. 原稿陈述与展开证明如何区分

各章中带原文名称与编号的 Proposition、Lemma、Theorem，以及紧随原文编号的式子，指向固定 R 的对应陈述。本文围绕这些陈述补出的条件期望计算、参数选择、概率核分解、谱递归细节和极限顺序，是解释性推导。

几个边界例子承担不同任务：Bernoulli 联结否定把任意联结当作真实时间布局；带共同隐藏位的有限方阵否定省略饱和性的捷径；双边移位说明交换酉群本身不保证离散共同特征基；挠元例子说明幂零论证的一次额外作用不能省略。这些例子都没有被当作完整无限主定理的数值验证。

5. 固定版本与阅读范围

固定 R 原文

固定仓库 commit：fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb
R PDF：40页，524156字节
SHA-256：45000cec6bcec95daede6af976803b7fc2ea995c5953cc2448ec48218db2b86d
标题页与目录标称日期：2026年9月23日
PDF 构建元数据：2026年10月6日09:37:03 UTC
固定仓库提交时间：2026年10月8日05:20:00 UTC

这些日期各有不同含义；标称日期不被当作已核定的首次公开日期。本文阅读范围是主证明所用 §§2–7；§8 关于非可逆保测映射与连续流的推论，以及部分历史归属原文，不纳入本补篇的结论。

6. 返回 A/B 时还要保留的量词

从集合结论转成 A/B 的固定有界函数结论，只需有限简单函数逼近。先将 $|g_i|$ 缩放至 $\le1$ ，取 $|h_i|\le1$ 、 $\|g_i-h_i\|_1\le\varepsilon$ ，则对所有时间元组，

\left|\int\prod_{i=1}^s g_i\circ T^{t_i}\,\mathrm d\mu -\int\prod_{i=1}^s h_i\circ T^{t_i}\,\mathrm d\mu\right| \le s\varepsilon.

均值乘积也有相同误差。简单函数展开是有限和；时间排序只有有限种，减去最小时间后用原文集合式。因而差值的 $\limsup$ 至多 $2s\varepsilon$ ， $\varepsilon\downarrow0$ 即得有界函数式。

这一步不会给任意变化函数族提供统一速度。A/B 后续关于有限偏移模式、坏图度数和选取长度的论证，仍须按其本身的参数顺序使用这项输入。

返回 B 的独立性保持返回 A 的最小支撑论证