관측 궤적 간 최단 거리와 대칭 레니 다이버전스

초록

본 논문은 두 개의 서로 다른 측정 보존 변환 ((X,T,\mu))와 ((X,S,\eta))에 대해 리프시츠 관측 함수 (f)를 적용한 뒤, 관측된 궤적 사이의 최단 거리 (\widehat m_n^f(x,y)=\min_{0\le i<n} d\big(f(T^i x),f(S^i y)\big))의 점근적 감소율을 연구한다. 적절한 혼합 가정 하에 이 감소율은 푸시포워드 측도 (f_\mu)와 (f_\eta) 사이의 대칭 레니 다이버전스 (C_{f\mu,\eta})에 의해 지배됨을 보이며, 기존의 단일 시스템 결과를 일반화한다. 또한 무작위 동역학계로의 확장과 구체적인 예시를 제시한다.

상세 분석

논문은 먼저 두 측정 보존 시스템 ((X,T,\mu))와 ((X,S,\eta))를 정의하고, 관측 함수 (f:X\to Y\subset\mathbb R^n)를 통해 푸시포워드 측도 (f_\mu), (f_\eta)를 만든다. 핵심 대상은 관측된 궤적 사이의 최소 거리 (\widehat m_n^f(x,y))이며, 이는 전통적인 “최장 공통 부분 문자열” 문제를 동역학적 맥락으로 옮긴 형태이다.

주요 정리는 두 단계로 나뉜다. 첫 번째 정리(Theorem 2)는 상한을 제공한다. 여기서는 (\widehat m_n^f)가 (n^{-1/C_{f\mu,\eta}})보다 빠르게 감소하지 못한다는 것을, Borel‑Cantelli와 기대값 추정을 통해 증명한다. 이때 사용되는 핵심 도구는 관측된 거리 이하의 사건을 indicator 함수로 표현하고, 그 합의 기대값을 푸시포워드 측도의 구체적 형태와 연결시키는 것이다.

두 번째 정리(Theorem 3)는 하한을 얻기 위해 두 가지 추가 가정을 도입한다. (H1)은 두 시스템 모두에 대해 리프시츠 관측량에 대한 지수적(또는 약한 지수적) 상관 감소를 요구한다. 여기서 (\theta_n=a^{n^\alpha}) 형태의 감쇠율을 허용함으로써 기존 연구보다 약한 혼합 조건을 만족한다. (H2)는 푸시포워드 측도 (f_*\mu)가 반지름 (r)와 두께 (\rho)에 대해 (\mu(B(y,r+\rho)\setminus B(y,r-\rho))\le r^{-\xi}\rho^\beta) 형태의 정규성을 가진다는 가정이다. 이 정규성은 indicator 함수를 리프시츠 근사 함수 (\eta_{r_n})로 대체할 때 오차를 제어하는 데 필수적이다.

증명 과정에서는 (\widehat m_n^f)가 특정 임계값 (r_n=e^{-k_n}) 이하가 되는 사건을 (Q_n^f(x,y))라는 카운팅 변수로 표현한다. 상한 증명에서는 (\mathbb E