[논문 리뷰] On the determinant of the distance matrix of a bicyclic graph

Shi-Cai Gong, Ju‐Li Zhang외 1명|arXiv (Cornell University)|2013. 08. 10.

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

한 줄 요약

이 논문은 두 개의 분리된 사이클이 길이 $ k-1 $ 인 경로로 연결된 이사이클 그래프의 거리 행렬의 니르미터에 대한 폐쇄형 공식을 유도한다. 이는 나무와 유사이클 그래프에 대한 기존 결과를 일반화한 것으로, 니르미터는 사이클 길이 $ p $ 및 $ q $, 경로 길이 $ k $, 그리고 부착된 나무의 수 $ n $ 에 따라 달라지며, $ p $ 또는 $ q $ 가 짝수이면 니르미터가 0이 되고, 그렇지 않으면 $ \left[\frac{(pq-1)(p+q)}{4} + \frac{n}{2}pq\right](-2)^n $ 로 주어진다.

ABSTRACT

Two cycles are referred as disjoint if they have no common edges. In this paper, we will investigate the determinant of the distance matrix of a graph, giving a formula for the determinant of the distance matrix of a bicyclic graph whose two cycles are disjoint, which extends the formula for the determinant of the distance matrix of a tree, as well as that of a unicyclic graph.

연구 동기 및 목표

• 나무와 유사이클 그래프의 거리 행렬에 대한 기존의 니르미터 공식을 두 개의 분리된 사이클을 가진 이사이클 그래프로 확장한다.
• 두 사이클이 간선으로 분리된 이사이클 그래프의 거리 행렬의 니르미터에 대한 일반 공식을 수립한다.
• 이러한 그래프에서 부착된 나무의 구조가 니르미터에 어떤 영향을 미치는지 조사한다.
• 니르미터가 부착된 나무의 내부 구조와는 무관하며, 오직 코어 이사이클 구조에만 의존한다는 것을 증명한다.

제안 방법

• 두 개의 분리된 사이클 $ C_p $ 및 $ C_q $ 가 길이 $ k-1 $ 인 경로로 연결된 그래프 $ \infty(p,k,q) $ 를 정의한다. $ k=1 $ 일 경우 정점의 일치를 의미한다.
• 경로의 구조에서 유도된 $ C_k $, $ C_h $ 및 벡터 $ F_k $, $ F_h $ 를 포함하는 블록 행렬을 사용하여 코어 $ \infty(p,k,q) $ 그래프의 거리 행렬을 모델링한다.
• 행렬 분해 및 블록 행렬의 니르미터 항등식을 사용하여 전체 거리 행렬의 니르미터 계산을 단순화한다.
• 레마 2.1을 적용하여 $ \det(C_k) $ 와 $ F_k C_k^{-1} F_k^T $ 를 계산하고, 사이클 길이에 대한 폐쇄형 표현을 도출한다.
• 레마 2.2를 사용하여 일반적인 $ n $ 에 대해 니르미터 전개에서 발생하는 재귀 관계를 해결한다.
• 블록 행렬 변환 및 니르미터 항등식을 사용하여 코어 니르미터와 $ n $ 개의 부착된 나무의 기여를 결합함으로써 최종 니르미터 공식을 유도한다.

실험 결과

연구 질문

• RQ1 두 개의 분리된 사이클을 가진 이사이클 그래프의 거리 행렬 니르미터는 사이클 길이와 연결 경로에 따라 어떻게 달라지는가?
• RQ2 두 개의 분리된 사이클을 가진 이사이클 그래프의 거리 행렬 니르미터는 나무 및 유사이클 그래프에 대한 기존 공식을 일반화하는 폐쇄형으로 표현될 수 있는가?
• RQ3 코어 $ \infty(p,k,q) $ 그래프에 부착된 나무의 구조는 거리 행렬의 니르미터에 영향을 미치는가?
• RQ4 이러한 이사이클 그래프의 거리 행렬 니르미터가 0이 되는 조건은 무엇인가?
• RQ5 니르미터와 부착된 나무의 수 $ n $ 사이의 정확한 대수적 관계는 무엇인가?

주요 결과

• 두 개의 분리된 사이클을 가진 이사이클 그래프의 거리 행렬 니르미터는 사이클 길이 $ p $ 또는 $ q $ 가 짝수이면 0이 된다.
• 두 사이클 길이 $ p $ 및 $ q $ 가 모두 홀수일 경우, 니르미터는 $ \left[\frac{(pq-1)(p+q)}{4} + \frac{n}{2}pq\right](-2)^n $ 로 주어지며, 여기서 $ n $ 은 부착된 나무의 정점 수이다.
• 니르미터는 부착된 나무의 내부 구조와는 무관하며, 오직 이러한 정점의 수 $ n $ 에만 의존한다.
• 이 공식은 나무에 대한 고전적 그레고리-폴락 결과를 일반화하며, $ p=q=1 $ 일 때 $ (-1)^{n-1}(n-1)2^{n-2} $ 를 특수한 경우로 회복한다.
• 한 사이클을 1-사이클(단일 정점)으로 간주할 경우, 이는 유사이클 그래프에 대한 알려진 결과를 재현하며 이전 연구와의 일관성을 보여준다.
• 유도 과정은 니르미터가 오직 사이클 길이 $ p $, $ q $ 와 부착된 정점 수 $ n $ 에만 의존하며, 나무의 구체적인 위상 구조에는 영향을 받지 않는다는 것을 확인한다.