그래프 개수를 정밀하게 세는 새로운 방법: 차수 전환과 분할

초록

본 논문은 주어진 차수 수열을 만족하는 방향 그래프의 개수를 매우 정밀하게 근사하는 새로운 방법을 제시한다. 기존 연구보다 훨씬 넓은 범위의 차수 조건(최대 차수가 O(S^{1/2-τ}))에서 적용 가능하며, 그래프 분할과 차수 보존 전환이라는 두 가지 핵심 기법을 활용한다. 이 방법은 이분 그래프나 무방향 그래프 등으로도 확장 가능하다.

상세 분석

이 논문의 핵심 기여는 기존의 Greenhill et al.의 결과(최대 차수 o(S^{1/3}) 조건)를 크게 개선하여 최대 차수가 O(S^{1/2-τ})인 훨씬 더 밀집된 그래프에 대해서도 차수 수열을 만족하는 그래프의 개수를 임의의 정밀도로 점근적으로 근사할 수 있는 방법론을 제시한 것이다. 여기서 S는 그래프의 간선 수이며, τ는 임의의 작은 양수이다.

기술적 핵심은 두 가지다:

1. 그래프 분할(Graph Partitioning): 인접 행렬을 특정 두 노드에 해당하는 행과 나머지 행으로 분할한다. 이를 통해 원래의 큰 차수 수열에 대한 열거 문제를, 관리하기 쉬운 작은 차수 수열에 대한 문제들로 연결할 수 있다. 특히 Lemma 1은 특수한 형태의 차수 수열에 대해 정확한 그래프 개수를 계산하는 공식을 제공하며, 이는 분할 기법의 기초가 된다.
2. 차수 보존 전환(Degree Preserving Switches): 두 노드의 공통 이웃 수를 기반으로 한 확장을 가능하게 한다. 간선을 교체하여 노드의 차수는 그대로 유지한 채 두 노드의 공통 이웃을 제거하는 ‘스위치’ 연산을 활용한다. 희소 그래프에서 주요 항은 두 노드가 공통 이웃을 전혀 가지지 않는 경우에 해당함을 보여준다.

이 두 기법을 결합하여, 논문은 먼저 임의의 차수 수열에 대한 일반적인 전개식(Theorem 1)을 유도한다. 이후 희소성 제약 조건 하에서 이 전개식의 항들이 기하급수적으로 감소함을 보이고(Corollary 3), 차수 수열이 약간 다른 두 그래프 집합의 크기 비율 kG_{d1}k / kG_{d2}k에 대한 점근적 근사치를 O(S^{-2τ}) 오차 범위 내에서 구축한다(Corollary 4). 이 비율 추정이 핵심이다.

더 나아가, Theorem 3과 Theorem 4는 일종의 재귀적 과정을 제시한다. 즉, 현재 알려진 근사치의 오차 항이 O(S^{-γ})일 때, 이를 더 높은 정밀도 O(S^{-γ-2τ})로 개선하는 방법을 보여준다. 특히 Theorem 4는 γ ≥ 1/2인 경우 추가적인 가정 없이도 오차를 줄일 수 있음을 증명한다. Theorem 5는 이렇게 정밀하게 추정된 비율로부터 원래 차수 수열 d1을 만족하는 그래프의 절대적 개수 kG_{d1}k 자체를 임의의 정밀도로 근사하는 방법을 설명한다.

이 방법론의 강점은 실제 네트워크에서 자주 관찰되는, 최대 차수가 S^{1/3}보다 빠르게 증가하는 경우에도 유효한 점근적 결과를 제공할 수 있다는 점이다. 또한 부록에서는 최대 진출차수와 최대 진입차수의 곱이 O(S^{1-τ})인 더 일반적인 조건으로 확장하는 방법과, 무방향 그래프, 루프가 없는 방향 그래프 등 다양한 그래프 클래스로의 적용 가능성을 보여준다.