结果族 289：Strong Kadison–Kastler stability and its spatial boundaries · 学科：Operator algebras · 验证状态：暂无形式化证明，请以社区核验为准
一本书确实塞得进某个书架（嵌入存在），但无论怎么塞都得”大动干戈”。本篇证明这种”能放、但必须大动”的现象真实存在：一列代数对越靠越近，实现嵌入的旋转却始终离原位有固定距离——一致小嵌入的期望被否定。注意嵌入本身一直存在，症结不在”放不放得进”，而在”能不能轻轻放”。
关键词卡片
@@M@@\gamma(M,N)@@ 度量 @@M@@M@@ 的每个元素能被 @@M@@N@@ 逼近到多近@@M@@uMu^*\subseteq N@@ 成立的旋转 @@M@@u@@看个具体例子
种子障碍来自钟–移矩阵：@@M@@U_n@@ 给基向量配相位（钟），@@M@@V_n@@ 轮转基向量（移），@@M@@\|U_nV_n-V_nU_n\|\to 0@@，但绕数 @@M@@\kappa(U_n,V_n)=1@@，而真正交换的对子 @@M@@\kappa=0@@。绕数是整数，不可能连续滑变。论文把这块有限维基石移植进近包含世界：得到 @@M@@\gamma(M_n,N_n)\to 0@@，但一切实现酉元都满足 @@M@@\|u-I\|\ge\varepsilon_0>0@@。
为什么值得关心
它划清了正定理的边界：双边接近保证小旋转，单侧逼近则可能彻底失败——”几乎在里面”不等于”轻轻放得进去”；而源代数可均时的老结果说明，加点温顺条件，小旋转又会回来。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的比喻是：一本书确实塞得进书架，但无论怎么塞都得大动干戈。翻译成半数学语言：对象是同一希尔伯特空间上的两个算子代数，”几乎在里面”指第一个代数的每个收缩元都能被第二个代数中的元素逼近；操作是找一个实现包含关系的旋转算子，并追问这个旋转能否贴近恒等、且贴近程度与代数本身无关。
第二级台阶
用本科术语精确化。近包含：单向缺口 @@M@@\gamma(M,N)@@ 取第一个代数单位球到第二个代数的最大逼近误差。实现酉元：满足 @@M@@uMu^*\subseteq N@@ 的保长度旋转，此时 @@M@@\gamma(M,N)\le2\|u-I\|@@ 自动成立，问题在反向。钟与移矩阵：一对几乎交换、本质却不交换的有限维酉矩阵；绕数：由迹与对数算出的整数不变量，交换对取零、钟移对取一——整数不会连续滑变，”几乎”变不成”真正”。
第三级台阶
定理在这样的语境下陈述：Cameron–Christensen–Sinclair–Smith–White–Wiggins 2012 年问，是否存在与代数无关的容差 @@M@@\delta(\varepsilon)@@ 使小近包含必有小实现；本文给出一列代数对，单向缝隙趋于零，而一切实现酉元与恒等的距离被一个公共正数挡住。微妙处在于嵌入本身始终存在——构造里的对角酉算子就在实现包含——障碍纯粹出在”小实现”上；假设保持单侧，故不与双边强稳定性正定理冲突。构造把钟–移绕数障碍经自由群上带圆参数的表示移植进近包含世界，反证推出交换酉矩阵逼近钟–移对，撞上绕数。
对 Cameron–Christensen–Sinclair–Smith–White–Wiggins 提出的无限制单侧近包含问题给出否定回答：构造了一列可分 Hilbert 空间上的 von Neumann 代数对，单侧间隙 @@M@@\gamma(M_n,N_n)\to 0@@，但任何实现 @@M@@uM_nu^*\subseteq N_n@@ 的酉算子都满足 @@M@@\|u-I\|\ge\varepsilon_0>0@@。
Christensen 在 1980 年引入了近包含（near inclusion）：单侧间隙 @@M@@\gamma(M,N)=\sup_{\|x\|\le 1,\,x\in M}\inf_{y\in N}\|x-y\|@@ 度量”@@M@@M@@ 的每个收缩元都被 @@M@@N@@ 中某元逼近”（逼近元不必是收缩元）。若酉算子 @@M@@u@@ 使 @@M@@uMu^*\subseteq N@@，则 @@M@@\gamma(M,N)\le 2\|u-I\|@@；Christensen 证明了当源代数可均时，此不等式在某种程度上可逆——小的近包含可被小的实现酉元兑现。Cameron–Christensen–Sinclair–Smith–White–Wiggins 在 2012 年提出无限制的单侧问题：是否存在一致的 @@M@@\delta(\varepsilon)>0@@，使 @@M@@\gamma(M,N)<\delta@@ 蕴含存在 @@M@@\|u-I\|<\varepsilon@@ 的实现酉元，且 @@M@@\delta@@ 与代数及其表示无关？此前的正向方法全部依赖可均性或双边假设，非均源代数上一筹莫展。
定理：存在 @@M@@\varepsilon_0>0@@、可分复 Hilbert 空间 @@M@@H_n@@ 与共单位元 @@M@@I_{H_n}@@ 的 von Neumann 代数 @@M@@M_n,N_n\subseteq\mathcal B(H_n)@@，使得 @@M@@\gamma(M_n,N_n)\to 0@@，但对所有充分大的 @@M@@n@@，每个满足 @@M@@uM_nu^*\subseteq N_n@@ 的酉算子（unitary）都满足 @@M@@\|u-I_{H_n}\|\ge\varepsilon_0@@。值得强调：这些例子中空间嵌入确实存在（构造里的对角酉算子 @@M@@W@@ 本身就实现 @@M@@W^*MW\subset N@@），障碍纯粹在于”实现嵌入的酉元不能小”。定理的假设是单侧的：构造不提供反向近包含，因而不与本族第一篇的双边正定理冲突，也不触及 CCSSWW 在附加结构假设下关于非均因子的正结果——那些是不同的命题。
种子是 Voiculescu 1983 年的钟–移矩阵（clock and shift matrices）@@M@@U_n,V_n@@：@@M@@\|U_nV_n-V_nU_n\|\to 0@@，但它们不能被交换的酉矩阵对逼近。障碍是 Exel–Loring 的绕数（winding number）不变量 @@M@@\kappa(U,V)=\frac{1}{2\pi i}\mathrm{Tr}\log(UVU^*V^*)@@：由行列式恒等式它是整数，钟–移对取值 @@M@@1@@、交换对取值 @@M@@0@@，而沿途中保持对数有定义的路径连续，故二者不可接近。论文要把这个有限维障碍移植进近包含问题。第一步，在可数生成自由群 @@M@@\mathbb F@@ 上构造带圆参数 @@M@@z@@ 的 Pytlik–Szwarc 表示：在 Cayley 树上递归定义 @@M@@\xi_x=t\xi_{p(x)}+r\delta_x@@，其 Gram 矩阵 @@M@@\langle\xi_x,\xi_y\rangle=t^{d(x,y)}@@ 保证 @@M@@\pi(g)\xi_x=\xi_{gx}@@ 扩成酉表示；再用满同态 @@M@@q:\mathbb F\to\mathbb Z@@（@@M@@q(s_j)=1@@）扭曲得 @@M@@\pi_z@@，其 Fourier 系数 @@M@@A_k(g)@@ 满足一致界 @@M@@c_k@@，且零阶与一阶矩都可和——这是后续估计的命脉。关键极限是：沿互不相同的生成元 @@M@@s_j@@，@@M@@\pi_z(s_j)@@ 弱收敛于 @@M@@tz\,p_e@@。第二步把 @@M@@z@@ 换成矩阵：@@M@@a(g)=\sum_kA_k(g)\otimes I\otimes U^k@@ 与 @@M@@b(g)=\sum_k I\otimes A_k(g)\otimes V^k@@ 都是酉表示，其弱极限分别保留 @@M@@U@@ 与 @@M@@V@@。在 @@M@@G=\mathbb F\times\mathbb F@@ 上令 @@M@@f(x)=a(x_1)b(x_2)@@，作对角酉算子 @@M@@W@@，并定义 @@M@@M=W(\lambda(G)''\otimes I)W^*@@、@@M@@N=(\rho(G)\otimes I)'@@；恒有 @@M@@W^*MW\subset N@@，故嵌入总是存在。近包含估计的关键在换序：@@M@@\lambda(G)''@@ 中元素的矩阵系数在共同右平移下不变，把 @@M@@W(X\otimes I)W^*@@ 的算子块 @@M@@X_{x,y}\,a(x_1)b(x_2)b(y_2)^*a(y_1)^*@@ 重排为 @@M@@X_{x,y}\,f(xy^{-1})@@ 即得 @@M@@N@@ 中逼近元，而两种排列的差可用 Fourier 展开与幂次换位子估计 @@M@@\|U^aV^b-V^bU^a\|\le|a|\,|b|\,\|UV-VU\|@@ 控制，误差被 @@M@@C\|UV-VU\|@@ 一致界定，且对源代数的整个单位球成立——系数界 @@M@@c_k@@ 的一阶矩可和性在此不可缺。第三步反证：设存在 @@M@@u_n\to I@@ 实现嵌入，则 @@M@@\Sigma_n(g)=u_nW_n(\lambda(g)\otimes I)W_n^*u_n^*(\rho(g)\otimes I)@@ 是 @@M@@G@@ 的酉表示，其两个因子生成的 von Neumann 代数交换；沿 @@M@@s_j@@ 取弱极限，可从 @@M@@\Sigma_n@@ 中恢复出接近 @@M@@U_n,V_n@@ 的、支在投影上的拷贝；再经一条”角引理”（把支投影换成交换代数中的邻近投影、压缩到公共有限维角、取极部分）得到逼近钟–移对的交换酉矩阵，与绕数障碍矛盾。于是不存在任何子列使其实现酉元趋于恒等，这正意味着对充分大的 @@M@@n@@，所有实现酉元与恒等算子的距离有一个公共的正下界 @@M@@\varepsilon_0@@。
本篇反例恰好说明结果族 289 第一篇正定理的双边假设不可削弱为单侧：双边接近时近恒等共轭总是存在，单侧逼近则可能彻底失败。与第三篇（可分 @@M@@C^*@@-反例）一起，两篇反例从两侧划定了稳定性成立的空间边界。主结果暂无 Lean 形式化证明；OpenAI 官方声明未经形式化的结果可能有问题，请以社区核验为准。
问 1：反证链条中最脆弱的一环在哪里？
答：从假设的小实现酉元反推矛盾的那段”恢复”论证。设 @@M@@u_n\to I@@ 实现包含，则 @@M@@\Sigma_n(g)@@ 成为乘积群的酉表示、两因子的冯·诺依曼代数交换；沿互异生成元取弱极限，须从中恢复支在投影上、接近钟–移对的拷贝，再经”角引理”——投影扰动、压缩到公共有限维角、取极部分——得到逼近钟–移对的交换酉矩阵，撞绕数矛盾。弱极限中的量化逼近与角引理的投影扰动互相咬合，是全篇最该逐行核验处。
问 2：为什么嵌入”存在”这个细节如此重要？
答：定理精确否定的是”小空间嵌入”而非”嵌入存在性”——构造里的对角酉算子 @@M@@W@@ 本身就实现 @@M@@W^*MW\subset N@@。于是结论分离了两种性质：范数逼近（@@M@@\gamma\to0@@）与小空间实现（@@M@@\|u-I\|@@ 小），证明前者不蕴含后者。若嵌入也不存在，命题会弱得多，也谈不上回答 CCSSWW 的 @@M@@\delta(\varepsilon)@@ 问题。
问 3：哪个假设不能去掉？
答：源代数的不可均性是命脉：Christensen 1980 已证源可均时小近包含总能被线性界的小酉元实现。本文的源取自由群乘积的群代数拷贝——典型非均。同时结论保持单侧：论文明言构造不提供反向近包含，因此不触犯族内第一篇的双边普适正定理，也不与 CCSSWW 在附加结构假设下的非均因子正结果冲突。
问 4：与已有工作相比真正的新意是什么？
答：钟–移矩阵的绕数障碍（Voiculescu 1983，Exel–Loring 1989 的迹对数形式）是有限维 K 理论的老经典；Exel 用它研究 @@M@@2\times2@@ 矩阵的近似表示。新意是运输工具：Pytlik–Szwarc 表示带圆参数、其 Fourier 系数有一致可和界、沿生成元弱收敛到 @@M@@tz@@ 乘投影——把 @@M@@z@@ 换成钟与移矩阵，障碍第一次被搬进近包含的von Neumann 世界。
问 5：这类 AI 生成证明最可能在哪里出错？
答：两处簿记：一是近包含估计的换序论证——把算子块重排为 @@M@@X_{x,y}f(xy^{-1})@@ 需要 Fourier 展开的幂次换位子估计 @@M@@\|U^aV^b-V^bU^a\|\le|a||b|\|UV-VU\|@@，且系数界的一阶矩可和性不可缺，稍差一个可和阶数误差就失控；二是反证中弱极限保持逼近精度。论文未形式化，这两段是高危区。
问 6：谁会用到这个反例？
答：算子代数扰动理论：它划出 Christensen 近包含理论与强 Kadison–Kastler 稳定性的精确疆界——”几乎在里面”不等于”轻轻放得进去”，此后任何单侧稳定性命题都必须绕开这组例子。与第三篇 C*-反例一起，从两侧夹出稳定性成立的空间边界。
总评
这是界定性的反例工作：把三十年的有限维绕数障碍成功移植进近包含框架，答案干净利落；最大风险在反证链条的弱极限量化估计，若角引理失守则只剩”嵌入不小”的弱命题。