结果族 293：Invariant projections, hyperinvariant subspaces, and transitive algebras · 学科：Operator algebras · 验证状态：暂无形式化证明，请以社区核验为准
钟表指针按无理角度旋转时，永远回不到出发点，表盘上每一点都会被扫到。现在给表盘挂上一个”重量”：只在一点归零，而且塌陷得极其陡峭。这篇论文证明：对任意事先指定的无理角，都能造出这样一个重量，使得加权后的旋转在算子世界里找不到任何非平凡的”不变留影区”。
关键词卡片
@@M@@R_\theta@@。@@M@@\Delta(f)=\exp(\int\log|f|\,\mathrm dm)@@，归零意味着重量塌陷。@@M@@\|T^n\|^{1/n}\to0@@，幂次被重量越压越扁。看个具体例子
定理选的重量 @@M@@f:\mathbb T\to[0,1]@@ 连续、只在点 @@M@@1@@ 处为零，且 @@M@@\int_{\mathbb T}\log f\,\mathrm dm=-\infty@@——塌陷陡到对数积分发散。
于是加权旋转 @@M@@T_f=Uf(V)@@ 的不变投影只能是 0 或 1；同时 @@M@@\|T_f^n\|@@ 被轨道乘积指数压制，谱半径为 0。老理论（Haagerup–Schultz）只能为谱测度非点质量的算子找到不变投影，而这里判别式为零使谱测度塌缩成点质量，老路全被封死，只能另起炉灶。结论对每个无理角都成立，角度可以先点名、后构造。
为什么值得关心
它否定回答了 Zhu–Fang–Shi 的公开问题，并推出：存在没有非平凡超不变子空间的非零拟幂零算子。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”表盘”是圆周，”指针旋转”是一个酉算子，”挂在表盘上的重量”是一个只在其点归零、塌陷极陡的非负函数。把重量乘进旋转，得到加权旋转这个算子；”不变留影区”是随它演化保持不变的正交子区域。定理断言：只要重量塌陷得足够陡，而且其塌陷方式选得恰当，加权旋转在所属算子世界里没有任何非平凡的这类子区域。
第二级台阶
| 精确化：满足交换关系 VU=e^{2πiθ}UV 的两个酉算子生成无理旋转代数——超有限 II₁ 因子 R_θ，自带忠实正规迹 τ。对圆周上的连续函数 f，加权旋转是 T_f=Uf(V)。R_θ 中的非平凡不变投影 p 满足 0<τ(p)<1 且 (1−p)T_f p=0。Fuglede–Kadison 判别式 Δ(f)=exp(∫log | f | dm) 度量重量的塌陷总量；范数拟幂零指 | T_f^n | ^{1/n}→0，幂次被重量越压越扁。 |
第三级台阶
主定理的语境：角 θ 先固定（任意无理角，无丢番图条件），然后构造连续 f:T→[0,1]，仅在点 1 为零、对数积分为 −∞。假设”单零点+发散对数积分”恰好使 Brown 谱测度塌缩成点质量，封死 Haagerup–Schultz 的老路——判别式为零时该理论只给平凡投影。结论：R_θ 中每个满足不变性的投影必为 0 或 1；推论是 T_f 非零且范数拟幂零，其交换子代数是传递代数。结论限于因子内的投影，一般不变子空间的投影未必落在因子里。
对任意事先指定的无理角 @@M@@\theta@@，本文构造了仅在一点为零、对数积分为 @@M@@-\infty@@ 的连续圆权 @@M@@f@@，使超有限 @@M@@\mathrm{II}_1@@ 因子中的加权旋转 @@M@@T_f=Uf(V)@@ 没有任何非平凡不变投影，否定回答了 Zhu–Fang–Shi 的公开问题。
设 @@M@@\theta\in(0,1)@@ 无理。满足 @@M@@VU=e^{2\pi i\theta}UV@@ 的酉算子 @@M@@U,V@@ 生成的冯·诺依曼代数 @@M@@R_\theta@@，即无理旋转的群测度空间构造——超有限 @@M@@\mathrm{II}_1@@ 因子（hyperfinite factor of type @@M@@\mathrm{II}_1@@）。对圆周 @@M@@\T@@ 上连续函数 @@M@@f@@ 记 @@M@@T_f=Uf(V)@@；闭不变子空间称为隶属（affiliated）于 @@M@@R_\theta@@，若其正交投影 @@M@@p@@ 属于 @@M@@R_\theta@@，此时不变性等价于 @@M@@(1-p)T_fp=0@@ 且 @@M@@0<\tau(p)<1@@。Fuglede–Kadison 判别式（determinant）@@M@@\Delta(f(V))=\exp(\int_\T\log|f|\,dm)@@ 是主要工具：Haagerup–Schultz 理论为 Brown 谱测度（Brown measure）非点质量的算子配上非平凡投影，判别式为零时该测度塌缩为点质量，此路只剩平凡投影。Zhu、Fang、Shi 已造出单零点、零判别式的连续权，却无法排除投影，于是问：若 @@M@@f@@ 几乎处处非零、@@M@@|f|@@ 非常值且判别式为零，@@M@@T_f@@ 是否必有非平凡的隶属不变子空间？本文对每个无理角给出否定答案。
主定理：对每个无理 @@M@@\theta\in(0,1)@@，存在连续函数 @@M@@f:\T\to[0,1]@@，满足 @@M@@f^{-1}(\{0\})=\{1\}@@、@@M@@\int_\T\log f\,dm=-\infty@@，且任意满足 @@M@@(1-p)Uf(V)p=0@@ 的投影 @@M@@p\in R_\theta@@ 必为 @@M@@0@@ 或 @@M@@1@@。角度先固定、后构造，不加任何丢番图（Diophantine）条件；结论限于因子 @@M@@R_\theta@@ 内的投影，一般不变子空间的投影未必落在该因子内。推论：所得 @@M@@T_f@@ 非零且范数拟幂零（norm-quasinilpotent），即 @@M@@\|T_f^n\|^{1/n}\to0@@。再由”超不变子空间的投影必属于包含算子的因子”即得：每个可分无穷维复 Hilbert 空间上都有非零、范数拟幂零、无超不变子空间的有界算子，其交换子代数是传递（transitive）代数。
第一步造可测障碍。取整除列 @@M@@q_0\mid q_1\mid\cdots@@ 与代价 @@M@@c_i@@，令 @@M@@g_*(x)=\sum_{i\ge1}c_i\lfloor\{q_ix\}+\{q_i\theta\}\rfloor@@、@@M@@f_*=e^{-g_*}@@：级数几乎处处有限而积分发散。反设存在非平凡不变投影，它在移位表示下化为投影场；有限迹与遍历性迫使对角元 @@M@@r(x)@@ 几乎处处落于 @@M@@(0,1)@@，故投影与其补各有一个中心坐标非零的向量，不变性在其上给出精确的加权正交（卷积）恒等式：先沿旋转轨道，再传到耦合点对。
第二步是卷积障碍。把恒等式截断到窗口 @@M@@|v|\le K_j@@：截断部分是两个 Laurent 多项式之积的系数，多项式系数引理保证其在某个概率不小于 @@M@@c_*@@ 的事件上总和不小于 @@M@@\varepsilon_j>0@@——有限块不可能太小。无穷尾则须小到无法抵消：权的下落稀疏到不扰动所选窗口，又陡峭到压制窗外贡献。关键是对两个端点分别作条件概率估计，使无穷尾部无需并集界即可求和，最终得 @@M@@c_*\varepsilon_j\le(2K_j+1)(e^{-L_j}+2e^{-L_j/800})\le\varepsilon_j/j@@，矛盾。圆周特征彼此相关，故用混合进制（mixed-radix）展开提取独立数字，据 Strassen–Edwards 耦合理论造出边缘密度一致平方可积的耦合。
第三步换成连续权：把锯齿下落磨光、用单位分割把支撑搬进缩向零点的弧段、再补上在零点发散的背景代价，全部修正恰为常数 @@M@@1@@ 加可测上边缘（coboundary）@@M@@b\circ\sigma-b@@。乘子 @@M@@H_b@@（第 @@M@@k@@ 坐标乘 @@M@@e^{b(\sigma^kx)}@@）正、单射且隶属于因子，满足 @@M@@H_bT_f=e^{-1}T_*H_b@@；谱截断与极分解的迹守恒论证表明，@@M@@T_f@@ 的不变投影都被传送为 @@M@@e^{-1}T_*@@ 的同迹不变投影——后者已被排除，障碍遂转移至连续权。
第四步证拟幂零：无理旋转对连续函数的平均一致收敛于其积分，而 @@M@@\|T_f^n\|@@ 等于轨道乘积的上确界，故被 @@M@@e^{-an}@@ 指数压制，谱半径为零。
本篇暂无形式化证明。姊妹篇 Backward intertwiners and a transitive commutant 用 2-adic 模型以不同的构造独立证得同族的存在性结论，其主结果已有 Lean 形式化；两文相互独立、互为印证。文中并指出结果与 Cho–Ko–Lee 推论 2.8 在 @@M@@\mu=1@@ 处的论断冲突。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明里最脆弱的一步是什么？
（答：卷积障碍的数值不等式 c*ε_j≤(2K_j+1)(e^{-L_j}+2e^{-L_j/800})≤ε_j/j。有限窗内由多项式系数引理保住 ε_j 的下界，无穷尾部须被指数压制到无法抵消；关键是对两个端点分别作条件概率估计，绕开并集界。任何一个常数（尤其那个 800）失算，矛盾便不成立。）
问 2：为什么”仅一点为零+对数积分 −∞”不能放宽？
（答：判别式为零使 Brown 测度塌缩成点质量，Haagerup–Schultz 理论只剩平凡投影——这正是老路被封死、必须自建障碍的原因；而判别式为正时 Zhu–Fang–Shi 推论 5.5 反向保证非平凡不变子空间存在，两个假设互补地划出分界线。）
问 3：与已有工作相比真正的新意是什么？
（答：Zhu–Fang–Shi 已造出单零点、零判别式的权，但无法排除投影，遂公开提问；Dykema–Haagerup 的 DT 算子与 Tucci 的例子说明点质量 Brown 测度完全可与大量不变投影共存。本文首次对每个事先指定的无理角（无丢番图条件）排除全部非平凡隶属投影。）
问 4：可测权换连续权这一步赌注在哪？
（答：修正恰为常数加可测上边缘 b∘σ−b，给出正单射、隶属因子的（可能无界）乘子 H_b，满足 H_b T_f=e^{-1}T_* H_b；须用定义域与迹守恒论证把 T_f 的不变投影传成同迹的 T_* 不变投影。无界乘子的定义域论证是经典事故区。）
问 5：AI 生成证明最可能出错的模式？
（答：零测集的簿记——一切恒等式只在余零集上成立，取整数迭代时须交可数多个平移，若某处默认了”对所有 x”即出错；混合进制提取独立数字与 Strassen–Edwards 耦合的边缘密度平方可积性也是精细之处。附录另给无穷乘积圆上的替代实现，可交叉验证。）
问 6：结论为何只谈 R_θ 内的投影？这对下游够用吗？
（答：一般不变子空间的投影未必落在因子里，故主定理不触及；但引理（Dykema 2005 命题 2.1）保证超不变子空间的投影必属于含算子的冯·诺依曼代数，于是主定理足以推出：每个可分无穷维 Hilbert 空间上有非零、范数拟幂零、无超不变子空间的算子，其交换子是传递代数。）
问 7：文中声称与 Cho–Ko–Lee 推论 2.8 冲突，怎么理解？
（答：Remark 明言：取所构造的非零拟幂零 T 与任意共轭 C，Cho–Ko–Lee 的假设对 I+T 成立，但 {I+T}′={T}′ 无非平凡超不变子空间，与该推论在 μ=1 处的论断矛盾——要么对方有误，要么本文有误，二者必居其一，这正是需要社区核验的硬冲突。）
总评
对 Zhu–Fang–Shi 问题的否定回答干净利落，且直指与已发表文献的冲突，冲击力大；最大风险在多层概率估计与无界乘子转移的严格性，姊妹篇的形式化结果提供了部分独立印证。