← 返回 PaperDaily
大模型与智能体
CPMD不等于UPMD?这篇论文给出反例
这篇论文不讲花活,专门盯着“固定打开覆盖下的平均维数”和“均匀正熵”这对老问题狠狠干。它一边给出正向传递定理,一边还造出反例提醒:CPMD 并不自动等于 UPMD,数学世界里果然不能只看表面热闹。
龙哥读论文
阅读 3
查看原文
🐉 龙哥读论文知识星球来了!公众号每日8篇拆解不够看?星球无上限更AI领域论文、资讯、招聘、招博、开源代码,一站式干货,每日2分钟刷完即赚!👇扫码加入「龙哥读论文」知识星球,前沿干货、实用资源一站式拿捏~
龙哥推荐理由:
这篇论文不讲花活,专门盯着“固定打开覆盖下的平均维数”和“均匀正熵”这对老问题狠狠干。它一边给出正向传递定理,一边还造出反例提醒:CPMD 并不自动等于 UPMD,数学世界里果然不能只看表面热闹。
原论文信息如下:
引言
有些数学问题看起来像“纯理论”,其实骨子里特别工程:它关心的不是一个系统“有没有复杂性”,而是复杂性会不会在任意一个固定观察窗口里都稳定出现。这篇论文盯住的就是这件事。
先把人话翻出来:平均维数可以理解成系统在长时间演化后,每一步平均“多出来多少维度信息”;而熵则更像“每一步能塞进去多少不确定性”。过去很多结果只说明整体上它们有关联,但一旦落到固定打开覆盖这个更细的层面,事情就没那么顺滑了——有时全局看着很热闹,局部一看却像没动静。
本论文的主角是一个很有画面感的构造:hub-and-spoke system,中文可译为“轮毂-辐条系统”。它的做法很简单粗暴:把符号系统里的每个符号,替换成一根连接到公共中心点的“辐条”。中心是 hub,外面一圈是 spoke。听起来像自行车轮子,实际上是在给符号系统“加厚”,让它从离散符号变成连续几何对象。
图1:轮毂-辐条系统的直观示意。符号基底负责“选哪根辐条”,辐条长度负责“离中心多远”,于是离散的符号动力学被改造成了一个带几何厚度的连续系统。
这篇文章最有意思的地方在于,它不是只说“有正结果”,而是把问题拆成了三层:全支撑不变测度能推出什么,一致正熵能推出什么,以及完全正平均维数到底是不是就足够强。最后作者还专门构造了反例,直接告诉读者:别把“看起来很正”误当成“处处都正”。数学界也有这种“表面风平浪静,内部暗流涌动”的戏码。
存在全支撑不变测度蕴含着完全正平均维数
先把几个关键词翻译清楚。完全正熵(CPE, Completely Positive Entropy)表示系统没有非平凡的零熵因子;一致正熵(UPE, Uniformly Positive Entropy)则更强,要求每一个标准二元开覆盖都具有正的局部熵。对应地,完全正平均维数(CPMD, Completely Positive Mean Dimension)和一致正平均维数(UPMD, Uniformly Positive Mean Dimension)把“熵”换成了“平均维数”。
论文第一个核心定理的味道很直接:如果符号基底系统存在一个具有全支撑的不变测度,那么对应的 spoke 系统就有 CPMD。这里的“全支撑”意思是,测度不是只盯着系统里的一小块区域,而是把整个空间都覆盖到了。换句话说,系统里每个局部模式都“有机会被看见”。
这部分证明的套路其实很漂亮:先假设存在一个零平均维数的非平凡因子,然后在 spoke 系统里找一个固定的标准开覆盖,再借助全支撑测度在基底里反复“撞见”某个局部词块。只要这个词块出现得足够密,就能在很多互不重叠的时间窗里独立地塞入二选一的局部模式,最后把一个高维立方体 [0,1]k 直接嵌进覆盖复杂度里。
这里真正的关键不是“测度存在”这几个字,而是它让作者能证明:在长时间平均意义下,某个局部词块会以线性频率出现。随后再把这些出现位置挑成间隔足够远的一组,彼此之间不打架,于是每个时间窗都能独立贡献一点维数。最后得到的是一个很硬的结论:如果系统想通过零平均维数因子把复杂性“藏起来”,那这套 spoke 结构不答应。
一致正熵符号系统蕴含轮毂-辐条系统的一致正平均维数
第二个主结果更像“熵往平均维数的传递定理”。如果符号基底系统是 UPE,那么 spoke 系统就是 UPMD。直白点说:基底如果每个标准二元覆盖都够乱,辐条系统就能把这种乱稳定地转化成平均维数上的正增长。
这一节的技术抓手不是平均维数本身,而是独立集。Kerr–Li 的定理告诉人们:IE-tuple、entropy tuple 这些东西,本质上是在刻画“能不能在很多时刻独立指定轨道落在哪个集合里”。UPE 的好处就在于,它能保证某些开放集合对存在正密度的独立集。听上去像“可控性”,实际上是“可同时自由指定很多时刻的行为”。
证明结构和上一节有点像,但更“熵味儿”一点:先从 spoke 系统里任取一个标准二元开覆盖,再在基底符号系统中找两个非空开集;由 UPE 得到一个正密度独立集;然后把这些独立时刻切成足够稀疏的子集,保证局部窗口互不干扰。接着构造一个从立方体到系统的连续映射,让立方体每个坐标都对应一段可独立选择的局部块。最后还是那句话:一旦立方体维数线性长起来,覆盖维数就不会装死。
这部分最值得记住的,不是那些符号堆叠,而是一个很实在的思想:正熵给的是“自由选择的频率”,辐条结构把这种自由选择变成了“几何复杂度的密度”。所以一边是离散动力系统里的独立性,一边是连续系统里的维数增长,中间靠 spoke 这个“翻译器”接上了。
一类具有完全正平均维数但不具有一致正平均维数的系统
前两部分像是在说“好消息”:某些条件下,spoke 系统确实会继承正性。第三部分就开始泼冷水了,而且泼得很有必要。作者构造了一族系统,满足CPMD,却不是 UPMD。意思是:系统整体上没有零平均维数因子,但这并不代表每个标准覆盖都能稳定地产生正平均维数。
这类反例是基于无理旋转的符号编码。先在环面上做一个无理平移,再把空间切成若干开区域,然后观察轨道每一步落在哪个区域里,把它编码成一个符号序列。这样得到的符号系统再送入 spoke 构造,就形成了一个非常“规整但不均匀”的动力系统。
为什么它能给出 CPMD?因为环面旋转的编码系统有一个全支撑的不变测度,于是前面那条定理直接生效。为什么又不是 UPMD?因为作者挑了一个标准二元覆盖,证明它的平均维数其实是 0,但它的迭代覆盖数并不老老实实地保持不变,而是会越来越大。也就是说,这个覆盖局部维数为零,动态复杂度却在增长。这就很像表面看着没啥,时间一拉长,问题就开始冒头。
这一组反例的价值很高,因为它不是拿一个“完全退化”的例子糊弄读者。作者刻意把例子做成非退化的:覆盖的平均维数和熵都可以是零,但在动力学迭代下,对应覆盖数仍然无界。这比那种“因为系统本来就没内容,所以什么都不成立”的反例强太多。它真正说明的是:局部观察的静态零值,不等于动态过程的整体平静。
如果再往外看一步,这篇论文其实把一个老问题说得很清楚:平均维数和熵虽然都在描述复杂性,但它们并不是简单的一一对应关系。尤其在“固定覆盖”这个颗粒度上,很多直觉会失效。作者这次给出的不是口号,而是可证明、可反驳、可定位边界的一整套结论,这就很像一篇合格的理论论文该干的事。
龙迷三问
这篇论文到底解决了什么问题?它研究的是“固定开覆盖下,平均维数和熵之间到底怎么传递”。结论很明确:全支撑不变测度能推出 spoke 系统的 CPMD;UPE 能推出 spoke 系统的 UPMD;但 CPMD 并不自动推出 UPMD,作者还专门给了反例。
CPMD、UPMD、CPE、UPE 分别是什么意思?CPE 是完全正熵,表示没有非平凡零熵因子;UPE 是一致正熵,表示每个标准二元开覆盖都具有正局部熵。CPMD 是完全正平均维数,表示没有非平凡零平均维数因子;UPMD 则要求每个标准开覆盖都满足正平均维数。后两者是论文重点,前两者是它们的熵类对应物。
为什么 spoke 构造这么重要?因为它把符号系统的离散独立性,变成了连续系统里的维数增长。说白了,它就是一个“翻译器”:把熵里的自由度,翻译成平均维数里的几何复杂度。这个翻译一旦成功,很多关于熵的直觉就能迁移到平均维数里。
如果你还有哪些想要了解的,欢迎在评论区留言或者讨论~
龙哥点评
论文创新性分数:★★★★☆
把“平均维数”和“熵”的关系推进到固定覆盖层面,而且还能给出正向传递与反例,问题选得很准,不是那种只会换个符号的论文。
实验合理度:★★★★☆
这是纯理论论文,没有“实验”可打,但证明链条是闭合的,正向定理和反例都对准了同一个问题,逻辑很干净。
学术研究价值:★★★★★
它不只是回答了一个问题,还把“固定覆盖层面的局部正性”边界说清楚了,对后续研究 mean dimension 和 entropy 的对应关系很有价值。
稳定性:★★★☆☆
定理本身稳定,但依赖较强的动力系统结构和符号编码,离直接工程落地还比较远。
适应性以及泛化能力:★★★☆☆
对 hub-and-spoke 这一类构造很有效,但是否能推广到更一般的非符号系统,还需要额外工作。
硬件需求及成本:★★★★★
纯数学理论,不吃算力,最多吃脑细胞。
复现难度:★★☆☆☆
没有代码复现问题,但证明细节较多,且对动力系统背景要求不低,读懂比跑通更难。
产品化成熟度:★☆☆☆☆
暂时属于理论研究型成果,离产品化很远,但对理解复杂系统的“局部复杂性”很有启发。
可能的问题:证明优雅,但依赖特定构造;对一般系统的推广边界还不够清晰,离“统一刻画”还有距离。
主要参考文献
TAL BARAK, ELON LINDENSTRAUSS. Uniformly Positive Mean Dimension. arXiv:2607.01501v1, 2026.
LW00, Lin99, LT19, LT18, Bla92, GG24, GW94, KL07:文中引用的相关基础工作。

欢迎加入龙哥读论文粉丝群,
扫描下方二维码或者添加龙哥助手微信号加群:kangjinlonghelper。
一定要备注:研究方向+地点+学校/公司+昵称,方便更快通过并匹配到对应讨论群。
想聊拓扑动力系统、平均维数、图像/大模型/机器人,也可以进群继续掰扯,别让好问题在评论区里“躺平”。

