[論文レビュー] Spectral properties of graphs associated to the Basilica group

Antoni Brzoska, Courtney George+3 more|arXiv (Cornell University)|Aug 28, 2019

Geometric and Algebraic Topology参考文献 47被引用数 9

ひとこと要約

本稿は、自己同型的でないが可解的ではない群であるBasilica群の軌道シュレヤー図形上のラプラシアンのスペクトル的性質を確立する。特徴多項式とスペクトル測度の再帰的力学系を用い、スペクトルに無限個のギャップが存在すること、KNSスペクトル測度がカントール集合に台を持つこと、一般のクラスのブロードアップにおいてスペクトルが純粋点的で局在化した固有関数を持つことを証明する。

ABSTRACT

We provide the foundation of the spectral analysis of the Laplacian on the orbital Schreier graphs of the Basilica group, the iterated monodromy group of the quadratic polynomial $z^2-1$. This group is an important example in the class of self-similar amenable but not elementary amenable finite automata groups studied by Grigorchuk, Żuk, \v Sunić, Bartholdi, Virág, Nekrashevych, Kaimanovich, Nagnibeda et al. We prove that the spectrum of the Laplacian has infinitely many gaps and that the support of the KNS Spectral Measure is a Cantor set. Moreover, on a generic blowup, the spectrum coincides with this Cantor set, and is pure point with localized eigenfunctions and eigenvalues located at the endpoints of the gaps.

研究の動機と目的

• 自己同型的群論における重要な例であるBasilica群の軌道シュレヤー図形上のグラフラプラシアンのスペクトル的性質を分析すること。
• スペクトルの構造、特に区間かギャップを含むか、およびスペクトル測度の性質を理解すること。
• 無限大ブロードアップの文脈において、スペクトルが純粋点的で局在化した固有関数を持つ条件を特定すること。
• 特徴多項式の再帰的因数分解を用いて、固有値とその重複度の変化を記述する力学系を構築すること。
• KNSスペクトル測度の台がカントール集合であること、および無限大ラプラシアンのスペクトルが一般のクラスの図形においてこの集合と一致することを確立すること。

提案手法

• 有限シュレヤー図形 $\Gamma_n$ をより取り扱いやすい図形 $G_n$ に分解することで、スペクトル解析を簡略化する。
• $G_n$ 上のラプラシアンの特徴多項式における再帰的力学系を構築し、レベル間での固有値とその重複度の追跡を可能にする。
• 新しい固有値に根を持ち、古い固有値に極を持つ有理関数を用いてスペクトルダイナミクスをモデル化し、スペクトルギャップの解析を簡素化する。
• 無限大ブロードアップ $G_\infty$ における累積状態密度の近似に、Kesten–von Neumann–Serre (KNS) スペクトル測度を適用する。
• 反対称化技術と $l^2$ 空間上の内積推定を用いて、準固有関数の稠密性を証明し、純粋点スペクトルを確立する。
• 軌道シュレヤー図形における境界点のアドレス構造を活用し、純粋点スペクトルを持つ図形の集合を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 Basilica群の軌道シュレヤー図形上のラプラシアンのスペクトルは、無限個のギャップを含むか？
• RQ2 KNSスペクトル測度の台はカントール集合か？ その幾何学的・ダイナミカル構造は何か？
• RQ3 ブロードアップ過程にどのような条件下で、無限大ラプラシアンのスペクトルが純粋点的で局在化した固有関数を持つのか？
• RQ4 図形系列の各レベルにおける固有値とその重複度の進化を記述する再帰的力学系を構築可能か？
• RQ5 有限近似 $G_n$ のスペクトル特性は、無限大ブロードアップ $G_\infty$ における極限スペクトルとどのように関係するか？

主な発見

• Basilica群の軌道シュレヤー図形上のラプラシアンのスペクトルには無限個のギャップがあり、区間は含まない。
• KNSスペクトル測度の台は、累積状態密度の近似によりカントール集合であることが証明された。
• 一般のクラスの $G_n$ の無限大ブロードアップにおいて、ラプラシアンのスペクトルは純粋点的で局在化した固有関数を持つ。
• 固有値はスペクトルギャップの端点に正確に位置し、その重複度は局在化したとされない固有関数の数によって決定される。
• 無限大ラプラシアン $L_\infty$ のスペクトルはKNSスペクトルと一致し、測度の台であるカントール集合に等しい。
• 純粋点スペクトルの必要十分条件は、境界点のアドレスに奇数番目と偶数番目の両方で0と1が無限回現れることであり、これは列 $k_{n+1}-k_n$ が1と2を無限回とることに対応する。