结果族 251：Amenability, unitarizability, and strong Ulam stability · 学科：Group theory · 验证状态：暂无形式化证明，请以社区核验为准
一个学生每道题都”差一点点全对”，稍加指点能否变成每道题全对？Ulam 稳定性问的是群版本的这件事：一张几乎满足乘法表的”伪表示”表格，能否一致微调成严格的真表示？本文证明：在可数离散群里，只有顺从群享受这种”差之毫厘、尚可纠正”的好脾气——强 Ulam 稳定恰好刻画顺从性。
关键词卡片
@@M@@\mu(gh)@@ 与 @@M@@\mu(g)\mu(h)@@ 的最大偏差，量”离真同态还差多远”看个具体例子
数字版定理：若可数群 @@M@@G@@ 非顺从，则对任意小的 @@M@@\delta@@，都存在取值为酉算子的映射 @@M@@\mu@@ 满足
@@M@@D\mathrm{def}(\mu)=\sup_{g,h}\|\mu(gh)-\mu(g)\mu(h)\|<\delta,\qquad \sup_{g}\|\mu(g)-\rho(g)\|>1/10\ \text{对一切真表示}\ \rho@@
比如取 @@M@@\delta=0.000001@@：乘法表几乎全对，但任何真表示都至少在某个 @@M@@g@@ 上与它相差超过 0.1——”近似”与”精确”之间隔着一道无法抹平的坎。顺从方向是 Kazhdan 1982 年的老定理，本文补上了逆定理。
为什么值得关心
它回答了 Burger–Ozawa–Thom 2013 年之问，让”可纠正性”成为顺从性的又一等价刻画；并特别强调必须纳入无穷维空间——有限维版本里非顺从群也可以稳定，这是最易混淆之处。
暂无形式化证明（AI 结果待核验）
结果族 251：Amenability, unitarizability, and strong Ulam stability · 配套入门导读见同目录文章
第一级台阶
导读把问题比作”每道题都差一点点全对的学生能否被纠成全对”。落到半数学层面：给每个群元素配一个保长的线性变换，得到一张乘法表；表格若不精确满足乘法关系，就量出最大偏差作为”差多少”。要问的是：偏差足够小时，是否总能在同一空间里把它一致地微调成严格服从乘法表的真表格，而且这道题必须对一切维数（包括无穷维）的空间同时答”是”。
第二级台阶
精确地说，对酉值映射 @@M@@\mu:G\to\mathcal U(H)@@（@@M@@\mu(e)=I@@）定义缺陷 @@M@@\mathrm{def}(\mu)=\sup_{g,h}\|\mu(gh)-\mu(g)\mu(h)\|@@；称 @@M@@G@@ 强 Ulam 稳定，若对每个 @@M@@\varepsilon>0@@ 存在 @@M@@\delta>0@@，对任何复 Hilbert 空间上 @@M@@\mathrm{def}(\mu)\le\delta@@ 的 @@M@@\mu@@，都有同一空间上的酉表示 @@M@@\rho@@ 使 @@M@@\sup_g\|\mu(g)-\rho(g)\|\le\varepsilon@@。顺从仍指 @@M@@\ell^\infty(G)@@ 上有正归一的左不变平均。
第三级台阶
定理（thm:main）：可数离散群强 Ulam 稳定当且仅当顺从。顺从方向是 Kazhdan 1982 老定理；新方向是量化逆命题——非顺从可数群上对任意 @@M@@\delta>0@@ 可造可分空间与 @@M@@\mathrm{def}<\delta@@ 的 @@M@@\mu@@，却与一切真表示保持 @@M@@>1/10@@ 的距离。”强”字对应的”含无穷维空间”假设是本质的：只看有限维会得到另一性质，高秩格点等非顺从群也满足。”可数”假设则保证见证空间可分、边界理论的旗标结构可用。
证明可数离散群强 Ulam 稳定（strongly Ulam stable）当且仅当顺从：非顺从群上可造出缺陷任意小的酉近似表示，却与同一 Hilbert 空间上一切真表示保持 @@M@@>1/10@@ 的距离，肯定回答了 Burger–Ozawa–Thom 之问。
Ulam 稳定性追问：近似同态能否被一致校正为真同态。对群 @@M@@G@@ 上满足 @@M@@\mu(e)=I@@ 的酉值映射，记缺陷 @@M@@\mathrm{def}(\mu)=\sup_{g,h}\|\mu(gh)-\mu(g)\mu(h)\|@@；若对每个 @@M@@\varepsilon>0@@ 存在 @@M@@\delta>0@@，使任何复 Hilbert 空间（含无穷维）上 @@M@@\mathrm{def}(\mu)\le\delta@@ 的 @@M@@\mu@@ 都一致接近同一空间上的真酉表示，则称 @@M@@G@@ 强 Ulam 稳定。Kazhdan 1982 年证明顺从蕴含强 Ulam 稳定；Burger–Ozawa–Thom 2013 年证明含非交换自由子群的群不稳定，并明确提出”强 Ulam 稳定是否刻划顺从性”的问题；Alpeev 又处理了花环积（wreath product）情形。注意不带”强”字的有限维版本是另一回事：高秩格点等非顺从群可以是有限维 Ulam 稳定的，故无穷维空间的纳入是本质的。遗留困难是在不含自由子群的非顺从群上，直接在无穷维空间里构造几乎表示并阻断一切校正。
定理：可数离散群 @@M@@G@@ 强 Ulam 稳定当且仅当 @@M@@G@@ 顺从。新方向为”非顺从 @@M@@\Rightarrow@@ 不稳定”，且是显式量化的：对每个非顺从可数群 @@M@@G@@ 与每个 @@M@@\delta>0@@，存在可分 Hilbert 空间 @@M@@H@@ 与归一化映射 @@M@@\mu:G\to\mathcal U(H)@@，@@M@@\mathrm{def}(\mu)<\delta@@，但对每个酉表示 @@M@@\rho:G\to\mathcal U(H)@@ 都有 @@M@@\sup_{g\in G}\|\mu(g)-\rho(g)\|>1/10@@。这既是 Kazhdan 顺从稳定性定理的逆定理，也回答了 Burger–Ozawa–Thom 的问题。
第一步把非顺从性译成组合旗标。由 Furstenberg 边界（boundary）理论，非顺从群有非平凡紧边界 @@M@@K@@：作用极小（minimal）且强邻近（strongly proximal）。借助”强邻近 + Hahn–Banach 分离 + Riesz 表示”的均匀列表引理，逆向递归构造出 @@M@@N@@ 阶段的步表，每步带旗标 E 或 F，满足三条性质：固定出发点时 F 步占比至多 @@M@@\beta@@；固定到达点时 E 步占比至多 @@M@@\beta@@；沿路径一旦出现 E 步，此后各步必为 E。
第二步是与维数无关的线性代数。用 Haar 正交矩阵与集中不等式，取两族正交基之并 @@M@@\{a_x\}@@，使其在任意小子集上几乎正交，且带符号恒等式 @@M@@\sum_x f(x)a_xa_x^*=0@@ 成立；再用 Jordan–Wigner 弦构造一族两两反对易（anticommuting）的对合（involution）@@M@@\gamma_d@@，令 @@M@@D=\frac1{\sqrt L}\sum_d\gamma_d@@，各层内积从 @@M@@G_0=I+\frac12D@@ 逐层过渡到恒等。
第三步搭主构造。Hilbert 空间按层与群元素分层：@@M@@H=\bigoplus_k\bigoplus_{w\in G}(E_k,G_k)@@，左平移给出真酉表示 @@M@@U@@。称旗标的平移为构型（configuration）；对至多三个构型的集合，标出旗标不一致的可换边，用逐层交换子空间的酉电路 @@M@@W_p@@，令 @@M@@\mu(g)=V_{b,gb}U(g)@@，其中 @@M@@V@@ 是两个电路之差。核心估计是：向一对构型再添入第三个，比较算子只改变 @@M@@Ch+CN\eta+CNh\eta@@，于是三元组合的恒等式给出 @@M@@\mathrm{def}(\mu)@@ 的同阶小界。真正的难点在于：每层交换的两子空间坐标相同而内积有微差，误差逐层求和必然失控；作者为此设计优先等距，使坐标转移几乎固定下一层要用的子空间，再用截断引理把修正后的误差搬到互相正交的层上，让范数按最大值而非求和组合。
第四步是障碍。对任何真表示 @@M@@\rho@@，符号抵消使二次型取值 @@M@@\langle\psi,(D\otimes I)\psi\rangle=0@@；而初始层向量族 @@M@@r@@ 满足 @@M@@\langle r,(D\otimes I)r\rangle=\frac12@@，故 @@M@@\|r-\psi\|\ge1/4@@。另一方面，传输引理表明绝大多数标号的路径被 @@M@@\mu@@ 近似送回初始向量。若有 @@M@@\rho@@ 一致接近 @@M@@\mu@@ 到 @@M@@1/10@@，三角不等式将给出 @@M@@\|r-\psi\|<1/5@@，矛盾。参数按 @@M@@L@@ 大、@@M@@\eta@@ 小、@@M@@\beta<\min(\beta_0(\eta),1/(3200N))@@ 选取。
本篇暂无形式化证明，请以社区核验为准；按 OpenAI 官方声明，未经形式化的结果可能有问题。姊妹篇（可酉化蕴含顺从）的主结果已 Lean 形式化，与本篇技术同源：同样以稀疏指派、随机符号向量的稀疏化估计为骨架，只是障碍分别取核能量与反对易二次型，两文互相印证，共同构成族 251 的完整图景。
问 1：证明里最关键、最脆弱的一步是什么？
答：层级误差控制。@@M@@\mu(g)=V_{b,gb}U(g)@@ 的缺陷界 @@M@@\mathrm{def}(\mu)\le Ch+CN\eta+CNh\eta@@（式 (defect-bound)）依赖引理 priority 与命题 comparison 的安排：各层交换的两子空间坐标相同而内积有微差，直接求和误差必然随层数 @@M@@N@@ 爆炸；作者让坐标转移”优先”固定下一层要用的子空间，把修正后的误差搬到互相正交的层上，范数按最大值而非求和组合。这一步若只做到求和界，@@M@@L@@ 取大时缺陷就不可能压到任意 @@M@@\delta@@。
问 2：为什么”无穷维”是本质假设，不能去掉？
答：引言明确区分两个性质：不带”强”的 Ulam 稳定只看有限维酉群，Glebsky–Lubotzky–Monod–Rangarajan 证明高秩格点这类非顺从群也有限维稳定，Fournier-Facio–Rangarajan 还处理了 Thompson 群与花环积。若把无穷维剔除，本文定理立刻为假——”强”正是要求同一个 @@M@@\delta@@ 对一切复 Hilbert 空间同时有效。
问 3：哪个假设为什么不能去掉？
答：”可数”。定理只对可数离散群陈述：见证 Hilbert 空间取可分（层数有限、每层按群元素分层），且旗标构造虽来自 Furstenberg 边界（任意非顺从离散群都有），后续的字母表放大与稀疏化引理都在可数框架内叙述。不可数群的可分性无从谈起，论文未展开。
问 4：与已有工作相比真正的新意是什么？
答：Burger–Ozawa–Thom 2013 只证含非交换自由子群的群不稳定；Alpeev 的花环积结果把不稳定安放在扩张 @@M@@A\wr G@@ 上而非 @@M@@G@@ 本身。本文第一次直接在任意非顺从可数群上、在无穷维空间里构造几乎表示并阻断一切校正，正面回答 BOT 第 111 页之问，补全 Kazhdan 定理之逆。
问 5：AI 生成证明最可能在哪里出错？
答：数值常数簿记。最终不等式是 @@M@@\|r-\psi\|<\frac1{10}+\frac1{20}+\frac1{20}=\frac15@@ 对撞引理 witness 给的 @@M@@\|r-\psi\|\ge\frac14@@——余量只有 @@M@@1/20@@；参数顺序 @@M@@L@@ 大、@@M@@\eta<\min(\delta/2,1/20)/CN@@、@@M@@\beta<\min(\beta_0(\eta),1/(3200N))@@ 中任何一处常数算松，撞车就失败。层间截断、旗标稀疏化的 @@M@@C@@ 递增约定也容易在复用时失控。本篇无形式化，这是最大风险。
问 6：谁会用、怎么用？
答：与姊妹篇（可酉化蕴含顺从，已形式化）合成”顺从 @@M@@\iff@@ 可酉化 @@M@@\iff@@ 强 Ulam 稳定”三重等价，给表示论与算子代数提供新的顺从性判据；逼近论方向（渐变上同调、sofic 群型问题）也获得一个干净的否定端界碑。
总评
正面了结 Burger–Ozawa–Thom 十三年之问的构造性定理，思想漂亮（边界旗标＋反对易二次型障碍）；但完全未形式化且对常数敏感，逐行核验前应保持谨慎。