[논문 리뷰] Counterexamples to continuity of optimal transportation on positively curved Riemannian manifolds

Young‐Heon Kim|ArXiv.org|2007. 09. 11.

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

한 줄 요약

이 논문은 리만 다양체에서 비음성 또는 양성 섹션 곡률이 최적 운반 지도의 연속성에 필요한 핵심 조건인 A3w 조건을 암시한다는 추측에 대한 명시적 반례를 구축한다. 얕은 콘형 특이점을 가진 반지름 대칭 표면과 그들의 매끄러운 변형을 분석함으로써, 저자들은 양성 곡률을 가진 다양체에서도 매끄러운 측도에 대해 최적 운반 지도가 불연속적일 수 있음을 보여주며, 최적 운반 이론과 리만 기하학 분야에서 오랫동안 남아있던 열린 문제를 반증한다.

ABSTRACT

Counterexamples to continuity of optimal transportation on Riemannian manifolds with everywhere positive sectional curvature are provided. These examples show that the condition A3w of Ma, Trudinger, & Wang is not guaranteed by positivity of sectional curvature.

연구 동기 및 목표

• 최적 운반에 대한 A3w 조건이 비음성 또는 양성 섹션 곡률에 의해 유도되는지 여부를 해결하는 것: 질문 1.1
• 트루디셔너가 추측했듯이, 비음성 곡률로부터 A3w가 유도된다는 추측을 반증하는 것. 이는 구에서 알려진 결과들이 이를 뒷받 Circa 1.1
• 전체적으로 양성(또는 비음성) 곡률을 가진 완전한 리만 다양체의 명시적 예를 구성하여 A3w를 위반하는 것
• 이러한 다양체에서 원천 및 목적지 측도가 모두 매끄러운 경우에도 최적 운반 지도가 불연속적일 수 있음을 보여주는 것
• A3w의 기하학적 의미를 명확히 하여, 곡률의 양성에 의해 유도되지 않고 오히려 더 강력하고 독립적인 조건임을 보여주는 것

제안 방법

• 0 < ϑ ≪ 1 인 경우, 평탄한 콘의 반지름 대칭 매끄러운 변형으로서 2차원 표면 Σ_ϑ 를 구성한다. 이 콘의 콘 각도는 2π−2ϑ 이다.
• 작은 구 B(O,1) 외부에서는 곡률 K≡0 이며, B 내부에서는 작은 양성 곡률(0<K<1/10000)을 유지하면서 반지름 대칭성을 유지한다.
• 운반 비용 함수로 거리 제곱 함수 c(x,ȳ)=dist²(x,ȳ)/2 를 사용한다.
• 비용 함수가 큰 영역에서 미분 가능함을 보장하여 지오데식 분석과 c-세그먼트의 사용이 가능하도록 한다.
• 곡률가 있는 영역 내에서 굽은 경로를 따라 휘어지는 c-세그먼트를 분석함으로써, 원점 근처의 점들에서 국소 DASM(퇴화된 A3w) 조건이 실패함을 증명한다.
• 고차원으로의 확장을 위해 반지름 대칭 또는 리만 곱을 통해 구성하고, 이를 변형하여 엄격한 양성 곡률을 확보하면서도 A3w 위반을 유지한다.

실험 결과

연구 질문

• RQ1 비음성 섹션 곡률을 가진 모든 리만 다양체가 최적 운반에 대해 A3w 조건을 만족하는가?
• RQ2 양성 섹션 곡률을 가진 다양체가 A3w를 만족하지 못할 수 있으며, 이로 인해 최적 운반 지도가 불연속적일 수 있는가?
• RQ3 A3w 조건은 곡률의 양성에 의해 유도되는가, 아니면 더 강력한 독립적인 기하 조건인가?
• RQ4 개방적 및 컴act 설정 모두에서 명시적 반례를 구성할 수 있는가?
• RQ5 교차 곡률은 최적 운반 지도의 정칙성 결정에 있어 어떤 기하학적 역할을 하는가?

주요 결과

• 논문은 전역적으로 비음성 곡률을 가지는 2차원 완전한 리만 다양체를 구성하였으며, 이는 A3w 조건을 위반한다.
• 구성된 다양체는 작은 콘 각도를 가진 평탄한 콘의 매끄러운 반지름 대칭 변형으로, 유한한 영역 내에서 작은 양성 곡률을 가진다.
• A3w 위반은 국소 DASM 조건의 실패를 통해 입증되며, 이는 곡률가 있는 영역에서 직선 경로에서 벗어나 휘어지는 c-세그먼트를 분석함으로써 입증된다.
• 이 반례는 2차원 예를 고차원 반지름 다양체에 등장시키는 등급으로 확장할 수 있다.
• 비음성 곡률 예를 변형함으로써, 여전히 A3w를 위반하는 컴팩트하고 양성 곡률을 가진 다양체를 구성하였다. 이는 양성 곡률이 A3w를 암시하지 않음을 증명한다.
• 결과적으로 트루디셔너의 추측을 확인하였으며, A3w가 곡률의 양성에 의해 유도되는 것이 아니라, 별개의 더 강력한 조건임을 보여준다.