[論文レビュー] Counting Spanning Trees on Fractal Graphs

Jason A. Anema|arXiv (Cornell University)|Nov 30, 2012

Theoretical and Computational Physics参考文献 44被引用数 4

ひとこと要約

本稿では、スペクトル縮小法と修正された行列-木定理を用いて、完全に対称的かつ有限分岐性を有するフラクタルグラフ上の全域木の数を閉形式で求める公式を提示する。シエルピンスキーのギャスケット、ダイヤモンドフラクタル、ヘキサギャスケットにおける全域木の数の正確な式を導出し、それらの漸近的複雑度定数を計算した。この方法が、明示的な固有値解析を伴う自己相似フラクタル構造に適用可能であることを示した。

ABSTRACT

Using the method of spectral decimation and a modified version of Kirchhoffs Matrix-Tree Theorem, a closed form solution to the number of spanning trees on approximating graphs to a fully symmetric self-similar structure on a finitely ramified fractal is given in Theorem (3.4). Examples calculated include the Sierpinski Gasket, a non p.c.f. analog of the Sierpinski Gasket, the Diamond fractal, and the Hexagasket. For each example, the asymptotic complexity constant is found. Dropping the fully symmetry assumption, it is shown that the limsup and liminf of the asymptotic complexity constant exist.

研究の動機と目的

• 完全に対称的かつ有限分岐性を有するフラクタルの近似グラフ上の全域木の数を計算する一般的手法を開発すること。
• スペクトル縮小法を用いてフラクタルグラフの確率的グラフラプラシアンに適応した修正された行列-木定理を拡張すること。
• 代表的なフラクタル格子、例えばシエルピンスキーのギャスケット、ダイヤモンドフラクタル、ヘキサギャスケットの正確な漸近的複雑度定数を計算すること。
• 完全な対称性が欠落した場合の漸近的複雑度定数の挙動を分析し、上極限と下極限の存在を証明すること。

提案手法

• 自己相似フラクタルグラフの確率的グラフラプラシアンの固有値を計算するためにスペクトル縮小法を用いる。
• 確率的ラプラシアンの非ゼロ固有値の積と全域木の数を関連付ける、キルホフの行列-木定理の修正版を適用する。
• レベル間での固有値の再帰的性質を記述する有理関数 R(z) を用いる。
• スケーリング係数と各レベルにおける固有値の重複度を用いて、閉形式の公式（定理 3.4）を導出する。
• グラフの対称性と次数分布の構造を活用して、積公式における正規化項を計算する。
• 特定のフラクタルにおいて、既知の固有値データとの比較と、初期レベル（例：V₁, V₀）での整合性の検証により、結果の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 完全に対称的かつ有限分岐性を有するフラクタルの近似グラフ上の全域木の数について、閉形式の式を導出可能か？
• RQ2 シエルピンスキーのギャスケット、ダイヤモンドフラクタル、ヘキサギャスケットの漸近的複雑度定数は何か？
• RQ3 完全な対称性条件を緩和した場合、漸近的複雑度はどのように振る舞うか？
• RQ4 スペクトル縮小法を行列-木定理と効果的に組み合わせて、フラクタルグラフ上の全域木の数を計算可能か？

主な発見

• レベル n におけるシエルピンスキーのギャスケット上の全域木の数は、n ≥ 1 に対して τ(Vₙ) = 2^(2/3 (4ⁿ - 1)) である。
• シエルピンスキーのギャスケットの漸近的複雑度定数は c = log(2) である。
• ダイヤモンドフラクタルでは、全域木の数は τ(Vₙ) = 2^(2/3 (4ⁿ - 1)) であり、漸近的複雑度定数は c = log(2) である。
• ヘキサギャスケットでは、τ(Vₙ) = 2^(fₙ) · 3^(gₙ) · 7^(hₙ) であり、fₙ, gₙ, hₙ は 6ⁿ, 4ⁿ, n の明示的な有理関数として定義される。
• ヘキサギャスケットの漸近的複雑度定数は c = (2 log 2)/5 + (8 log 3)/15 + (log 7)/45 である。
• 完全な対称性が欠落した場合でも、漸近的複雑度定数の上極限と下極限は依然として存在し、有界な振動的挙動を示す。