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

본 논문은 2‑차 비용을 갖는 와서스테인 거리 공간 \(W_{2}(X)\) 를 내재적 거리 공간으로 연구한다. 서론에서는 와서스테인 거리의 최근 동향과, 특히 최적 수송이 기하학적 구조와 어떻게 연결되는지를 소개한다. 저자는 “형태 보존(is shape‑preserving)”이라는 개념을 정의하고, 이를 통해 등거리군을 ‘자명한(trivial)’ 등거리와 ‘이색적(exotic)’ 등거리로 구분한다. 2장에서는 와서스테인 공간의 기본 정의와 주요 성질을 정리한다. 특히, 폴리시·완비·지오데식 성질을 갖는다는 점과, 최적 커플링이 존재함을 상기한다. 1차원에서는 분포함수와 그 역함수 \(F^{-1}\) 를 이용해 거리와 지오데식을 명시적으로 표현한다(식 (3), (4)). 이는 비감소 재배열이 최적 플랜임을 의미한다. 고차원에서는 Brenier의 이론을 인용해 절대 연속성 가정 하에 최적 플랜이 결정론적이며, 잠재함수의 그래디언트 형태임을 언급한다. 3장에서는 지오데식의 존재와 완전성에 대해 논한다. 1차원에서는 대부분의 지오데식이 완전하지 않으며, 이는 디랙 질량과 두 디랙 질량의 선형 결합을 거리론적으로 구별하는 도구가 된다. 고차원에서는 번역·확대·직교 변환에 대한 최적 플랜이 각각 결정론적이며, 지오데식이 전역적으로 연장될 수 있는 경우와 그렇지 않은 경우를 구분한다. 4장에서는 곡률 개념을 도입한다. 알렉산드로프 의미의 \(\delta\)-hyperbolicity와 \(\operatorname{CAT}(0)\) 조건을 설명하고, \(W_{2}(\mathbb{R})\) 가 \(\delta=0\) 인 플랫 공간임을 보인다. 반면 \(\mathbb{R}^{n}(n\ge2)\) 에서는 \(\delta\)-hyperbolic이 되지 않으며, 이는 차원에 따라 곡률 특성이 달라짐을 시사한다. 5장에서는 1차원 경우의 등거리군을 상세히 분석한다. 주요 정리 1.1에 의해 \(\operatorname{Isom}W_{2}(\mathbb{R})\cong \operatorname{Isom}\mathbb{R}\ltimes\mathbb{R}\) 로 분해된다. 여기서 왼쪽 인자는 디랙 질량을 이동시키는 평행·반사 변환이며, 오른쪽 \(\mathbb{R}\) 요인은 “점wise 디랙 질량을 고정하고 질량을 비대칭적으로 재배치하는 흐름”이다. 이 흐름은 중심(무게중심)을 보존하면서, 질량을 한쪽에 집중시키고 다른 쪽에 소량을 멀리 보내는 연속적인 등거리 변환이며, 이는 기존의 등거리와는 전혀 다른 ‘이색적’ 성질을 가진다. 논문은 이 흐름을 구체적인 식과 함께 제시하고, 흐름 하에서 측도들이 약한 위상에서는 중심에 수렴하지만 \(W_{2}\) 거리에서는 수렴하지 않음을 증명한다(정리 5.4). 6장에서는 차원 \(n>1\) 의 경우를 다룬다. 정리 1.2에 의해 \(\operatorname{Isom}W_{2}(\mathbb{R}^{n})\cong \operatorname{Isom}(\mathbb{R}^{n})\ltimes O(n)\) 로 완전히 기술된다. 여기서 오른쪽 \(O(n)\) 요소는 모든 디랙 질량을 고정하고, 측도들의 “형태”를 보존하는 회전·반사군이다. 증명은 정리 1.1, 라돈 변환, 그리고 L² 최적 수송의 고유성(특히 절대 연속성 가정) 등을 활용한다. 고차원에서는 이색적 등거리가 존재하지 않으며, 모든 등거리는 원래 공간의 등거리와 직교군에 의해 생성된다는 강력한 강직성(rigidity) 결과를 얻는다. 7장에서는 랭크 개념을 도입한다. 정리 1.3은 \(\mathbb{R}^{n+1}\) 를 등거리적으로 삽입할 수 없음을 보이며, 이는 \(W_{2}(\mathbb{R}^{n})\) 가 ‘강한’ 랭크 \(n\) 를 갖는다는 의미다. 그러나 ‘약한’ 랭크는 무한히 크다; 즉, 큰 부분집합을 무한 차원 유클리드 공간에 등거리적으로 임베딩할 수 있다. 이를 통해 \(W_{2}(\mathbb{R}^{n})\) 가 \(\delta\)-hyperbolic이 아니며, 일반적인 비양의 곡률 가정이 상속되지 않음을 다시 한 번 확인한다. 8장에서는 열린 문제들을 제시한다. 비유클리드 리만 다양체, 비정상적인 측도 공간, 혹은 다른 비용 함수(예: \(p\neq2\))에 대한 등거리군 구조, 그리고 고차원에서 부분적인 이색적 변환이 가능한지 등에 대한 질문이 제시된다. 마지막으로, 저자는 본 연구가 와서스테인 공간을 내재적 거리 공간으로 바라보는 새로운 관점을 제공하며, 최적 수송 이론과 기하학적 군론을 연결하는 중요한 다리 역할을 한다고 결론짓는다.