동형사상 계수와 분할함수의 복잡성 탐구

초록

본 논문은 두 구조 A와 고정 구조 B 사이의 동형사상 개수를 세는 문제와, 이를 가중치가 부여된 형태(분할함수)로 일반화한 문제의 계산 복잡성을 조사한다. 주로 그래프를 대상으로 하며, 비음수 행렬로 정의된 분할함수에 대해 Bulatov‑Grohe가 제시한 복잡도 이분법을 그래프 이론적 관점에서 재증명한다.

상세 분석

동형사상은 관계 구조 사이의 구조 보존 사상으로, 제약 만족 문제(CSP)의 해를 찾는 행위와 동치이다. 따라서 동형사상의 존재 여부는 논리적 양화와 동일시될 수 있으며, 동형사상의 개수는 CSP의 해의 수를 직접 세는 문제로 전환된다. 이 논문은 이러한 해의 개수를 단순히 “있다/없다”를 넘어 가중치를 부여한 형태, 즉 각 사상에 비용이나 확률을 부여한 ‘가중 동형사상’(weighted homomorphism)으로 확장한다. 물리학에서 이와 유사한 개념은 분할함수(partition function)이며, 그래프의 각 정점·간선에 상호작용 행렬을 할당해 전체 시스템의 에너지 합을 계산한다.

핵심 기여는 비음수 행렬로 정의된 분할함수의 복잡도 이분법을 명확히 제시한 Bulatov‑Grohe 정리를 그래프 이론적 언어로 재구성한 점이다. 정리는 입력 그래프 G와 고정된 가중 행렬 M(모든 원소 ≥0)을 주었을 때, Z_M(G)=∑{φ:G→H}∏{(u,v)∈E(G)}M_{φ(u),φ(v)} 를 계산하는 문제가 다항시간에 풀리거나 #P‑완전 중 하나에 속한다는 것을 보인다. 이때 ‘다항시간에 풀리는 경우’는 M이 ‘정규화된’ 형태, 즉 행렬이 순열 행렬이거나 두 개의 상수값만을 갖는 블록 구조(‘rank‑1’ 혹은 ‘bipartite’ 형태)일 때 발생한다. 반대로, M이 이러한 제한을 벗어나면 복잡도는 #P‑완전으로 급격히 상승한다.

논문은 기존 증명의 복잡한 대수적 전개를 피하고, 그래프의 색칠, 매칭, 스위치 변환 등 직관적인 그래프 연산을 이용해 핵심 아이디어를 전달한다. 특히, 행렬의 ‘표준형’ 변환을 그래프의 ‘스위치’ 연산에 대응시켜, 행렬의 구조적 특성을 그래프의 대칭성 및 분리성으로 해석한다. 이를 통해 독자는 물리학적 분할함수와 이산 수학적 동형사상 계수 사이의 깊은 연관성을 시각적으로 이해할 수 있다.

또한, 논문은 이 이분법이 CSP의 복잡도 이분법과 유사한 구조를 가짐을 강조한다. CSP에서는 제약 관계가 ‘다항식 시간에 해결 가능’하거나 ‘NP‑완전’인 두 경우로 나뉘듯, 가중 동형사상에서도 행렬의 구조가 ‘단순(정규화)’하거나 ‘복잡(일반)’인 두 경우로 구분된다. 이러한 유사성은 계산 복잡도 이론에서 구조적 특성이 문제 난이도를 결정한다는 일반적 원리를 뒷받침한다.

마지막으로, 논문은 향후 연구 방향으로 비음수 행렬을 넘어 복소수 혹은 음수 값을 허용하는 일반화, 그리고 동형사상 계수를 다변량 생성함수 형태로 확장하는 가능성을 제시한다. 이러한 확장은 양자 물리학의 텐서 네트워크 모델이나 고차원 CSP의 근사 카운팅 알고리즘과 연결될 수 있다.