[논문 리뷰] On Wasserstein geometry of the space of Gaussian measures

Asuka Takatsu|ArXiv.org|2008. 01. 15.

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

한 줄 요약

이 논문은 $L^2$-Wasserstein 거리계를 갖춘 평균이 0인 가우시안 측도의 공간의 단면 곡률에 대한 명시적 공식을 유도하며, 곡률이 공분산 행렬의 고유값에만 의존한다는 것을 보여준다. 대칭 양의 정부호 행렬의 다양체 위에서 리만 기하학을 적용하여 모든 곡률 성분에 대한 닫힌 형태의 표현식을 제공하며, 오트만의 형식적 계산과의 일致성을 확인하고 전반적으로 비음성 곡률을 확립한다.

ABSTRACT

The space of Gaussian measures on a Euclidean space is geodesically convex in the $L^2$-Wasserstein space. This space is a finite dimensional manifold since Gaussian measures are parameterized by means and covariance matrices. By restricting to the space of Gaussian measures inside the $L^2$-Wasserstein space, we manage to provide detailed descriptions of the $L^2$-Wasserstein geometry from a Riemannian geometric viewpoint. We first construct a Riemannian metric which induces the $L^2$-Wasserstein distance. Then we obtain a formula for the sectional curvatures of the space of Gaussian measures, which is written out in terms of the eigenvalues of the covariance matrix.

연구 동기 및 목표

• 평균이 0인 가우시안 측도의 공간에 대한 $L^2$-Wasserstein 거리 하에서 엄밀한 리만 기하학적 기술을 제공한다.
• 공분산 행렬의 고유값에 대해 평균이 0인 가우시안 측도의 공간의 단면 곡률을 명시적으로 계산한다.
• 무한차원 Wasserstein 공간 프레임워크 내에서 오트만의 형식적 곡률 표현과의 일致성을 확인한다.
• 평균이 0인 가우시안 측도의 공간이 $L^2$-Wasserstein 공간의 지오데식적으로 볼록인 부분다양체임을 확립한다.

제안 방법

• 평균이 0인 가우시안 측도의 공간에 $L^2$-Wasserstein 거리를 유도하는 리만 계량을 구성한다.
• 각 점에서의 탄젠트 공간을 양의 정부호 행렬의 다양체의 미분 구조를 활용하여 대칭 행렬의 공간과 동일시한다.
• 공분산 행렬의 직교 대각화를 통해 행렬 단위를 이용한 정규직교 탄젠트 벡터장의 정의를 내린다.
• 리만 기하학에서의 단면 곡률 공식을 적용하여, 선택한 정규직교 기저에서 리만 곡률 텐서를 통해 곡률을 계산한다.
• 계량의 구조와 $\mathrm{Sym}^+(d,\mathbb{R})$의 대칭 공간 기하학을 이용하여 곡률 표현식을 유도한다.
• 2차원 예제를 비교하고 벡터장 노름의 적분을 통한 곡률 계산을 통해 오트만의 형식적 곡률 표현과의 일치성을 검증한다.

실험 결과

연구 질문

• RQ1 평균이 0인 가우시안 측도의 공간에 대한 $L^2$-Wasserstein 거리계 하에서의 단면 곡률에 대한 명시적 공식은 무엇인가?
• RQ2 이 공간에서 곡률은 공분산 행렬의 고유값에 어떻게 의존하는가?
• RQ3 평균이 0인 가우시안 측도의 공간은 모든 확률 측도의 $L^2$-Wasserstein 공간의 지오데식적으로 볼록인 부분다양체인가?
• RQ4 이곳에서 도출된 곡률 공식은 무한차원 설정에서 오트만의 형식적 표현과 조화를 이룰 수 있는가?
• RQ5 행렬의 구조와 고유값 분해에 관해 곡률 표현식의 기하학적 의미는 무엇인가?

주요 결과

• 평균이 0인 가우시안 측도의 공간의 단면 곡률은 비음성이며, 공분산 행렬의 고유값에만 의존한다.
• 인덱스 $i=1$ 또는 $j=d$인 탄젠트 벡터 $e_+$와 $f_{ij}$에 대해 곡률 $K(e_+,f_{ij}) = \frac{3\lambda_i\lambda_j}{(\lambda_i+\lambda_j)^2(\lambda_1+\lambda_d)}$이다.
• 서로 다른 $i,j,k$에 대해 $j \neq k$이면 곡률 $K(e_{ik},f_{ij}) = \frac{3\lambda_i\lambda_j}{(\lambda_i+\lambda_j)^2(\lambda_i+\lambda_k)}$이다.
• 같은 인덱스에 대해 곡률 $K(e_{ij},f_{ij}) = \frac{12\lambda_i\lambda_j}{(\lambda_i+\lambda_j)^3}$이며, 이는 동일한 인덱스를 가진 모든 곡률 성분 중에서 가장 크다.
• 서로소인 인덱스 집합을 가진 정규직교 탄젠트 벡터 쌍, 예를 들어 $\{i,j\} \cap \{k,l\} = \emptyset$에 대해 곡률 $K(e_{ij},f_{kl}) = 0$이다.
• 서로 다른 $j \neq k$에 대해 곡률 $K(f_{ij},f_{ik}) = \frac{3\lambda_j\lambda_k}{(\lambda_i+\lambda_j)(\lambda_j+\lambda_k)(\lambda_k+\lambda_i)}$이며, 이는 세 고유값에 대한 대칭적 의존성을 보여준다.