회로 분할과 복합 내적 곱 문제의 샤프피 완전성

초록

이 논문은 각 정점에 복소수 단위벡터를 무작위로 배정하고, 모든 방향 간선에 대해 두 정점 벡터의 내적을 곱한 값을 기대값으로 정의한 함수 q(G;k)를 제안한다. q(G;k)는 그래프의 사이클 분할 다항식과 비례함을 보이고, k > 1인 경우 이 값의 정확한 계산이 #P‑완전임을 증명한다.

상세 분석

논문은 먼저 “사이클 분할 다항식”(cycle partition polynomial)이라는 그래프 불변량을 정의한다. 이는 그래프 G의 모든 에지 분할을 고려하여, 각 분할이 형성하는 순환(사이클)들의 수에 따라 가중치를 부여한 다항식이다. 기존 연구에서는 이 다항식이 매트로이드 이론과 연결되고, 특정 경우에 다항식의 계수를 계산하는 것이 어려운 문제임이 알려져 있었다. 저자들은 여기서 새로운 확률적 해석을 도입한다. 각 정점 v에 k‑차원 복소수 단위벡터 x_v를 독립적으로 균등하게 선택하거나, 평균이 0이고 공분산이 단위 행렬인 복소 가우시안 분포에서 샘플링한다. 그런 다음 모든 방향 간선 (u,v)∈E에 대해 내적 ⟨x_u, x_v⟩을 계산하고, 이들 내적의 곱을 취한다. 기대값을 q(G;k)라 정의한다.

핵심 아이디어는 내적의 기대값이 벡터들의 고차원 순간(moment)과 직접 연결된다는 점이다. 복소 가우시안 분포의 경우, Wick’s theorem(또는 Isserlis’ formula)을 적용하면 다중 내적의 기대값이 짝지어진 인덱스들의 합으로 전개된다. 이 전개 과정에서 각 짝짓기는 그래프의 에지 집합을 두 정점 사이의 매칭으로 해석할 수 있으며, 결국 모든 가능한 매칭(또는 회로 분할)이 등장한다. 각 회로는 k 차원 복소수 공간에서의 자유도에 따라 k^c (c는 회로 수) 만큼의 가중치를 얻는다. 따라서 q(G;k)는 k^c을 가중치로 하는 회로 분할들의 합, 즉 사이클 분할 다항식에 k에 대한 단순한 스케일링을 곱한 형태와 동일함을 보인다.

이 동등성을 이용해 복잡도 분석을 수행한다. 사이클 분할 다항식의 계수를 정확히 계산하는 문제는 이미 #P‑완전임이 알려져 있다(예: 영-다항식 문제와의 환원). 저자들은 k>1인 경우 q(G;k)의 정확한 값 계산이 사이클 분할 다항식 계산과 다항식 시간 내에 상호 환원 가능함을 증명한다. 구체적으로, 임의의 그래프 H와 정수 m에 대해, H의 사이클 분할 다항식의 특정 계수를 구하는 문제를 q(G;k) 계산 문제로 변환하고, 반대로 q(G;k) 값을 이용해 해당 계수를 복원할 수 있음을 보인다. 이로써 q(G;k) 자체가 #P‑완전 문제임을 확정한다.

또한 저자들은 두 가지 확률 모델(단위 구면 위의 균등 분포와 복소 가우시안 분포)이 동일한 기대값을 제공한다는 사실을 증명한다. 이는 벡터의 노름이 1로 고정된 경우와 노름이 확률적으로 변동하는 경우 사이의 차이를 없애는 중요한 대칭성 결과이다. 마지막으로, k=1인 경우는 기대값이 단순히 0 또는 1이 되므로 다항식이 상수이며, 따라서 복잡도가 급격히 낮아진다. 이는 k>1일 때만 문제가 #P‑완전함을 강조한다.

전체적으로 이 논문은 그래프 이론, 확률적 선형대수, 그리고 복잡도 이론을 결합하여 새로운 #P‑완전 문제를 제시하고, 기존의 사이클 분할 다항식과의 깊은 연관성을 밝힘으로써 두 분야 사이의 교량 역할을 수행한다.