5.4　挠群与无挠群的逆定理Torsion and torsion-free inverse theorems

1. 第一步：小和集 ⇒ 近似群。 命题 2.26 是前面章节的成果，它说：\(|A+A|\le K|A|\) 这种“相加不膨胀”的集合，必定落在某个 \(K^{O(1)}\)-近似群 \(H\) 的一个平移里。近似群 \(H\) 的特征是 \(H+H\) 不会比 \(H\) 大太多（可被 \(H\) 的 \(K^{O(1)}\) 个平移盖住），它“几乎”闭合但还不是真正的群。
2. 第二步：写出近似闭合。 “近似”体现为 \(H\pm H\subseteq H+X\)：把 \(H\) 加上（或减去）自己，结果不会跑出 \(H\) 的有限多个平移之外，这些平移代表元就是那个小集合 \(X\)，\(|X|\le K^{O(1)}\)。
3. 第三步：用 \(X\) 补成真群。 把 \(X\) 生成的整个群 \(\langle X\rangle\) 加进来，得到 \(G=H+\langle X\rangle\)。此时 \(G+G\subseteq G\)：因为 \(H\) 的每次相加产生的“偏差”都已经被吸收进 \(\langle X\rangle\) 里了，所以 \(G\) 真的对加法闭合，是一个真群。
4. 第四步：挠性控制住代价。 关键就在这里——在 \(r\)-挠群里，\(t\) 个元素生成的群至多有 \(r^t\) 个元素（每个生成元只有 \(r\) 种取值 \(0,1,\dots,r-1\) 倍）。于是 \(|\langle X\rangle|\le r^{|X|}\le r^{K^{O(1)}}\)。因此 \(G\) 比 \(A\) 大不了多少，正是我们要的子群 \(H\)（把 \(G\) 重新记作 \(H\)）。

对照看：在无挠群里这一步会彻底失败——\(\langle X\rangle\) 可能是无限的（哪怕一个元素 \(x\neq 0\) 也生成无限群 \(\{\dots,-2x,-x,0,x,2x,\dots\}\)），所以无挠情形必须换一套完全不同的论证（见 5.4.2 小节）。

这里出现了一个新量：加性能量 \(E(A,A)\)，它数的是四元组 \((a,b,c,d)\in A^4\) 中满足 \(a+b=c+d\) 的个数。能量大（\(E(A,A)\ge|A|^3/K\)）是“\(A\) 有加性结构”的另一种衡量方式：它不要求整个 \(A\) 都行为良好，只要求“相加碰撞”很多。

这条证明的策略是典型的“先抓住好的一块，再放大”：

1. BSG 定理抓出好子集。 能量大未必意味着整个 \(A\) 的和集小（可能有少数“捣乱元素”）。Balog–Szemerédi–Gowers 定理正是用来处理这种情况：它从能量大的 \(A\) 里挖出一个不小的子集 \(A'\)（占比 \(K^{-O(1)}\)），保证 \(A'\) 落进一个近似群里——也就是和集真的小。
2. 定理 5.27 升级成真群。 把 \(A'\) 所在的近似群 \(G\) 升级成真子群 \(H\)，代价是 \(|H|\) 含一个 \(r^{K^{O(1)}}\) 因子。于是 \(A'\) 在 \(H\) 里的密度 \(\mathbb P_H(A')\) 不太小。
3. 傅里叶分析造出 Bohr 集，再压成子群。 在 \(H\) 上做调和分析（命题 4.39、引理 4.36）得到一个落在 \(2A'-2A'\) 里的 Bohr 集；而在 \(r\)-挠群里，参数取 \(0\) 与取 \(1/r\) 的 Bohr 集相同，这把 Bohr 集直接变成了一个真子群 \(\mathrm{Bohr}_H(S,0)\)。这一步只在挠群里成立，是挠性带来的便利。

1. 为什么要搬到 \(\mathbb Z_p\)？ 第 4 章的傅里叶/Bohr 集机器（定理 4.42）是在循环群 \(\mathbb Z_p\) 上发展出来的，那里有干净的特征标。但我们的 \(A\) 住在无限的无挠群里，没法直接用。补救办法是 Freiman 同构：它是只保持“加法关系”的一一对应。我们取一个足够大的素数 \(p\)（大于 \(16|8A-8A|\)，保证 \(8\) 阶加法关系不会因模 \(p\) 而错乱），就能把 \(A\) 的一大块 \(A'\)（至少占 \(1/8\)）忠实地搬进 \(\mathbb Z_p\) 成为 \(B\)。
2. 结构在 \(\mathbb Z_p\) 里被发现。 \(B\) 的倍增常数 \(\le8K\) 仍然很小，定理 4.42 就在 \(2B-2B\) 里找出一个又大又“真”的对称等差级数 \(Q\)。“真”（proper）意味着这个级数的元素互不重合，没有退化。
3. 结构再搬回来。 Freiman 同构是双向的：\(\mathbb Z_p\) 里找到的级数 \(Q\)，对应到原群里 \(2A-2A\) 中的级数 \(P\)，秩和大小都几乎不变。注意阶数会消耗：\(8\) 阶同构经过 \(2A-2A\) 这种二次组合后降为 \(2\) 阶（习题 5.3.8），但 \(2\) 阶已足够保持等差级数结构。♦

一句话：搬过去（用同构）→ 在好群里找结构（用傅里叶）→ 搬回来。这是加性组合学里反复出现的套路。

1. 体积上限封住步数。 每成功一步，\(|B_n|\) 乘以 \(2K\)，所以 \(|B_n|=(2K)^n|B|\) 涨得很快；但 \(B_n\) 始终装在 \(B+nA\) 里，而后者的大小被 \(K'K^{n+1}|B|\) 控制。指数 \((2K)^n\) 迟早超过 \(K'K^{n+1}\)，于是步数 \(N\le1+\log_2(KK')\) 必然有限——算法非停不可。
2. 停机时的极大性是关键。 停机意味着“再也找不出 \(2K\) 个不相交平移了”。所以对任何 \(a\in A\)，新平移 \(a+B_{N-1}\) 都不能独立加进去——它一定和已有的 \(B_N\) 撞上，即 \(a\in B_N-B_{N-1}\)。
3. 把差集展开成盒子。 \(B_N-B_{N-1}\) 展开后是 \(B-B\) 加上一串 \(A_j-A_j\)。每个 \(A_j\) 至多 \(2K\) 个元素，用引理 3.11 把它塞进一个秩 \(\le2K\) 的小盒子 \([0,1]^{d_j}\cdot v\)。把这些盒子拼起来，总秩 \(d=2K(1+\log_2(KK'))\)，步进向量都在 \(A-A\) 里。♦

跟普通 Ruzsa 覆盖引理相比，这个版本在倍增小时给出的秩 \(d\) 只是 \(K\) 的对数量级的倍数，常数好得多——这正是它能用来证下面定理 5.32 的原因。

这一步是把前两个预备结果对接起来：

1. 定理 5.30 提供“骨架” \(P\)： 一个又大又真的等差级数，住在 \(2A-2A\) 里，秩约 \(K\log K\)。它已经抓住了 \(A\) 的“主轴方向”，但还不一定盖住整个 \(A\)。
2. 引理 5.31 用 \(P\) 覆盖 \(A\)： 把覆盖引理里的 \(B\) 取成 \(P\)。条件 \(|A+P|\le K^{O(1)}|A|\) 和 \(|nA|\le K^{O(n)}|A|\)（即多倍和集仍可控，来自 Plünnecke 型估计）都满足，于是 \(A\subseteq P-P+\)（一个秩 \(O(K^{O(1)})\) 的盒子）。
3. 把 \(P-P\) 收回成 \(P\)： 引理 3.10 说对称等差级数的差 \(P-P\) 还能装回“\(P\) 加一个低维盒子”。两个盒子合并，最终 \(A\subseteq P+\)（盒子），盒子步进向量落在 \(4A-4A\) 里。这就证明了：小倍增的 \(A\) 整体被一个真等差级数加一个低维盒子盖住——这正是无挠 Freiman 定理的标准形态。♦

定理 5.32 给出的级数秩约为 \(K\log K\)；定理 5.33 想把秩压到最优的 \(K-1\)。核心工具是 Freiman 引理（引理 5.13）：它说在整数格里，倍增常数 \(\le K\) 的集合一定落在一个维数 \(\le K-1\) 的仿射子空间里。

1. 把 \(A\) 搬进整数格。 先用定理 5.32 把 \(A\) 装进秩 \(d\) 的级数 \(Q\)，再用对称化（\(2Q-2Q\)、定理 3.40）得到一个坐标盒 \([-N,N]\subset\mathbb Z^{d'}\)。通过 Freiman 同构，\(A\) 对应到盒里的 \(\tilde A\)，倍增常数仍 \(\le K\)。
2. Freiman 引理压维。 于是 \(\tilde A\) 其实只占了一个维数 \(\le K-1\) 的子空间 \(V\)——也就是说 \(d'\) 个坐标方向里，真正“用到”的不超过 \(K-1\) 个，其余是冗余。
3. 逐次砍掉冗余维。 若当前秩 \(d'>K-1\)，就把盒子与 \(V\) 的交（一个低维格里的凸集）用引理 3.36 重新装进一个秩更小的级数，搬回去得到秩更小的 \(Q'\)。重复，每次秩至少降 \(1\)，至多 \(d'\) 次就降到 \(K-1\)。代价是每次重新装箱，大小累积成 \(\exp(O(K^{O(1)}))\) 的因子——这就是“秩最优”与“大小最优”不可兼得的权衡。♦

同样看 \(A=\{e_1,\dots,e_K\}\subset\mathbb Z^K\)：倍增常数只有 \(O(K)\)，但任何包含 \(A\) 的等差级数都必须在每个坐标方向上至少取 \(\{0,1\}\)，于是大小至少 \(2^K\)——关于 \(K\) 指数级。这说明定理 5.33 里 \(\exp(O(K^{O(1)}))\) 是真实的。猜想 5.34 的破解办法和 Marton 猜想一样：不要求级数包含 \(A\)，只要求级数与 \(A\) 有正比例的重叠（\(|A\cap P|=\Omega(K^{-O(1)}|A|)\)），同时级数本身只比 \(A\) 大多项式倍。这样就能把指数损失降为多项式损失——这正是“多项式 Freiman–Ruzsa 猜想”这一名字的由来，它是该领域的核心未决问题之一。