아폴로니안 네트워크의 스패닝 트리 정확식

초록

본 논문은 최대 평면 그래프인 아폴로니안 네트워크에서 스패닝 트리의 개수를 정확히 구하는 폐쇄형 식을 제시한다. 재귀적 네트워크 생성 규칙을 이용해 트리 수의 점진적 증가를 수식화하고, 이를 통해 스패닝 트리 엔트로피를 계산한다. 또한 동일 평균 차수를 갖는 다른 그래프와 비교하여 아폴로니안 네트워크의 구조적 특성과 동적 현상(전염, 동기화, 무작위 보행 등)과의 연관성을 논의한다.

상세 분석

아폴로니안 네트워크는 초기 삼각형을 시작으로, 매 단계마다 기존의 모든 삼각형에 새로운 정점을 삽입하고 그 정점을 삼각형의 세 변에 연결하는 방식으로 성장한다. 이 과정은 네트워크가 최대 평면 그래프이면서 동시에 작은 세계(small‑world)와 무척추(scale‑free) 특성을 동시에 갖게 만든다. 논문은 이러한 재귀적 구조를 활용해 스패닝 트리의 개수를 단계별로 추적한다. 구체적으로, n번째 생성 단계에서의 스패닝 트리 수 Tₙ을 Tₙ₋₁과 기존 삼각형 수의 함수로 표현하고, 이를 반복 적용해 일반항을 도출한다. 핵심은 각 새 정점이 삽입될 때 기존 트리 구조에 추가될 수 있는 경우의 수가 정확히 3가지(새 정점이 연결되는 세 변 중 어느 하나를 선택)라는 점이다. 따라서 Tₙ은 3^{Fₙ}·Tₙ₋₁ 형태로 전개되며, 여기서 Fₙ은 n단계까지 생성된 삼각형의 총 개수이다. 삼각형 수는 피보나치와 유사한 선형 재귀식 Fₙ = 3·2^{n‑1} + 1 로 풀 수 있다. 이를 대입하면 최종적으로 Tₙ = 3^{(3·2^{n‑1}+1)}·2^{(3·2^{n‑1}−n)}와 같은 닫힌 형태가 얻어진다. 이 식을 로그로 변환하면 스패닝 트리 엔트로피 h = lim_{N→∞} (ln Tₙ)/N = (ln 3)/2 가 도출된다. 흥미롭게도, 동일 평균 차수(⟨k⟩=6)를 갖는 정규 격자나 무작위 그래프와 비교했을 때, 아폴로니안 네트워크의 엔트로피는 현저히 낮다. 이는 네트워크가 높은 클러스터링과 계층적 구조를 가지면서도, 가능한 스패닝 트리 구성이 제한적임을 의미한다. 논문은 이러한 결과가 전염병 확산, 동기화 임계점, 무작위 보행의 평균 도달 시간 등 동적 프로세스에 미치는 영향을 정량적으로 해석한다. 특히, 스패닝 트리 수가 적을수록 네트워크의 전반적 연결 강도가 낮아져, 전염병이 전체 네트워크에 퍼지는 속도가 감소하고, 동기화가 더 어려워지는 경향을 보인다. 마지막으로, 저자들은 제시된 방법론이 다른 재귀적 혹은 자기유사적 그래프에도 적용 가능함을 시사하며, 향후 연구 방향으로는 가중치가 부여된 엣지, 비균일한 성장 규칙, 그리고 다차원 일반화에 대한 스패닝 트리 분석을 제안한다.