[논문 리뷰] Exponential Contractivity in the $L^p$-Wasserstein Distance for Diffusion Processes

Dejun Luo, Jian Wang|arXiv (Cornell University)|2014. 07. 08.

Geometric Analysis and Curvature Flows인용 수 1

한 줄 요약

이 논문은 반사에 의한 커플링과 무한원에서 볼록인 보조 함수를 사용하여 확산 세미군의 $L^p$-와서르스타인 거리에서 지수적 수축을 확립한다. 모든 $p \in [1,\infty)$에 대해 $W_p(\delta_x P_t, \delta_y P_t) \leq C e^{-\lambda t/p} \cdot \max(|x-y|^{1/p}, |x-y|)$ 를 증명하며, 이는 이전 결과가 $p=1$로 국한되었던 것을 향상시킨다.

ABSTRACT

By adopting the coupling by reflection and choosing an auxiliary function which is convex near infinity, we establish the exponential convergence of diffusion semigroups $(P_t)_{t\ge0}$ with respect to the standard $L^p$-Wasserstein distance for all $p\in[1,\infty)$. In particular, we show that for the Ito stochastic differential equation $$\d X_t=\d B_t+b(X_t)\,\d t,$$ if the drift term $b$ satisfies that for any $x,y\in\R^d$, $$\langle b(x)-b(y),x-y angle\le \begin{cases} K_1|x-y|^2,& |x-y|\le L; -K_2|x-y|^2,& |x-y|> L \end{cases}$$ holds with some positive constants $K_1$, $K_2$ and $L>0$, then there is a constant $\lambda:=\lambda(K_1,K_2,L)>0$ such that for all $p\in[1,\infty)$, $t>0$ and $x,y\in\R^d$, $$W_p(\delta_x P_t,\delta_y P_t)\leq Ce^{-\lambda t/p} \begin{cases} |x-y|^{1/p}, & \mbox{if } |x-y|\le 1; |x-y|, & \mbox{if } |x-y|> 1. \end{cases}$$ where $C:=C(K_1,K_2,L,p)$ is a positive constant. This improves the main result in \cite{Eberle} where the exponential convergence is only proved for the $L^1$-Wasserstein distance.

연구 동기 및 목표

• 모든 $p \in [1,\infty)$에 대해 확산 과정의 $L^p$-와서르스타인 거리에서의 지수적 수렴을 확립함으로써 $L^1$-와서르스타인 경우를 초월한다.
• 기존 문헌에서 지수적 수축이 $p=1$에 대해서만 증명된 점을 메우기 위해, 모든 유한한 $p$에 대해 유효한 프레임워크를 개발한다.
• 조각별 선형 드리프트 행동을 보이는 드리프트 조건—$L^1$-유사 및 $L^\infty$-유사 영역에서 유한성—이 수렴 속도에 미치는 영향을 분석한다.
• 드리프트 매개변수 $K_1$, $K_2$, $L$ 및 $p$에 대한 수축률 $\lambda$와 상수 $C$의 명시적 의존성을 유도한다.
• 비균일한 드리프트 행동을 다루기 위해 반사에 의한 커플링과 볼록 보조 함수를 조합한 통합된 프레임워크를 제공한다.

제안 방법

• 다른 초기 조건에서 시작하는 두 확산 과정을 커플링하기 위해 반사에 의한 커플링 기법을 활용한다.
• 커플링 거리의 성장을 통제하고 유한 시간 내 커플링을 보장하기 위해 무한원에서 볼록인 보조 함수를 도입한다.
• 작은 거리($|x-y| \leq L$)에서는 선형적으로 소산되는 드리프트 조건과 큰 거리($|x-y| > L$)에서는 강하게 소산되는 드리프트 조건을 사용하며, 상수 $K_1, K_2 > 0$를 포함한다.
• 이토의 공식과 커플링된 과정의 생성자에 기반해 커플링 거리의 $p$차 모멘트에 대한 미분부등식을 유도한다.
• 비교 원리 적용을 통해 커플링 거리의 기대 $p$차량을 통해 $L^p$-와서르스타인 거리를 경계한다.
• 드리프트와 보조 함수의 철저한 분석을 통해 수축률 $\lambda = \lambda(K_1, K_2, L)$과 상수 $C = C(K_1, K_2, L, p)$를 확립한다.

실험 결과

연구 질문

• RQ1 조각별 소산 드리프트를 갖는 확산 과정에 대해, 모든 $p \in [1,\infty)$에 대해 $L^p$-와서르스타인 거리에서의 지수적 수축을 확립할 수 있는가?
• RQ2 반사에 의한 커플링 기법과 볼록 보조 함수를 조합할 경우, $p > 1$에 대해 기존 방법보다 향상된 수렴 속도를 얻을 수 있는가?
• RQ3 수축률 $\lambda$와 상수 $C$가 드리프트 매개변수 $K_1$, $K_2$, $L$, 그리고 지수 $p$에 대해 정확히 어떻게 의존하는가?
• RQ4 조각별 소산 드리프트 조건은 $L^p$-와서르스타인 위상에서 확산 세미군의 장기적 행동에 어떻게 영향을 미치는가?
• RQ5 에버레의 $L^1$-와서르스타인 결과는 동일한 커플링 프레임워크를 사용해 모든 $L^p$-와서르스타인 거리로 일반화될 수 있는가?

주요 결과

• 조각별 소산 드리프트 조건 하에 모든 $p \in [1,\infty)$에 대해 $L^p$-와서르스타인 거리에서 지수적 수축이 성립하며, $p=1$에 국한되지 않는다.
• 수축률은 $\lambda = \lambda(K_1, K_2, L) > 0$이며, 소산성 상수 $K_1$, $K_2$와 임계값 $L$에 의존한다.
• 경과 시간에 따라 $e^{-\lambda t/p}$로 감소하는 $t$-의존성의 감쇠를 보이며, 이는 $p$가 증가할수록 수렴 속도가 느려짐을 시사한다.
• 작은 초기 거리($|x-y| \leq 1$)에서는 $|x-y|^{1/p}$ 비례로 감소하며, 이는 $L^p$-노름의 행동을 반영한다.
• 큰 초기 거리($|x-y| > 1$)에서는 선형적으로 $|x-y|$ 비례로 감소하며, 이는 $L^1$-유사 행동과 일치한다.
• 상수 $C = C(K_1, K_2, L, p)$는 유한하며 $p$, $K_1$, $K_2$, $L$에 대해 명시적으로 의존하므로 초기 조건에 관계없이 균일성을 확보한다.