结果族 302：Radius of comparison equals half the mean dimension · 学科：Operator algebras · 验证状态：暂无形式化证明，请以社区核验为准
把动力系统想成一台永不停止的变换机器：每个时刻把整个空间搬动一下。Gromov 问：记录这台机器的轨道，平均每一步需要多少维的”存储空间”？这个数叫平均维数，对无限维空间也有意义。另一边，把动力系统翻译成算子代数（交叉积）后，有个”比较半径”：两个正元素要分出高下，迹的差距必须迈过多大的门槛。Phillips–Toms 猜想宣布二者精确挂钩：门槛恰为存储维数的一半（因子 1/2 来自复向量丛秩与实维数之比）。本文对一切极小系统证明该等式，含两端同为无穷的情形。
关键词卡片
看个具体例子
数字版定理（含无穷）：rc=½·mdim。平均维数为 2 的系统，其交叉积的比较半径就是 1；平均维数无穷，比较半径也无穷。还有一组漂亮的五重等价：零存储 ⟺ 小边界性质 ⟺ Z-稳定 ⟺ 核维数有限 ⟺ 核维数至多一。
为什么值得关心
猜想的上界早已由 Niu 解决，本文补齐悬置多年的下界，把动力系统的正则性与代数分类纲领焊接为一体。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把动力系统比作”永不停止的变换机器”，把两个不变量分别说成”每步平均需要多少维存储”和”分高下时迹要迈过的门槛”。翻译过来：对象是一个紧空间加上它的一个极小变换（每条轨道都稠密）；一侧用平均维数量化系统的”存储开销”，对覆盖维数无限的空间也有意义；另一侧把整个系统编码成一个算子代数（交叉积），其内部比较正元素大小时，迹的差距必须迈过一个门槛（比较半径）。悬案是：门槛是否恰为存储维数的一半？
第二级台阶
用本科术语精确化：设 h 是紧空间 X 的极小同胚。对有限开覆盖 U，把 h 的各次拉回叠加成轨道覆盖，D 计其最小覆盖阶，取极限再除以轨道长度并对 U 取上确界，得平均维数 mdim(X,h)。交叉积 C(X)⋊_h Z 是编码该系统的核型 C*-代数；正元素间的 Cuntz 次等价 a≾b 指可用 b 的压缩逼近 a，而 d_τ(a) 是迹 τ 下的秩函数。若”迹隙超过 r 即可比较”对一切正元素成立，r 就是比较界，其下确界是比较半径 rc。
第三级台阶
定理在这样的语境下陈述：对无穷紧可度量空间上的任意极小同胚，rc(C(X)⋊_h Z)=½·mdim(X,h) 在 [0,∞] 中成立，两端同为无穷也不例外。”极小加无穷”挡住的是周期轨道（它会使作用不自由），也保证开塔与 marker 论证可用；不设 X 有限维，挡住了以往下界方法的适用门槛。结论用这些话说：存储开销与代数比较门槛精确挂钩，且零存储恰对应交叉积最正则的状态——Jiang–Su 稳定、核维数至多一。
证明 Phillips–Toms 猜想的整作用情形：对无穷紧可度量空间上任意极小同胚 @@M@@h@@，交叉积的比较半径恰为平均维数之半（含无穷），即 @@M@@\rc(C(X)\rtimes_h\mathbb Z)=\tfrac12\mdim(X,h)@@；并推出零平均维数等价于 Jiang–Su 稳定与核维数至多一。
平均维数（mean dimension）由 Gromov 提出、Lindenstrauss–Weiss 发展，度量动力系统”每个轨道坐标所需的维数”，对覆盖维数无限的系统仍有意义。Toms 引入比较半径（radius of comparison）度量 C*-代数中正元素 Cuntz 比较所需的迹隙；Phillips–Toms 猜想把二者联系起来，因子二分之一来自复向量丛秩与实维数之比。上界已由 Niu 完全解决；下界方向，Giol–Kerr 证明正平均维数给出任意大的比较半径，Hirshberg–Phillips 用平均上同调独立性得到定量下界，但只适用于满足该独立性条件的特殊子系统。本文对一切极小同胚去掉全部附加假设，补齐了缺失的下界。
主定理（Theorem 1.1）：设 @@M@@h@@ 为无穷紧可度量空间 @@M@@X@@ 上的极小同胚（minimal homeomorphism），则 @@M@@\rc(C(X)\rtimes_h\mathbb Z)=\frac12\mdim(X,h)@@ 在 @@M@@[0,\infty]@@ 中成立；特别地，无穷平均维数强制无穷比较半径。正则性推论（Corollary 1.2）：以下五条等价——平均维数为零；系统有小边界性质（small boundary property）；交叉积 Jiang–Su 稳定（即 @@M@@A\cong A\otimes\mathcal Z@@）；核维数（nuclear dimension）有限；核维数至多一。因而只要平均维数为正或无穷，交叉积就既非 @@M@@\mathcal Z@@-稳定又核维数无穷。
上界直接引用 Niu，核心是下界：反设存在比较界 @@M@@r@@ 与开覆盖 @@M@@\mathcal U@@，其轨道覆盖速率 @@M@@d_{\mathcal U}>2r@@。先把长度 @@M@@k@@ 的轨道块经从属神经（nerve）与重心重分染色编码为维数 @@M@@m@@ 复形中的点，顶点染 @@M@@m+1@@ 色，缺色对应零重心坐标，再经单纯形到立方体的同胚变成立方体边界；把颜色打包成 @@M@@g@@ 组、每组 @@M@@2p+2@@ 色，比例正则化后得到槽映射。最关键的一步把比较界变成秩亏丛嵌入：用 Niu 的开塔定理（无周期点提供 marker 性质）取开集 @@M@@B@@，其 @@M@@k@@ 个平移两两不交且测度接近 @@M@@1/k@@；把 @@M@@g@@ 个环面线丛编码为支在 @@M@@B@@、秩至多 @@M@@pg@@ 的正矩阵函数 @@M@@P_0@@，与秩 @@M@@R@@ 的 @@M@@P_1@@ 相比，条件 @@M@@(R-pg)/k>r@@ 制造严格迹隙，Cuntz 比较给出见证，经傅里叶逼近可设其有限传播；轨道表示中输出时间被 @@M@@B@@ 的 @@M@@k@@-分离性稀疏化，一张固定线性映射把目标秩压到 @@M@@Rq_J@@，稀疏参数与对齐失败的例外槽由第二张固定线性映射处理，合计得到秩严格小于 @@M@@2pn@@ 的连续丛嵌入，恰好满足姊妹篇压缩定理的假设；对齐失败的比例由块分配引理一致控制在 @@M@@b_0@@ 以内。随后套用压缩定理并沿真实轨道起点拉回，得到每点至少固定正比例边界槽、且原边界槽逐一不变的映射。接着做覆盖重构：丢弃低权重的颜色包；在保留的包上，精确的边界保持保证原本缺席的颜色不会被引入，且每个成功包至少缺一色、载体维数随之下降；对齐与未对齐两种描述用 join 缝合，两个边缘块保住区间端点，重构图仍从属于原轨道覆盖。最后核算维数：好宏区间的维数由 @@M@@(H_0+1)m@@ 减去成功槽数控制，坏区间至多 @@M@@(2H_0+1)m+1@@ 且只占 @@M@@b_0@@ 份额，合计覆盖阶不超过 @@M@@uNE_k@@，而 @@M@@E_k@@ 的极限严格小于 @@M@@d@@，与速率为下确界矛盾。全部损耗预先配入严格余量 @@M@@d>2r@@，比例 @@M@@p/(2p+2)\to 1/2@@ 给出常数二分之一。正则性推论再由 Rørdam 比较定理与核维数正则性定理组装。
本文与其直接引用的压缩定理姊妹篇均无形式化证明，且论证横跨动力学、算子代数与代数拓扑三层接口，请以社区核验为准；上界与开塔输入取自 Niu 的已发表结果。家族内两篇互相咬合：本文证明”比较界蕴含秩亏丛嵌入与覆盖速率不超过 @@M@@2r@@“，姊妹篇提供压缩机械，二者合成下界。按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：证明里最关键、也最脆弱的一步是什么？
（答：把比较界转成秩亏丛嵌入（比较-丛命题）。反设 d_U>2r 后，用 Niu 开塔给轨道块配上连续对齐标签，让一个有限传播的 Cuntz 见证把对齐的环面线丛之和嵌入目标，再用两张固定线性映射分别处理稀疏参数与未对齐块，得到秩严格小于 2pn 的连续丛嵌入——恰好喂进姊妹篇压缩定理的假设。最脆弱处在”稀疏支撑变化时的连续性”：支集跳变处的缝若没补好，嵌入不连续，压缩定理整体失效。）
问 2：极小性为什么不能去掉？
（答：引言明言：无穷加极小迫使作用自由——周期轨道本身是有限闭不变集，只能等于整个 X；自由性又是交叉积核型、Niu 上界与开塔定理的通用输入。且本文只处理整数作用；更广群作用的表述（Niu 的形式）论文未涉及。）
问 3：与已有工作相比真正的新意是什么？
（答：上界 Niu 已证到最优常数；下界此前只有 Giol–Kerr 的”正平均维数给任意大 rc”与 Hirshberg–Phillips 的平均上同调独立性下界（且只到 ½mdim−1 还要附加独立性假设）。本文对一切极小同胚、无 X 有限维假设、含无穷端点给出精确等式，补齐了缺的那一半。）
问 4：因子为什么恰好是 1/2？
（答：来自复向量丛秩与实维数之比。颜色按 2p+2 一包打包成槽，p 条复线对应比例 p/(2p+2)→1/2；全部塔、稀疏参数、取整与压缩损耗都预算进初始严格余量 d_U>2r，余量设计稍有赤字常数就错。）
问 5：AI 生成证明最可能在哪里出错？
（答：预算会计与级联依赖。整条下界横跨动力学（开塔、块分配）、算子代数（Cuntz 见证、有限传播逼近）、代数拓扑（姊妹篇压缩）三层接口，每层损耗都要在固定的 d_U>2r 余量内结清；而姊妹篇压缩定理本身也未形式化——上游一个未被察觉的边界比例或连续性漏洞会原样传进主定理。）
问 6：谁会用到它？
（答：正则性推论即刻划线：平均维数为零当且仅当小边界性质、Jiang–Su 稳定、核维数有限、核维数至多一；只要存储为正或无穷，交叉积就非 Z-稳定且核维数无穷——这给 Elliott 分类纲领划出硬边界，动力学与 C*-代数两个社区都直接引用。论文未讨论非整作用推广。）
完整解决 Phillips–Toms 猜想的整作用情形（含无穷端点）并把动力学正则性与分类纲领焊接为一体，分量很重；最大风险是三层接口的超长预算论证与对未形式化姊妹篇的完全依赖，需要两篇一起核验。