← 返回 PaperDaily
大模型与智能体
东南大学最新证明：巴西利卡群谱动力学，Julia集与投影谱大面积重合
龙哥第一眼看到这篇论文时，注意力完全被标题吸引住了：Basilica群？等等，这不是那个以"教堂"命名的数学对象吗？一个代数结构居然用建筑风格来命名，这背后肯定有故事。
龙哥读论文
发布于 2026-08-25 00:20:11
阅读 2
查看原文
原论文信息如下：
好的，龙哥这次要聊一篇有意思的数学论文，主角是名字自带艺术气息的Basilica群。别急着被"谱动力学"这类词吓跑，咱们一步步来，你会发现数学家们有多会玩。
龙哥第一眼看到这篇论文时，注意力完全被标题吸引住了：Basilica群？等等，这不是那个以"教堂"命名的数学对象吗？一个代数结构居然用建筑风格来命名，这背后肯定有故事。
翻完论文后龙哥更兴奋了——东南大学的研究者发现，这个"教堂群"的谱，竟然和复动力系统中的Julia集大面积重合。一个是算子理论里的光谱概念，一个是混沌现象里著名的分形边界，这俩怎么就扯上关系了？
别急，今天这篇就把来龙去脉给你捋明白。我们先从最基础的概念说起，看看数学家是如何一步步把这两个看似风马牛不相及的领域联系起来的。
引言：从自相似群到谱动力学 要理解这篇论文在干什么，先得知道什么叫射影谱（Projective Spectrum）
我们都很熟悉特征值：对于一个方阵A，特征值就是使得A−λI不可逆的那些λ。现在问题升级了：如果有一组算子A₀, A₁, ..., Aₙ放在一起，怎么定义它们的"联合特征值"？
然后考察哪些系数向量(z₀, ..., zₙ)会让这个组合不可逆。所有这些不可逆的点组成的集合，就是射影谱。由于这个定义是齐次的，射影谱天然地生活在射影空间里。通过商映射φ，可以得到：
射影谱有什么用？它可以用来研究多个算子的联合行为。特别地，如果一个有限生成群G有一个酉表示π，那么可以考虑：
这个算子的射影谱编码了群G和表示π的丰富信息。在有限维情形下，射影谱恰好是特征多项式的零点集——这可以追溯到Dedekind和Frobenius的开创性工作。他们最早意识到，对于有限群，通过研究群代数中元素的特征多项式，可以获取关于群结构的深刻信息。射影谱的概念正是这一古典思想的现代延伸。
更有意思的是，对于某些由自动机生成的自相似群，射影谱居然和一个有理映射的Julia集紧密相连。这个现象被称为谱动力学（Spectral Dynamics）
那么问题来了：还有哪些自相似群能产生谱动力学？在(3,2)-自动机生成的多达122个非交换群中，本文指认出了下一个幸运儿——Basilica群。这个选择并非偶然：Basilica群是Grigorchuk和Žuk构造的经典例子，具有丰富的分形结构和良好的递归性质，是检验谱动力学猜想的最佳候选者之一。
Basilica群与动力学映射的构造 Basilica群由Grigorchuk和Žuk在2002年引入，由一个3状态2字母的自动机生成。它的名字源于其Schreier图的分形结构——看起来就像Basilica（巴西利卡）建筑，也就是古罗马的那种带有柱廊的会堂建筑，后来这种建筑风格被基督教教堂广泛采用。这种命名方式在数学中并不罕见，但每次遇到都让人觉得妙趣横生。
自动机的三个状态分别是e（单位元）、a和b，在正则二元树T的顶点上，它们按下面的规则作用：
看不懂没关系，可以把它理解为一种"递归分形"式的作用。每个群元素作用在一个二元序列上时，会根据首字符是0还是1，把任务"分包"给另一个群元素。这种递归分解正是自相似群的核心特征。想象一下，你有一个任务要处理一串二进制数据，你只看第一位，然后决定把剩下的部分交给哪个同事处理——这就是自相似群的工作方式。
这种递归结构带来一个关键结论：考虑群B在二元树边界∂T上的自然作用，配合均匀Bernoulli测度，可以得到Koopman表示ρ。对于Hilbert空间H = L²(∂T, μ)，Koopman表示的定义为：
由于群作用保持测度，ρ(g)都是酉算子。研究算子组A_ρ = (ρ(e), ρ(a), ρ(b)) = (I, a, b)。利用递归分解，存在酉算子W把a和b同时"分块"：
这就好办了！块矩阵的性质可以通过Schur补来分析。Schur补是线性代数中处理分块矩阵的经典工具，它能把一个大型矩阵的可逆性问题转化为更小的子块的可逆性问题。利用这个技巧，可以证明一个重要的命题：只要定义了映射F̃：
那么A_ρ(z)可逆当且仅当A_ρ(F̃(z))可逆。换句话说，F̃同时保持射影谱和射影预解集。这个性质极其重要，它意味着我们可以通过迭代F̃来探索射影谱的结构，而无需直接处理无穷维算子。
对F̃进行齐次化，就得到了射影平面P²上的动力学映射：
这就是全文的核心映射F。当然，F并不是在整个射影平面上良定义的——在某些点上它会"爆炸"。这些坏点构成扩展不定点集E(F)
Fatou集与射影预解集的公共子集 在复动力系统中，一个映射的迭代会表现出两种截然不同的行为：有些点附近，迭代序列非常"温顺"，函数列在任意紧子集上一致收敛，这些点组成Fatou集 Julia集
本文的第一个主要结果表明：某些区域的所有迭代前像，全都落在Fatou集和射影预解集的交集中。
定理1.1中定义的三个区域R₀、R₁、R₂，可以理解为三个坐标"各自称王"的区域：
R₀
R₁
R₂
为什么这些区域在预解集中？原因很直接。以R₀为例，当|z₀| > |z₁| + |z₂|时，算子z₁a+z₂b的范数严格小于|z₀|，所以z₀I+z₁a+z₂b必然可逆——这就保证了R₀ ⊂ pᶜ(A_ρ)。这里用到了算子范数的三角不等式和酉算子的范数为1这两个基本性质。R₁和R₂的证明思路类似，只需要适当提取公因子并利用酉算子的范数性质。值得注意的是，这三个区域在射影空间中是互不相交的开集，它们的存在本身就说明了射影预解集具有相当丰富的结构。
为什么这些区域在Fatou集中？因为在R₀上，F的迭代保持区域不变，并且一致收敛到固定点[1:0:0]。在R₀的一个局部坐标下，F可以写为：
通过递推关系可以证明，迭代序列的两个子列都单调收敛到0，从而Fⁿ一致收敛到常值函数[1:0:0]。收敛性保证了迭代序列构成正规族，所以R₀中的每一点都是Fatou点。这里用到的Montel定理是复动力系统中的核心工具，它断言：如果一族全纯函数在某个区域上一致有界，那么这族函数构成正规族。
更进一步地，F⁻ⁿ(R_k)的这些前像点，也在Fatou集和预解集中——因为Fatou集和预解集都在迭代下保持。这个保持性质是复动力系统的基本事实：如果某个点属于Fatou集，那么它的所有迭代前像也属于Fatou集；类似地，如果某个点属于射影预解集，那么它的所有迭代前像也属于射影预解集。这样，定理1.1的证明就完整了。
R₁的情况稍微复杂一些。在R₁中，迭代行为不是收敛到固定点，而是收敛到一个2-循环：[0:0:1] ↔ [0:1:0]。虽然极限不是固定点，但奇偶子序列各自收敛，依然满足正规族的定义，所以R₁ ⊂ F(F)。这个2-循环的存在反映了动力学系统的复杂性：即使在Fatou集中，也可能存在周期大于1的吸引循环。
Julia集与射影谱的公共子集 如果说定理1.1讲的是"稳定区域"的重叠，那么定理1.2讲的就是"混沌区域"的重叠。
这里L是射影平面上的直线z₀+z₁+z₂=0。为什么这条直线和射影谱有关？
关键在于：当z₀+z₁+z₂=0时，算子z₀I+z₁a+z₂b作用在常值函数上得到零。因为常值函数是Hilbert空间L²(∂T, μ)中的非零向量，所以这个算子不可逆。于是L中的每个点都在射影谱中。这个简洁的论证是定理1.2的出发点。它揭示了一个有趣的现象：射影谱中包含了那些使得算子组在某个特定方向上"退化"的系数组合。
更有趣的是直线L在F迭代下的命运。可以看到，L上的点经过F后，会进入一个2-循环[0:0:1] ↔ [0:1:0]。而这两个点在射影谱中。取F的迭代前像F⁻ⁿ(L)，然后把所有前像取并集再取闭包，就得到了定理1.2中的集合。这个集合既在Julia集中（因为包含扩展不定点集E(F)这个"坏点集"的闭包），又在射影谱中（因为射影谱在F⁻¹下保持）。
这里需要解释一下扩展不定点集E(F)。通过递推计算可以证明：
由于E(F)本身包含在Julia集中（Julia集是闭集且包含所有不定点），定理1.2中的闭包自然也在Julia集中。这个论证的关键在于：Julia集的一个重要性质是它包含所有的不定点，并且是闭集，因此扩展不定点集的闭包必然包含在Julia集中。
在论文的末尾，还有一个特别优雅的结果：射影谱和Julia集在与坐标轴相交的部分上完全一致。例如在z₀=0的截面上：
类似地，在z₁=0和z₂=0的截面上也有完全相同的结论。也就是说，在坐标轴交线这个"赤道"上，谱和Julia集完全是一回事！这为最终的等式猜想提供了强有力的证据。这个结果的意义在于：它表明射影谱和Julia集不仅在"大范围"上相互包含，而且在某些特定子集上精确相等，这大大增强了人们对最终等式成立的信心。
结论与开放问题 本文在Basilica群上建立了谱动力学，构造了保持射影谱的映射F，并证明了：
3. 在坐标轴交线上，Julia集与射影谱完全一致。
这些结果把Basilica群推到了谱动力学研究的前沿位置，也让"Julia集 = 射影谱"的猜想更加可信。值得注意的是，本文的证明方法具有很强的可操作性：从递归分解出发，构造显式的动力学映射，然后通过区域估计和迭代分析来建立包含关系。这种"自相似群 → 动力学映射 → 谱与Julia集的联系"的研究范式，为后续研究提供了清晰的路线图。
• 如何证明Julia集与射影谱的完全相等？这是谱动力学领域的核心猜想之一。目前已有的包含关系提供了重要线索，但要证明反向包含，可能需要更精细的动力学分析或者全新的技术手段。
• 在(3,2)-自动机生成的其他群中，还有哪些能产生谱动力学？(3,2)-自动机群共有122个非交换群，Basilica群只是其中之一。系统地筛选这些群，找出所有满足谱动力学条件的例子，将极大地丰富这一领域的理论框架。
• Basilica群的谱动力学能否推广到更大的自相似群类？例如，能否推广到所有由自动机生成的分支群？这些群在几何群论中扮演着重要角色，如果谱动力学在这些群上成立，将为自相似群的谱理论开辟全新的研究方向。
当这些问题被回答时，自相似群的谱理论也许会迎来一场新的革命。而这场革命的起点，正是这篇看似小众的数学论文。
龙迷三问 这篇论文到底在解决什么问题？ 东南大学研究者针对巴西利卡群构造谱动力学映射F，严格证明其Julia集与Koopman表示投影谱、Fatou集与投影预解集存在大面积公共子集，并在坐标平面上实现完全刻画，为两个集合相等猜想提供有力支持。这篇工作最值得看的点是什么？ 利用Basilica群的自相似结构构造射影空间上的动力学映射F，证明该映射保持算子元组的射影谱与射影预解集，并刻画Fatou集/Julia集与射影预解集/射影谱的大范围公共子集。这篇工作的边界或风险在哪里？ 优点：1) 理论深度高，将算子谱理论与复动力系统有机结合；2) 结果具有一般性，为自相似群的谱动力学研究提供了新范例；3) 证明思路清晰，技术细节严谨。缺点：1) 未能完全证明Julia集与射影谱的相等性，仅给出包含关系；2) 缺乏数值模拟或具体计算示例来直观展示结果；3) 对Basilica群的特殊性依赖较强，推广到其他自相似群的路径尚不明确。如果你还有哪些想要了解的，欢迎在评论区留言或者讨论~
龙哥点评 论文创新性分数： ★★★★☆
利用Basilica群的自相似结构构造射影空间上的动力学映射F，证明该映射保持算子元组的射影谱与射影预解集，并刻画Fatou集/Julia集与射影预解集/射影谱的大范围公共子集。实验合理度： ★★★☆☆
现有材料未完整覆盖数据划分、基线公平性和统计显著性，因此按中性评价处理。学术研究价值： ★★★★☆
利用Basilica群的自相似结构构造射影空间上的动力学映射F，证明该映射保持算子元组的射影谱与射影预解集，并刻画Fatou集/Julia集与射影预解集/射影谱的大范围公共子集；更关键的是问题定义是否可复用到同类任务。稳定性： ★★★☆☆
现有材料未提供充分的极端条件、重复运行或扰动测试，稳定性暂按中性评价。适应性以及泛化能力： ★★★☆☆
现有材料未完整展示跨数据集、跨场景或分布外实验，泛化能力仍需进一步验证。硬件需求及成本： ★★★☆☆
现有材料缺少完整训练资源、参数量、显存和推理时延信息，成本暂按中性评价。复现难度： ★★★☆☆
现有材料未确认完整代码、配置、数据处理脚本和权重是否齐备，复现难度暂按中性评价。产品化成熟度： ★★★☆☆
论文验证以研究实验为主，真实部署中的时延、成本、维护和异常场景仍需补充验证。可能的问题： 1) 未能完全证明Julia集与射影谱的相等性，仅给出包含关系；2) 缺乏数值模拟或具体计算示例来直观展示结果；3) 对Basilica群的特殊性依赖较强，推广到其他自相似群的路径尚不明确。
主要参考文献
[1] Liu H., He W. Spectral Dynamics for the Basilica Group. arXiv preprint arXiv:2608.18987v1, 2025. [2] 原文链接：https://arxiv.org/pdf/2608.18987v1.pdf [3] Yang R. Projective spectrum in unital Banach algebras. (论文中的引用[32]) [4] Grigorchuk R., Žuk A. On a torsion-free weakly branch group defined by a three state automaton. 2002. (论文中的引用[23]) [5] Grigorchuk R. et al. Spectral theory of the Grigorchuk group. (论文中的引用[18-21]) *本文仅代表个人理解及观点，不构成任何论文审核或者项目落地推荐意见，具体以相关组织评审结果为准。欢迎就论文内容交流探讨，理性发言哦～ 想了解更多原文细节的小伙伴，可以点击 "阅读原文"， 查看更多原论文细节哦！
Julia集与投影谱在巴西利卡群上撞出火花，分形几何和算子理论竟然也能同框？欢迎加入龙哥读论文粉丝群，扫描下方二维码或者添加龙哥助手微信号加群 ：kangjinlonghelper。一定要备注：研究方向+地点+学校/公司+昵称 （如 数学+上海+东南大学+龙哥）。按照格式备注，可更快被通过且邀请进群。
