방향 그래프의 아보레시스 가중치 합 동등성

초록

본 논문은 동일한 정점 집합을 갖지만 서로 다른 호를 가진 두 유향 그래프가, 특정 루트 정점에 대한 모든 아보레시스(방향 스패닝 트리)의 가중치 합이 동일함을 보인다. 이를 “호 이동 정리”와 “호 결합 정리”로 정형화하고, 매트릭스‑트리 정리와 연결시켜 행렬식의 그래픽적 분해와 계산 방법을 제시한다.

상세 분석

논문은 먼저 Γᵥ라는 루트가 없는 정점 v를 갖는 유향 그래프를 정의하고, 아보레시스는 모든 정점을 포함하면서 루트가 indegree 0, 나머지는 indegree 1인 방향 트리임을 상기한다. 핵심은 두 정리이다.

1. **호 이동 정리 (Moving‑Arc Theorem)**는 동일한 목표 정점 b에 연결된 두 호 e와 e′가 각각 출발 정점 a와 c를 갖는 경우, a→b와 c→b 사이에 강한 연결(Strongly Connected)이 존재하지 않을 때 e를 e′로 옮겨도 전체 아보레시스 가중치 합이 변하지 않음을 증명한다. 증명은 e를 포함하는 아보레시스와 e′를 포함하는 아보레시스를 일대일 대응시키는 구성으로, 사이클이 생기지 않는 조건이 바로 “강한 연결이 없음”이다.
2. **호 결합 정리 (Combining‑Arcs Theorem)**는 동일한 출발·목표 (a→b) 를 갖는 평행 호 e₁, e₂를 하나의 호 e_c로 합칠 때, 가중치를 w(e_c)=w(e₁)+w(e₂) 로 정의하면 전체 아보레시스 가중치 합이 보존됨을 보인다. 여기서도 각 아보레시스 쌍(H∪e₁, H∪e₂)와 H∪e_c 사이의 일대일 대응을 이용한다.
   두 정리는 그래프 구조를 변형하면서도 매트릭스‑트리 정리에서 나타나는 행렬식 값을 그대로 유지한다는 점에서 의미가 크다. 매트릭스‑트리 정리는 가중치 그래프 Γ₀와 그 라플라시안 행렬 A 사이에 det(A)=∑_{B∈S(Γ₀)}W(B) 라는 관계를 제공한다. 논문은 위 두 정리를 이용해 A의 행과 열에 대한 기본 연산(행/열에 상수배를 더함, 병합)과 그래프에서 호를 이동·결합하는 과정이 일대일 대응함을 보여, 행렬식이 불변임을 직관적으로 설명한다.
   특히, 강한 연결이 없는 정점 쌍 사이에서 호를 이동하면 라플라시안의 비대각 원소가 변하고, 동시에 대응하는 대각 원소가 보정돼 전체 행렬식이 유지된다. 이는 기존 선형대수적 증명보다 그래프적 직관을 제공한다.
   마지막으로 논문은 “정점 격리 절차(vertex‑isolation)”를 제시한다. 루트 정점을 차례로 선택해 해당 정점에서 나가는 모든 호를 루트 0으로 이동하고, 병합함으로써 최종적으로 모든 정점이 0으로만 연결된 n!개의 완전 격리 그래프를 만든다. 각 격리 그래프는 단순히 (0→i) 호들의 가중치 곱으로 표현되며, 이들의 합이 원래 행렬식과 동일함을 보인다. 이 절차는 행렬식 전개를 순열 기반으로 시각화하는 새로운 방법을 제공한다.