[논문 리뷰] Inverting non-invertible trees

Soña Pavlíková, Jozef Širáň|arXiv (Cornell University)|2017. 12. 30.

Graph theory and applications인용 수 1

한 줄 요약

이 논문은 정점 간선에 가중치가 부여된 트리의 인접행렬이 특이행렬인 경우에도 일반화된 역행렬을 정의하기 위해 대칭 일반화된 역행렬(Moore-Penrose/Drazin/군 역행렬)을 사용하여 Godsil의 역트리 정리의 범위를 비가역적인 경우로 확장한다. 단위 간선 가중치를 가진 트리의 일반화된 역행렬에 대한 닫힌 형태의 공식을 제시하며, 이는 교대 경로와 최대 매칭을 기반으로 하며, 역행렬 행렬이 원래 인접행렬과 가우시안 동치임을 증명하고 일반화된 역행렬 조건을 만족함을 보인다.

ABSTRACT

If a graph has a non-singular adjacency matrix, then one may use the inverse matrix to define a (labeled) graph that may be considered to be the inverse graph to the original one. It has been known that an adjacency matrix of a tree is non-singular if and only if the tree has a unique perfect matching; in this case the determinant of the matrix turns out to be $\pm 1$ and the inverse of the tree was shown to be `switching-equivalent' to a simple graph [C. Godsil, Inverses of Trees, Combinatorica 5 (1985), 33--39]. Using generalized inverses of symmetric matrices (that coincide with Moore-Penrose, Drazin, and group inverses in the symmetric case) we prove a formula for determining a `generalized inverse' of a tree.

연구 동기 및 목표

• 정점 간선에 가중치가 부여된 트리의 인접행렬이 특이행렬인 경우, 기존의 행렬 역행렬이 실패하는 상황에서도 그래프 역행렬의 개념을 확장한다.
• 대칭 일반화된 역행렬(Moore-Penrose, Drazin, 또는 군 역행렬)을 사용하여 간선에 가중치가 부여된 트리의 일반화된 역행렬을 정의하며, 이는 대칭인 경우 세 가지 정의가 일치함을 보인다.
• 단위 간선 가중치를 가진 트리의 일반화된 역행렬에 대한 닫힌 형태의 공식을 제시하여, Godsil의 역트리 정리를 완벽한 매칭이 존재하지 않는 경우로 일반화한다.
• 일반화된 역행렬 행렬이 원래 인접행렬과 가우시안 동치임을 확립하여, 역행렬 성질과의 일致성을 보장한다.

제안 방법

• 트리 T의 일반화된 역행렬을 정의한다. 이는 T의 인접행렬 A의 대칭 일반화된 역행렬 A*를 갖는 간선에 가중치가 부여된 그래프 T* = (T*, α*)로 정의된다.
• 대칭 행렬의 직교 대각화를 사용한다: A = PDP^T 이므로 A* = PD*P^T이며, 여기서 D*는 비영인 고유값은 역행렬로, 영인 고유값은 0으로 설정한다.
• 최대 매칭 M에 대해 uMv 교대 경로의 개념을 도입하고, 정점 x, y를 제거한 트리 T에서 이러한 경로의 수를 세는 계수 µT\xy(u,v)를 정의한다.
• 중앙 간선 xy에 대해 정점 집합 V1과 V2로 분할한 후, 유도적 구조를 통해 귀납법을 적용하여 일반화된 역행렬 행렬 C가 A와 가우시안 동치임을 증명한다.
• 고유벡터 분석과 영공간 동치성 활용: A와 B = m(T)⁻¹C가 같은 영공간을 가지며, 비영 고유값에 대해 공통의 고유벡터를 공유한다면, B는 A의 일반화된 역행렬이 된다.
• 기존의 사례(예: 스펙트럼이 (±√n, 0ⁿ⁻¹)인 별 모양의 그래프)를 활용하여 일반화된 역행렬의 구조를 유추하고, m(T) — 최대 매칭의 수 — 를 포함한 공식을 도출한다.

실험 결과

연구 질문

• RQ1 특이행렬을 가진 트리에 대해 일반화된 역행렬을 정의할 수 있는가? 이는 고전적인 역행렬 그래프 구성 방식을 확장하는가?
• RQ2 정점 간선에 단위 가중치가 부여된 트리의 인접행렬이 특이행렬일 경우, 일반화된 역행렬에 대한 명시적 공식은 무엇인가?
• RQ3 일반화된 역행렬은 트리 내의 교대 경로와 최대 매칭과 어떻게 관련이 있는가?
• RQ4 일반화된 역행렬 행렬이 원래 인접행렬과 가우시안 동치인가? 이는 올바른 역행렬 성질을 의미하는가?
• RQ5 명시적인 행렬 역행렬 계산 없이도 역행렬의 구조를 고유공간 분석을 통해 유도할 수 있는가?

주요 결과

• 단위 간선 가중치를 가진 트리 T의 일반화된 역행렬은 B = m(T)⁻¹C로 주어지며, 여기서 C는 최대 매칭에 대해 상대적인 교대 경로의 수를 세는 (u,v)-성분을 갖는 행렬이다.
• 행렬 C는 원래 인접행렬 A와 가우시안 동치이므로, A와 B는 같은 영공간을 공유하며 일반화된 역행렬 성질과 일致함을 의미한다.
• n개의 낟알이 있는 별 모양의 그래프의 경우, 일반화된 역행렬은 A* = n⁻¹A로 주어지며, 이는 기존의 스펙트럼 사례와 일致함을 확인한다.
• 일반화된 역행렬 행렬 B는 대칭 일반화된 역행렬의 의미에서 B = A*를 만족하며, 이는 A A* A = A 및 A* A A* = A*를 만족하는 유일한 대칭행렬임을 의미한다.
• 공식은 최대 매칭의 수 m(T)를 정규화에 포함시킴으로써 Godsil의 역트리 정리를 완벽한 매칭이 존재하지 않는 트리로 일반화한다.
• 증명은 정점 분할에 대한 구조적 귀납법과 고유벡터 일致성에 기반하여, 일반화된 역행렬이 스펙트럼적 및 조합적 구조를 유지함을 보여준다.