B 분할을 이용한 그래프 행렬식과 영구적 계산법

초록

이 논문은 그래프의 블록 구조를 활용한 새로운 분할 방법인 B-분할을 소개합니다. B-분할을 통해 복잡한 그래프의 인접 행렬에 대한 행렬식(determinant)과 영구적(permanent)을, 각 블록의 작은 서브그래프들의 행렬식과 영구적의 곱의 합으로 계산할 수 있는 공식을 제시합니다. 이를 적용하여 부호 있는 블록 그래프, 유니사이클릭 그래프, 혼합 완전 그래프 등 다양한 그래프의 행렬식과 영구적을 구하는 방법을 보여줍니다.

상세 분석

이 논문의 핵심 기여는 그래프의 블록(절점이 없는 최대 연결 부분그래프) 구조에 기반한 ‘B-분할(B-partition)‘이라는 새로운 조합론적 도구를 도입한 점에 있습니다. 기존의 행렬식과 영구적 계산은 주로 인접 행렬의 직접적인 전개나 순환 덮개(cycle cover)에 의존했으나, 이 방법은 그래프의 위상적 구조를 적극 활용합니다.

논문은 먼저, 절점에 루프(loop)가 없는 가중치 부호 있는 그래프의 행렬식과 영구적이 모든 가능한 B-분할에 대한 ‘행렬식-합항(det-summand)‘과 ‘영구적-합항(per-summand)‘의 합과 같음을 증명합니다(보조정리 3.2). 여기서 B-분할이란 그래프를 각 블록에서 유도된 서브그래프들로 정점-분리(vertex-disjoint)하게 분할하는 것을 의미합니다. 이 연결고리는 기존의 블록 그래프 행렬식 공식(정리 3.1)과 B-분할 사이의 일대일 대응 관계를 증명함으로써 확고히 합니다(보조정리 3.3). 즉, B-분할은 기존 공식의 조합적 의미를 보다 명확하게 재해석한 것입니다.

이 프레임워크의 강력함은 복잡한 그래프의 행렬식을 단순한 그래프들의 행렬식 곱으로 분해할 수 있다는 데 있습니다. 논문은 이를 다음과 같은 구체적인 그래프 군에 적용하여 새로운 결과를 도출합니다.

1. 부호 있는 블록 그래프: 각 블록이 완전 그래프이며, 내부에 동일한 크기의 음의 클리크(negative clique)를 가질 수 있는 그래프입니다. B-분할을 통해 행렬식 공식을 유도합니다.
2. 부호 있는 유니사이클릭 그래프: 하나의 사이클에 여러 트리가 붙은 형태의 그래프입니다. ‘균형 잡힌(balanced)’ 경우(사이클 내 음의 간선이 짝수 개)와 그렇지 않은 경우를 구분하여 행렬식과 영구적을 계산합니다.
3. 혼합 완전 그래프(mixed complete graph): 방향과 부호가 모두 섞인 완전 그래프입니다. B-분할 접근법을 사용하기 위해 먼저 고유값을 분석하고, 이를 바탕으로 행렬식을 구합니다.
4. 혼합 성형 블록 그래프(mixed star block graph): 여러 혼합 완전 그래프가 하나의 절점을 공유하는 그래프입니다. B-분할의 재귀적 성질을 이용하여 행렬식을 계산합니다.

이 방법론의 주요 통찰은 그래프의 행렬식/영구적 계산 문제를, 그래프의 분해(블록)와 그 분해된 부분들의 모든 가능한 부분구조(B-분할)를 세는 조합론적 문제로 환원시킨다는 점입니다. 이는 순환 덮개를 세는 전통적인 방법보다 특정 구조(블록 그래프)에서는 체계적이고 구현 가능한 계산법을 제공합니다. 특히, 영구적은 일반적으로 계산이 매우 어려운 문제(#P-완전)로 알려져 있으나, 균형 잡힌 부호 있는 블록 그래프와 같은 제한된 클래스에 대해서는 B-분할을 통해 명시적인 공식(정리 3.4)을 얻을 수 있어 의미가 큽니다. 논문의 결과는 그래프 스펙트럼 이론, 조합론, 그리고 화학에서의 분자 궤도 계산 등에 응용될 수 있는 잠재력을 가집니다.