[논문 리뷰] Generalized Gamma $z$ calculus via sub-Riemannian density manifold

Qi Feng, Wuchen Li|arXiv (Cornell University)|2019. 10. 16.

Geometric Analysis and Curvature Flows참고 문헌 37인용 수 5

한 줄 요약

이 논문은 단계-두 조건을 요구하지 않고, 비가역 리만다양체 위에서 열악한 드리프트-확산 과정을 분석하기 위해 일반화된 감마 $z$ 미적분을 도입한다. 이는 비가역 리만다양체의 리치 곡률 텐서와 곡률-차원 경계를 수립하며, 비가역 리만다양체의 밀도 다양체 위에서 포커-플랑크 방정식의 기울기 흐름과 연결되어 열역학적 소산과 함수 불등식을 열악한 설정에서 가능하게 한다.

ABSTRACT

We generalize the Gamma $z$ calculus to study degenerate drift-diffusion processes, where $z$ stands for extra directions introduced into the degenerate system. Based on this calculus, we establish the sub-Riemannian Ricci curvature tensor and the associated curvature dimension bound for general sub-Riemannian manifolds. These results do not require the commutative iteration of Gamma and Gamma z operator and go beyond the step two condition. These allow us to analyze the convergence properties of degenerate drift-diffusion processes and prove the entropy dissipation rate and several functional inequalities in sub-Riemannian manifolds. Several examples are provided. In particular, we show the global in time convergence result for displacement group with a weighted volume on a compact region. The new Gamma $z$ calculus is motivated by optimal transport and density manifold. We embed the probability density space over sub-Riemannian manifold with the $L^2$ sub-Riemannian Wasserstein metric. We call it sub-Riemannian density manifold (SDM). We study the dynamical behavior of the degenerate Fokker-Planck equation as gradient flows in SDM. Our derivation builds an equivalence relation between Gamma z calculus and second-order calculus in SDM.

연구 동기 및 목표

• 단계-두 조건을 초월하여 열악한 드리프트-확산 과정에 감마 $z$ 미적분을 일반화하는 것.
• 일반적인 비가역 리만다양체를 위한 비가역 리만다양체 리치 곡률 텐서와 곡률-차원 경계를 정의하는 것.
• 비가역 리만다양체 밀도 다양체(SDM) 위에서의 기울기 흐름 구조를 통해 열악한 포커-플랑크 방정식의 수렴성과 열역학적 소산을 분석하는 것.
• 일반화된 감마 $z$ 미적분과 비가역 리만다양체 밀도 다양체(SDM) 위의 이阶 미적분 간의 등가성을 수립하는 것.
• 콤���트 비가역 리만다양체 영역에서 가중체적을 갖는 이동군 동역학에 대해 시간에 관계없이 전역 수렴 결과를 제공하는 것.

제안 방법

• 비가역 리만다양체 위의 확률 밀도 공간을 $L^2$ 비가역 리만다양체 워샤어스타인 거리로 매장하여 비가역 리만다양체 밀도 다양체(SDM)를 구성한다.
• 열악한 시스템에서 추가적인 방향 $z$ 를 다룰 수 있도록 일반화된 감마 $z$ 미적분을 정의하며, 기존 감마 미적분의 교환 법칙 기반 반복 연산을 초월한다.
• 단계-두 조건을 가정하지 않고도 비가역 리만다양체 리치 곡률 텐서와 곡률-차원 경계를 유도한다.
• 열악한 포커-플랑크 방정식을 비가역 리만다양체 밀도 다양체(SDM) 상의 기울기 흐름으로 모델링하여 최적 운반과 밀도 다양체 기하학과 연결한다.
• 일반화된 감마 $z$ 미적분과 비가역 리만다양체 밀도 다양체(SDM) 위의 이阶 미적분 간의 등가성을 수립하여 함수 불등식과 열역학 추정을 가능하게 한다.

실험 결과

연구 질문

• RQ1 감마 $z$ 미적분은 비가역 리만다양체 위에서 단계-두 조건을 초월한 열악한 드리프트-확산 과정을 다룰 수 있도록 어떻게 일반화될 수 있는가?
• RQ2 새로운 미적분을 사용할 때 일반 비가역 리만다양체의 리치 곡률 텐서와 곡률-차원 경계의 구조는 어떠한가?
• RQ3 비가역 리만다양체 밀도 다양체(SDM) 상에서 포커-플랑크 방정식의 기울기 흐름 구조는 열역학적 소산과 수렴성과 어떻게 관련되는가?
• RQ4 일반화된 감마 $z$ 미적분을 통해 열악한 설정에서 유도할 수 있는 함수 불등식은 무엇인가?
• RQ5 콤팩트 비가역 리만다양체 영역에서 가중체적을 갖는 이동군 동역학에 대해 시간에 관계없이 전역 수렴을 확립할 수 있는가?

주요 결과

• 일반화된 감마 $z$ 미적분은 단계-두 조건을 요구하지 않고도 일반 비가역 리만다양체에서 곡률-차원 경계와 리치 곡률 텐서를 구성하는 데 기여한다.
• 비가역 리만다양체 밀도 다양체(SDM)는 $L^2$ 비가역 리만다양체 워샤어스타인 거리에 기반한 기울기 흐름 구조를 통해 열악한 포커-플랑크 방정식을 지원한다.
• 일반화된 감마 $z$ 미적분과 비가역 리만다양체 밀도 다양체(SDM) 위의 이阶 미적분 간의 등가성이 수립되어 기하학적 일관성이 검증된다.
• 열악한 확산 과정에 대해 열역학적 소산 속도가 도출되었으며, 평형 상태 수렴을 확인한다.
• 콤팩트 비가역 리만다양체 영역에서 가중체적을 갖는 이동군에 대해 시간에 관계없이 전역 수렴이 증명되었으며, 고전 결과가 열악한 설정으로 확장된다.