동적 트리 알고리즘의 안정성 및 한계 분석

초록

본 논문은 임의 도착 흐름을 처리하는 동적 트리 알고리즘을 수학적으로 모델링하고, 도착률이 임계값 λ_c 이하일 때 트리 크기의 기대값이 유한함을 증명한다. 특히 포아송 도착에 대해 λ_c를 명시적으로 구하고, 기존 안정성 증명에서 발견된 구멍을 보완한다. 증명은 정리된 확률적 재작성, 재생 정리, 그리고 이동 평균을 포함한 자기회귀 과정의 수렴을 활용한다.

상세 분석

논문은 먼저 동적 트리 알고리즘을 ‘정지된 분기 과정에 외생적 도착(immigration)이 추가된 모델’로 정의한다. 여기서 각 노드는 독립적인 분기 규칙에 따라 자식을 생성하고, 동시에 외부에서 무작위 수의 새로운 요청이 트리에 삽입된다. 이러한 구조는 통신 네트워크의 Capetanakis‑Tsybakov‑Mikhailov 프로토콜이나, 동적 입력을 받는 트라이(trie)와 동일시될 수 있다. 핵심은 도착률 λ이 일정 임계값 λ_c보다 작을 때 전체 트리 크기의 1차 모멘트, 즉 기대값이 유한함을 보이는 ‘안정성’이다. 이를 위해 저자들은 먼저 일반적인 도착 분포와 분기 분포에 대해 최소한의 순간조건(예: 첫 번째와 두 번째 모멘트 존재)을 가정한다. 그런 다음 트리 크기 X_n을 시간 n에서의 총 노드 수로 두고, X_n의 동역학을 확률적 재작성 형태의 재귀식으로 표현한다. 이 재귀식은 X_{n+1}=∑{i=1}^{X_n} ξ_i + η{n+1} 형태이며, ξ_i는 개별 노드의 자식 수, η_{n+1}는 n+1 시점의 외부 도착 수이다. 이 식은 전통적인 마코프 체인보다 복잡한 ‘자기회귀 이동 평균(ARMA)’ 구조를 띠며, 안정성 분석에 재생 이론을 적용한다. 재생 정리를 이용해 X_n의 기대값이 일정한 재생 구간을 통해 감소한다는 것을 보이고, λ가 충분히 작을 경우 수렴 속도가 기하급수적임을 증명한다. 특히 포아송 도착 가정 하에서는 η_{n}이 포아송(λ) 분포를 따르므로 라플라스 변환을 이용해 λ_c를 λ_c=1/E