간헐적 관측 칼만 필터의 확률적 수렴과 프랙탈 지원 구조

초록

본 논문은 관측이 베르누이 i.i.d. 과정으로 도착하는 상황에서 발생하는 무작위 대수리카티 방정식(RARE)을 연구한다. RARE를 순서보존·강한 부분선형 랜덤 동역학 시스템으로 모델링하고, ‘확률적 유계성’이라는 충분조건 하에 제한집합 이분법을 적용한다. 그 결과, 예측 오차 공분산 행렬 열이 고유한 불변분포로 약하게 수렴함을 보이며, 이 불변분포의 지원은 가산 집합의 폐포로서 프랙탈(자기유사) 구조를 가진다. 약한 펠러 성질을 이용해 지원을 명시적으로 기술하고, 샘플 경로의 거의 확실한 에르고딕성을 통해 모멘트를 손쉽게 계산한다. 1차 예시에서는 지원이 비음수 실수축의 파쇄된 자기유사 집합임을 시각화한다.

상세 분석

본 연구는 칼만 필터에서 관측이 일정한 확률 p 로만 도착하는 ‘간헐적 관측’ 상황을 수학적으로 정형화한다. 관측 도착 여부를 베르누리 변수 γₖ∈{0,1} 로 두고, γₖ가 i.i.d. 라는 가정 하에 예측 오차 공분산 Pₖ는 다음과 같은 무작위 대수리카티 방정식(RARE) Pₖ₊₁ = f_{γₖ}(Pₖ) 로 전개된다. 여기서 f₀은 관측이 없을 때의 Riccati 연산, f₁은 관측이 있을 때의 연산이며, 두 연산 모두 양의 준정부호 행렬 공간 S₊ⁿ 위에서 순서보존(order‑preserving)이고 강한 부분선형(strongly sublinear) 특성을 가진다. 이러한 구조를 이용해 RARE를 ‘랜덤 동역학 시스템(RDS)’으로 해석하고, RDS 이론의 핵심 결과인 ‘제한집합 이분법(limit‑set dichotomy)’을 적용한다. 이 이분법은 순서보존·강한 부분선형 RDS가 ‘확률적 유계성(stochastic boundedness)’을 만족하면, (i) 모든 궤도가 무한대로 발산하거나, (ii) 하나의 고유한 불변 확률 측도 μ에 약하게 수렴한다는 두 가지 경우만 남는다는 것을 보장한다. 논문은 첫 번째 경우가 발생하지 않음을 ‘확률적 유계성’이라는 충분조건을 통해 배제하고, 따라서 모든 초기값 P₀에 대해 Pₖ는 μ에 약하게 수렴함을 증명한다.

특히, μ는 ‘weak‑Feller’ 마코프 연산의 고정점이며, 이는 전이 연산이 연속함수에 대해 약하게 연속이라는 의미다. 이를 이용해 μ의 지원(supp μ)을 명시적으로 규정한다. 지원은 {f_{i₁}∘…∘f_{i_m}(P*) | m∈ℕ, i_j∈{0,1}}의 폐포이며, 여기서 P*는 관측이 항상 도착할 때의 고정점이다. 이 집합은 가산이지만 폐포를 취하면 프랙탈 구조를 띠어, 일반적인 양의 준정부호 행렬 전체에 조밀하지 않다. 따라서 μ는 ‘프랙탈 지원’을 가진다.

또한, μ가 거의 확실하게 에르고딕(ergodic)임을 보이므로, 시간 평균이 μ‑기대값과 일치한다. 이는 시뮬레이션이나 실제 시스템에서 장기 평균 성능 지표(예: 평균 추정 오차)를 μ의 모멘트로 직접 계산할 수 있음을 의미한다. 논문은 1차 시스템 예시를 통해 지원이 비음수 실수축 ℝ₊의 ‘자기유사적인 파쇄 집합(fractured self‑similar set)’임을 시각화하고, p가 평균 안정성(critical p)보다 작아도 약한 수렴이 유지된다는 점을 강조한다.

결과적으로, 이 연구는 관측 도착 확률이 낮아도 칼만 필터의 공분산이 안정적인 확률분포로 수렴한다는 강력한 보장을 제공하고, 그 분포의 구조가 복잡한 프랙탈 형태임을 밝혀, 네트워크ed 제어·감시 시스템에서 간헐적 데이터 전송의 성능 분석에 새로운 수학적 도구를 제시한다.