Some reverse inequality in optimal mass transportation

技術要約：最適質量輸送におけるある逆不等式について

問題設定
本論文は、標準的な積分（または$L^1$）最適輸送コスト $C(\rho)$ によって、上限（または$L^\infty$）最適輸送コスト $C_\infty(\rho)$ を制御する問題に取り組んでいる。具体的には、以下の形式の「逆不等式」を調査している：
$$\omega(C_\infty(\rho)) \leq C(\rho)$$
ここで $\omega$ は、$t > 0$ に対して明示的な正の関数である。

先行研究（特に [3] および [14]）では、引力的コスト（距離とともにコストが増加する例：$c(x,y) = d(x,y)^p$）に対してこのような不等式が確立されているが、本論文は反発的コストに焦点を当てている。コスト関数は、ペアワイズ相互作用の和 $h(d(x_i, x_j))$ として定義される。ここで $h: [0, \infty) \to (0, \infty]$ は連続かつ非増加な関数である。主要なモデルケースとして、クーロン相互作用 $h(t) = 1/t$ が検討されている。この問題は、周辺分布が同一である場合（$\mu = \nu = \rho$）において特に重要であり、このシナリオでは反発的コストが自然に発生する。

手法
著者らは、完備可分な距離空間（ポーランド空間）$X$ 上のカントロヴィッチ緩和による最適輸送問題の枠組みの中で作業を進めている。彼らは、$N$ 個の周辺分布を持つ輸送プラン $\lambda \in \Pi(\rho)$ を考える。ここで $\Pi(\rho)$ は、すべての周辺分布が $\rho$ と等しい $X^N$ 上の確率測度の集合である。

核心となる手法は以下の通りである：

1. 集中解析（Concentration Analysis）: 点別集中度 $\kappa_\rho(\alpha) = \sup_{x \in X} \rho(B(x, \alpha))$ という概念を導入し、点同士が接近している領域の測度を分析する。
2. 集合の推定（Set Estimates）: コストの閾値に基づく集合（$B_B$）と、点間の最小距離に基づく集合（$B_\beta$）を定義する。著者らは、減少関数 $h$ の性質に基づき、これらの集合間の関係を確立しており、距離が小さいことは高いコストを意味することに注目している。
3. 測度の下限（Measure Lower Bounds）: もし測量 $\rho$ の集中度が臨界閾値（$1/N$）を超えるならば、いかなる輸送プラン $\lambda$ も、点が互いに近い集合に対して正の質量を割り当てなければならないことを証明する。具体的には、$\kappa_\rho(\alpha)$ を用いて $\lambda(B_{2\alpha})$ の下限を導出する。
4. 積分（Integration）: 「近い」構成の測度の下限と、コスト関数 $h$ の単調性を組み合わせることで、積分コスト $C(\rho)$ を用いて上限コスト $C_\infty(\rho)$ を下から抑える。

主な貢献と結果

• 一般的な逆不等式（定理 2.3）: 主要な結果は、$N$ 個の周辺分布に対する、上限コスト $C_\infty(\rho)$ を用いた積分コスト $C(\rho)$ の一般的な下限を与える。不等式は以下の通りである：
  $$C(\rho) \geq h\left(2h^{-1}\left(\frac{C_\infty(\rho)}{N(N-1)}\right)\right) \left[ N\kappa_\rho\left(h^{-1}\left(\frac{C_\infty(\rho)}{N(N-1)}\right)\right) - \frac{1}{N(N-1)} \right]$$
  この結果は、$h(0+) = +\infty$ である場合に、点別集中度 $\kappa(\rho) < 1/N$ であるという仮定の下で成立する。

• 2つの周辺分布への精緻化（$N=2$）: セクション3において、著者らは解析を $N=2$ に限定する。フレシェ・バウンド（Fréchet bounds）を用いることで、「近い」構成の測度の下限を改善し、より鋭い不等式を得る：
  $$C(\rho) \geq h\left(2h^{-1}\left(\frac{C_\infty(\rho)}{2}\right)\right) \left[ 2\kappa_\rho\left(h^{-1}\left(\frac{C_\infty(\rho)}{2}\right)\right) - 1 \right]$$

• 集中項の正値性: 重要な技術的ステップは、括弧内の項が厳密に正であることを保証することである。系 2.16（および $N=2$ の場合の系 3.5）は、集中関数の引数 $h^{-1}(\frac{C_\infty(\rho)}{N(N-1)})$ が常に十分に大きく、$\kappa_\rho(\cdot) > 1/N$ となることを証明している。これにより、不等式の妥当性が保証される。

• 一様な定数を持つ測量のクラス: 任意の測量に対して普遍的な定数 $C$ （$C(\rho) \geq C \cdot C_\infty(\rho)$ を満たすもの）は存在しないこと（例 1.3 による）を認めつつ、セクション4では、クラスの特性に依存する形でそのような定数が存在する特定の測量のクラスを特定している：

  • 一峰性等方測量（Unimodal Isotropic Measures）: 半分の質量を含む球の直径の逆数によって特徴付けられる、放射対称で一峰性かつ絶対連続な測量（例：ガウス分布、コーシー分布、ラプラス分布）について。著者らは、これらの測量において集中項がゼロから離れた値をとることを示し、次元には依存するが、特定の分散やスケールには依存しない定数 $C_\rho$ を導き出している。
  • 離散測量: 単一のアトムの質量が $\delta > 0$ 以上（かつ $1/2$ 未満）である離散測量について、$C(\rho) \geq \frac{\delta}{2} C_\infty(\rho)$ であることを証明している。

• 既存文献との比較: 著者らは、自身が導出した集中関数 $m(t)$ を、離散最適輸送における「トリム（trim）」プランから導かれる定数 $\alpha$（文献 [1] を参照）と比較している。彼らの一般的な枠組みが、これらの離散的なケースを包含しており、トリム最小化子の分解から導かれるものと同等以上に強力な境界を提供することを実証している。

意義と主張
本論文は、反発的コストを伴う最適輸送の逆不等式の研究を統一する一般的な枠組みを構築したと主張している。ワッサースタイン距離（引力的コスト）から、一般的な減少コスト関数へと移行することで、積分コストと上限コストがどのように関連するかについての理論的理解を拡張している。

その意義は以下の点にある：

1. 一般化: クーロン相互作用のようなモデルにおいて極めて重要な、反発的コストに対する逆不等式の手法を拡張したこと。
2. 明示的な依存関係: 測量 $\rho$ の集中特性に依存する、 $C$ と $C_\infty$ を関連付ける関数 $\omega$ の明示的な公式を提供したこと。
3. 統一: 集中に基づくアプローチが、既存の文献で研究されてきた特定のケース（離散測量や特定の引力的コストのシナリオ）を自然にカバーしつつ、反発的相互作用に関する新たな知見を提供していることを示したこと。

著者らは、測量のクラスに依存しない普遍的な定数の存在については慎重な姿勢を保っており、任意の測量に対してそのような定数が存在し得ないことを明記しているが、一峰性等方分布やアトムの質量が制限された離散測量のような重要なクラスにおいては、それが達成可能であることを示している。