[논문 리뷰] Sierpi\' nski Gasket Graphs and Some of Their Properties

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

Mathematical Dynamics and FractalsMathematics참고 문헌 12인용 수 19

한 줄 요약

이 논문은 Sierpiński 분열 구조의 첫 번째 $n$회 반복에서 유도된 유한 Sierpiński 삼각형 그래프 $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.

연구 동기 및 목표

• Sierpiński 분열의 첫 번째 $n$회 반복에서 유도된 유한 Sierpiński 삼각형 그래프 $S_n$의 구조적 및 조합적 성질을 분석한다.
• $S_n$의 독립 집합 수를 결정하고, 그 점차적 효율성이 90%임을 보이며, 다른 Sierpiński 그래프에서의 100% 효율성과 대비한다.
• 커버 페블링 수 $\lambda(S_n)$를 계산하고, 스택킹 정리에도 불구하고 비트리비얼한 계산이 있음을 보이며, 재귀 공식을 유도한다.
• $S_n$의 사이클 구조, 색칠 수, 페블링 성질을 조사하여 분열 그래프에 대한 기존 결과를 확장한다.

제안 방법

• Sierpiński 삼각형 구조의 $n$번째 반복에서 유도된 정점과 간선으로 이루어진 그래프로 $S_n$을 정의한다. $|V_n| = \frac{3}{2}(3^{n-1} + 1)$, $|E_n| = 3^n$이다.
• 귀납법과 재귀 분해를 활용: $S_{n+1}$은 세 개의 $S_n$ 복제본(상단, 왼쪽 하단, 오른쪽 하단)으로 구성되며, 각각 차수 2인 정점에서 연결된다.
• 차수 2인 정점 간 해밀턴 경로를 구성하고 이를 구성 요소 간 조합함으로써 해밀턴성과 판사이클리시티를 증명한다.
• 귀납적 정점 색칠을 통해 3색 가능성을 확립하며, 기본 단계와 재귀 단계에서 인접한 정점과 다른 색을 할당한다.
• Vuong와 Wyckoff의 스택킹 정리를 적용하여 $\lambda(S_n)$를 계산하고, 페블링에서 가장 나쁜 경우의 정점은 차수 2인 모서리 정점임을 보인다.
• 모서리 정점에서의 거리 분포를 기반으로 $\beta(i)$를 정의(모서리 정점으로부터 거리 $i$인 정점의 수)하고, 이를 바탕으로 $\lambda(S_{n+1})$에 대한 재귀 공식을 유도한다.

실험 결과

연구 질문

• RQ1 모든 $n \geq 1$에 대해 Sierpiński 삼각형 그래프 $S_n$은 해밀턴 그래프이자 판사이클릭인가?
• RQ2 $S_n$의 독립 집합 수는 얼마이며, 그 점차적 효율성은 얼마인가?
• RQ3 $S_n$의 커버 페블링 수 $\lambda(S_n)$는 얼마이며, 비트리비얼한 재귀 공식으로 계산될 수 있는가?
• RQ4 $S_n$의 색칠 수와 전체 색칠 수는 무엇인가?
• RQ5 사이클 구조 및 독립 집합 수와 같은 구조적 성질은 파스칼의 삼각형을 소수 $p$로 모듈로 연산한 Sierpiński 유사 그래프로 어떻게 일반화되는가?

주요 결과

• 그래프 $S_n$은 $\frac{3}{2}(3^{n-1} + 1)$개의 정점과 $3^n$개의 간선을 가지며, 하향 삼각형을 추가하는 방식의 재귀 구조에서 유도된다.
• $S_n$은 적절히 3색 가능하며, $\chi(S_n) = 3$이다. 이는 귀납적 정점 색칠을 통해 인접 정점 간의 적절한 색상 유지가 보장됨으로써 증명된다.
• $S_n$은 해밀턴 그래프이자 판사이클릭이며, $|V_n|$까지의 모든 길이의 사이클을 포함한다. 이는 재귀적 경로 구성에 의해 입증된다.
• $S_n$의 독립 집합 수는 점차적 효율성이 약 90%이며, 이는 독립 집합 수가 $\sim \frac{1}{10} |V_n|$로 증가함을 의미한다. 이는 다른 Sierpiński 그래프에서의 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})$. 이는 거리 분포와 스택킹 정리를 기반으로 유도되었다.
• $S_n$의 지름은 $2^{n-1}$이며, 페블링에서 가장 나쁜 경우의 정점(즉, $ST(v) = \sum_u 2^{d(u,v)}$를 최대화하는 정점)은 차수 2인 모서리 정점이다. 이는 구성 요소 간 거리에 대한 귀납법으로 증명되었다.