2025-11-20T21:37:15.957556

Benamou-Brenier and Kantorovich on sub-Riemannian manifolds with no abnormal geodesics

Citti, Galeotti, Pinamonti

We prove that the Benamou-Brenier formulation of the Optimal Transport problem and the Kantorovich formulation are equivalent on a sub-Riemannian connected and complete manifold $M$ without boundary and with no non-trivial abnormal geodesics, when the problems are considered between two measures with finite $2$-momentum. Furthermore, we prove the existence of a minimizer for the Benamou-Brenier formulation and link it to the optimal transport plan.

academic

비정상 측지선이 없는 부-리만 다양체 위의 Benamou-Brenier와 Kantorovich

기본 정보

논문 ID: 2507.20959
제목: Benamou-Brenier and Kantorovich on sub-Riemannian manifolds with no abnormal geodesics
저자: Giovanna Citti, Mattia Galeotti, Andrea Pinamonti
분류: math.OC (최적화 및 제어)
발표 시간: 2025년 10월 15일 (arXiv v2)
논문 링크: https://arxiv.org/abs/2507.20959

초록

본 논문은 연결된 완비 경계 없는 부-리만 다양체 $M$ 위에서, 다양체가 비자명한 비정상 측지선을 갖지 않을 때, 최적 수송 문제의 Benamou-Brenier 동역학 공식과 Kantorovich 정적 공식이 동치임을 증명한다. 여기서 수송 문제는 유한한 2차 모멘트를 갖는 두 측도 사이에서 고려된다. 또한 논문은 Benamou-Brenier 공식의 최소화자 존재성을 증명하고 이를 최적 수송 계획과 연결한다.

연구 배경 및 동기

문제 배경

최적 수송 이론의 발전: 최적 수송 문제는 18세기 말 Monge에 의해 처음 제시되었고, 이후 Kantorovich가 분석에 더 적합한 완화 버전을 제시했다. 유클리드 영역과 리만 다양체 위에서 Kantorovich 공식과 Benamou-Brenier 동역학 공식의 동치성이 이미 확립되었다.
부-리만 기하학의 도전: 부-리만 다양체는 완전 비적분 분포 $HM \subset TM$ 과 정정치 이차형식 $g_{SR}$ 을 가지며, 그 기하학적 구조는 리만 경우보다 훨씬 복잡하다. 특히 부-리만 프레임워크에서는 두 가지 유형의 측지선이 존재한다: 정상 측지선과 비정상 측지선.
비정상 측지선의 영향: 비정상 측지선의 존재는 부-리만 거리가 국소 볼록성을 잃게 하며, 이는 최적 사상 존재성의 주요 장애물이다.

연구 동기

고전적 최적 수송 이론을 부-리만 기하학 프레임워크로 확장
부-리만 다양체 위의 Benamou-Brenier와 Kantorovich 공식 동치성의 미해결 문제 해결
부-리만 기하학에서 최적 수송을 위한 이론적 기초 제공

핵심 기여

동치성 정리: 비정상 측지선이 없는 완비 연결 부-리만 다양체 위에서 Kantorovich, Benamou-Brenier 및 완화 Benamou-Brenier 세 공식의 하한이 모두 유한하고, 달성 가능하며, 같음을 증명했다.
완화 이론 프레임워크: Young 측도에 기반한 완화 Benamou-Brenier 문제를 확립하여, 전통적인 벡터장 적분을 $[0,1] \times HM$ 위의 확률 측도 적분으로 대체했다.
가측 선택 정리: 각 점 쌍에 대해 이들을 연결하는 측지선을 선택하는 가측 사상 $S: M \times M \to \text{Geod}(M)$ 을 구성했으며, 이는 기술적 핵심 돌파구이다.
적층 원리: 부-리만 프레임워크에서 Young 적층 원리를 확립하여, 모든 수송 측도가 광의의 곡선 위의 확률 측도로 분해될 수 있음을 증명했다.
최적성 특성화: Benamou-Brenier 최소화자의 분해 지지가 (광의의 등속) 측지선 위에 있음을 증명했다.

방법 상세 설명

작업 정의

부-리만 다양체 $(M, H, g_{SR})$ 위에서 유한한 2차 모멘트를 갖는 두 확률 측도 $\mu_0, \mu_1 \in P_2(M)$ 사이의 최적 수송 문제를 고려한다.

Kantorovich 공식: $J_{Kan}(\gamma) = \int_{M \times M} d^2(x,y) d\gamma(x,y)$ 여기서 $\gamma \in \Pi(\mu_0, \mu_1)$ 은 실행 가능한 수송 계획이다.

Benamou-Brenier 공식: $J_{BB}(\mu_t, v_t) = \int_0^1 \int_M \|v_t(x)\|^2 d\mu_t(x) dt$ 제약 조건은 연속성 방정식: $\dot{\mu}_t + \text{Div}(\mu_t v_t) = 0$ .

완화 프레임워크

Young 측도 이론

Young 측도 공간을 정의한다: $Y(I; X) = \{\eta \in P(I \times X) : \pi^{(t)}_\# \eta = L\}$ 여기서 $L$ 은 르벡 측도이다.

완화 Benamou-Brenier 문제

$J^*_{BB}(\eta) = \int_{[0,1] \times HM} \|v\|^2 d\eta(t,v)$ 제약 조건은 완화 연속성 방정식: $\int_{I \times HM} \partial_t \phi(t, \pi(v)) + \langle v, \nabla_H \phi(t, \pi(v)) \rangle d\eta(t,v) = 0$

기술 혁신점

1. 가측 선택 사상의 구성

Suslin 집합 이론을 이용하여 사상 $S: M \times M \to \text{Geod}(M)$ 을 구성하며, 주요 단계는 다음을 포함한다:

극값 궤도 집합 $E$ 가 Suslin 집합임을 증명
가측 선택 정리를 적용하여 $S$ 의 존재성 획득
비정상 측지선 부재 가정 하에서의 기술적 어려움 처리

2. 완화 이론의 확립

Jensen 부등식을 통해 다음을 확립한다: $J_{BB}(\mu^{\eta}_t, v^{\eta}_t) \leq J^*_{BB}(\eta)$ 여기서 $(\mu^{\eta}_t, v^{\eta}_t)$ 는 Young 측도 $\eta$ 에서 유도된 고전적 쌍이다.

3. 적층 원리의 적용

임의의 수송 측도 $\eta$ 에 대해, 다음을 만족하는 분해 $\tilde{\eta} \in P(G_H(I,M))$ 이 존재한다: $\eta = \int_G \nu d\tilde{\eta}(\nu)$

실험 설정

이론 검증 프레임워크

본 논문은 주로 이론 연구로, 수치 실험이 아닌 엄격한 수학적 증명을 통해 결과를 검증한다. 검증 프레임워크는 다음을 포함한다:

가정 조건 검증:
- 다양체의 완비성과 연결성
- 경계 없음 조건
- 비자명한 비정상 측지선 부재 조건
구성적 증명: 각 사상과 분해의 존재성을 명시적 구성을 통해 증명

기술 도구

Suslin 집합 이론과 가측 선택 정리
Young 측도 이론과 변분법
부-리만 기하학의 Hamilton 이론
측도론과 함수 분석

주요 결과

동치성 정리 (정리 1.1)

주요 결론: $M$ 이 연결된 완비 경계 없는 비자명한 비정상 측지선이 없는 부-리만 다양체이고 $\mu_0, \mu_1 \in P_2(M)$ 이면: $C_{Kan}(\mu_0, \mu_1) = C_{BB}(\mu_0, \mu_1) = C^*_{BB}(\mu_0, \mu_1)$ 이고 모든 하한이 달성 가능하다.

완화 동치성 (정리 3.6)

고전적 Benamou-Brenier 공식과 그 완화 버전의 동치성을 증명한다: $C_{BB}(\mu_0, \mu_1) = C^*_{BB}(\mu_0, \mu_1)$

최적성 특성화 (정리 3.11)

Benamou-Brenier 최소화자 $(μ_t, v_t)$ 에 대해, 그 Young 분해 $\tilde{\eta}$ 의 지지가 측지선 위에 있다.

기술 보조정리

보조정리 3.7: 사상 $\gamma \mapsto F_\#(L \otimes \gamma)$ 는 Kantorovich 계획을 실행 가능한 Young 수송 측도로 사상한다
보조정리 3.8: $J_{Kan}(\gamma) = J^*_{BB}(F_\#(L \otimes \gamma))$