结果族 300：Approximation and quadratic strong-operator paving · 学科：Operator algebras · 验证状态：暂无形式化证明，请以社区核验为准
一张巨大的表格（矩阵）里，对角线是”分内账目”，对角线外全是”串门噪音”。铺陈（paving）问题问：能否把行列编号分成很少几组，使每组内部的串门噪音微不足道？2015 年 Marcus–Spielman–Srivastava 在最标准的坐标（对角 MASA）下解决了它——即著名的 Kadison–Singer 问题。但任换一套”坐标系统”（极大交换子代数），直接分组会失败。本文证明 Popa–Vaes 的折中方案普遍可行：先把算子换成一个范数至多三倍的近似替身，再分组铺陈，对任何坐标系统、任何冯·诺依曼代数都成立。
关键词卡片
看个具体例子
数值版主定理：任意 0<ε<1，投影个数不超过 C·ε^{-6}（C 为通用常数）；误差减半，分组数约增 64 倍。分块压缩的示意：
两个关键点：误差以替身自身的范数为尺度（相对误差），且定理不要求代数可分、也不要求存在条件期望——这是以往所有版本都迈不过去的一般性门槛。
为什么值得关心
它把 Kadison–Singer 问题的精神推广到任意坐标系统，完整兑现 Popa–Vaes 在 2015 年提出的逼近铺陈猜想。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把矩阵的对角线比作”分内账目”、非对角部分比作”串门噪音”，把极大交换子代数比作一套”坐标系统”。翻译过来：研究对象是作用在无穷维空间上的算子全体组成的代数；坐标系统是其中极大的一组两两交换的算子；操作是把空间的编号分成少数几组，让每组内部的跨块噪音变得微不足道。悬案是：换掉最标准的那套坐标后，直接分组注定失败，能否先换一个有界的”近似替身”再分组？
第二级台阶
用本科术语精确化：设 M 是冯·诺依曼代数（对取极限封闭的算子代数），A 是它的极大交换子代数（MASA）。取 A 中有限个投影 p_1,…,p_r 分割单位（两两正交、和为一），块压缩指 C_P(y)=Σ p_i y p_i，即剪掉 y 的跨块联系、只留各块内部。”铺陈”要求 C_P(y) 在算子范数下逼近 A 中某个元素，使噪音相对范数至多 ε。
第三级台阶
定理在这样的语境下陈述：存在通用常数 C，使投影个数 R(ε)≤C·ε^{-6}，对任何冯·诺依曼代数、任何 MASA、任何自伴算子 x，都能在任意指定的强算子邻域内找到自伴替身 y（‖y‖≤3‖x‖）与 A 中的投影分割，使块压缩距 A 中某元素至多 ε·‖y‖。”不要求可分性、不要求存在条件期望”挡住的正是 Popa–Vaes 判定的死局——一般 MASA 上直接铺陈原算子等价于 I 型加期望。结论用这些话说：先近似、再铺陈的折中方案对所有坐标系统无例外地成立。
证明了 Popa–Vaes 的逼近铺陈（approximation paving）猜想：任何冯·诺依曼代数中的自伴算子，都可先在强算子拓扑下用范数至多三倍的算子逼近，再对任意极大交换子代数以相对误差 @@M@@\varepsilon@@ 完成范数铺陈，投影个数不超过 @@M@@C\varepsilon^{-6}@@，且完全不需要可分性或条件期望假设。
1959 年 Kadison 与 Singer 提出纯态延拓问题，其铺陈版本（Anderson，1979）问：能否用有限个对角投影把 @@M@@\mathcal B(\ell^2)@@ 中算子的非对角部分切成小范数块？Marcus–Spielman–Srivastava（2015）以混合特征多项式（mixed characteristic polynomial）解决了对角情形。但对一般 MASA（maximal abelian subalgebra，极大交换子代数），直接铺陈原算子过于苛刻：Popa 与 Vaes 在 2015 年证明，在可分预对偶（separable predual）情形，范数铺陈恰好等价于代数为 I 型且 MASA 是某个正规条件期望（normal conditional expectation）的值域。为此他们提出允许先做有界扰动的逼近铺陈与允许强拓扑压缩的 so-铺陈两个弱化版本，并猜想任意 MASA 都具有这两种性质（Conjecture 2.8）。此前逼近铺陈只在 I 型代数、amenable 代数或 profinite 作用产生的 Cartan 子代数、以及奇异有限 MASA 等特例上得到验证，一般情形（尤其无期望情形）悬而未决。
主定理：存在通用常数 @@M@@C_{\mathrm{ap}}>0@@，对每个 @@M@@0<\varepsilon<1@@ 有整数 @@M@@R(\varepsilon)\le C_{\mathrm{ap}}\varepsilon^{-6}@@，使得对任何复冯·诺依曼代数 @@M@@M\subseteq\mathcal B(H)@@、任何 MASA @@M@@A\subseteq M@@、任何自伴元 @@M@@x=x^*\in M@@、任何有限向量集 @@M@@F\subset H@@ 与 @@M@@\delta>0@@，存在自伴元 @@M@@y\in M@@、@@M@@A@@ 中 @@M@@R(\varepsilon)@@ 个投影构成的单位分割 @@M@@\mathcal P=(p_i)@@ 以及自伴元 @@M@@a\in A@@，满足
@@M@@D\|y\|\le 3\|x\|,\qquad \|(y-x)\xi\|<\delta\ (\xi\in F),\qquad \|a\|\le\|y\|,\qquad \|C_{\mathcal P}(y)-a\|\le\varepsilon\|y\|,@@
其中 @@M@@C_{\mathcal P}(y)=\sum_i p_iyp_i@@ 是块压缩（pinching）。要点有二：误差以近似算子 @@M@@y@@ 自身的范数为尺度；投影个数与代数、其表示、算子乃至强邻域全都无关。推论一：当 @@M@@A@@ 是正规条件期望的值域时，由此得到相应的强算子铺陈；推论二：该情形下投影个数可改进为 @@M@@N(\varepsilon)\le C\varepsilon^{-2}@@ 的二次方阶。
证明分为”测度论一半”与”算子代数一半”。测度论一半建立单边可测铺陈定理：对可数非奇异 Borel 等价关系上、支撑在有限度图内的厄米矩阵系统，只要颜色数 @@M@@r@@ 满足 @@M@@2\sqrt{2/r}+2/r<b@@，就有 @@M@@r+1@@ 色可测染色使 @@M@@(T_{\mathrm{pav}}-(Kb)\mathbf 1)_+^2@@ 的对角积分任意小。其组合内核是铺陈多项式（paving polynomial）：把随机染色下的期望特征多项式与局部谱概率测度、谱移位函数（spectral-shift function）联系起来，稳定性由 MSS 式的半平面论证给出；关键的”缓冲钉住引理”（buffered pinning）在固定某个顶点的颜色、同时把它的对角罚项放大固定倍数 @@M@@K@@ 时，控制正根质量的增量，且常数与矩阵大小和以往选择无关。非奇异性是第一道难关：作者把关系提升到 Maharam 延拓，在附加高度坐标后测度不变、质量传输公式（mass transport）可用；再用权重 @@M@@e^s@@ 缩放矩阵，恰好抵消密度 @@M@@e^{-s}@@，使不同高度”石板”上的谱代价可用普通平均比较，钉住决策从而下降为底空间上的单一染色。最后做稀疏钉住：对图的距离幂取有限 Borel 辅助染色，独立 Bernoulli 抽取待钉顶点，使每个局部球内”同时被抽中两个以上”的概率仅为 @@M@@O(\alpha^2)@@，一阶响应因此可加；正部函数 @@M@@x_+@@ 先用多项式逼近以绕开对根个数的依赖，迭代后总成本与未染色集测度都任意小。
算子代数一半先处理 @@M@@A@@ 落在忠实正规态 @@M@@\varphi@@ 的中心化子（centralizer）中的情形。分解 @@M@@x-E_Ax=Y+Z@@：@@M@@Y=E_Nx-E_Ax@@ 属于群子正规化子生成的代数 @@M@@N@@，经 Feldman–Moore 表示化为可测等价关系的代数，交给可测铺陈定理；@@M@@Z=x-E_Nx@@ 具有扩散的左右核，作者改造 Popa–Vaes 的自由积矩阵膨胀（free-product dilation），用随机对角相位获得关于非迹态的渐近自由性，矩及其集中都不依赖迹性，模群（modular group）通过解析右乘处理。随后用可分性约化去掉可分预对偶假设：可数地生成一个包含逼近分割的子代数，其 MASA 性质靠压缩网收敛验证。最关键的一步是去掉条件期望假设：在中心化正规正泛函的支撑 @@M@@e@@ 的角上存在正规期望，可直接铺陈；在补角上，利用标准形式自然锥中近两两正交的随机共轭态向量（随机单位根标签）构造对角压缩极小的正压缩，再以三角（three-corner）拼装保持全部非对角元直到最终选定分割。误差归一化到 @@M@@y@@ 自身范数，则由取范数测试向量与最终裁剪（clipping）论证完成。
本文主结果暂无 Lean 形式化证明，请以社区核验为准。同族姊妹篇《Quadratic Strong-Operator Paving over Arbitrary Maximal Abelian Subalgebras》以相互独立的证明给出原算子的二次 so-铺陈；本文则对邻近的有界近似算子做范数铺陈，不宣称二次率，两文从不同侧面兑现 Popa–Vaes 猜想。按 OpenAI 官方声明，未经形式化的结果可能存在问题，阅读时宜保持审慎。
问 1：证明里最关键、也最脆弱的一步是什么？
（答：去掉条件期望假设的最后一步（general 一节）。中心化正规正泛函支撑所在的角上天然有期望、可直接铺陈；补角上则用标准形式自然锥里近两两正交的随机共轭态向量造出对角压缩极小的正压缩，再以三角拼装保住全部非对角元直到选定分割。测度论那半的”缓冲钉住引理”——钉住一个顶点颜色、放大对角罚项固定倍数时正根质量增量受控且与矩阵大小无关——是另一处险关。）
问 2：为什么必须先换”替身”，不能直接铺陈原算子？
（答：这是被定理挡回去的：Popa–Vaes 证明在可分预对偶情形，对原算子的范数铺陈恰好等价于代数为 I 型且 MASA 是某正规期望的值域。换任意 MASA 后直接铺陈就是假命题，有界扰动（‖y‖≤3‖x‖）是必要的让步。）
问 3：误差为什么以替身自身的范数为尺度，而非 x 的？
（答：论文用取范数测试向量加最终裁剪（clipping）论证把归一化压到 ‖y‖ 上；若允许以 ‖x‖ 计，替身可能范数膨胀、误差被稀释，结论会被削弱成几乎平凡。相对误差才是铺陈的诚实量纲。）
问 4：与已有工作相比真正的新意是什么？
（答：MSS 只解决对角 MASA（Kadison–Singer）；Popa–Vaes 的逼近铺陈只在 I 型、amenable 代数的 Cartan、profinite 作用及奇异有限 MASA 等特例得到。本文对无任何期望的 II/III 型情形给出完整证明，兑现 PV 猜想的逼近一半；姊妹篇独立证原算子的二次 so-铺陈，两者互补而非相互依赖。）
问 5：AI 生成证明最可能在哪里出错？
（答：跨两半的长链一致性。Maharam 延拓的”石板”谱代价比较、谱移位函数与铺陈多项式的衔接、稀疏钉住中”局部球内同时抽中两个以上概率仅 O(α²)”的一阶可加性——每一环都要与算子代数半的自由积膨胀（非迹态下的渐近自由）严丝合缝。ε^{-6} 明言未优化，常数粗恰恰容易掩盖中间估计的错位。论文未形式化。）
问 6：谁会用到它？
（答：研究 II/III 型因子中 MASA 与 Cartan 结构的人；有期望时推论直接给出 so-铺陈与 ε^{-2} 二次率（Corollary 1.3）。论文未讨论下界或最优率，也未给出具体常数。）
完整兑现 Popa–Vaes 2015 年逼近铺陈猜想、彻底摆脱期望假设的工作，一般性是里程碑式的；但测度论与算子代数两半的超长 uniformity 链条且未形式化，是必须逐节核验的最大风险。