[논문 리뷰] A diffusion approach to Stein's method on Riemannian manifolds

Huiling Le, Alexander Lewis외 2명|arXiv (Cornell University)|2020. 03. 25.

Geometric Analysis and Curvature Flows참고 문헌 36인용 수 8

한 줄 요약

이 논문은 동일한 생성자를 가진 쌍의 확산 과정을 분석하여 리만 다양체 위에서 적분 거리 측도의 상한을 구하기 위해 확산 기반 스틸 방법을 개발한다. 고유한 곡률 의존성 스틸 인자들을 도출하여 기존 R^m 상의 고전적 상한을 일반화하고, 비음성 리치 곡률 조건 하에서 거리 과정의 지수적 수축을 보장함으로써 곡률이 있는 공간에서 분포 근사에 대해 명시적인 오차 제어를 가능하게 한다.

ABSTRACT

We detail an approach to develop Stein's method for bounding integral metrics on probability measures defined on a Riemannian manifold $\mathbf M$. Our approach exploits the relationship between the generator of a diffusion on $\mathbf M$ with target invariant measure and its characterising Stein operator. We consider a pair of such diffusions with different starting points, and through analysis of the distance process between the pair, derive Stein factors, which bound the solution to the Stein equation and its derivatives. The Stein factors contain curvature-dependent terms and reduce to those currently available for $\mathbb R^m$, and moreover imply that the bounds for $\mathbb R^m$ remain valid when $\mathbf M$ is a flat manifold

연구 동기 및 목표

• 유럽 공간을 초월하여 일반적인 리만 다양체로 분포 근사에 대한 스틸 방법을 확장하는 것.
• 목표 불변 측도를 가진 확산 과정의 생성자를 사용하여 다양체 위에서 스틸 연산자를 정의하는 프레임워크를 개발하는 것.
• 곡률 정보를 통합한 스틸 방정정식의 해와 그 도함수에 대한 상한인 명시적 스틸 인자들을 도출하는 것.
• 두 확산 과정 간의 거리 과정이 지수적으로 수축하는 조건을 확립하여 적분 거리 상한을 엄밀히 보장하는 것.
• 다양체가 평평할 경우 고전적 R^m 상한이 특수 케이스로 복원됨을 확인하여 일반화의 타당성을 검증하는 것.

제안 방법

• 동일한 생성자와 불변 측도를 가진 두 확산 과정을 리만 다양체 위에 구성하고, 서로 다른 점에서 시작한다.
• 두 확산 과정 간의 거리 과정 ρ(X_t,x, Y_t,y)를 분석하며, 컷 로쿠스와 쌍대점들을 고려한다.
• 이토의 공식과 평행 이동을 사용하여 거리 및 그 도함수에 대한 SDE를 유도하며, 리치 곡률과 헤시안 항을 포함한다.
• 비교 정리와 그론월라 타입 부등식을 적용하여 두 확산 과정 간의 기대 제곱 거리 또는 절대 거리의 상한을 구한다.
• 스틸 방정정식의 해와 그 도함수의 성장률을 거리 과정을 통해 통제함으로써 곡률 의존성 스틸 인자들을 도출한다.
• 특히 리치 곡률의 하한과 첫 번째 쌍대점의 부재라는 다양체의 기하학적 특성을 이용하여 거리 과정의 지수적 수축을 보장한다.

실험 결과

연구 질문

• RQ1 스틸 방법은 확산 과정을 통해 R^m에서 리만 다양체로 일반화될 수 있는가?
• RQ2 다양체 기하학의 곡률 항목이 스틸 방정정식 해에 대한 상한에 어떻게 영향을 미치는가?
• RQ3 어떤 기하학적 조건 하에서 쌍의 확산 과정 간의 거리 과정이 지수적으로 수축하는가?
• RQ4 다양체가 평평할 경우 고전적 R^m 스틸 인자들이 특수 케이스로 복원되는가?
• RQ5 컷 로쿠스와 쌍대점은 쌍의 확산 과정 수렴 거동에 어떤 역할을 하는가?

주요 결과

• 리치 곡률에 하한이 존재하고 컷 로쿠스에 첫 번째 쌍대점이 없을 경우, 두 확산 과정 간의 거리 과정이 지수적으로 경로별 수축됨을 증명한다.
• 첫 번째 쌍대점이 존재할 경우, 평균 수축이 달성되어 스틸 방정정식의 해가 유계임을 보장한다.
• 유도된 스틸 인자들은 리치 곡률과 잠재 함수 φ의 헤시안에 명시적으로 의존하며, R^m 경우를 일반화한다.
• 평평한 다양체의 경우 곡률 의존성 상한은 고전적 R^m 스틸 인자로 축소되어 일반화의 일관성을 확인한다.
• 목표 측도 μ_φ와 근사 측도 ν 사이의 워샤프스키 거리에 대한 명시적 상한을 초깃값 거리와 곡률 매개변수의 형태로 도출한다.
• 스틸 방정정식의 해 f_h와 그 도함수에 대한 상한은 거리 과정의 기대 감쇠율을 통해 통제되며, 양성 리치 곡률 조건 하에서 지수 감쇠를 보인다.