[논문 리뷰] Dynamical aspects of generalized Schr{\\"o}dinger problem via Otto calculus -- A heuristic point of view

Ivan Gentil, Christian Léonard외 1명|arXiv (Cornell University)|2018. 06. 01.

Geometric Analysis and Curvature Flows인용 수 13

한 줄 요약

이 논문은 상대 엔트로피를 일반 기능 $\mathcal{F}$로 대체함으로써 슈뢰딩거 문제를 일반화한 변형 워셔스타인 비용 기능 $\mathcal{A}^\varepsilon_\mathcal{F}$를 제안한다. 오또 미분기하학과 느슨한 경로의 경량 경로 유도 분석을 통해 $\varepsilon\mathcal{F}$-보간에 대한 뉴턴형 방정식을 유도하고, 리치 곡률 하한 조건 하에서 새로운 수축 부등식을 확립하며, 최적 운반 이론과 경로 유도 이론의 기존 결과를 확장한다.

ABSTRACT

The defining equation $(\\ast):\\ \\dot \\omega\\_t=-F'(\\omega\\_t),$ of a gradient flow is kinetic in essence. This article explores some dynamical (rather than kinetic) features of gradient flows (i) by embedding equation $(\\ast)$ into the family of slowed down gradient flow equations: $\\dot \\omega ^{ \\varepsilon}\\_t=- \\varepsilon F'( \\omega ^{ \\varepsilon}\\_t),$ where $\\varepsilon>0$, and (ii) by considering the \\emph{accelerations} $\\ddot \\omega ^{ \\varepsilon}\\_t$. We shall focus on Wasserstein gradient flows. Our approach is mainly heuristic. It relies on Otto calculus.A special formulation of the Schr{\\"o}dinger problem consists in minimizing some action on the Wasserstein space of probability measures on a Riemannian manifold subject to fixed initial and final data. We extend this action minimization problem by replacing the usual entropy, underlying Schr{\\"o}dinger problem, with a general function of the Wasserstein space. The corresponding minimal cost approaches the squared Wasserstein distance when some fluctuation parameter tends to zero. We show heuristically that the solutions satisfy a Newton equation, extending a recent result of Conforti. The connection with Wasserstein gradient flows is established and various inequalities, including evolutional variational inequalities and contraction inequality under curvature-dimension condition, are derived with a heuristic point of view. As a rigorous result we prove a new and general contraction inequality for the Schr{\\"o}dinger problem under a Ricci lower bound on a smooth and compact Riemannian manifold.

연구 동기 및 목표

• 워셔스타인 공간 위의 일반 기능 $\mathcal{F}$로 상대 엔트로피를 대체함으로써 슈뢰딩거 문제의 엔트로피 최소화를 초월한 일반화를 시도한다.
• 지속적인 경로의 동역학적 특성을 드러내기 위해 느슨한 경로 매개변수 $\varepsilon > 0$를 도입하고 가속도 $\ddot{\omega}^\varepsilon_t$를 분석한다.
• $\varepsilon\mathcal{F}$-보간과 워셔스타인 공간 내 뉴턴 방정식 간의 힌트적인 연결 고리를 수립한다.
• 특히 리치 곡률 하한 조건 하에서 곡률-차원 조건을 만족하는 일반화된 문제에 대해 새로운 수축 부등식을 유도한다.
• 콤���트 리만다이만 다양체 위에서 리치 곡률 하한 조건 하에 슈뢰딩거 문제에 대해 엄밀한 수축 부등식을 제시하며, 이전 결과를 향상시킨다.

제안 방법

• 논문은 운동 에너지와 페널티 항 $\varepsilon^2 |\operatorname{grad}_\mu \mathcal{F}|^2$를 포함하는 행동의 최소값으로서 비용 기능 $\mathcal{A}^\varepsilon_\mathcal{F}(\mu,\nu)$를 정의하며, 벤아무-브레니에 공식을 일반화한다.
• 워셔스타인 공간 $\mathcal{P}_2(N)$를 무한차원 리만다이만 다양체로 간주하기 위해 오또 미분기하학을 활용하여 지오데식선, 기울기, 헤시안을 정의한다.
• $\varepsilon\mathcal{F}$-보간의 분석을 통해 워셔스타인 공간 내 뉴턴 방정식의 힌트적인 유도를 이끌어내며, 최근 콘포르티의 결과를 더 넓은 기능 클래스로 확장한다.
• 마코프 반군 기법과 열핵 추정을 활용하여 리치 곡률 하한 $\rho$ 조건 하에서 수축 부등식을 도출하며, $\Gamma_2$-미분기하학과 라플라스 연산자의 스펙트럼 성질을 활용한다.
• 코시-슈바르츠 부등식과 시간 반전 기법을 적용하여 $\varepsilon\mathcal{F}$-보간이 원래 경로에서 벗어나는 정도를 유계화함으로써 최종적인 수축 결과를 이끌어낸다.
• 핵심 부등식은 열 반군 $\mathsf{P}_t$를 활용한 변형 기법을 통해 유도되며, $\Lambda(r)$와 리치 곡률을 포함하는 미분 부등식을 적분함으로써 도출된다.

실험 결과

연구 질문

• RQ1 경로 유도에 느슨한 매개변수 $\varepsilon$를 도입함으로써 운동 에너지 외의 동역학적 특성이 어떻게 드러나는가?
• RQ2 $\varepsilon\mathcal{F}$-보간이 워셔스타인 공간에서 뉴턴형 방정식을 만족할 수 있는가? 이 방정식의 물리적 또는 기하학적 의미는 무엇인가?
• RQ3 엔트로피를 일반 기능 $\mathcal{F}$로 대체한 일반화된 슈뢰딩거 문제는 리치 곡률 하한 조건 하에서 수축 성질을 유지하는가?
• RQ4 오또 미분기하학은 워셔스타인 공간 내에서 두 번째 순서 운동 및 헤시안 유사 구조를 어떻게 수립하는가?
• RQ5 시간 왜곡 없이 리치 곡률 하한 조건 하에서 슈뢰딩거 문제에 대해 새로운 수축 부등식을 도출할 수 있는가?

주요 결과

• $\varepsilon\mathcal{F}$-보간은 워셔스타인 공간 내에서 힌트적인 뉴턴 방정식을 만족하며, 콘포르티의 최근 결과를 더 넓은 기능 클래스로 확장한다.
• $\varepsilon \to 0$의 극한에서 비용 기능 $\mathcal{A}^\varepsilon_\mathcal{F}$는 제곱 워셔스타인 거리 $W_2^2$로 수렴함으로써 고전적 최적 운반 이론과의 일致성을 확인한다.
• 리치 곡률 하한 $\rho$ 조건 하에서 슈뢰딩거 문제에 대해 엄밀한 새로운 수축 부등식을 증명하였으며, 부등식은 $\mathcal{A}^\varepsilon_\mathcal{E\!nt}(\mathsf{P}_t\mu, \mathsf{P}_t\nu) \leq e^{-2\rho t} \mathcal{A}^\varepsilon_\mathcal{E\!nt}(\mu, \nu)$ 로 표현된다.
• 시간 왜곡 없이 수축 부등식을 도출하였으며, [GLR17]의 이전 결과를 향상시켰고, 반군 $\mathsf{P}_t$와 리치 곡률을 포함하는 미분 부등식에 기반한다.
• 이 방법은 $\mathcal{F}$-보간이 매끄럽다고 기대할 수 있음을 드러내며, 워셔스타인 공간 내에서 두 번째 순서 미분기하학의 적용을 뒷받침한다.
• 이 틀은 벡터장 $V$를 가진 연산자 $\Delta_g + \mathrm{V}$로도 일반화 가능하여, 표준 슈뢰딩거 문제를 초월한 광범위한 적용 가능성을 시사한다.