분수 브라운 운동의 국소 독립성: 작은 구간에서의 상호 정보 소멸

본 논문은 분수 브라운 운동(Fractional Brownian Motion, 이하 FBM)의 “국소 독립성(local independence)”이라는 새로운 성질을 체계적으로 연구한다. FBM은 Hurst 지수 H∈(0,1)로 매개되는 가우시안 과정으로, H=½일 때는 표준 브라운 운동이 된다. H≠½인 경우, 증분 사이에 장기 의존성(long‑range dependence)이 존재해 통계적 분석에 어려움을 초래한다. 저자들은 이러한 전역적 의존성과는 별개로, 서로 충분히 떨어진 두 점 t₁, t₂ 주변의 아주 작은 구간 (t₁−ε, t₁+ε)와 (t₂−ε, t₂+ε)에서 생성되는 σ‑대수들이 ε→0일 때 독립에 수렴한다는 사실을 증명한다. 1. **문제 설정 및 주요 정의** - σ(t,t′)=σ{X_s−X_{s′}: s,s′∈(t,t′)} 로 정의하고, 두 구간의 σ‑대수 S₁(ε)=σ(t₁−ε,t₁+ε), S₂(ε)=σ(t₂−ε,t₂+ε) 를 고려한다. - 독립성은 두 σ‑대수 사이의 Shannon‑mutual‑information I(S₁(ε):S₂(ε)) 가 0으로 수렴함으로 정의한다. 2. **수학적 도구** - **분수 Sobolev 공간 W^{s,2}(ℝ)** (s=H−½) 를 도입하여 증분 과정을 이 공간의 원소로 표현한다. 이때 Fourier 변환을 사용해 ‖f‖_{W^{s,2}}²=∫|̂f(ξ)|²(1+|ξ|²)^{s}dξ 로 정의한다. - **동차 Sobolev 공간 fW^{s,2}** 를 통해 원점에서의 스케일 변환 특성을 명시한다. Lemma 1에서는 부호 함수 χ_{(−∞,0)}·f 가 W^{s,2}에서 유계 연산자임을 보이고, 구간 제한 연산자와의 동등 노름을 증명한다. - **Gelfand‑Yaglom 이론**을 활용해 가우시안 서브스페이스 A, B 사이의 상호 정보를 I(A:B)=−log sin ∠(A,B) 로 표현한다. 여기서 ∠(A,B)는 두 폐쇄 서브스페이스 사이의 “각도”이며, 연산자 T=P_A P_B P_A 의 스펙트럼을 통해 계산된다. 3. **주요 정리와 증명** - **Theorem 2 (국소 독립성)**: ε→0일 때 \