초강도 초마르티게일 전송 문제의 안정성 및 단조성 원리

본 논문은 실수선 ℝ 위에서 약한 초마르티게일 최적 전송(Weak Supermartingale Optimal Transport, WSOT) 문제의 안정성 및 구조적 특성을 심도 있게 탐구한다. 연구는 다음 네 가지 주요 단계로 전개된다. 1. **배경 및 기본 정의** - 확률측도 μ, ν∈𝒫_r (r≥1) 가 감소 볼록 순서 μ ≤_{cd} ν 를 만족하면 초마르티게일 결합 집합 Π_S(μ,ν) 가 비공집합임을 Strassen‑type 정리(정리 1.2) 로 확인한다. - 초마르티게일 결합은 조건부 평균이 원점 이하인 제약 ∫y π_x(dy) ≤ x (μ‑a.e.) 로 정의되며, 이는 마팅게일 제약의 비등식 버전이다. - 약한 전송은 비용 함수 C:ℝ×𝒫_r→ℝ 가 위치 x와 조건부 법칙 π_x 모두에 의존하도록 일반화한다. WSOT 문제는 V_S^C(μ,ν)=inf_{π∈Π_S(μ,ν)}∫C(x,π_x)μ(dx) 로 정의된다. 2. **적응된 Wasserstein 거리와 근사 정리** - 적응된 Wasserstein 거리 A W_r 은 전송의 1차 마진과 조건부 법칙 사이의 거리 모두를 동시에 측정한다(식 7). - Theorem 2.1 은 μ_k, ν_k (k∈ℕ) 가 각각 μ, ν 로 W_r‑수렴하고 μ_k ≤_{cd} ν_k 를 유지한다는 가정 하에, 임의의 π∈Π_S(μ,ν) 에 대해 π_k∈Π_S(μ_k,ν_k) 를 구성하여 A W_r(π_k,π)→0 를 보인다. - 증명은 크게 네 단계로 나뉜다. (i) 초마르티게일 결합을 irreducible decomposition 으로 분해하고, 각 구간에서 마팅게일 근사 기법을 적용한다. (ii) 구간 내부에서는 기존 마팅게일 결과와 동일하게 질량을 재배치해 평균 조건을 유지한다. (iii) 구간 외부(J^c)에서는 남는 질량이 양쪽에 존재할 수 있으므로, put‑potential 함수 P_μ와 P_ν 를 비교해 초마르티게일 부등식이 전체 실수선에 걸쳐 유지됨을 보인다. (iv) 마지막으로 “gluing” 과 “barycentre correction” 을 수행해 전체 결합을 재구성하고, 적응된 거리에서 수렴을 확보한다. 이 과정에서 새로운 “free mass” 개념과 “barycentre adjustment” 기법이 핵심 역할을 한다. 3. **WSOT 가치 함수의 연속성 및 최적 결합의 수렴** - 비용 함수 C 가 (x,m)↦C(x,m) 형태로 연속·볼록이며 |C(x,m)|≤K(1+|x|^r+∫|y|^r dm) 를 만족하면, Theorem 2.3 은 (μ_k,ν_k)→(μ,ν) 일 때 V_S^C(μ_k,ν_k)→V_S^C(μ,ν) 가 성립함을 증명한다. - 또한, 각 k 에 대해 최소 결합 π_k^*∈Π_S(μ_k,ν_k) 가 존재하고, 이들의 약한 수렴(weak convergence) 하에서 모든 축적점이 V_S^C(μ,ν) 의 최소자를 이룬다. - 비용이 두 번째 인수에 대해 엄격히 볼록하면 최소자가 유일하고, 이 경우 π_k^* 가 A W_r‑수렴하여 최적 결합 자체가 연속적으로 변한다. 이는 최적 전송 문제의 해가 파라미터(마진) 변화에 대해 안정적임을 의미한다. 4. **초마르티게일 C‑단조성 원리** - 새로운 기하학적 개념인 “초마르티게일 C‑단조 집합” Γ⊂ℝ×𝒫_1 를 정의한다. Γ 가 C‑단조라면, 임의의 유한 컬렉션 { (x_i, p_i) }⊂Γ 와 대체 컬렉션 { (x_i, q_i) }⊂𝒫_1 가 조건 ∑p_i=∑q_i, ∑x_i p_i≤∑x_i q_i, 그리고 각 i 에 대해 ∫y p_i(dy)≤∫y q_i(dy) (i∈I_0) 혹은 = (i∈I_1) 를 만족할 때, ∑C(x_i,p_i)≤∑C(x_i,q_i) 가 성립한다. - Theorem 2.6 은 π∈Π_S(μ,ν) 가 최적이면 μ‑거의 거의 모든 x에 대해 π_x이 어떤 C‑단조 집합 Γ 위에 놓여 있음을, 반대로 π_x가 C‑단조 집합 위에 집중되면 π 가 WSOT 문제의 최적 해가 됨을 보인다. 이는 마팅게일 C‑단조성 원리를 초마르티게일 상황으로 일반화한 것으로, 비용이 연속·볼록이면 필요·충분 조건이 동시에 성립한다. - 또한, 비용이 단순히 c(x,y) 형태인 고전 초마르티게일 전송(SOT) 에 대해서도 동일한 단조성 원리(Corollary 2.7)를 도출한다. 5. **부록 및 보조 결과** - 부록에서는 초마르티게일 결합의 irreducible decomposition, 적응된 Wasserstein 위에서의 지역화 보조정리, WSOT 의 대안적 표현, 그리고 최적성에 대한 유한성 조건 등을 상세히 기술한다. **결론** 논문은 적응된 Wasserstein 위상(AW_r)을 핵심 도구로 삼아 초마르티게일 결합의 근사 가능성을 입증하고, 이를 통해 WSOT 문제의 가치 함수 연속성, 최적 결합의 수렴, 그리고 초마르티게일 C‑단조성이라는 기하학적 구조를 동시에 확보한다. 이러한 결과는 마팅게일 최적 전송 이론을 초마르티게일 제약까지 확장함으로써, 특히 비용이 조건부 분포에 의존하는 약한 전송 문제에 대한 이론적 토대를 제공한다.