2×N 격자에서 균형 스패닝 트리의 정확한 확률과 극한

초록

본 논문은 2×N 격자 그래프 Gₙ에 대해, 균등하게 선택된 스패닝 트리가 “균형”(정점 집합을 절반으로 나누는 절단 가장자리 존재)일 확률을 정확히 구하고, n→∞일 때의 극한값을 제시한다. 짝수·홀수 n에 대해 각각 0.76289와 0.52578이라는 상수를 얻는다. 또한 최소 스패닝 트리(MST) 분포와 비교한 실험 결과를 제시한다.

상세 분석

이 연구는 2×N 격자 Gₙ의 스패닝 트리 집합 Tₙ와 그 중 균형 트리 Sₙ의 비율 Sₙ/Tₙ을 정확히 계산하는 데 초점을 맞춘다. 먼저 기존 문헌에서 알려진 재귀식 Tₙ₊₂ = 4Tₙ₊₁ − Tₙ (초기값 T₁=1, T₂=4)를 이용해 Tₙ의 닫힌 형태 T_k = a(r^k − r^{−k}) (k≥0) 를 도출한다. 여기서 a=1/(2√3), r=2+√3이다.

균형 트리의 정의는 “어떤 가장자리를 제거했을 때 두 연결 성분의 정점 수가 정확히 절반”이다. 이를 분석하기 위해 저자들은 Gₙ의 쌍대 그래프 Gₙ와 무한 외부 면에 대응하는 정점 v_∞를 도입한다. 스패닝 트리 T∈Tₙ를 쌍대로 변환하면, T에 포함되지 않은 가장자리들이 Gₙ에서 루프 γ를 만든다. 균형 절단 가장자리는 바로 이 루프 γ가 v_∞를 기준으로 정확히 n개의 정점을 포함하도록 하는 경우와 일치한다.

루프 γ는 격자 구조상 좌우 대칭을 제외하고 총 n 가지 경우가 존재한다. 저자들은 γ_i (i=0,…,m) 라는 표준 형태를 정의하고, 각 형태마다 가능한 절단 가장자리의 위치 수 length(γ_i)와 양쪽 끝 블록(길이 3 인 작은 격자)에서 독립적으로 선택 가능한 스패닝 트리 수 T_{2m−i}를 곱해 전체 균형 트리 수 Sₙ을 구한다. 구체적인 식은

• 홀수 n=2m+1: Sₙ = (n+m−1) ∑{i=0}^{m} (6+4i)·T{2m−i}
• 짝수 n=2m: Sₙ = (n+2) ∑{i=1}^{m} (4+4i)·T{2m−i}

이다.

다음 단계에서는 T_{2m−i}/T_n의 비율을 r과 x=r−2=7−4√3을 이용해 극한으로 전환한다. Dominated Convergence Theorem을 적용해 무한 급수를 교환하고, 각각의 경우에 대해 수렴값을 계산한다. 결과적으로

• 홀수 경우: lim_{m→∞} S_{2m+1}/T_{2m+1} = (3+√3)/9 ≈ 0.52578
• 짝수 경우: lim_{m→∞} S_{2m}/T_{2m} = (1+4√3)/(6√3) ≈ 0.76289

를 얻는다.

또한 저자들은 균일 스패닝 트리(UST)와 무작위 가중치에 기반한 최소 스패닝 트리(MST) 분포를 비교한다. 작은 n에 대해 전부 열거하고, n≥6에 대해서는 10⁶개의 무작위 가중치 시뮬레이션을 수행했다. 흥미롭게도 짝수 n에서는 MST가 UST보다 높은 균형 확률을 보였으며, 홀수 n에서는 그 반대 경향을 보였다. 이는 기존에 MST가 UST보다 균형성을 억제할 것이라는 기대와 상반된다.

마지막으로 논문은 k‑균형(한 번에 k−1개의 절단 가장자리로 k개의 동일 크기 집합을 만든 경우)과 3×N 격자, 그리고 “거의 균형”(정점 수 차이가 일정 범위 이내) 문제로 연구를 확장할 가능성을 제시한다. 또한 MST 분포에 대한 정확한 극한값을 구하는 것이 향후 과제로 남는다.