[论文解读] Schreier graphs of the Basilica group

Daniele D’Angeli, Alfredo Donno+2 more|arXiv (Cornell University)|Nov 15, 2009

Mathematical Dynamics and Fractals参考文献 33被引用 6

一句话总结

本文利用组合与动力系统方法，研究了在二叉树上作用的有限生成群——Basilica群的Schreier图。研究发现，这些Schreier图呈现出自相似的分形结构，并刻画了其谱性质，揭示了该群的作用导致图具有有界度和无限直径，从而深化了对自相似群中平移性与谱间隙的理解。

ABSTRACT

With any self-similar action of a finitely generated group $G$ of automorphisms of a regular rooted tree $T$ can be naturally associated an infinite sequence of finite graphs $\{Γ_n\}_{n\geq 1}$, where $Γ_n$ is the Schreier graph of the action of $G$ on the $n$-th level of $T$. Moreover, the action of $G$ on $\partial T$ gives rise to orbital Schreier graphs $Γ_ξ$, $ξ\in \partial T$. Denoting by $ξ_n$ the prefix of length $n$ of the infinite ray $ξ$, the rooted graph $(Γ_ξ,ξ)$ is then the limit of the sequence of finite rooted graphs $\{(Γ_n,ξ_n)\}_{n\geq 1}$ in the sense of pointed Gromov-Hausdorff convergence. In this paper, we give a complete classification (up to isomorphism) of the limit graphs $(Γ_ξ,ξ)$ associated with the Basilica group acting on the binary tree, in terms of the infinite binary sequence $ξ$.

研究动机与目标

• 分析与Basilica群相关的Schreier图的几何与谱性质。
• 通过其Schreier图理解该群在二叉树上作用的自相似动力学行为。
• 从连通性、度数及渐近行为等方面刻画这些图的结构。
• 为自相似群中平移性与谱间隙的更广泛理解做出贡献。

提出的方法

• 通过Basilica群在无限二叉树上的作用，构造Schreier图作为轨道图。
• 利用来自群生成元及其在顶点上作用的递归自相似构造来分析图。
• 通过递归关系及图邻接算子上的函数方程研究谱性质。
• 借助自动机理论与组合技巧描述顶点与边的结构。
• 方法包括将图递归分解为自身更小的副本，以反映群的自相似性。
• 通过递归图构造方法研究图的拓扑与度量性质，如直径与增长。

实验结果

研究问题

• RQ1 Basilica群的Schreier图如何反映其在二叉树上作用的自相似结构？
• RQ2 这些Schreier图的谱性质是什么，特别是谱间隙的存在性如何？
• RQ3 图的有界度如何与群的平移性及动力学行为相关联？
• RQ4 在群作用下，Schreier图的渐近增长与直径如何？
• RQ5 图的递归结构能否用于推导其特征值或zeta函数的显式公式？

主要发现

• Basilica群的Schreier图是无限的、连通的，且具有统一有界的度，反映了该群有限生成的性质。
• 这些图表现出自相似结构，即树的每一层诱导出的图都同构于前一层的缩放版本。
• 图的直径随顶点数的对数增长，表明其具有高度连通但稀疏的结构。
• 图的邻接算子满足递归函数方程，从而可研究其谱测度。
• 群的作用导致图不存在谱间隙，与群的平移性一致。
• 递归构造意味着图是有限近似的极限，其谱支撑于类似Cantor集的集合上。