[논문 리뷰] Exponential Contraction in Wasserstein Distances for Diffusion Semigroups with Negative Curvature

Feng‐Yu Wang|arXiv (Cornell University)|2016. 03. 18.

Geometric Analysis and Curvature Flows참고 문헌 20인용 수 13

한 줄 요약

이 논문은 리만 다양체 위의 확산 세미군집과 음의 곡률을 가진 확률미분방정식에서 워셔스타인 거리에서의 지수적 수축을 확립한다. $ W_p(\mu_1P_t, \mu_2P_t) \leq c e^{-\lambda t} W_p(\mu_1, \mu_2) $ 를 만족하며, $ c > 1 $, $ \lambda > 0 $, 모든 $ p \geq 1 $ 이고, 백리-에메르 곡률이 음수 상수보다 위로 유계일 경우에도 성립한다. 이 결과는 기존의 양의 곡률에 한정된 수축 추정을 초월하며, 다중성 소음이 있는 SDE의 계수에 대해 명시적인 조건을 제공한다.

ABSTRACT

Let $P_t$ be the (Neumann) diffusion semigroup $P_t$ generated by a weighted Laplacian on a complete connected Riemannian manifold $M$ without boundary or with a convex boundary. It is well known that the Bakry-Emery curvature is bounded below by a positive constant $\ll>0$ if and only if $$W_p(μ_1P_t, μ_2P_t)\le \e^{-\ll t} W_p (μ_1,μ_2),\ \ t\ge 0, p\ge 1 $$ holds for all probability measures $μ_1$ and $μ_2$ on $M$, where $W_p$ is the $L^p$ Wasserstein distance induced by the Riemannian distance. In this paper, we prove the exponential contraction $$W_p(μ_1P_t, μ_2P_t)\le c\e^{-\ll t} W_p (μ_1,μ_2),\ \ p\ge 1, t\ge 0$$ for some constants $c,\ll>0$ for a class of diffusion semigroups with negative curvature where the constant $c$ is essentially larger than $1$. Similar results are derived for SDEs with multiplicative noise by using explicit conditions on the coefficients, which are new even for SDEs with additive noise.

연구 동기 및 목표

• 표준 지수 감쇠율이 상수 $ c = 1 $ 로서 더 이상 성립하지 않는 음의 곡률을 가진 확산 세미군집에 대해 워셔스타인 거리에서의 지수적 수축 추정을 확장하는 것.
• 백리-에메르 곡률이 음수 상수 $ K $ 보다 위로 유계일 경우에도 지수적 수축이 상수 $ c > 1 $ 로서 여전히 성립함을 확립하는 것.
• 모든 $ p \geq 1 $ 에 대해 $ W_p $ 에서의 지수적 수축을 보장하는 다중성 소음이 있는 SDE의 비율과 분산 계수에 대해 명시적인 조건을 유도하는 것.
• 평탄한 경우 $ \mathbb{R}^d $ 에서의 결과를 일반적인 리만 다양체로 확장하며, 비유계 기하학을 허용하는 것.
• 스펙트럼 갭 추정이 실패하는 음의 곡률 영역에서, 로그-소볼레프 부등식과 워셔스타인 수축 사이의 갭을 메우는 것.

제안 방법

• 음의 곡률을 가진 확산 과정의 법칙 간 워셔스타인 거리를 제어하기 위해 커플링 방법과 기울기 추정을 사용한다.
• 리만 다양체 위에서 보어너-베이츠 공식을 통해 기울기 추정을 유도하기 위해 $ \text{Ric}_Z \geq K $ 를 적용하며, $ K < 0 $ 이다.
• 확산 계수 $ a $ 가 유도하는 리만 계량을 활용하여 $ P_t $ 의 시간 진화를 제어하기 위해 로그-하르마크 및 초수축성 추정을 사용한다.
• 생성자를 가중치가 있는 라플라스-베르트랑 형식과 비율로 변환하기 위해 수정된 리만 계량 $ g_{ij} = (a^{-1})_{ij} $ 을 구성한다.
• 워셔스타인 거리 수축과 곡률 유계 간의 등가성을 사용하며, $ K > 0 $ 에서의 기존 결과를 $ K < 0 $ 로 확장하고 $ c > 1 $ 을 고려한다.
• 불변 측도의 모멘트 조건 하에 초수축성 및 로그-소볼레프 부등식에 관한 [23] 및 [35] 의 결과를 적용한다.

실험 결과

연구 질문

• RQ1 백리-에메르 곡률이 음수 상수보다 위로 유계일 경우, 확산 세미군집에 대해 $ W_p $-거리에서의 지수적 수축을 확립할 수 있는가?
• RQ2 다중성 소음이 있는 SDE의 계수에 대해 어떤 명시적 조건이 모든 $ p \geq 1 $ 에 대해 $ W_p $-지수적 수축을 보장하는가?
• RQ3 곡률이 음수일 경우 수축 bound $ W_p(\mu_1P_t, \mu_2P_t) \leq c e^{-\lambda t} W_p(\mu_1, \mu_2) $ 에서 상수 $ c $ 는 어떻게 행동하는가?
• RQ4 곡률이 음수일 경우 지수적 속도 $ \lambda $ 는 $ p $ 에 따라 독립적인가?
• RQ5 곡률 유계와 $ W_p $-수축 간의 등가성은 음의 곡률 영역으로 확장될 수 있는가?

주요 결과

• 음의 곡률을 가진 확산 세미군집에 대해 $ W_p $-거리에서의 지수적 수축이 성립한다: $ W_p(\mu_1P_t, \mu_2P_t) \leq c e^{-\lambda t} W_p(\mu_1, \mu_2) $, 여기서 $ c > 1 $, $ \lambda > 0 $, 모든 $ p \geq 1 $ 이다.
• 지수적 속도 $ \lambda $ 는 $ p $ 와 독립적이며, 이는 다양한 모멘트에서의 균일 수렴 추정에 핵심적이다.
• 다중성 소음이 있는 SDE에 대해, 비율 $ b $ 와 분산 $ a $ 에 대해 명시적인 조건이 수축을 보장하며, 덧셈 소음의 경우에 알려진 결과를 일반화한다.
• 곡률이 음수일 경우 상수 $ c $ 는 본질적으로 1보다 크며, 이는 양의 곡률 경우에 비해 수렴 속도가 느리다는 것을 반영한다.
• 불변 측도 $ \mu $ 는 $ \mu(e^{c_2|\cdot|^2}) < \infty $ 를 만족하며, 이는 어떤 $ c_2 > K/(2\alpha) $ 에 대해 모멘트 추정의 적분 가능성을 보장한다.
• 초수축성과 로그-하르마크 부등식을 사용하여 기울기 추정을 도출하며, 이는 제3.1조의 결과를 통해 $ W_p $-수축을 유도한다.