[논문 리뷰] Mean-field interaction of Brownian occupation measures, I: uniform tube property of the Coulomb functional

Wolfgang Köenig, Chiranjib Mukherjee|arXiv (Cornell University)|2015. 09. 22.

Stochastic processes and statistical mechanics참고 문헌 7인용 수 9

한 줄 요약

이 논문은 평균장 상호작용 하에서 브라운 운동 점유 측도의 쿠론트 기능의 균일한 튜브 성질을 확립하며, 이 기능이 도네스커-바라다한 변분 공식의 최대화자들 주위로 집중됨을 증명한다. 대규모 편차 이론과 지수적으로 작은 尾確率를 갖는 허더링 연속성 추정을 통해, 정규화된 점유 측도가 강한 위상에서 최대화자들의 혼합으로 수렴하는 것을 증명하기 위한 핵심 단계를 제공한다.

ABSTRACT

We study the transformed path measure arising from the self-interaction of a three-dimensional Brownian motion via an exponential tilt with the Coulomb energy of the occupation measures of the motion by time $t$. The logarithmic asymptotics of the partition function were identified in the 1980s by Donsker and Varadhan [DV83-P] in terms of a variational formula. Recently [MV14] a new technique for studying the path measure itself was introduced, which allows for proving that the normalized occupation measure asymptotically concentrates around the set of all maximizers of the formula. In the present paper, we show that likewise the Coulomb functional of the occupation measure concentrates around the set of corresponding Coulomb functionals of the maximizers in the uniform topology. This is a decisive step on the way to a rigorous proof of the convergence of the normalized occupation measures towards an explicit mixture of the maximizers, derived in [BKM15]. Our methods rely on deriving H{ö}lder-continuity of the Coulomb functional of the occupation measure with exponentially small deviation probabilities and invoking the large deviation theory developed in [MV14] to a certain shift-invariant functional of the occupation measures.

연구 동기 및 목표

• 쿠론트 에너지에 의해 유도되는 평균장 변환 경로 측도 하에서 정규화된 점유 측도 $ L_t $ 의 渐近적 행동을 엄밀히 분석하는 것.
• 도네스커-바라다한 변분 공식의 최대화자들의 기능 주위로 쿠론트 기능 $ \Lambda_t(x) $ 의 균일한 집중을 확립하는 것.
• 논문 [BKM15] 에서 제안한 바와 같이, $ L_t $ 가 강한 위상에서 최대화자들의 혼합으로 수렴하는 전면적 수렴을 증명하기 위한 기초 단계를 제공하는 것.
• 이차적 꼬리 추정을 활용하여 점유 측도의 이동 불변 기능을 위한 대규모 편차 프레임워크를 개발하는 것.

제안 방법

• 쿠론트 기능 $ \Lambda_t(x) $ 의 브라운 운동 점유 측도에 대한 허더링 연속성을 유도하며, 지수적으로 작은 이탈 확률을 갖는다.
• MV14 에서 제시된 대규모 편차 이론을 점유 측도의 이동 불변 기능에 적용하여 경로의 변동을 제어한다.
• 카스미스크리의 보조정리를 사용하여 $ \int_0^t |W_s|^{-1} ds $ 의 지수적 모멘트를 유계화함으로써 라플라스 변환의 적분 가능성을 확보한다.
• 오비트 공간 $ \widetilde{\mathcal{M}}_1(\mathbb{R}^3) $ 에서 컴팩트성과 약한 닫힘 성질을 조합하여 최대화자 주위의 균일한 튜브를 구성한다.
• 격자점 $ \delta\mathbb{Z}^3 $ 을 활용한 커버링 추론을 통해 $ \mathbb{R}^3 $ 전역에서 Suprema 를 제어하며, 스케일링과 마르코프 성질을 활용한다.
• 최대화자 주위의 $ \eta $-튜브 집합 $ F_\eta $ 는 약하게 닫혀 있고 이동 불변이며, 이에 따라 대규모 편차 상한을 적용할 수 있다.

실험 결과

연구 질문

• RQ1 브라운 운동 점유 측도의 쿠론트 기능 $ \Lambda_t(x) $ 는 도네스커-바라다한 변분 공식의 최대화자들의 기능 주위로 균일하게 집중되는가?
• RQ2 대규모 편차 기법과 지수적으로 감소하는 꼬리 확률을 갖는 허더링 연속성 추정을 통해 쿠론트 기능의 균일한 튜브 성질을 확립할 수 있는가?
• RQ3 특히 강한 위상에서, 평균장 변환 측도 $ \widehat{\mathbb{P}}_t $ 하에서 정규화된 점유 측도 $ L_t $ 의 점차적 행동은 어떠한가?
• RQ4 기능의 이동 불변성과 오비트 공간의 구조는 $ \widetilde{L}_t $ 의 대규모 편차 분석에 어떻게 영향을 미치는가?
• RQ5 쿠론트 기능 $ \Lambda_t(0) $ 에 대한 지수적 꼬리 추정을 $ \mathbb{R}^3 $ 전역으로 균일하게 확장할 수 있는가, 이를 통해 균일한 집중을 보장할 수 있는가?

주요 결과

• 쿠론트 기능 $ \Lambda_t(x) $ 는 도네스커-바라다한 변분 공식의 최대화자들의 기능 주위로 슈프-노름 위상에서 균일하게 집중된다.
• 최대화자 주위의 $ \eta $-튜브 집합 $ F_\eta $ 는 약하게 닫혀 있고 이동 불변이며, 오비트 공간에 대한 그 상사 $ \widetilde{F}_\eta $ 는 $ \mathbf{D} $-위상에서 컴팩트하다.
• 대규모 편차 상한에 의거해 $ \widetilde{L}_t \in \widetilde{F}_\eta $ 에 대해 엄격히 음수인 비율을 얻으며, 이는 $ \widehat{\mathbb{P}}_t(\widetilde{L}_t \in \widetilde{F}_\eta) \to 0 $ 이 지수적으로 빠르게 수렴함을 의미한다.
• 카스미스크리의 보조정리와 반복 조건부 기대를 활용하여 $ \Lambda_t(0) $ 에 대한 지수적 꼬리 추정을 도출하였으며, $ \mathbb{P}(\Lambda_t(0) > b/2) \leq \exp(-t \kappa \widetilde{C}) $ 를 얻었다. 여기서 $ \widetilde{C} > 0 $ 이다.
• 허더링 연속성, 격자 커버링, 지수적 모멘트 유계화를 조합하여 $ \mathbb{R}^3 $ 전역에서 균일한 제어를 확보함으로써 균일한 튜브 성질을 확립하였다.
• 결과적으로 이는 [BKM15] 에서 제안한 바로, $ L_t $ 가 법칙에 따라 최대화자들의 혼합으로 수렴한다는 것을 증명하기 위한 핵심 단계를 확인한다.