계층적 점프를 통한 다중 마진 최적 수송: 모노제 해와 유일성의 새로운 프레임워크

초록

본 논문은 중간 공간에 고립점을 도입해 “점프”를 허용하는 계층적 점프 다중 마진 최적 수송(HJMO‑T) 이론을 제시한다. 폴란드 공간 위에서 코어시브와 하위 연속성 가정만으로 Kantorovich 해의 존재를 보이고, 비용 함수의 순차적 미분 가능성 및 트위스트 조건을 추가하면 Monge 해의 존재와 유일성을 확보한다. 또한 이론을 리만 다양체와 비지향성 다양체에 확장하여 기존의 Euclidean·리만·Alexandrov·RCD 결과들을 통합한다.

상세 분석

논문은 먼저 각 중간 공간 (X_k;(1\le k\le K-1))에 고립점 (\partial_k)를 추가해 확장 공간 (\bar X_k=X_k\cup{\partial_k})를 만든다. 이 고립점은 해당 단계가 “건너뛰어”짐을 의미하며, 경로 (\omega\in\Omega=\prod_{k=0}^K\bar X_k)에 대해 활성 인덱스 맵 (I(\omega))가 실제 방문한 단계들의 순서를 추출한다. 비용 함수 (c(\omega))는 활성 인덱스에 따라 인접 쌍의 비용 (c_{i,i+1})를 합산한 형태이며, 인접 비용의 상한 (\tilde c_{i,i+1})를 이용해 전체 비용을 억제한다.

핵심 존재 결과는 코어시브 조건(정의 2.1)이다. 이는 측정가능 함수 (\Phi)가 존재해 하위 수준 집합을 콤팩트하게 만들고, 최소화 수열이 (\Phi)에 대해 균등하게 유계임을 보장한다. 이를 통해 Prokhorov 정리를 적용해 최소값 (M)가 유한하고 Kantorovich 최적 커플링 (\pi^)와 중간 마진 ({\mu_k^})가 존재함을 증명한다(정리 2.2).

Monge 해의 존재·유일성은 네 가지 추가 가정에 기반한다. (1) 비용의 순차적 미분 가능성(정의 3.1)으로 각 활성 인덱스 구간에서 미분 연산자를 정의한다. (2) 순차적 트위스트 조건(정의 3.3) – 최적 지원 위에서 미분 사상이 일대일임을 요구한다. (3) 강한 코어시브(정의 3.4)로 최적 경로 집합이 콤팩트함을 확보한다. (4) 지역 제어 조건(정의 3.5)으로 최적 경로 근처에서 비용의 변동을 정량화한다. 이 네 가정 하에 정리 3.1은 결정론적 지도 (T^:X_0\to\Omega)가 존재하고, 각 단계에서 방문 여부((T^_k(x_0)=\partial_k) 혹은 실제 점)와 위치가 유일하게 결정됨을 보인다.

다음 장에서는 이러한 추상 이론을 매끄러운 리만 다양체에 적용한다. 여기서는 비용을 거리 제곱 등 자연적인 함수로 잡고, 지오데시틱 방향 미분을 이용해 순차적 미분과 트위스트를 기하학적으로 해석한다(정의 4.1·4.2). 리만 다양체에서 Rademacher 정리의 일반화(정리 4.3)를 사용해 지역 제어 조건을 검증한다. 결과적으로 정리 4.2는 매끄러운 다양체에서도 Monge 해의 존재·유일성을 보장한다.

마지막으로 비지향성(orientable) 다양체에 대해, 두 배 커버를 중간 공간으로 삽입하고 점프를 허용함으로써 비지향성 문제를 지향성 문제로 전환한다. 이는 복잡한 위상 구조를 가진 경우에도 HJMO‑T가 유연하게 적용될 수 있음을 보여준다.

전체적으로 논문은 기존 다중 마진 OT가 강제하는 순차적 경로 제한을 완화하고, 고립점을 통한 “점프” 메커니즘을 도입함으로써 보다 일반적인 전송 문제를 포괄한다. 폴란드 공간이라는 최소한의 위상 가정만으로 존재론을 구축하고, 추가적인 미분·트위스트 가정으로 Monge 해의 유일성을 확보함으로써, Euclidean, 리만, Alexandrov, RCD 등 다양한 기하학적 환경을 하나의 통합 이론으로 연결한다.