[論文レビュー] Sierpi\' nski Gasket Graphs and Some of Their Properties

Alberto Teguia, Anant P. Godbole|arXiv (Cornell University)|Sep 12, 2005

Mathematical Dynamics and FractalsMathematics参考文献 12被引用数 19

ひとこと要約

本稿では、シエルピンスキー断片の最初の $ n $ 回の反復から導かれる有限のシエルピンスキー・ギャスケット・グラフ $ S_n $ を研究する。$ S_n $ がハミルトニアンであり、パンシクルであることを確立し、支配数（漸近的に90%の効率）を特定し、カバー・ペブル数の再帰的公式を導出し、スタッキング定理にもかかわらず非自明な計算を示している。主な貢献は、$ S_n $ のカバー・ペブル数に対する正確な再帰的公式であり、このフラクタルに類似したグラフにおける構造的複雑性を強調している。

ABSTRACT

The {\it Sierpiński fractal} or {\it Sierpiński gasket} $Σ$ is a familiar object studied by specialists in dynamical systems and probability. In this paper, we consider a graph $S_n$ derived from the first $n$ iterations of the process that leads to $Σ$, and study some of its properties, including its cycle structure, domination number and pebbling number. Various open questions are posed.

研究の動機と目的

• 有限のシエルピンスキー・ギャスケット・グラフ $ S_n $ の構造的および組合せ的性質を分析すること。$ S_n $ は、最初の $ n $ 回のシエルピンスキー断片の構築からの反復によって得られる。
• 支配数 $ \gamma(S_n) $ を特定し、それが漸近的に90%の効率であることを示すこと。他のシエルピンスキー・グラフとは対照的に、100%の効率とは異なる。
• カバー・ペブル数 $ \lambda(S_n) $ を計算し、スタッキング定理にもかかわらず非自明であることを示し、再帰的公式を導出すること。
• サイクル構造、彩色数、およびペブルの性質を調査し、フラクタル・グラフに関する既知の結果を拡張すること。

提案手法

• $ S_n $ を、シエルピンスキー・ギャスケット構築の $ n $ 回目の反復における頂点と辺によって形成されるグラフとして定義する。$ |V_n| = \frac{3}{2}(3^{n-1} + 1) $ および $ |E_n| = 3^n $ である。
• 帰納法と再帰的分解を用いる：$ S_{n+1} $ は、3つの $ S_n $（上、左下、右下）のコピーからなり、次数2の頂点で接続される。
• 次数2の頂点間のハミルトニアン経路の構築と、コンポーネント間での組み合わせにより、ハミルトニアン性とパンシクル性を証明する。
• 基本段階と再帰的段階で、隣接頂点とは異なる色を割り当てることで、帰納的頂点彩色により3彩色可能であることを確立する。
• VuongとWyckoffのスタッキング定理を適用して $ \lambda(S_n) $ を計算し、ペブルの最悪ケースの頂点が次数2のコーナー頂点であることを示す。
• 距離分布 $ \beta(i) $（コーナー頂点からの距離 $ i $ にある頂点の数）に基づき、$ S_{n+1} $ の $ \lambda(S_{n+1}) $ の再帰的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべての $ n \geq 1 $ に対して、シエルピンスキー・ギャスケット・グラフ $ S_n $ はハミルトニアンかつパンシクルであるか？
• RQ2 支配数 $ \gamma(S_n) $ は何か？ その漸近的効率は？
• RQ3 カバー・ペブル数 $ \lambda(S_n) $ は何か？ そして、スタッキング定理にもかかわらず非自明な再帰的公式で計算可能か？
• RQ4 彩色指数と総彩色数 $ \chi''(S_n) $ と $ \chi_{\text{total}}(S_n) $ は何か？
• RQ5 パスカリの三角形を $ p $ を法としてとったものから導かれるシエルピンスキーに類似したグラフへの構造的性質（サイクル構造、支配数など）の一般化は可能か？

主な発見

• グラフ $ S_n $ は、$ \frac{3}{2}(3^{n-1} + 1) $ 個の頂点と $ 3^n $ 個の辺を有し、下向きの三角形を追加する再帰的構築から得られる。
• $ S_n $ は適切に3彩色可能であり、$ \chi(S_n) = 3 $ である。これは、隣接頂点の色が異なるように保つ帰納的頂点彩色により証明された。
• $ S_n $ はハミルトニアンであり、パンシクルである。つまり、長さ3から $ |V_n| $ までのすべての長さのサイクルを含む。再帰的経路構築により確立された。
• 支配数 $ \gamma(S_n) $ は漸近的に90%の効率を示す。つまり、支配数は $ \sim \frac{1}{10} |V_n| $ のように増加する。他のシエルピンスキー・グラフとは対照的に、100%の効率とは異なる。
• カバー・ペブル数 $ \lambda(S_n) $ は再帰式 $ \lambda(S_{n+1}) = (1 + 2^{2^{n-1}+1})\lambda(S_n) - (2^{2^n} + 2^{2^{n-1}+1}) $ を満たす。これは距離分布とスタッキング定理に基づいて導出された。
• 直径は $ 2^{n-1} $ であり、ペブルの最悪ケースの頂点（$ ST(v) = \sum_u 2^{d(u,v)} $ を最大化する頂点）は、次数2のコーナー頂点である。これはコンポーネント間の距離に関する帰納法により証明された。