Sparsity and uniform regularity for regularised optimal transport

문제 정의
본 논문은 정규화된 최적 운송(Regularised Optimal Transport, ROT) 문제의 최소화 데이타(minimisers)의 성질을 조사하며, 특히 이차(quadratic) 항 또는 엔트로피(entropic) 항에 의해 정규화된 이차 최적 운송에 초점을 맞춘다. 주요 목적은 정규화 매개변수 $\varepsilon$에 독립적인 운송 유사 사상(transport-like map) 및 관련 포텐셜(potentials)에 대한 균등 정규성 추정치(uniform regularity estimates)를 확립하는 것이다.

저자들은 정규화된 운송의 정규성 결과가 기존 문헌에서 $\varepsilon$에 지수적으로 의존하거나(예: 엔트로피 설정), $p=2$와 같은 특정 사례로 제한되는 공백을 다룬다. 엔트로피 정규화는 매끄러움(smoothness)으로 잘 알려져 있으나, 전 영역에 걸친 지지 집합(full support)으로 인해 수치적 불안정성을 초래한다. 반면, 하위 이차 다항식 정규화($p \in (1, 2]$)는 희소한 지지 집합(sparse support)을 제공하지만, $\varepsilon$에 대해 균등한 포괄적 해석적 정규성 이론이 부족하다. 본 논문은 비-정규화된 운송 사상이 bi-$C^{1,\alpha}$-정규적이라는 가정하에, 정규화된 운송 유사 사상 $T_\varepsilon$와 포텐셜 $f_\varepsilon, g_\varepsilon$가 $\varepsilon \to 0$일 때 유계(bounded)로 유지되는 내부 립시츠(interior Lipschitz) 및 고차 추정치를 만족함을 증명하는 것을 목표로 한다.

방법론
저자들은 변분법(variational methods)과 운송 플랜(transport plans)의 구조적 성질을 결합한 다중 스케일 분석 접근법을 사용한다:

1. 에너지 근접성 및 준최소성(Energy Closeness and Quasi-Minimality): 증명은 정규화된 문제의 에너지가 특정 $\varepsilon$ 및 차원 $d$에 의존하는 수렴율을 가지며 이차 운송 에너지에 근접함을 확립하는 것으로 시작된다. 이를 통해 정규화된 최소화 데이타를 이차 운송 문제의 준최소자(quasi-minimisers)로 취급할 수 있다.
2. 캄파노 반복(Campanato Iteration, 대규모 스케일): 임계 길이 $R_c$보다 큰 스케일에 대해, 저자들은 최적 운송의 변분적 접근법에서 채택된 캄파노 반복 스킴을 활용한다. 이는 비-정규화된 문제로부터의 정규성 정보를 임계 스케일까지 전파한다.
3. 임계 스케일 분석: 핵심 구성 요소는 $R_c \approx \varepsilon^{\frac{2}{d(p-1)+2}}$인 임계 스케일을 도출하는 것이다. 이 스케일 아래에서는 정규화 항이 지배적이다. 저자들은 정규화 함수 $h$의 특정한 성질을 사용하여 $R_c$보다 작은 스케일에서의 운송 유사 사상 $T_\varepsilon$(운송 플랜의 가중 평균으로 정의됨)의 구조를 분석한다.
4. 지지 집합 경계 및 단조성(Support Bounds and Monotonicity): 핵심적인 기술적 기여는 정규화된 운송 플랜의 지지 집합 크기에 대한 날카로운 국소적 경계(sharp local bounds)를 도출하는 것이다. 이는 정규화된 운송에 적응된 일반적인 단조성 원리(순환 단조성)와 국소적 $L^\infty$ 경계에 기초한다. 이러한 경계는 정규화된 운송 플랜의 "긴 궤적(long trajectories)"을 제어하는 데 사용되며, 이는 정규성 추정에 필수적이다.
5. 아핀 불변성(Affine Invariance): 저자들은 문제를 정규화하기 위해 아핀 좌표 변환을 사용하여, 도메인 전체에 걸쳐 국소적 추정치를 균등하게 적용할 수 있도록 한다.

주요 기여 및 결과

• 균등 정규성 추정치: 주요 결과(정리 3)는 만약 비-정규화된 운송 사상 $T$가 bi-$C^{1,\alpha}$-정규적이라면, 정규화된 운송 유사 사상 $T_\varepsilon$가 $\varepsilon$에 독립적인 내부 립시츠 추정치를 만족함을 확립한다.
  • 엄격한 하위 이차 정규화($p < 2$)의 경우, $T_\varepsilon$는 유계인 $C^1$임을 보인다.
  • 엔트로피 정규화($p=1$)의 경우, 포텐셜이 유계인 $C^2$임을 보인다.
  • 이러한 결과는 $h'(0)=0$을 만족하는 일반적인 볼록하고 초선형(superlinear)인 정규화 항에 대해 성립한다.
• 지지 집합 희소성 및 편향 경계(Support Sparisity and Bias Bounds): 본 논문은 정규화된 최소화 데이타의 지지 집합에 대한 국소적 경계를 도출한다(정리 6). 정규화된 운송 플랜의 지지 집합은 $p > 1$일 때 희소하며, 비-정규화된 운송 사상으로부터의 편차는 $\varepsilon$의 함수로 유계됨을 증명한다. 구체적으로, 지지 집합의 확산(spread)은 $\varepsilon^{\frac{2}{d(p-1)+2}}$ 차수이다.
  • 이는 $|y - T(x)|$가 $x$가 지지 집합의 경계 근처에 있지 않는 한 작다는 전역적 편향 경계(global bias bound, 부리 8)로 이어진다.
  • 저자들은 엔트로피 정규화($p=1$)의 경우 $h'(0) \neq 0$이며 지지 집합이 전체 영역(full support)을 가진다는 점을 언급하며, 이는 알려진 결과와 일치한다.
• 수렴 결과: 균등 추정치의 결과로서, 본 논문은 정규화된 운송 유사 사상이 $C^{0,1-}_{loc}$에서, 그리고 포텐셜이 $C^{1,1-}_{loc}$에서 비-정규화된 운송 사상으로 수렴함을 증명한다(부리 5).
• 기존 문헌의 개선: 저자들은 자신들의 전역적 편향 경계가 이차 정규화($p=2$)에 관한 기존 문헌(특히 [35])에서 발견된 최선의 결과보다 개선되었음을 명시한다.

의의 및 주장
본 논문은 자신의 추정치가 **정규화 매개변수 $\varepsilon$에 대해 균등하다(uniform in $\varepsilon$)**고 주장하며, 이는 특히 하위 이차 다항식 정규화에 대해 기존 문헌에서 일반적으로 얻기 어려운 특성이다. 저자들은 자신의 접근 방식이 엔트로피 정규화와 다항식 정규화 모두를 위한 통합된 프레임워크를 제공한다고 강조한다.

정규화된 지지 집합 크기에 대한 날카로운 국소적 경계의 도출은 독립적인 관심사로서 제시되는데, 이는 전역적 편향 경계를 함의하며 정규화된 영역과 비-정규화된 영역 사이의 전이를 명확히 하기 때문이다. 저자들은 자신들의 전역적 경계가 모든 영역에서 반드시 최적(sharp)은 아닐 수 있지만, 이차 정규화에 대한 기존 결과보다 개선된 결과임을 겸손하게 언급한다. 수렴 결과는 정규화된 운송 플랜의 안정성에 대한 엄밀한 근거를 제공함으로써 응용 분야에 특히 유의미하다고 강조된다.

본 연구는 비-정규화된 운송 사상이 bi-$C^{1,\alpha}$-정규적이라는 가정에 의존하며, 이 조건은 예를 들어 측도의 지지 집합이 볼록할 때 충족된다([6] 인용). 본 논문은 새로운 수치 알고리즘이나 실험적 검증을 제안하기보다는, 정규화된 운송 방법의 안정성과 수렴을 뒷받침하는 해석적 토대에 집중한다.