结果族 300：Approximation and quadratic strong-operator paving · 学科：Operator algebras · 验证状态：暂无形式化证明，请以社区核验为准
还是”给大表格分组降噪”的铺陈问题，这篇姊妹篇换了个更聪明的让步：不更换算子，而是允许把整个空间轻轻压扁——在一个与恒等几乎分不出差别的投影上估算范数（所谓 so-铺陈）。换来的是效率的飞跃：分组个数只要 5×10⁸·ε^{-2}，即误差平方的反比阶。别被巨大的常数吓到：指数 2 已被已知障碍证明不可能再低，而此前把两条技术路线拼合会退化到 ε^{-6} 阶。
关键词卡片
看个具体例子
先说清”压扁”的含义：所用的投影 q 虽然砍掉了空间的一角，但在事先指定的任何有限个向量上都几乎看不出差别，是强算子拓扑意义下的”几乎恒等”。把定理代入具体数字（公式卡）：误差取 @@M@@\varepsilon=0.1@@，分组数至多 @@M@@5\times10^8\cdot\varepsilon^{-2}=5\times10^{10}@@ 个；取 @@M@@\varepsilon=0.01@@，至多 @@M@@5\times10^{12}@@ 个，且个数在选定算子与坐标之前就已固定。
而 @@M@@\varepsilon^{-6}@@ 型的旧式界在同一精度 @@M@@\varepsilon=0.01@@ 下要 @@M@@10^{20}@@ 量级——指数从 6 降到最优的 2，精度要求越高，差距越悬殊。
为什么值得关心
一步到位的二次方阶同时覆盖 Cartan 与奇异两条技术路线，并解除可分性与条件期望等全部附加假设，完整兑现 Popa–Vaes 的第二个铺陈猜想。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读说这篇姊妹篇的让步更聪明：”不更换算子，而是把整个空间轻轻压扁”。翻译过来：对象仍是一个算子和它所属的一套坐标系统（极大交换子代数）；操作仍是分组降噪；不同的是，允许在一个与恒等算子几乎分不出差别的压缩之下估计噪音。悬案是：这样让步之后，分组个数最好能做到多少阶？
第二级台阶
用本科术语精确化：设 M 是冯·诺依曼代数，A 是它的极大交换子代数，x 是 M 中自伴元。取 A 中 r 个两两正交、和为一的投影，块压缩 S_P(x)=Σ p_i x p_i 剪掉跨块联系。称 x 是 (ε,r) so-可铺陈的，若对任意有限向量集与任意精度 δ，都能选出分割 P、A 中元素 a 与投影 q，使得 1−q 在那些向量上小于 δ、而压缩后的噪音 ‖q(S_P(x)−a)q‖≤ε‖x‖。
第三级台阶
定理在这样的语境下陈述：取 r_ε 不超过 5×10^8·ε^{-2}，则任何冯·诺依曼代数、任何极大交换子代数、任何自伴元都 (ε,r_ε) so-可铺陈。”不设可分性与条件期望假设”挡住的是以往两条技术路线各自的适用门槛；指数 2 不是懒散——Popa–Vaes 的 II_1 因子 L^2 障碍证明再低一阶必假。结论用这些话说：分组个数达到误差平方反比的最优阶，Popa–Vaes 的第二个铺陈猜想完整兑现。
证明了 Popa–Vaes 的二次强算子铺陈猜想：任何冯·诺依曼代数中的自伴元，都能对任意 MASA 用至多 @@M@@5\times10^8\varepsilon^{-2}@@ 个投影完成 so-铺陈；指数 @@M@@2@@ 已达最优，且不设可分性或条件期望假设。
Kadison–Singer 问题的铺陈形式在 2015 年被 Marcus–Spielman–Srivastava 用混合特征多项式解决，但那仅覆盖 @@M@@\mathcal B(\ell^2)@@ 的对角 MASA。Popa 与 Vaes 在 2015 年证明：对一般 MASA（maximal abelian subalgebra，极大交换子代数），可分预对偶情形下的范数铺陈等价于代数为 I 型且 MASA 是正规条件期望的值域，因此必须减弱目标——so-铺陈允许先把算子压缩到一个强拓扑下接近恒等的投影上再估计范数。他们证得了若干 @@M@@\varepsilon^{-4}@@ 阶界（I 型、amenable 代数中的 Cartan、profinite 作用的 Cartan），又在奇异 MASA 的超积中得到 @@M@@\varepsilon^{-2}@@ 阶，并明确指出需要统一 Cartan 与奇异两条路线；而此前把两条路线拼合会退化到 @@M@@\varepsilon^{-6}@@ 阶。另一方面，他们构造的 II@@M@@_1@@ 因子 @@M@@L^2@@ 障碍表明指数 @@M@@2@@ 不可再降。本文把任意 MASA 的界一次做到二次方，同时解除所有附加假设。
先看定义：自伴元 @@M@@x@@ 称为 @@M@@(\varepsilon,r)@@ so-可铺陈（so-pavable），如果对任何有限向量集 @@M@@F\subset H@@ 与 @@M@@\delta>0@@，存在 @@M@@A@@ 中 @@M@@r@@ 元分割 @@M@@P=(p_1,\dots,p_r)@@、自伴元 @@M@@a\in A@@（@@M@@\|a\|\le\|x\|@@）与投影 @@M@@q\in M@@，使 @@M@@\|(1-q)\xi\|<\delta@@（@@M@@\xi\in F@@）且 @@M@@\|q(S_P(x)-a)q\|\le\varepsilon\|x\|@@，其中 @@M@@S_P(x)=\sum_i p_ixp_i@@ 是块压缩（pinching）。主定理：取
@@M@@Dr_\varepsilon=\lceil 4\times10^8\,\varepsilon^{-2}\rceil+\lceil 4/\varepsilon\rceil+1\ \le\ 5\times10^8\,\varepsilon^{-2},@@
则任何 MASA @@M@@A\subseteq M\subseteq\mathcal B(H)@@ 中的任何自伴元 @@M@@x@@ 都是 @@M@@(\varepsilon,r_\varepsilon)@@ so-可铺陈的；投影个数在包含、算子与强邻域选定之前就已固定。推论：若 @@M@@A@@ 可数可分解且是正规条件期望的值域，则在 Ocneanu 超积 @@M@@M^\omega@@ 中得到同一 @@M@@r_\varepsilon@@ 的真正范数铺陈。指数 @@M@@2@@ 被既有的 @@M@@L^2@@ 障碍强制为最优，数值常数则未加优化。
整体路线是”角分解—Cartan 项染色—自由积合并—矩转移—收尾”。先做角分解：设 @@M@@p@@ 为所有 @@M@@A@@-中心正规正泛函支撑的上确界（它落在 @@M@@A@@ 中）。在 @@M@@(1-p)M(1-p)@@ 上不存在任何中心泛函：借助 Haagerup @@M@@L^2@@ 空间与 Powers–Størmer–Araki 正锥不等式 @@M@@\|h_\varphi^{1/2}-h_\psi^{1/2}\|_2^2\le\|\varphi-\psi\|@@，pinching 在 @@M@@L^2(M)@@ 上的投影随加细强收敛到中心向量上的投影，而假设使之趋于零；再对分割取随机单位根标签、做两次随机化，得到近两两正交的共轭态，仅用 @@M@@O(\varepsilon^{-1})@@ 种颜色即可铺陈该角，正锥重叠估计把对称的 @@M@@L^2@@ 估计转化为具有任意大指定态质量的压缩。忠实态角经可分约化后进入主战场：设 @@M@@N@@ 为群子正规化子生成的代数，则 @@M@@A\subseteq N@@ 是 Cartan 包含，Takesaki 定理给出期望 @@M@@E_N@@，于是 @@M@@x-E_Ax=(E_Nx-E_Ax)+(x-E_Nx)@@。第二项有一个漂亮的结构事实：对 @@M@@y\in\ker E_N@@，正映射 @@M@@f\mapsto E_A(y^*fy)@@ 由无原子核（atomless kernel）表示，这保证后面矩转移中的碰撞项消失。第一项在等价关系的相对 Bernoulli 延拓上处理：每个关系类的站点独立赋标签，构造条件颜色边缘分布一致、且使任意有限半径球上的钉住矩阵以任意高概率变小的可测染色；其有限维输入是 Ravichandran–Srivastava 的混合行列式多项式界——部分染色时以双符号实根多项式的正根总和计量成本，在选定移位处全未染色的成本为零，而有限集上范数过大会强制正成本，谱根测度把成本分配到顶点，单点赋值不等式控制其增量；非奇异性同样用带额外实坐标的不变提升使质量传输可用，删除估计一致控制大权重。随后是保住二次方的关键一步：把 @@M@@M@@ 与 Bernoulli 延拓 @@M@@\widetilde N@@ 放进 @@M@@N@@ 上的 amalgamated 自由积 @@M@@\mathcal K=M*_N\widetilde N@@；一致的颜色边缘分布既给出 @@M@@\ker E_N@@ 上的自由压缩界，同一组颜色投影又同时给出 Cartan 项估计——”一个分割同时对付两项”，正是避免以往拼合退化到 @@M@@\varepsilon^{-6}@@ 的原因。最后用有限符号求值、模解析逼近与循环词中的最短对论证，把模型里每个固定矩转移回 @@M@@A@@ 的真实投影（无原子核使碰撞项归零）；收尾时以裁剪（clipping）与变化序列的连续演算回到原算子，谱切割产生所需投影 @@M@@q@@，按互不相交的调色板拼角完成定理。
本文主结果暂无 Lean 形式化证明，请以社区核验为准。姊妹篇《Approximation Paving over Arbitrary Maximal Abelian Subalgebras》以相互独立的证明兑现 Popa–Vaes 猜想的逼近铺陈部分（投影数为 @@M@@\varepsilon^{-6}@@ 阶、不含二次率），与本文的二次 so-铺陈互为补充、证明互不依赖。按 OpenAI 官方声明，未经形式化的结果可能存在问题，阅读时宜保持审慎。
问 1：证明里最关键、也最脆弱的一步是什么？
（答：是”一个分割同时对付两项”。把 x−E_A(x) 拆成正规化子项与自由项后，论文把 M 与 Bernoulli 延拓 Ñ 放进 N 上的融合自由积，让一致的条件颜色边缘分布既给出 ker E_N 上的自由压缩界、又用同一组颜色投影给出 Cartan 项估计——正是这步避免了以往拼合两条路线时退化到 ε^{-6}。脆弱处在矩转移：把模型里的矩搬回 A 的真实投影，靠的是循环词中的最短对论证与无原子核使碰撞项归零，任一环松动整个常数链就断。）
问 2：指数 2 凭什么不能再降？
（答：引言完整复现了 Popa–Vaes 的 II_1 因子 L^2 障碍：取中心化的自伴酉元，迹正交性把估计逼成 ‖S_P(x)‖_2≤ε+4τ(1−q)^{1/2}，而强邻域可让右端任意小，与下界 η 矛盾——n<ε^{-2} 时任何 n 块分割都失败。所以 2 是硬下界，5×10^8 这个数值常数则明言未优化。）
问 3：与已有工作相比真正的新意是什么？
（答：Popa–Vaes 的 Cartan 路线只有 ε^{-4}，奇异 MASA 超积路线才有 ε^{-2}，他们自己指出需要统一两条路线（Remark 2.9(ii)）。本文一步做到任意 MASA 的二次界并解除可分性与期望假设；姊妹逼近铺陈篇证的是另一命题、证明相互独立。）
问 4：”无原子核”这个结构事实为什么不可或缺？
（答：对 ker E_N 中的 y，正映射 f↦E_A(y*fy) 由无原子核表示，恰好保证矩转移中模型矩与真实投影矩的碰撞项消失。没有它，转移会多出无法控制的交叉项，二次阶无从谈起。）
问 5：AI 生成证明最可能在哪里出错？
（答：染色构造的均匀性。非奇异等价关系的不变提升、按赋值时间次序的条件化、”任意有限半径球以任意高概率被完全染色”——这些可测组合对象的多层均匀估计最容易在极限交换时丢掉一个一致常数。巨型数值常数未优化反而容易吞掉中间错位，论文未形式化，需独立核算。）
问 6：谁会用到它？
（答：可数可分解且带正规期望的 MASA，在 Ocneanu 超积里立刻得到同一 r_ε 的真正范数铺陈（推论 1.3）；研究 II_1 因子中 MASA、奇异包含与超积刚性的人直接受益。论文未讨论多算子公共分割的情形。）
以最优指数、零结构假设兑现 Popa–Vaes 第二猜想的硬结果，”单一分割双杀两项”的构思漂亮；最大风险在测度组合—自由概率—模理论三重技术栈的超长依赖链，且无形式化背书。