다중형 임계 갈톤 워슨 트리의 대편차 원리와 경험적 측정

초록

본 논문은 정확히 n개의 정점을 갖는 임계 다중형 갈톤-워슨 트리를 대상으로, 경험적 쌍측정(empirical pair measure)과 경험적 자손측정(empirical offspring measure)의 공동 대편차 원리를 약한 위상에서 증명한다. 두 측정의 속도함수는 상대 엔트로피 형태이며, 특히 자손분포가 파라미터 1/2인 기하분포인 경우 명시적 속도함수를 얻는다. 기존 연구(DMS03)의 강한 위상 가정과 달리, 두 번째 모멘트만 유한하면 충분함을 보인다.

상세 분석

이 연구는 크게 네 가지 기술적 기여를 담고 있다. 첫째, 저자는 약한 위상(weak topology) 하에서 경험적 쌍측정 ˜L_Y와 경험적 자손측정 M_Y의 공동 대편차 원리(LDP)를 확립한다. 기존 DMS03에서는 모든 지수 모멘트가 유한해야 하는 강한 위상에서만 연속성을 확보했으나, 여기서는 ‘sub‑consistency’라는 새로운 개념을 도입해 약한 위상에서도 속도함수 J(ω,π) = H(π‖π₁⊗K)가 연속이고 유한하게 정의되도록 한다. 이는 트리의 자손분포가 무한히 큰 지원을 가질 경우에도 두 번째 모멘트만 존재하면 충분함을 의미한다.

둘째, 저자는 ‘sub‑consistency’와 ‘consistency’를 구분한다. (ω,π) 쌍이 경험적 측정에서 실제로 관찰될 수 있는 경우는 equality가 성립하는 consistency이며, 약한 위상에서는 inequality만 만족해도 속도함수에 포함시킨다. 이를 통해 대편차 하한 증명에서 트리의 고차 자손을 제한하는 truncation 기법을 사용한다. 구체적으로, 자손분포 K를 유한 집합 X_k*에 제한한 K_k를 정의하고, k→∞ 한계에서 원래 K로 복원한다.

셋째, 약한 위상에서의 ‘weak shift‑invariance’를 정의하고, 이를 이용해 경험적 자손측정 M_Y만을 대상으로 한 LDP를 도출한다. 속도함수 Φ(π)=H(π‖π₁⊗K)이며, π가 weak shift‑invariant일 때만 유한하다. 이는 DMS03의 결과와 형태는 동일하지만, 적용 가능한 자손분포 클래스가 크게 확대된 점이 핵심이다.

넷째, 위의 결과들을 contraction principle에 적용해, 트리 위에 정의된 마코프 체인의 경험적 쌍측정 L_Y에 대한 LDP를 얻는다. 특히, 자손분포가 기하분포(p=1/2)인 경우, K가 단순히 Bernoulli(1/2) 형태가 되므로 상대 엔트로피 계산이 명시적으로 가능해져 정확한 속도함수를 제시한다. 이는 DMS03의 Theorem 2.1이 다루지 못했던 경우를 포괄한다.

전체적으로, 논문은 ‘consistency’, ‘sub‑consistency’, ‘weak shift‑invariance’라는 새로운 개념을 도입해 기존 대편차 이론의 제한을 완화하고, 보다 일반적인 다중형 갈톤‑워슨 트리와 그 위에 정의된 마코프 체인에 적용 가능한 프레임워크를 제공한다. 특히, 두 번째 모멘트만 가정함으로써 지수적 순간이 무한한 경우(예: 기하분포)에도 결과를 적용할 수 있다는 점이 실용적이다. 증명은 기존 DMS03의 전략을 차용하되, 하한 부분에서 truncation‑approximation과 contraction 원리를 결합해 새로운 상한을 얻는다. 이러한 접근은 향후 무한 지원을 갖는 다른 복합 구조(예: 무한 색상 트리, 랜덤 그래프)에도 확장 가능성을 시사한다.