유클리드 공간의 와서스테인 거리 공간 기하학

초록

본 논문은 2‑차 비용을 갖는 와서스테인 공간 (W_{2}(\mathbb{R}^{n})) 를 내재적 거리 공간으로 바라보며, 특히 그 등거리군을 완전히 규명한다. 1차원 경우에는 기존의 “자명한” 등거리(점 이동에 의한) 외에 질량을 비대칭적으로 재배치하는 “이색적” 등거리 흐름이 존재함을 보이고, 차원이 2 이상이면 모든 등거리는 원래 공간의 등거리와 직교군 (O(n)) 의 반직접곱 형태로만 나타난다. 또한 곡률이 0인 알렉산드로프 의미와 다양한 랭크 개념을 조사한다.

상세 분석

논문은 먼저 와서스테인 거리 (d_{W}) 가 정의된 확률 측도 공간 (W_{2}(X)) 가 자체적으로 완비·폴리시·지오데식 성질을 갖는 사실을 상기한다. 이때 핵심 도구는 최적 수송 플랜이 존재하고, 특히 (\mathbb{R}) 에서는 비감소 재배열(increasing rearrangement)이라는 명시적 형태를 갖는다는 점이다. 이를 이용해 두 측도 (\mu_{0},\mu_{1}) 사이의 거리와 지오데식을 (\displaystyle d_{W}^{2}(\mu_{0},\mu_{1})=\int_{0}^{1}!\bigl(F_{0}^{-1}(m)-F_{1}^{-1}(m)\bigr)^{2}dm) 와 (F_{t}^{-1}=(1-t)F_{0}^{-1}+tF_{1}^{-1}) 로 표현한다. 이 식은 1차원에서는 모든 지오데식이 완전하지 않을 수 있음을 보여 주며, 이는 “디랙 질량”과 “두 디랙 질량의 선형 결합”을 순수 거리론적으로 구별하는 데 활용된다.

다음으로 저자는 등거리군을 정의한다. 일반적인 등거리 (\varphi) 가 “형태(shape)를 보존”한다는 정의는 (\exists) 기저 공간의 등거리 (\psi) 로 (\varphi(\mu)=\psi_{#}\mu) 가 되도록 하는 것이다. 이와 대비되는 “이색적(is exotic)” 등거리는 이러한 형태 보존이 불가능한 경우를 말한다. 1차원에서는 (\operatorname{Isom}W_{2}(\mathbb{R})) 가 반직접곱 (\operatorname{Isom}\mathbb{R}\ltimes\mathbb{R}) 로 분해됨을 증명한다. 여기서 (\operatorname{Isom}\mathbb{R}= \mathbb{Z}/2\mathbb{Z}\ltimes\mathbb{R}) 은 평행 이동과 반사로 구성되고, 오른쪽 (\mathbb{R}) 요인은 “점wise 디랙 질량을 고정하면서 질량을 비대칭적으로 이동시키는 흐름”이다. 구체적으로는 질량의 중심(무게중심)을 보존하면서, 한쪽에 작은 질량을 멀리 보내고 나머지를 중심에 모으는 연속적인 등거리 변환을 정의한다. 이 흐름은 시간 (t\to\infty) 에서 모든 측도가 중심에 수렴하지만 (W_{2}) 위에서는 수렴하지 않는다(weak convergence만). 이 현상은 고유한 최적 플랜이 비감소 재배열이라는 특수성에서 비롯된다.

반면 차원 (n\ge 2) 에서는 최적 플랜이 Brenier의 잠재함수에 의해 결정되며, 절대 연속성 가정 하에 유일하고 결정론적이다. 이를 이용해 저자는 (\operatorname{Isom}W_{2}(\mathbb{R}^{n})) 가 (\operatorname{Isom}(\mathbb{R}^{n})\ltimes O(n)) 로 완전히 기술된다고 증명한다. 여기서 오른쪽 (O(n)) 요소는 모든 디랙 질량을 고정하고, 질량의 “형태”를 보존하는 회전·반사군이다. 즉, 고차원에서는 이색적 등거리가 존재하지 않으며, 모든 등거리는 원래 공간의 등거리와 직교군에 의해 생성된다. 이 결과는 라돈 변환과 L² 최적 수송 이론을 활용한 정밀한 기하학적 분석에 기반한다.

곡률 측면에서는 (W_{2}(\mathbb{R})) 가 알렉산드로프 의미에서 0‑곡률(플랫)임을 확인하고, 고차원에서도 동일하게 (\operatorname{CAT}(0)) 성질을 상속받지 않음(즉, (\delta)-hyperbolic이 아님)을 보인다. 특히, 저자는 “랭크” 개념을 도입해 (W_{2}(\mathbb{R}^{n})) 에는 (\mathbb{R}^{n}) 보다 높은 “약한 랭크”(weak rank)가 존재함을 증명한다. 구체적으로는 (\mathbb{R}^{n+1}) 를 등거리적으로 삽입할 수 없지만, 큰 부분집합을 무한히 많은 차원으로 임베딩할 수 있음을 보인다. 이는 완전한 지오데식 공간을 포함하는 경우 (W_{2}) 가 (\delta)-hyperbolic이 되지 않는 일반적인 이유와 연결된다.

마지막으로 저자는 몇 가지 열린 문제를 제시한다. 예를 들어, 비유클리드 리만 다양체나 비정상적인 측도 공간에서 이색적 등거리의 존재 여부, 그리고 고차원에서 “부분적인” 이색적 변환이 가능한지 등에 대한 질문이다. 전체적으로 논문은 최적 수송 이론, 알렉산드로프 곡률, 군론을 결합해 와서스테인 공간의 내재적 기하를 체계적으로 밝히는 중요한 기여를 한다.