Viterbi 프로세스 존재에 대한 구성적 증명

초록

본 논문은 은닉 마코프 모델(HMM)에서 무한히 긴 Viterbi 정렬(정렬 경로)이 존재함을 기존의 존재론적 증명과 달리 구체적인 구성 방식을 통해 증명한다. “장벽(barrier)”과 “노드(node)” 개념을 도입해 관측열에 일정한 패턴이 나타날 경우 Viterbi 정렬이 조각별로 고정될 수 있음을 보이고, 이러한 장벽이 양의 확률로 발생함을 보임으로써 거의 모든 관측 실현에 대해 무한 Viterbi 정렬이 정의 가능함을 보인다. 또한 제시된 정렬 과정은 재생산 가능하고 ergodic함을 증명한다.

상세 분석

이 논문은 은닉 마코프 모델(HMM)에서 관측 시퀀스 (X_{1:\infty})에 대해 Viterbi 알고리즘이 산출하는 MAP 경로를 무한히 연장할 수 있는 “Viterbi 프로세스”의 존재를 구성적으로 증명한다. 기존 연구들은 K=2인 경우나 전이 행렬이 전부 양수인 경우에 한정된 가정 하에 ‘meeting time’·‘meeting state’라는 개념을 이용해 존재를 보였으나, 일반적인 K≥2 상황에서는 전이 행렬에 영(0) 원소가 존재할 수 있어 이러한 접근이 제한적이었다. 저자는 이를 극복하기 위해 두 가지 핵심 개념을 도입한다. 첫째, “노드(node)”는 특정 시점 (u)와 정수 (r)에 대해, 그 시점의 관측값이 어떤 상태 (l)에 대해 최적 경로의 부분점수(δ)와 앞으로 (r) 단계까지의 전이·발생 확률을 고려했을 때, 모든 다른 상태 대비 우위를 유지하는 경우를 의미한다. 강한 노드(strong node)는 이 부등식이 엄격히 성립하는 경우이며, 강한 노드가 존재하면 해당 시점의 상태가 이후 관측값에 관계없이 고정된다. 둘째, “장벽(barrier)”은 연속된 관측값 블록 (z_{1:b})이 존재하여, 그 블록이 삽입된 어떤 확장된 시퀀스에서도 특정 시점 (u)의 노드가 유지되도록 하는 구조이다. 논문은 일정 길이 (M)의 관측 블록이 장벽이 될 확률이 양수임을 보이고, 마코프 체인의 ergodicity와 결합해 거의 모든 무한 관측 실현이 무한히 많은 장벽을 포함한다는 결론을 도출한다.

이러한 장벽과 노드가 존재하면 Viterbi 정렬은 “조각(piecewise)” 방식으로 구성될 수 있다. 구체적으로, 장벽에 포함된 노드들의 시점 ({u_k})를 기준으로 각 구간 (