[논문 리뷰] Effective Resistances and Kirchhoff index of Prism Graphs

Zübeyir Çınkır|arXiv (Cornell University)|2017. 04. 11.

Graph theory and applications참고 문헌 5인용 수 4

한 줄 요약

이 논문은 회로 감소와 일반화된 피보나치 수열을 사용하여 프리즘 그래프 $Y_n$의 임의의 두 정점 사이의 유효 저항에 대한 명시적 공식을 유도한다. $Y_n$의 키르히호프 지수에 대한 닫힌 형태의 표현식을 수립하고, $\sin^2(k\pi/n)$를 포함하는 새로운 삼각함수 합 항등식을 증명한다. 이 모든 것은 재귀식 $G_{n+2} = 4G_{n+1} - G_n$과 $\sqrt{3}$, $2-\sqrt{3}$를 이용한 닫힌 형태의 표현식으로 표현된다.

ABSTRACT

We explicitly compute the effective resistances between any two vertices of a prism graph by using circuit reductions and our earlier findings on a ladder graph. As an application, we derived a closed form formula for the Kirchhoff index of a prism graph. We show as a byproduct that an explicit sum formula involving trigonometric functions hold by comparing our formula for the Kirchhoff index and previously known results in the literature. We also expressed our formulas in terms of certain generalized Fibonacci numbers.

연구 동기 및 목표

• 프리즘 그래프 $Y_n$의 임의의 두 정점 사이의 유효 저항에 대한 명시적 닫힌 형태의 표현식을 유도하는 것.
• 저항 값과 스펙트럴 그래프 이론을 사용하여 $Y_n$의 키르히호프 지수를 계산하는 것.
• 기존의 스펙트럴 공식과의 비교를 통해 $\sum_{k=0}^{n-1} \frac{1}{1 + 2\sin^2(k\pi/n)}$를 포함하는 새로운 삼각함수 합 항등식을 수립하는 것.
• 모든 저항 및 지수 공식을 $G_{n+2} = 4G_{n+1} - G_n$로 정의된 일반화된 피보나치 수열 $G_n$을 통해 표현하는 것. 여기서 $G_0=0$, $G_1=1$.

제안 방법

• 정점의 네 개의 끝점을 유지하면서, $Y_n$을 두 개의 래퍼드 그래프 $L_{n-i+1}$과 $L_{i-1}$로 분해하여 회로 감소를 적용한다.
• 이전 연구에서 알려진 래퍼드 그래프의 저항 공식을 사용하여 $Y_n$을 저항 값이 알려진 8정점 그래프로 감소시킨다.
• 감소된 $Y_n$의 이산 라플라스 행렬 $L$을 구성하고, 그의 모레-펜로즈 역행렬 $L^+$를 계산하여 $r(p,q) = l_{pp}^+ - 2l_{pq}^+ + l_{qq}^+$를 통해 저항 값을 추출한다.
• $Y_n$의 대칭성을 활용하여 서로 다른 저항 값의 수를 줄이고 계산을 단순화한다.
• 대칭성과 저항 표현식을 조합하여 $Kf(Y_n) = \frac{1}{2} \sum_{p,q \in V} r(p,q)$ 공식을 사용해 키르히호프 지수를 유도한다.
• Lapl相当 eigenvalue 표현식 $\lambda_{ij} = 4 - 2\cos(i\pi/2) - 2\cos(2j\pi/n)$를 사용하여 $Y_n = P_2 \square C_n$의 라플라스 고유값을 연결하고, 삼각함수 합 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 프리즘 그래프 $Y_n$의 임의의 두 정점 사이의 유효 저항 값은 무엇인가?
• RQ2 회로 감소와 스펙트럴 방법을 사용하여 $Y_n$의 키르히호프 지수에 대한 닫힌 형태의 공식을 도출할 수 있는가?
• RQ3 키르히호프 지수 표현식을 기존의 스펙트럴 결과와 비교함으로써 비자명한 삼각함수 합 항등식이 도출되는가?
• RQ4 저항 및 지수 공식은 일반화된 피보나치 수열 $G_n$을 통해 어떻게 표현할 수 있는가? 여기서 $G_{n+2} = 4G_{n+1} - G_n$을 만족한다.
• RQ5 키르히호프 지수와 $Y_n$의 스패닝 트리 수 사이의 관계는 무엇인가?

주요 결과

• 프리즘 그래프 $Y_n$의 키르히호프 지수는 $Kf(Y_n) = \frac{n(n^2-1)}{6} + \frac{n^2}{\sqrt{3}}\left[\frac{2}{1 - (2 - \sqrt{3})^n} - 1\right]$로 주어지며, 모든 양의 정수 $n$에 대해 유효하다.
• 새로운 삼각함수 합 항등식이 증명되었다: $\sum_{k=0}^{n-1} \frac{1}{1 + 2\sin^2(k\pi/n)} = \frac{n}{\sqrt{3}}\left[\frac{2}{1 - (2 - \sqrt{3})^n} - 1\right]$로, 저항 이론과 삼각급수 사이의 연결 고리를 제공한다.
• 정점 간의 저항 값은 일반화된 피보나치 수열 $G_n$을 통해 표현되며, $G_n = \frac{(2 - \sqrt{3})^{-n} - (2 - \sqrt{3})^n}{2\sqrt{3}}$로 주어져 재귀적이고 닫힌 형태로 계산이 가능하다.
• 키르히호프 지수 공식은 $Kf(Y_n) = \frac{n(n^2-1)}{6} + \frac{2n^2 G_n^2}{G_{2n} - 2G_n}$로도 동치로 표현되며, 이는 수열 $G_n$과의 직접적인 연결을 보여준다.
• $Y_n$의 스패닝 트리 수는 $\frac{n}{2}\left(\frac{G_{2n}}{G_n} - 2\right)$로 주어지며, 기존 결과와 일관됨을 확인한다.
• 저항 공식은 $n \geq 3$ 뿐만 아니라 $n=1$과 $n=2$에도 성립하며, 재귀적 감소와 일관성 검증을 통해 검증되었다.