[논문 리뷰] Entropic Measure and Wasserstein Diffusion

Max‐K. von Renesse, Karl‐Theodor Sturm|ArXiv.org|2007. 04. 05.

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

한 줄 요약

이 논문은 원주와 단위구간 위의 확률측도 공간에 대해 상대 엔트로피를 해밀토니안으로 사용하여 갈릴레오 유형의 엔트로피 측도를 구성하고, 부드러운 미오모르피즘에 대한 준불변성을 확립한다. Wasserstein 공간 위에 두 가지 확산과정을 도입한다: 하나는 Malliavin의 브라운 운동과 관련된 과정이며, 다른 하나는 열 흐름을 변형하는 표준적인 확률측도값 확산과정으로, 내재 거리로 $L^2$-Wasserstein 거리가 사용된다.

ABSTRACT

We construct a new random probability measure on the sphere and on the unit interval which in both cases has a Gibbs structure with the relative entropy functional as Hamiltonian. It satisfies a quasi-invariance formula with respect to the action of smooth diffeomorphism of the sphere and the interval respectively. The associated integration by parts formula is used to construct two classes of diffusion processes on probability measures (on the sphere or the unit interval) by Dirichlet form methods. The first one is closely related to Malliavin's Brownian motion on the homeomorphism group. The second one is a probability valued stochastic perturbation of the heat flow, whose intrinsic metric is the quadratic Wasserstein distance. It may be regarded as the canonical diffusion process on the Wasserstein space.

연구 동기 및 목표

• 현재 $({\mathcal{P}}(M), d_W)$의 기하학적 구조는 존재하지만, 공간 $\mathcal{P}(M)$ 위에 자연스러운 리만 체적 측도가 아직 부재되어 있는 상황에서, 이 측도를 구성하는 것.
• 디리클레 형식과 부분적 적분을 통한 스토크래틱 및 해석학적 미적분의 엄밀한 프레임워크를 $\mathcal{P}(M)$ 위에 개발하는 것.
• 내재 기하학이 제곱 Wasserstein 거리에 의해 지배되는 표준 확산과정을 $\mathcal{P}(M)$ 위에 정의하는 것.
• 부드러운 미오모르피즘에 대한 엔트로피 측도의 준불변성 공식을 확립하여, 불변 확산의 구성이 가능하도록 하는 것.

제안 방법

• 확률측도를 역누적분함수 $g_\mu$를 통해 표현하여, 문제를 $L^2([0,1])$ 내의 비감소함수 위에 측도 $\mathbb{Q}_0^\beta$를 구성하는 것으로 변환한다.
• 엔트로피 측도 $\mathbb{P}^\beta$를 형식적으로 $d\mathbb{P}^\beta(\mu) = \frac{1}{Z_\beta} e^{-\beta \cdot \text{Ent}(\mu)} d\mathbb{P}(\mu)$로 정의하며, $\text{Ent}(\mu)$는 해밀토니안으로 사용된다.
• 부드러운 미오모르피즘 $h$에 의한 쌍대보존에 대해 $\mathbb{P}^\beta$의 준불변성을 증명하고, 두 항으로 구성된 변수변환 공식을 도출한다: $X_h^\beta$ (엔트로피 관련) 및 $Y_h^0$ (기하학적 자코비안).
• 준불변성에서 유도된 부분적 적분 공식을 이용하여 $\mathcal{P}(M)$ 위에 두 종류의 디리클레 형식을 구성하고, 이를 통해 확산과정을 유도한다.
• Wasserstein 확산을 마틴갈 문제로 특성화한다: $M_t = \langle\alpha, \mu_t\rangle - \frac{\beta}{2}\int_0^t \langle\alpha'' , \mu_s\rangle ds - \text{보정항}$은 연속적인 국소마틴갈이며, 제곱변동이 $\int_0^t \langle(\alpha')^2, \mu_s\rangle ds$임을 확인한다.
• 바르다한 유형의 단시간 점근적 행동을 확립한다: $\lim_{t\to 0} t \log p_t(A,B) = -\frac{d_W(A,B)^2}{2}$, 이는 Wasserstein 거리가 내재 거리임을 확인한다.

실험 결과

연구 질문

• RQ1 일차원 다양체 위의 확률측도 공간에 대해 상대 엔트로피를 해밀토니안으로 사용하여 자연스럽고 준불변인 갈릴레오 측도를 구성할 수 있는가?
• RQ2 해당 측도가 내재 기하학이 $L^2$-Wasserstein 거리인 $\mathcal{P}(M)$ 위의 표준 확산과정을 지지하는가?
• RQ3 기저 공간의 부드러운 미오모르피즘에 대한 엔트로피 측도의 정확한 변수변환 공식은 무엇인가?
• RQ4 Wasserstein 확산은 초브라운 운동이나 플레밍-비오티 과정과 같은 기존의 측도값 확산과정과 어떻게 관련이 있는가?
• RQ5 확산의 단시간 행동은 바르다한 공식을 통해 Wasserstein 거리로 특성화될 수 있는가?

주요 결과

• 엔트로피 측도 $\mathbb{P}^\beta$는 $\mathcal{P}(S^1)$ 및 $\mathcal{P}([0,1])$ 위에 엄밀히 구성되었으며, 기준측도에 대해 $e^{-\beta \cdot \text{Ent}(\mu)}$ 비례하는 밀도를 가진다.
• 측도 $\mathbb{P}^\beta$는 부드러운 미오모르피즘 $h$에 대해 준불변이며, 라돈-니코디마 도함수는 $\frac{d\mathbb{P}^\beta(h_*\mu)}{d\mathbb{P}^\beta(\mu)} = X_h^\beta \cdot Y_h^0(\mu)$로 주어지며, 여기서 $X_h^\beta = \exp\left(\beta \int_{S^1} \log h'(t) d\mu(t)\right)$ 이고 $Y_h^0$ 은 $\mu$의 지지집합 내의 갭 구조를 반영한다.
• Wasserstein 확산과정 $\mu_t$는 드리프트 항 $\frac{\beta}{2}\int_0^t \langle\alpha'', \mu_s\rangle ds$와 $\mu_s$의 지지집합 내의 두 번째 도함수 및 갭에 의존하는 보정항을 포함하는 마틴갈 문제로 특성화된다.
• 마틴갈 $M_t$의 제곱변동은 $\int_0^t \langle(\alpha')^2, \mu_s\rangle ds$로 주어지며, 이는 확산의 내재 기하학이 $L^2$-Wasserstein 거리에 의해 지배됨을 확인한다.
• 단시간 전이밀도는 바르다한 공식을 만족한다: $\lim_{t\to 0} t \log p_t(A,B) = -\frac{d_W(A,B)^2}{2}$, 이는 Wasserstein 거리가 과정의 내재 거리임을 증명한다.
• 과정 $\mu_t$는 열 흐름의 확률적 편미분으로 간주되며, 그 생성자 $\mathbb{L}$ 은 $\beta$에 의해 드리프트 항 $\mathbb{L}_3$ 에서만 영향을 받는다. $\beta \to \infty$ 일 때 $\frac{1}{\beta}\mathbb{L} \to \mathbb{L}_3$ 이다.