[논문 리뷰] Spanning Trees in Grid Graphs

Paul Raff|ArXiv.org|2008. 09. 15.

Advanced Graph Theory Research참고 문헌 2인용 수 3

한 줄 요약

이 논문은 고정된 그래프 G와 경로 또는 사이클의 곱으로 형성된 격자 그래프, 실린더 그래프, 토러스 그래프에서의 스패닝 트리 수에 대한 선형 재귀 관계를 유도하는 일반적인 방법을 제시한다. 분할 기반 상태 표현에서 유도된 전이 행렬에 켈리-헤밀턴 정리를 적용함으로써, 저자들은 정확한 재귀 관계, 생성 함수, 폐쇄형 공식을 계산한다. 이로 인해 15개의 새로운 정수 수열이 도출되었고, $C_2(n)$, $C_3(n)$, $K_3 \times P_n$와 같은 기존 사례의 재귀 관계가 향상되었다. 이 방법은 체계적이며, 집합 분할로 인덱싱된 큰 행렬의 특성 다항식을 통해 임의의 그래프 $G$에 적용 가능하다.

ABSTRACT

Building on work by Desjarlais, Molina, Faase, and others, a general method is obtained for counting the number of spanning trees of graphs that are a product of an arbitrary graph and either a path or a cycle, of which grid graphs are a subclass. Results are obtained pertaining to recurrences obtained in this manner, and numerous new integer sequences are found.

연구 동기 및 목표

• 그래프 곱 $G \times P_n$ 및 $G \times C_n$에서의 스패닝 트리 수에 대한 일반적인 계산 방법을 개발하는 것.
• 데주르레 및 모리나가 $2\times n$ 및 $3\times n$ 격자 그래프에 대해 수행한 이전 작업을 임의의 그래프 $G$로 확장하는 것.
• 스패닝 트리 수열에 대한 최소 선형 재귀 관계, 생성 함수, 폐쇄형 표현을 제공하는 것.
• 예를 들어 $C_3(n)$ 및 $K_3 \times P_n$와 같은 가족에 대해 새로운 수열을 계산하고 기존 재귀 관계를 향상시키는 것.
• 스패닝 트리 수량 세기와 연계된 전이 행렬 방법에 켈리-헤밀턴 정리를 효과적으로 적용하는 체계적 방법을 정식화하는 것.

제안 방법

• 이 방법은 스패닝 트리 수를 행렬식으로 계산하기 위해 매트릭스 트리 정리를 사용하지만, 직접 계산보다는 재귀 관계 유도에 초점을 맞춘다.
• 격자 그래프의 오른쪽 가장자리의 상태는 $[2k]$의 집합 분할을 사용하여 경계를 가로질러 연결 성분을 표현한다.
• 크기가 $B_{2k} \times B_{2k}$인 전이 행렬 $A$가 구성되며, 여기서 $B_{2k}$는 벨 수이고, 스패닝 포레스트가 열 간에 어떻게 변화하는지를 코딩한다.
• 실린더 그래프 $G \times C_n$에서의 스패닝 트리 수는 $(A^n v) \cdot d_k$로 계산되며, 여기서 $v$는 초기 상태 벡터이고 $d_k$는 실린더 닫힘을 위한 트리 수 계산용 벡터이다.
• 재귀 순서는 $B_{2k}$로 제한되며, 행렬 $A$의 특성 다항식은 최소 선형 재귀 관계를 도출한다.
• 이 방법은 $k$개 정점을 가진 임의의 그래프 $G$로 일반화 가능하여, $G \times C_n$ 및 $G \times P_n$에 대한 재귀 관계 유도를 가능하게 한다.

실험 결과

연구 질문

• RQ1 무한대에 가까운 $n$에서 $k \times n$ 격자 그래프에서의 스패닝 트리 수를 지배하는 최소 선형 재귀 관계는 무엇인가?
• RQ2 임의의 그래프 $G$에 대해 실린더 그래프 $G \times C_n$에서의 스패닝 트리 수를 체계적으로 어떻게 계산할 수 있는가?
• RQ3 격자형 그래프에서 열 간의 연결 상태 변화를 포괄하는 전이 행렬의 구조는 어떠한가?
• RQ4 켈리-헤밀턴 정리를 스패닝 트리 수열의 최소 재귀 관계 유도에 효과적으로 적용할 수 있는가?
• RQ5 이 방법으로부터 도출된 새로운 정수 수열은 무엇이며, 기존 수열과 비교해 보면 어떠한가?

주요 결과

• 이 방법은 $C_2(n)$에 대해 6차 재귀 관계를 성공적으로 도출하였다: $T_n = 10T_{n-1} - 35T_{n-2} + 52T_{n-3} - 35T_{n-4} + 10T_{n-5} - T_{n-6}$, 이는 OEIS A006235와 일치한다.
• $C_3(n)$에 대해 새로운 18차 재귀 관계가 발견되었으며, 수열 $\{1, 70, 1728, 31500, 508805, \ldots\}$는 아직 OEIS에 등재되지 않았다.
• $K_3 \times P_n$에 대해 새로운 10차 재귀 관계가 유도되었으며, 수열 $\{3, 318, 12960, 410700, 11870715, \ldots\}$ 역시 아직 OEIS에 등재되지 않았다.
• $C_2(n)$의 생성 함수는 $\frac{x(1+2x-10x^2+2x^3+x^4)}{(-1+5x-5x^2+x^3)^2}$이며, 이는 재귀 관계를 확인한다.
• $K_3 \times P_n$의 생성 함수는 $\frac{3x(1+48x-697x^2-2474x^3+9918x^4+62x^5-2045x^6+96x^7+5x^8)}{(-1+29x-145x^2+145x^3-29x^4+x^5)^2}$이다.
• 이 방법은 $G \times C_n$에서의 스패닝 트리 수가 최대 $B_{2k}$의 순서를 가진 선형 재귀 관계를 만족함을 증명한다. 여기서 $k = |V(G)|$이다.