[論文レビュー] 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

ひとこと要約

この論文は、2進木上で作用する有限生成群であるBasilica群のシュレーマー図形を、組合せ論的および力学系的手法を用いて調査する。シュレーマー図形が自己相似的でフラクタル的な構造を示すことが確立され、そのスペクトル的性質が特徴づけられる。群の作用により、有界次数かつ無限直径をもつ図形が得られ、自己相似群におけるアメニタリティおよびスペクトルギャップの理解に寄与する。

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群に関連するシュレーマー図形の幾何学的およびスペクトル的性質を分析すること。
• シュレーマー図形を通じて、群の2進木上での自己相似的力学的挙動を理解すること。
• これらの図形の接続性、次数、漸近的挙動の観点からその構造を特徴づけること。
• 自己相似群におけるアメニタリティおよびスペクトルギャップの広範な理解に貢献すること。

提案手法

• 無限の2進木へのBasilica群の作用を用いて、シュレーマー図形を軌道図形として構成する。
• 群の生成子とその頂点への作用に基づいて導かれる再帰的・自己相似的構成を用いて図形を分析する。
• 図形の隣接作用素に関する関数方程式の使用を含む、再帰的関係を用いてスペクトル的性質を調査する。
• 自己帰納的でない頂点および辺の構造を記述するために、オートマトン理論的および組合せ論的技法を活用する。
• 群の自己相似性を反映するように、図形を自身の小さなコピーに再帰的に分解する。
• 直径や成長などの位相的および計量的性質は、再帰的図形構成を通じて検討される。

実験結果

リサーチクエスチョン

• RQ1 Basilica群のシュレーマー図形は、2進木上での群の作用の自己相似的構造をどのように反映しているか？
• RQ2 これらのシュレーマー図形のスペクトル的性質は何か、特にスペクトルギャップの有無に関しては？
• RQ3 図形の有界次数は、群のアメニタリティおよび力学的挙動とどのように関係しているか？
• RQ4 群の作用下でのシュレーマー図形の漸近的成長および直径は何か？
• RQ5 図形の再帰的構造を用いて、固有値やゼータ関数の明示的公式を導出できるか？

主な発見

• Basilica群のシュレーマー図形は、無限大で連結であり、一様に有界な次数を持つ。これは群の有限生成性を反映している。
• 図形は自己相似的構造を示し、木の各段階が、前の段階のスケーリング版に同型な図形を誘導する。
• 図形の直径は頂点数に対して対数的に増加するため、高密度かつ疎な構造であることが示唆される。
• 図形の隣接作用素は再帰的関数方程式を満たし、これによりスペクトル測度の研究が可能になる。
• 群の作用により、スペクトルギャップのない図形が得られ、これは群のアメニタリティと整合的である。
• 再帰的構成は、図形が有限近似の極限であることを示唆し、そのスペクトルはカントール集合に類似した集合に台を持つ。