두 상태 히든 마코프 모델의 무한 비터비 정렬 존재성

본 논문은 두 개의 숨겨진 상태만을 갖는 히든 마코프 모델(HMM)에서 Viterbi 알고리즘이 산출하는 최대 사후 경로, 즉 Viterbi 정렬이 무한히 긴 시계열에 대해 어떻게 정의될 수 있는지를 체계적으로 연구한다. 서론에서는 HMM의 기본 구조와 Viterbi 정렬의 중요성을 소개하고, 기존 연구가 “강한 가정”(예: 방출밀도의 겹침이 없거나 로그비율의 제곱 적분 가능성 등)을 필요로 했음을 지적한다. 저자는 이러한 가정을 완전히 없애고, 두 상태 HMM에 대해 거의 모든 관측 시퀀스가 무한히 많은 강한 노드를 포함한다는 일반적인 결과를 제시한다. 1. **모델 설정 및 기본 가정** - 숨겨진 상태 집합 S={a,b}는 전이 확률 p_{lm}>0(l,m∈S)와 고유한 정상분포 π를 가진 비주기적 마코프 체인이다. - 각 상태 l에 대해 방출분포 P_l는 연속 혹은 이산 공간 X=ℝ^d 위에서 밀도 f_l를 갖는다. - 핵심 가정은 f_a≠f_b, 즉 두 밀도가 완전히 동일하지 않다는 것(식 (1))뿐이다. 2. **노드와 장벽 개념** - δ_u(l)는 시점 u까지 상태 l에서 끝나는 경로의 최대 가능도이며, Viterbi 재귀식(3)으로 정의된다. - 불등식(5)이 성립하면 시점 u의 관측값 x_u는 “강한 a‑노드”가 된다; 즉 Viterbi 경로는 반드시 그 시점에 상태 a를 선택한다. - “장벽”은 길이 k≥1인 관측 블록 z_{1:k}가 이전 관측과 무관하게 반드시 하나 이상의 강한 노드를 생성하는 구조이며, 강한 장벽이면 Viterbi 경로를 조각별로 독립적으로 연결할 수 있다. 3. **전이 확률에 따른 세 가지 경우** - **Case 1 (p_aa > p_ba ⇔ p_bb > p_ab)**: 상태 a가 유지되는 구간은 노드에 의해만 전이가 일어나며, 노드가 없으면 Viterbi 경로는 연속적으로 a에 머문다. - **Case 2 (p_aa < p_ba ⇔ p_bb < p_ab)**: 위와 대칭적으로, 상태가 교대로 바뀌는 구간은 노드에 의해만 방해받는다. - **Case 3 (p_aa = p_ba ⇔ p_bb = p_ab)**: 혼합 모델에 해당하며, 모든 관측값이 즉시 강한 노드가 된다(식 (4) 참조). 4. **조건 (8)·(9)와 Lemma 3.1** - (8) P_a{f_a·max(p_aa,p_ba) > f_b·max(p_bb,p_ab)} > 0, - (9) P_b{f_b·max(p_bb,p_ab) > f_a·max(p_aa,p_ba)} > 0. - Lemma 3.1은 두 상태 HMM에서는 반드시 (8) 혹은 (9) 중 하나가 성립함을 보인다. 이는 전이 확률의 상대 크기에 관계없이 적어도 하나의 강한 장벽이 존재함을 의미한다. 5. **강한 장벽의 무한 존재 증명** - 기존 연구에서는 추가적인 조건(7) “λ{x: p_{ia}f_a(x)p_{aj} > p_{ib}f_b(x)p_{bj} ∀i,j} > 0”을 필요로 했지만, 여기서는 Lemma 3.1과 전이 행렬의 세 경우 분석을 통해 조건(7)이 없어도 충분히 강한 장벽이 무한히 많이 발생함을 보인다. - Theorem 4.1은 “거의 모든 관측 시퀀스 x_{1:∞}는 무한히 많은 강한 노드를 포함한다”는 결론을 내며, 따라서 Viterbi 경로를 (v_1, v_2, …) 형태의 무한 조각별 정렬로 정의할 수 있음을 증명한다. 6. **결과의 의미와 응용** - 무한 Viterbi 정렬의 존재는 Viterbi 훈련(VT)이나 EM 알고리즘과 같은 파라미터 추정 방법에서 장기 수렴성을 논할 때 필수적인 전제 조건을 크게 완화한다. - 또한, 두 상태 HMM의 경우 Viterbi 경로가 관측에 의해 급격히 바뀌는 현상이 “노드”에 의해 제한되므로, 실용적인 구현에서도 안정적인 경로 추정이 가능함을 시사한다. - 마지막으로, 본 연구는 기존 복잡한 증명 구조를 단순화하고, 두 상태 HMM이라는 제한된 모델 안에서 일반적인 결과를 제공함으로써 향후 다중 상태 HMM에 대한 확장 연구의 기반을 마련한다.