적응형 부레 워터스테인 공간의 기하학적 구조와 응용

초록

본 논문은 적응형 워터스테인 거리로 장착된 가우시안 과정들의 공간, 즉 적응형 부레-워터스테인 공간을 정의하고, 이 공간이 비음수 곡률을 갖는 알렉산드로프 공간임을 증명한다. 또한 정규(regular) 가우시안 과정들의 부분공간이 기하학적으로 볼록하며, 그 접공간은 선형 구조를 갖는다는 중요한 결과를 제시한다. 구체적으로 접원뿔, 지수 지도, 로그 지도에 대한 명시적 표현을 제공하고, 비정규 경우에도 접원뿔을 통한 일반화된 기하학을 구축한다.

상세 분석

이 논문은 기존의 2‑워터스테인 거리(W₂)가 동적 확률 과정에 적용될 때 정보 흐름을 반영하지 못한다는 한계를 지적하고, 이를 보완하기 위해 적응형 워터스테인 거리(AW₂)를 도입한다. AW₂는 각 시점의 필터링 정보(즉, 자연스러운 사전 정보)를 유지하면서 최적 수송을 정의한다는 점에서 기존 거리와 근본적으로 다르다. 저자들은 특히 가우시안 과정에 초점을 맞추어, 공분산 행렬을 블록 하부 삼각 행렬 L로 파라미터화하고, 두 과정 X=LG, Y=MG 사이의 거리 d_ABW(L,M) 를 AW₂ 거리와 동등하게 정의한다. 이때 d_ABW는 행렬 최적화 문제
d_ABW²(L,M)=min_{O∈𝒪}‖L−MO‖_F²
의 해로 표현되며, 𝒪는 각 시간 단계별 d×d 직교 블록 대각 행렬들의 집합이다. 최적화 해 O*는 적응형 전송의 핵심이며, 이후 기하학적 구조를 기술하는 데 사용된다.

주요 정리 1.4는 (L/𝒪, d_ABW)가 비음수 알렉산드로프 공간임을 증명한다. 이는 로컬 완비성, 완전한 지오데식성, 그리고 삼각형 비교 원리가 만족된다는 의미이며, 곡률이 아래로 제한되지 않으므로 리만 기하학적 도구들을 적용할 수 있다.

정규 부분공간 L_reg는 각 블록 (LᵀL)_{t,t} 가 양정치인 행렬들로 정의된다. 이 집합은 필터링 관점에서 “정보가 충분히 전달되는” 과정들을 포함한다. 정리 1.7은 L_reg/𝒪가 기하학적으로 볼록한 서브스페이스이며, 각 점