무작위 스패닝 포레스트와 스펙트럴 엔트로피의 연결

초록

본 논문은 무작위 스패닝 포레스트의 기대 루트 수와 라플라시안 열행렬의 열핵(trace) 사이에 정확한 라플라스 변환 관계를 증명한다. 이를 통해 Wilson 알고리즘으로 효율적으로 샘플링한 포레스트 통계만으로 라플라시안 고유값 분해 없이도 열핵, 에너지, Von Neumann 엔트로피 등 전역 및 국부 열역학 양을 추정할 수 있음을 보인다. 또한 Stieltjes 정규화 역라플라스 변환을 이용해 샘플링 노이즈에 강인한 스펙트럼 밀도 복원을 제시하고, 다양한 합성 그래프에서 실험적으로 검증한다.

상세 분석

이 연구는 두 개의 전통적인 그래프 이론 분야—라플라시안 스펙트럼 기반 열역학과 결정적 포레스트 이론—를 하나의 수학적 다리로 연결한다. 핵심은 식 (5)에서 정의된 기대 루트 수 s(q)=q d/dq log χ(q)=n∑_{i=1} q/(q+λ_i)이다. 여기서 λ_i는 라플라시안의 고유값이며, χ(q)=det(qI+L)는 무작위 포레스트의 정규화 상수이다. 저자들은 1/(1+a)=∫_0^∞ e^{-(1+a)t}dt (a>0) 를 이용해 q/(q+λ_i) 를 적분 형태로 변환하고, 이를 전체 고유값에 대해 합산함으로써 s(q)=∫0^∞ q e^{-qβ} Z(β) dβ (식 12) 를 도출한다. 여기서 Z(β)=Tr e^{-βL}=∑{i=1} e^{-βλ_i}는 열핵, 즉 라플라시안 열커널의 트레이스이다. 따라서 s(q)/q는 Z(β)의 라플라스 변환이며, 역라플라스 변환을 통해 Z(β)를 복원할 수 있다.

이 관계는 실용적인 의미를 가진다. Wilson 알고리즘은 qI+L의 역행렬을 이용해 루트와 에지의 존재 여부를 O(m log n) 시간에 샘플링한다. 따라서 s(q)와 노드별 루트 확률 π_v(q)=q