A dimension-free interpolation of Caffarelli's contraction theorem

技術的概要：カッファレリの縮小定理の次元フリーな補間

問題提起
本論文は、$\mathbb{R}^n$ 上の 2 つの確率測度間のブレニエ写像（二次コストに対する最適輸送写像）の正則性に取り組む。具体的には、ソースおよびターゲット密度が多項式型密度と対数凹密度の間を補間する特定の測度の族に属する場合、輸送ポテンシャル $\nabla \phi$ の勾配に対する大域的リプシッツ推定を求める。

密度は以下のように定義される：
$$\rho_{U,p} = Z_{U,p}^{-1} \exp(-\Theta_p(U)), \quad \Theta_p(t) = p \log\left(1 + \frac{t}{p}\right)$$
ここで $p \in [n, +\infty]$ である。$p = +\infty$ のケースは、カッファレリの有名な縮小定理で研究された対数凹密度（$\Theta_\infty(t) = t$）に対応する。著者らは、パラメータ $d$ と $D$ が $n \le d \le D \le +\infty$ を満たすソース測度 $\rho_{V,d}$ をターゲット測度 $\rho_{W,D}$ へ押し進める輸送写像を考察する。

中心的な課題は、次元 $n$ および補間パラメータ $d$ と $D$ に対して一様に成り立つ、輸送ポテンシャルのヘッシアンに関する次元フリーな境界（$\|D^2\phi\|_{L^\infty}$）を確立することである。著者らおよび他の研究者（特に [5]）による先行研究は、多項式から多項式へのケース（$d=D < \infty$）に対する推定を提供したが、次元に対する指数関数的依存性を抱えていた。カッファレリの定理（$d=D=\infty$）は鋭い次元フリーな境界を提供したが、この鋭さを一様な定数で中間的な多項式領域へ拡張することは未解決の問題であった。

手法
著者らは、文献に見られる 2 つの異なる解析的アプローチを組み合わせる：

1. 最大値原理の議論：[5] のアプローチに従い、著者らはモンジュ・アンペール方程式と、ポテンシャルの 2 階微分に対する最大値原理を利用する。これは、2 階方向微分が最大値に達する点において方程式を分析することを含む。
2. 単調性と成長推定：[9]（ファティに着想を得た）のアプローチに従い、著者らは最適輸送写像の単調性性質と集中不等式を用いて、輸送写像自体（すなわち $|\nabla \phi|$ の境界）に対する定量的な成長境界を導出する。

核心的な技術的革新は、これら 2 つの視点の統合にある。著者らはまず、ポテンシャルのヘッシアンをポテンシャル $V$ と $W$ のヘッシアンおよび写像の勾配に関連付ける「2 パラメータ最大値原理」（補題 2.1）を導出する。次に、ファティの議論を通じて導出された Proposition 2.2 および 2.3 における $|\nabla \phi|$ に対する明示的な有限パラメータの成長推定を、この最大値原理の不等式に挿入する。

手法の重要な側面は、極限の慎重な扱いにある。$d, D \to \infty$ の極限において鋭いカッファレリの境界を回復するために、著者らは極限の順序が重要であることを示す：まず半径 $R$ を固定し、$D \to \infty$ および $d \to \infty$ とし、その後に $R \to \infty$ とする必要がある。この順序付けにより、定数が安定し、鋭い値に収束することが保証される。

主要な貢献と結果

1. 大域的次元フリー・ヘッシアン推定（定理 1.2）：
   本論文は、$d \le D$ である $\rho_{V,d}$ と $\rho_{W,D}$ 間のブレニエ写像に対する大域的リプシッツ境界を確立する。この境界は次元 $n$ およびパラメータ $d, D$ に対して一様である。

   • [5] に対する改善：$d=D < \infty$ のケースにおいて、この結果は次元 $d$ に対する指数関数的依存性を除去することで [5] の境界を改善する。
   • 構造：定数 $C_{glob}$ はポテンシャル $V$ と $W$ の構造的量（具体的にはヘッシアン境界 $C_V^{(2)}, c_W^{(2)}$ および勾配境界）に依存するが、$n$ には依存しない。

2. 局所化ヘッシアン推定（定理 1.3）：
   著者らは、固定された球 $B_R(0)$ 内のポテンシャルのヘッシアンに対する洗練された推定を証明する。この局所化境界は、その球内での輸送写像の成長を制御する定数（$R_{d,D}(R)$ および $G_{d,D}(R)$）を含む。

   • 安定性：これらの局所化定数は、$d, D \to +\infty$ の極限に対して安定である。
   • メカニズム：証明は、輸送写像による球 $B_R(0)$ の像を境界付ける「ファティ半径」$R_{d,D}(R)$ を定義することに依存しており、これにより最大値原理を制御された領域内で効果的に適用できることを保証する。

3. カッファレリの定理の回復（系 1.4 および 1.5）：
   $D \to +\infty$（多項式から対数凹へのケース）の極限をとり、続いて $d \to +\infty$ とすることで、著者らは鋭い定数とともにカッファレリの縮小定理を回復する。

   • 系 1.4：$D=+\infty$ かつ有限の $d$ のケースに対する境界を提供し、成長因子が消滅することを示す。
   • 系 1.5：特定の順序（$D \to \infty$、次に $d \to \infty$、そして $R \to \infty$）で極限をとることで、著者らは古典的結果を厳密に回復する：$f=e^{-V}$ および $g=e^{-W}$ であり、$D^2V \le C_V^{(2)}I$ かつ $D^2W \ge c_W^{(2)}I$ ならば、$\|DT\|_{L^\infty} \le \sqrt{C_V^{(2)}/c_W^{(2)}}$ となる。

意義と主張
本論文は、次元フリーな制御を維持しつつ、多項式型密度と対数凹密度の間を補間する統一的な枠組みを提供すると主張する。

• 一様性：主要な意義は推定の一様性にある。境界は次元 $n$ が増加しても劣化せず、補間パラメータに対して指数関数的に依存しない。
• 鋭さ：この手法により、次元依存性のために従来の多項式から多項式への推定では達成できなかったカッファレリの定理における鋭い定数の回復が可能となる。
• 頑健性：このアプローチは「極めて頑健」と記述されており、異なるソースおよびターゲットパラメータ（$d \le D$）を扱い、既知の結果を特殊ケースとして回復する（例えば、[5] の多項式から多項式へのケースおよびカッファレリの対数凹ケース）。

著者らは、制限 $d \le D$ が自然であると指摘する。もし $d > D$ ならば、輸送写像は無限遠で超線形成長を示す可能性があり、大域的リプシッツ境界を妨げる。本論文は、仮定によって要求される一般的な $C^{1,1}_{loc}$ 設定へ滑らかな最大値原理の結果を拡張するために、標準的な正則化議論で締めくくられる。