[논문 리뷰] Resistance distance-based graph invariants and spanning trees of graphs derived from the strong product of $P_2$ and $C_n$

Yingui Pan, Jianping Li|arXiv (Cornell University)|2019. 06. 11.

Graph theory and applications참고 문헌 28인용 수 6

한 줄 요약

이 논문은 $P_2$와 $C_n$의 강한 곱으로 생성된 그래프 및 $r$개의 수직 간선을 제거한 부분그래프에서 킬레프 지수, 승법적 도수-킬레프 지수, 그리고 스패닝 트리의 수에 대한 정확한 공식을 유도한다. 이는 원래 그래프와 수정된 그래프 모두에서 킬레프 지수가 위너 지수의 약 1/6에 가까운 놀라운 점 游적 관계를 드러내며, 이 클래스의 그래프에서 저항 거리와 거리 기반의 위상적 지표 사이의 깊은 구조적 연결성을 강조한다.

ABSTRACT

Let $G_n$ be a graph obtained by the strong product of $P_2$ and $C_n$, where $n\geqslant3$. In this paper, explicit expressions for the Kirchhoff index, multiplicative degree-Kirchhoff index and number of spanning trees of $G_n$ are determined, respectively. It is surprising to find that the Kirchhoff (resp. multiplicative degree-Kirchhoff) index of $G_n$ is almost one-sixth of its Wiener (resp. Gutman) index. Moreover, let $\mathcal{G}^r_n$ be the set of subgraphs obtained from $G_n$ by deleting any $r$ vertical edges of $G_n$, where $0\leqslant r\leqslant n$. Explicit formulas for the Kirchhoff index and the number of spanning trees for any graph $G^r_n\in \mathcal{G}^r_{n}$ are completely established, respectively. Finally, it is interesting to see that the Kirchhoff index of $G^r_n$ is almost one-sixth of its Wiener index.

연구 동기 및 목표

• 그래프 $G_n = P_2 \boxtimes C_n$에서 킬레프 지수, 승법적 도수-킬레프 지수, 스패닝 트리의 수에 대한 명시적 닫힌 형태의 표현식을 유도하는 것.
• 이 결과들을 $G_n$에서 $r$개의 수직 간선을 제거하여 얻어진 부분그래프의 가족 $\mathcal{G}^r_n$($0 \leq r \leq n$)로 확장하는 것.
• $G^r_n$에서 저항 기반 지표(킬레프, 승법적 도수-킬레프)와 거리 기반 지표(위너, 구트만) 사이의 점근적 관계를 조사하는 것.
• $G_n$의 라플라스 행렬의 스펙트럼 성질을 고유값 분해 및 행렬 분할 기법을 사용하여 분석하는 것.

제안 방법

• 저자들은 스펙트럼 그래프 이론을 사용하여, 라플라스 행렬 $L(G)$의 고유값을 이용해 킬레프 지수를 공식 $K\!f(G) = n \sum_{i=2}^n \frac{1}{\rho_i}$로 계산한다. 여기서 $\rho_i$는 $L(G)$의 양의 고유값이다.
• 승법적 도수-킬레프 지수의 경우, 공식 $K\!f^*(G) = 2m \sum_{i=2}^n \frac{1}{\lambda_i}$를 적용한다. 여기서 $\lambda_i$는 정규화된 라플라스 행렬 $\mathcal{L}(G)$의 양의 고유값이다.
• $G_n = P_2 \boxtimes C_n$는 $C_n$의 구조를 이용해 $L_{11}$, $L_{12}$ 등의 블록 형태로 라플라스 행렬을 분할하고, 이를 통해 사이클의 고유값과 해당하는 $L_A$ 및 $L_S$ 행렬의 고유값을 도출한다.
• 스패닝 트리의 수 $\tau(G)$는 공식 $\tau(G) = \frac{1}{n} \prod_{i=1}^{n-1} \lambda_i^{(A)} \cdot \prod_{j=1}^n s_j$를 사용하여 계산한다. 여기서 $\lambda_i^{(A)}$는 유사 인접행렬 블록의 고유값이며, $s_j$는 쇼어 행렬의 대각성분이다.
• 이 방법은 $L_A(G^r_n) = 2L(C_n)$이고 $L_S(G^r_n)$가 대각행렬임을 이용하여, 사이클의 알려진 스펙트럼 기반으로 정확한 고유값 계산이 가능함을 활용한다.
• 점근적 분석는 $K\!f(G^r_n)$와 $W(G^r_n)$를 비교하여 수행되며, $\lim_{n\to\infty} \frac{K\!f(G^r_n)}{W(G^r_n)} = \frac{1}{6}$임을 보여준다.

실험 결과

연구 질문

• RQ1 그래프 $G_n = P_2 \boxtimes C_n$에서 킬레프 지수, 승법적 도수-킬레프 지수, 스패닝 트리의 수에 대한 정확한 닫힌 형태의 표현식은 무엇인가요?
• RQ2 $G_n$에서 $r$개의 수직 간선이 제거되어 생성된 가족 $\mathcal{G}^r_n$로의 이러한 불변량은 어떻게 변화합니까?
• RQ3 $n \to \infty$일 때 $G^r_n$에서 킬레프 지수와 위너 지수 사이에 통일된 점근적 비율이 존재합니까?
• RQ4 $P_2 \boxtimes G$의 스펙트럼 분해는 임의의 연결 그래프 $G$로 일반화될 수 있습니까?
• RQ5 이러한 곱 그래프에서 저항 기반 지표(킬레프, 승법적 도수-킬레프)와 거리 기반 지표(위너, 구트만) 사이의 관계는 무엇입니까?

주요 결과

• $\mathcal{G}^r_n$에서 $r$개 간선 삭제가 이루어진 $G_n = P_2 \boxtimes C_n$의 킬레프 지수는 임의의 $r$에 대해 정확히 $\frac{n^3 + 4n^2 + (2r - 1)n}{12}$이다.
• $G^r_n$의 스패닝 트리 수는 $\tau(G^r_n) = n \cdot 2^{2n + r - 2} \cdot 3^{n - r}$이며, 이는 $n$과 $r$에 대해 지수적 의존성을 보인다.
• 승법적 도수-킬레프 지수는 논문에서 명시적으로 계산되지 않았지만, 킬레프 지수가 점근적으로 위너 지수의 1/6임이 입증되었다: $\lim_{n\to\infty} \frac{K\!f(G^r_n)}{W(G^r_n)} = \frac{1}{6}$.
• $r = 0$일 경우 결과는 원래 그래프 $G_n$의 경우로 축소되며, 이때 킬레프 지수는 $\frac{n^3 + 4n^2 - n}{12}$가 되며, 기존의 사이클 기반 공식과 일치한다.
• $G^r_n$의 위너 지수는 $W(G^r_n) = W(G_n) + r$로 표현되며, 제거된 수직 간선의 수에 따라 선형적으로 증가함을 나타낸다.
• 킬레프 지수와 위너 지수의 점근적 비율이 $1/6$임은 모든 $r$에 대해 동일하게 유지되며, 이는 이 그래프 가족 내에서 통일된 구조적 성질을 시사한다.