结果族 251：Amenability, unitarizability, and strong Ulam stability · 学科：Group theory · 验证状态：主结果已 Lean 形式化
把群想成一支搬动向量的施工队：酉表示是”只旋转、绝不拉伸”的模范队。有的队表面上会拉伸家具，但只要换一把卷尺（换一种度量长度的内积），所有搬法就都变成纯旋转——这叫可酉化。1950 年 Dixmier 问：是不是只有”温柔”的顺从群才享受这种待遇？本文给出肯定回答：可酉化当且仅当顺从。
关键词卡片
@@M@@S@@ 使每个 @@M@@S\pi(g)S^{-1}@@ 都是酉算子，等价于能换一个让全体搬法保长的内积看个具体例子
平面旋转矩阵把单位圆映成单位圆，天然酉；剪切矩阵把圆拉成椭圆，看似不守规矩。定理数字版：若 @@M@@G@@ 非顺从，则对任意 @@M@@\varepsilon@@（比如 0.01）存在表示 @@M@@\pi@@ 满足所有 @@M@@\|\pi(g)\|\le 1+\varepsilon@@（拉伸最多百分之一），却无论怎么换卷尺都无法让全体搬法同时变成纯旋转；而顺从群上任何一致有界表示都能（Day–Dixmier 老定理）。下图是”换卷尺”的直觉：
为什么值得关心
Dixmier 问题悬置七十余年，此前的反例都局限在自由子群、花环积等特殊情形；本文对所有离散群一举闭合，并与姊妹篇合成”顺从 = 可酉化 = 强 Ulam 稳定”的完整等价链。
已 Lean 形式化
结果族 251：Amenability, unitarizability, and strong Ulam stability · 配套入门导读见同目录文章
第一级台阶
导读把群比作搬动向量的施工队，酉表示是”只旋转不拉伸”的模范队。翻译成半数学语言：一个表示就是把每个群元素配成一个可逆线性搬法，并保持乘法关系；”只旋转”意味着任何向量的长度都不变；”换一把卷尺”即重新约定长度的量法后，原先的拉伸在新量法下变成纯旋转——重要的是允许每次换不同的卷尺，且不给卷尺的失真程度设统一上限。
第二级台阶
精确地说，表示 @@M@@\pi:G\to\mathrm{GL}(H)@@ 一致有界指 @@M@@|\pi|=\sup_g\|\pi(g)\|<\infty@@；可酉化指存在有界可逆算子 @@M@@S@@ 使每个 @@M@@S\pi(g)S^{-1}@@ 酉，等价于 @@M@@H@@ 上有等价的 @@M@@\pi@@-不变内积。群顺从指存在正的归一左不变平均 @@M@@m:\ell^\infty(G)\to\mathbb C@@。
第三级台阶
定理（thm:main）断言：离散群顺从当且仅当可酉化；且是量化的——非顺从群上对每个 @@M@@\varepsilon>0@@ 都有 @@M@@|\pi|\le1+\varepsilon@@ 却不相似于任何酉表示的例子（可数群还可取可分空间）。顺从方向的假设全无新意，是 Day–Dixmier 平均化老定理；非顺从方向假设的唯一原料是”非顺从”，经上圈语言化归：三角表示可酉化会强迫有界上圈为内，于是只需造有界非内上圈，其障碍由核能量相对于纤维维数发散来度量。
证明了离散群可酉化（unitarizable）当且仅当顺从（amenable），肯定解决 1950 年 Dixmier 提出的问题：每个非顺从离散群 @@M@@G@@ 都有一致界 @@M@@|\pi|\le 1+\varepsilon@@、却不能相似于任何酉表示的表示 @@M@@\pi@@。
设 @@M@@\pi:G\to\mathrm{GL}(H)@@ 是离散群在复 Hilbert 空间上的表示。若 @@M@@|\pi|=\sup_g\|\pi(g)\|<\infty@@，称其一致有界（uniformly bounded）；若存在有界可逆算子 @@M@@S@@ 使每个 @@M@@S\pi(g)S^{-1}@@ 都是酉算子，称其可酉化，等价于给 @@M@@H@@ 换一个等价的 @@M@@\pi@@-不变内积。Sz.-Nagy 1947 年解决单算子情形；Day 与 Dixmier 1950 年用不变平均（invariant mean）证明顺从群可酉化，Dixmier 随即追问：可酉化是否恰好刻划顺从性？七十多年来的反例都有局限：自由群上的 Pytlik–Szwarc 类只覆盖含非交换自由子群的群；Monod–Ozawa 与 Alpeev 关于花环积（wreath product）@@M@@A\wr G@@ 的定理只把反例放在 @@M@@G@@ 的扩张上；Epstein–Monod、Osin、Vergara 的判据则需附加 @@M@@\ell^2@@-Betti 数、剩余有限性或 @@M@@M_d@@-逼近性质等条件。真正的困难是对任意非顺从群本身造出失效证据，且不许对可能的酉化子做任何先验限制。
主定理：离散群 @@M@@G@@ 可酉化当且仅当 @@M@@G@@ 顺从。证明是量化的：对每个非顺从离散群 @@M@@G@@ 与 @@M@@\varepsilon>0@@，存在复 Hilbert 空间 @@M@@\mathcal K@@ 和表示 @@M@@\pi:G\to\mathrm{GL}(\mathcal K)@@ 满足 @@M@@|\pi|\le 1+\varepsilon@@，且不相似于任何酉表示；@@M@@G@@ 可数时 @@M@@\mathcal K@@ 还可取可分。顺从方向由经典的 Day–Dixmier 平均化论证给出，新意全在非顺从方向。文中另有推论：由此得到的 @@M@@\ell^1(G)@@ 表示没有到全群 @@M@@C^*@@-代数 @@M@@C^*(G)@@ 或约化群 @@M@@C^*@@-代数 @@M@@C_r^*(G)@@ 的有界代数同态延拓。
先化归为上圈（cocycle）语言：给定酉表示 @@M@@U@@ 与有界算子上圈 @@M@@D(gh)=D(g)+U(g)D(h)U(g)^{-1}@@，三角表示 @@M@@\pi(g)=\begin{pmatrix}U(g)&D(g)U(g)\\0&U(g)\end{pmatrix}@@ 自动一致有界；若它可酉化，其不变补空间必为某个有界算子 @@M@@B@@ 的图像，迫使 @@M@@D@@ 成为内上圈 @@M@@D(g)=B-U(g)BU(g)^{-1}@@。于是只需构造有界却非内的上圈。
核心是一个核能量障碍。在 @@M@@\mathcal H_k=\ell^2(G;\mathbb C^k)@@ 上取平移不变的卷积型算子 @@M@@A@@（块 @@M@@A[x,y]=W(x^{-1}y)@@），记 @@M@@E=\sum_s\|W(s)\|_{\mathrm{HS}}^2@@（HS 为 Hilbert–Schmidt 范数）。引理证明：若 @@M@@T@@ 在单位元处的块行与 @@M@@A-T@@ 的块列一致被 @@M@@K@@ 控制，则 @@M@@T@@ 到左平移交换子（commutant）的距离至少 @@M@@\frac12\sqrt{E/k}-K@@。直和命题再把一列 @@M@@(A_j,T_j)@@ 焊成一个表示：只要各块行、块列与共轭差 @@M@@T_j-U_jT_jU_j^{-1}@@ 一致有界且 @@M@@E_j/k_j\to\infty@@，所得表示一致有界且不可酉化。妙处在于每个 @@M@@D_j@@ 单独都由 @@M@@T_j@@ 实现（是内的），障碍只出现在无穷直和上，因此完全不必对 @@M@@\|T_j\|@@ 一致有界。
原料来自非顺从性。先用 Kesten 型收缩平均：非顺从给出有限集 @@M@@S@@ 使 @@M@@\|\frac1d\sum_{t\in S}R_t\|\le\rho<1@@。取 @@M@@\ell@@ 步乘积表 @@M@@s_1,\dots,s_n@@（@@M@@n=d^\ell@@，带重数）与 @@M@@r=\lceil n\rho^\ell\rceil@@，把标号边 @@M@@(x,i)@@（自行 @@M@@x@@ 连到列 @@M@@xs_i@@）排成二部多重图，用 Hall 婚配定理把每条边指派给一个端点，使每点负载至多 @@M@@r@@，且 @@M@@(r/n)\log n\to0@@。再取 @@M@@k\approx 2r\log(2n)@@ 维空间中的随机符号单位向量 @@M@@v_1,\dots,v_n@@，使任意至多 @@M@@2r@@ 个的合成算子范数不超过 @@M@@b_0=10@@（集中不等式加网覆盖加联合界）。以秩一投影 @@M@@P_i=v_iv_i^*@@ 加权卷积边，@@M@@T@@ 保留行端边；经由以标号边为基的中间空间作因子分解 @@M@@T_c=SM_cF@@，块行、块列与全部共轭差一致被 @@M@@b_0^2=100@@ 控制。保留边标号是关键：不同标号即使群元素乘积相同，也占据不同坐标，正性保证碰撞只增能量。最后得核能量 @@M@@E=\sum_s\|\sum_{i:s_i=s}P_i\|_{\mathrm{HS}}^2\ge n@@，而 @@M@@k/n\to0@@，故 @@M@@E/k\to\infty@@；整体缩放 @@M@@t=\varepsilon/100@@ 即得 @@M@@|\pi|\le1+\varepsilon@@。不可数群经 Følner 准则化归到有限生成非顺从子群，再用保持一致界的诱导表示传回。
本篇主结果已有 Lean 形式化证明，是本结果族中验证状态最可靠的一环。姊妹篇《Strong Ulam Stability Characterizes Amenability》与其技术同源——稀疏指派、随机符号向量与能量型障碍——并补上 Kazhdan 定理的逆，两文合起来给出”顺从 @@M@@\iff@@ 可酉化 @@M@@\iff@@ 强 Ulam 稳定”的完整等价链。按 OpenAI 官方声明，未经形式化的结果可能有问题；本篇不在其列，姊妹篇则尚待社区核验。
问 1：证明中最关键、最脆弱的一步是什么？
答：核能量障碍的合成。距离估计 @@M@@\mathrm{dist}(T,U(G)')\ge\frac12\sqrt{E/k}-K@@ 本身只比较一行一列，但要用它就得同时保住三件事：块行、块列与全部共轭差被常数 @@M@@K@@ 控制（因子分解 @@M@@T=SMF@@ 给出），同时核能量 @@M@@E=\sum_s\|W(s)\|_{\mathrm{HS}}^2\ge n@@ 而 @@M@@k/n\to0@@。三个量由同一组随机符号向量焊接，概率估计（集中＋网覆盖＋联合界）若有一个维度失控，能量便被稀释。
问 2：为什么”不许对酉化子做先验限制”是本题的真正难点？
答：Pisier 1998 已证：若酉化子的条件数有一致多项式界 @@M@@C|\pi|^\alpha@@（@@M@@\alpha<3@@），群就顺从。本文面对的定义允许每次换不同的卷尺、条件数无公共上界，所以不能靠量化逼近，必须对单个表示直接证”无相似”。这也是 Sz.-Nagy 单算子情形与群情形的本质分野。
问 3：哪个技术选择去掉后证明就垮？
答：保留边标号。不同标号的乘积可能在群里撞出同一群元素，若按群元素合并坐标，能量就会塌缩；标号让碰撞占据不同坐标，配合秩一投影的正性保证”碰撞只增能量”。另一个不可去的是无穷直和：每个 @@M@@D_j@@ 单独都是内的（由 @@M@@T_j@@ 实现），障碍只在直和层面出现，这让 @@M@@\|T_j\|@@ 无需一致有界。
问 4：与已有工作相比真正的新意是什么？
答：此前所有非可酉化证据都带条件或挪了地方：Pytlik–Szwarc 只覆盖含非交换自由子群的群；Monod–Ozawa、Alpeev 把见证放在花环积 @@M@@A\wr G@@ 这类扩张上；Epstein–Monod 判据要 @@M@@\ell^2@@-Betti 数或剩余有限性；Vergara 要 @@M@@M_d@@-逼近性质。本文第一次对任意非顺从群本身、直接造出 @@M@@(1+\varepsilon)@@-一致有界却不可酉化的表示。
问 5：AI 生成证明最可能在哪里出错？
答：稀疏指派与随机向量两节的组合概率细节：Hall 婚配指派使每点负载至多 @@M@@r@@、@@M@@(r/n)\log n\to0@@ 的权衡，以及 @@M@@k\approx2r\log(2n)@@ 维空间里”任意至多 @@M@@2r@@ 个合成算子范数 @@M@@\le10@@“的联合估计——常数与维数的指数博弈很容易差一个量级。好在本主定理已 Lean 形式化，该类风险已被大幅压缩。
问 6：不可数群怎么处理？谁会用这个结果？
答：引言写明走标准归约：Følner 准则给出有限生成非顺从子群，诱导表示保持一致界传回全群（Pisier 2004 命题 0.5）。下游：@@M@@\ell^1(G)@@ 表示无到 @@M@@C^*(G)@@、@@M@@C_r^*(G)@@ 的有界代数延拓（引 companion similarity 定理）；与姊妹篇合成”顺从 @@M@@\iff@@ 可酉化 @@M@@\iff@@ 强 Ulam 稳定”完整等价链，算子代数与表示论直接受益。
总评
正面闭合 Dixmier 1950 年问题的标志性定理，且已形式化、构造显式可检验；残余风险只在 C*-代数推论所引的配套定理尚未形式化。