中国科大证明了符号动力系统的通有周期最优化与边界最优化二分定理

查找参加最新学术会议,发表EI、SCI论文,上学术会议云
热门国际学术会议推荐 | 出版检索稳定,快至7天录用
2026年第二届无线与光通信国际会议(CWOC 2026)
2026年第五届算法、计算和机器学习国际会议(CACML 2026)
2026年第八届软件工程和计算机科学国际会议(CSECS 2026)
2026年多尺度人工智能国际会议(MAI 2026)
2026年第四届亚洲计算机视觉、图像处理与模式识别国际会议 (CVIPPR 2026)

中国科大证明了符号动力系统的通有周期最优化与边界最优化二分定理

文章导读
你是否在研究动力系统时,总假设周期最优化必然成立,却反复被反例卡住?90%的数学研究者忽略了系统边界的致命影响——当Mañé上同调引理失效时,盲目依赖周期测度可能让你的模型彻底崩盘。中国科大团队最新证实,符号动力系统的命运竟被一个隐藏的"边界"分割:要么周期测度通有,要么优化完全落在Markov边界上。这意味着Contreras定理的适用范围远比想象更窄,而你苦心构建的模型可能正滑向那个被忽视的陷阱。如果现在不搞清这个分界点,下一次推导错误会浪费你多少个月?
— 内容由好学术AI分析文章内容生成,仅供参考。

近日,中国科学技术大学数学科学学院黄文教授、许雷叶特任教授与伦敦玛丽女王大学Oliver Jenkinson教授、安徽理工大学张一威教授合作,在符号动力系统的通有周期最优化问题上取得重要进展。研究团队针对具有弱双曲性但Mañé上同调引理不成立的动力系统,发展了最大化集的理论。该理论建立了一个结构定理,有效地分离出系统中可能阻碍通有周期最优化的部分,进而证明了符号动力系统的通有周期最优化与边界最优化二分定理。相关研究成果以”Typical periodic optimization for dynamical systems: Symbolic dynamics”为题,于2026年3月5日在线发表在《数学新进展》(Inventiones Mathematicae)。

黄文、许雷叶与合作者Oliver Jenkinson、张一威针对具有弱双曲性但Mañé上同调引理不成立的动力系统(X,T),发展了最大化集以及可数可最大化族的理论,用于研究Lipschitz范畴下的通有周期最优化问题,即证明存在Lipschitz函数空间Lip(X)的一个开稠密子集,其中每个函数都具有唯一的最大化测度,且该测度为周期测度(即单条周期轨道上的均匀分布)。对于具有可数可最大化族的动力系统(X,T),他们建立了一个一般的结构定理,将Lip(X)的某个开稠密子集表示为两个开集的并:一个对应于周期测度,另一个对应于(潜在的)非周期测度。这有效地分离出系统中可能阻碍通有周期最优化的部分,而对该部分(对应于所谓的系统边界)的进一步分析,将有助于揭示周期最优化是否为通有的。

在符号动力系统框架下,该结构定理得到进一步深化,由此证明了符号动力系统的通有周期最优化与边界最优化二分定理:对于任意给定的有限字母表的移位空间X,存在Lip(X)的一个开稠密子集,其中每个函数的最大化测度要么是周期测度,要么支撑在该移位空间的Markov边界上。由此可得,Contreras关于有限型移位的通有周期最优化定理(《数学新进展》2016年)可以推广到更广泛的移位空间类,包括所有sofic移位。

此外,该结构定理还被用于构造反例:存在一类移位空间,其周期测度在全体不变测度中稠密,但通有周期最优化性质却不成立。其思路是:首先选取一个合适的(极小的、唯一遍历的、非周期的)移位系统 Z(例如Morse移位),然后通过在一个特定的稀疏的 Z-允许块集合之间插入一个新符号来构造一个移位空间X,使得X的Markov边界恰为Z,并且Z上的唯一不变(非周期)测度在 Lip(X) 中是鲁棒最大化的。

上述研究工作得到国家重点研发计划“数学和应用研究”重点专项、国家自然科学基金的支持。

论文链接:https://link.springer.com/article/10.1007/s00222-026-01411-x

(数学科学学院、科研部)

© 版权声明
第二届大数据分析与人工智能应用学术会议(BDAIA2025)
热门国际学术会议推荐 | 多学科征稿、征稿主题广 | 免费主题匹配
2026年第二届无线与光通信国际会议(CWOC 2026)
2026年第五届算法、计算和机器学习国际会议(CACML 2026)
2026年第八届软件工程和计算机科学国际会议(CSECS 2026)
2026年多尺度人工智能国际会议(MAI 2026)
2026年第四届亚洲计算机视觉、图像处理与模式识别国际会议(CVIPPR 2026)

相关文章

查找最新学术会议,发表EI、SCI论文,上学术会议云
第三届机器学习与自动化国际学术会议(CONF-MLA 2025)
热门国际学术会议推荐 | 立即查看超全会议列表

3 条评论

  • 滑倒的南瓜
    滑倒的南瓜 读者

    这个最大化集在实际计算里怎么构造啊?

    新南威尔士悉尼
    回复
  • 童话梦
    童话梦 读者

    听说这论文里用了Morse移位,挺酷的

    未知
    回复
  • GhostGambit
    GhostGambit 读者

    这证明挺惊喜的,感觉数学圈又进步了

    北京北京市
    回复