정규화 최적 수송의 희소성 및 균일 정규성

초록

본 논문은 1차원 이하의 다항식 정규화와 엔트로피 정규화를 적용한 이차 최적 수송 문제에 대해, 비정규화 최적 수송 지도와 케인턴리시 잠재함수가 갖는 bi‑C^{1,α} 정규성을 가정하고, 정규화 파라미터 ε에 독립적인 내부 Lipschitz 및 gradient Lipschitz 추정치를 얻는다. 특히, 하위 2차( p<2 ) 정규화에서는 전역적인 C¹·C² 추정이 가능함을 보이며, 이를 통해 정규화된 전송 지도와 잠재함수가 비정규화 해에 C^{0,1‑}·C^{1,1‑} 로 수렴함을 증명한다. 핵심은 일반적인 볼록·초선형 정규화 항에 대해 지원 집합의 크기를 정밀히 제한하는 새로운 희소성 경계이며, 이는 기존 결과보다 강력하고 ε‑균일적인 편향 추정으로 이어진다.

상세 분석

논문은 먼저 (ROT)라 불리는 정규화된 이차 최적 수송 문제를 정의하고, 정규화 항 h가 충분히 부드럽고 엄격히 볼록하며 초선형 성장(super‑linear) 조건을 만족하면 이 문제는 엄격히 볼록해진다. 특히 h_p(z)= (|z|^p−1)/p−1 (1≤p≤2)와 엔트로피 h₁(z)=z log z 를 주요 사례로 삼는다. 저자들은 기존 문헌에서 정규화된 최적 수송 플랜이 전역적으로 희소성을 보인다는 결과가 제한된 경우에만 알려졌던 반면, 여기서는 일반적인 h에 대해 지역적인 지원 크기 경계를 도출한다. 핵심 정리는 정규화 파라미터 ε와 차원 d, 그리고 정규화 차수 p에 따라 임계 길이 R_c≈ε^{2/(d(p−1)+2)} 를 정의하고, R>R_c 일 때 플랜의 지원이 “직선 근사” b(x)와 비교해 O( max{E^{1/2},E^{1/(d+2)},τ(ε)/R } ) 수준으로 제한됨을 보인다. 여기서 E는 플랜의 평균 제곱 편차, τ(ε)≈ε^{2/(d(p−1)+2)} 은 정규화에 의해 발생하는 스케일이다. 이 결과는 사이클리컬 모노톤시티와 L^∞‑경계 기법을 결합해 얻으며, 기존의 1차원 혹은 완전 2차 정규화 전용 증명보다 훨씬 일반적이다.

다음 단계에서는 이러한 지원 경계를 이용해 Campanato 반복을 수행한다. 정규화된 플랜을 “준최소화자”로 해석하고, 큰 스케일(R>R_c)에서는 ε‑독립적인 Lipschitz 추정이 가능함을 보인다. 작은 스케일(R<R_c)에서는 정규화 항이 지배적이므로, (h′)^{-1} 의 구조를 활용해 전송‑유사 지도 T_ε의 미분이 존재하고, p<2 일 때는 실제 C¹ 정규성을 얻는다. 특히, T_ε는 Brenier 형태 T_ε(x)=x−½∇f_ε(x) 로 표현되며, ∇f_ε의 2차 미분이 ε‑독립적인 상수 C 로 제한된다. 이는 잠재함수 f_ε와 g_ε가 각각 C² (p<2) 혹은 C^{1,α} (p=2) 정규성을 갖는 것을 의미한다.

마지막으로, 위의 정규성 결과를 이용해 ε→0 일 때 T_ε와 (f_ε,g_ε)가 비정규화 해인 T와 (f,g) 로 C^{0,1‑}_loc·C^{1,1‑}_loc 수렴함을 증명한다. 이는 기존의 에너지 수렴이나 Γ‑수렴 결과보다 강력한 정규성 기반 수렴이며, 수치적 알고리즘(예: Sinkhorn)에서 ε를 작게 잡아도 해의 형태가 급격히 변하지 않음을 이론적으로 뒷받침한다. 전체적으로 논문은 정규화된 최적 수송의 “희소성 → 균일 정규성 → ε‑균일 수렴”이라는 흐름을 체계적으로 구축했으며, 특히 ε‑독립적인 Lipschitz 추정과 지원 크기 경계가 새로운 기술적 핵심이다.