Green--Wasserstein Inequality on Compact Surfaces

この論文は、コンパクトな連結な 2 次元リーマン多様体において、非対角グリーン項を再正規化せずに保持しつつ 2 次元グリーン・ワッサーシュタイン不等式から$\sqrt{\log n}$因子を除去することは、$O(n^{-1/2})$の剰余項を持つ一様な不等式として不可能であることを示している。

要約

この論文は、数学の「最適輸送」という分野における、非常に興味深く、かつ少し悲しい（しかし重要な）発見について書かれています。

一言で言うと、「2 次元の平らな世界（例えば球面やドーナツの表面）で、点々を均等に散らすとき、ある『魔法の計算式』を使えば、もっと簡単に精度を上げられるのではないか？」という問いに対して、「残念ながら、その魔法は存在しない」と証明した論文です。

以下に、専門用語を排し、日常の例えを使ってわかりやすく解説します。

---

1. 舞台設定：均等な点の配置

想像してください。あなたが広大なキャンバス（2 次元の曲面）の上に、$n$ 個の黒い点（ドット）を配置しようとしています。
目標は、**「どの場所も、点の密度が均等になるように」**配置することです。

• 現実の課題: 点の数が少ないときは、どうしても偏りが生まれます。
• 数学の目標: 「点の配置がどれだけ均等か」を数値（$W_2$ という距離）で測り、その誤差を「点の数 $n$」を使って予測したいのです。

2. 問題の核心：「緑のエネルギー」という魔法の杖

以前、ある数学者（シュタイナースベルガー氏）が、この誤差を計算する便利な「魔法の杖」を見つけました。それは**「グリーン関数（Green function）」**という、点と点の距離や位置関係を表す特別な計算式です。

• 3 次元以上の世界: この魔法の杖を使えば、誤差は「$1/\sqrt{n}$」くらいで収まることがわかりました。
• 2 次元の世界（紙や球面）: ここが問題です。2 次元では、この魔法の杖を使うと、誤差の計算式に**「$\sqrt{\log n}$（ルート・ログ・エヌ）」という余計な因子**がついてしまいます。
  • 例えるなら、3 次元では「$100$個の点で$1%$の誤差」で済むのに、2 次元では「$100$個の点でも$1% \times \text{少しの余計な重み}$」になってしまうのです。

シュタイナースベルガー氏の問い：

「2 次元でも、この『余計な重み（$\sqrt{\log n}$）』を取り除いて、3 次元と同じようにきれいな式（$1/\sqrt{n}$）にできないだろうか？でも、元の『グリーン関数』という魔法の杖はそのまま使いたいんだが。」

3. この論文の結論：「それは不可能です」

著者のマヤ・グウォズドズ氏は、この問いに対して**「いいえ、それは不可能です」**と答えました。

なぜ不可能なのか？（簡単な実験のイメージ）

1. ランダムな配置を試す:
   点々を完全にランダムに（サイコロを振るように）配置したとします。
2. 魔法の杖の反応:
   ランダムに配置すると、点と点の距離はバラバラになります。このとき、「グリーン関数」を計算すると、その値（エネルギー）は、期待値の周りで大きく揺らぎます。
3. 矛盾の発見:
   もし「余計な重み（$\sqrt{\log n}$）を取り除いた魔法」が存在したと仮定すると、数学的な計算上、ランダムな配置の誤差が「$1/\sqrt{n}$」という非常に速い速度で収まらなければなりません。
   しかし、実際には、ランダムな配置の誤差は**「$\frac{\log n}{n}$」**という、もっとゆっくりな速度でしか収まらないことが、別の研究者（アンブロシオとグラウド）によって証明されていました。

結論：
「余計な重み（$\sqrt{\log n}$）」を取り除いて式をシンプルにしようとすると、「ランダムに点を置いたときの実際の誤差」と「魔法の式が予測する誤差」の間に、埋められない大きなギャップが生まれてしまうのです。

つまり、「グリーン関数」という魔法の杖をそのまま使いながら、2 次元の誤差を 3 次元と同じようにきれいに予測することは、物理的に（数学的に）不可能だということです。

4. 重要なポイント：「魔法」は捨てないで

この論文は、「2 次元で均等に点を配置するのが難しい」と言っているわけではありません。また、「$1/\sqrt{n}$ という精度が達成できない」と言っているわけでもありません。

• 何が言いたいのか？
  「余計な重み（$\sqrt{\log n}$）」を無視して、元の「グリーン関数」だけを頼りにする単純な式は使えない、ということです。
• どうすればいい？
  もし 2 次元で高精度な式が欲しいなら、グリーン関数を「修正（再正規化）」するか、あるいは別のアプローチを取る必要があります。

まとめ

この論文は、**「2 次元の世界では、点の配置の誤差を計算する際に、どうしても『$\sqrt{\log n}$』という小さな邪魔な要素を無視できない」**ということを、厳密に証明したものです。

• 3 次元以上: 点の配置は比較的単純で、きれいな式が成り立つ。
• 2 次元: 点と点の相互作用が複雑すぎて、単純な式には収まらない「ノイズ（$\sqrt{\log n}$）」が必ずついて回る。

著者は、この「邪魔なノイズ」を無理やり消そうとすると、数学の世界が矛盾してしまうことを、確率論と統計の道具を使って見事に暴き出しました。これは、数学的な「限界」を明らかにした、とても美しい研究です。

技術概要

以下は、Maja Gwózdź による論文「Green–Wasserstein Inequality on Compact Surfaces」の技術的な要約です。

1. 問題の背景と定義

対象空間:
境界を持たないコンパクト連結な 2 次元リーマン多様体 $(M, g)$。
$dx$ は正規化された体積測度（$dx = \text{vol}(M)^{-1} d\text{vol}$）、$d_g$ は誘導された距離です。

主要な定義:

• 経験測度: 点 $x_1, \dots, x_n \in M$ に対して $\mu_n := \frac{1}{n} \sum_{i=1}^n \delta_{x_i}$。
• 平均ゼログリーン関数 $G(x, y)$: ラプラシアン $-\Delta$ の対称な平均ゼログリーン関数。対角線上 ($x=y$) で対数特異性 ($-\frac{1}{2\pi}\log d_g(x,y)$) を持ち、それ以外は滑らかです。
• Wasserstein 距離 $W_2$: 2 乗 Wasserstein 距離。

Steinerberger の不等式と未解決問題:
Steinerberger [5, 6] は、$d \ge 3$ の次元において、Wasserstein 距離 $W_2(\mu_n, dx)$ が、点の配置に依存する「グリーンエネルギー項」と $n^{-1/d}$ のオーダーの剰余項で上から抑えられることを示しました。
2 次元 ($d=2$) の場合、以下の不等式が知られています：
$$W_2(\mu_n, dx) \lesssim_M \frac{1}{n} \left| \sum_{i \neq j} G(x_i, x_j) \right|^{1/2} + \begin{cases} \sqrt{\frac{\log n}{n}} & (d=2) \\ n^{-1/d} & (d \ge 3) \end{cases}$$
Steinerberger の問い (Problem 1):
2 次元において、剰余項の $\sqrt{\log n}$ という因子を除去し、単に $1/\sqrt{n}$ に置き換えることは可能か？
すなわち、任意の $n$ と点集合 $\{x_i\}$ に対して、ある定数 $C_M$ が存在し、
$$W_2(\mu_n, dx) \le C_M \left( \frac{1}{\sqrt{n}} + \frac{1}{n} \left| \sum_{i \neq j} G(x_i, x_j) \right|^{1/2} \right)$$
が成り立つか？

2. 主要な結果 (Main Result)

定理 1 (The $\sqrt{\log n}$ remainder):
否定的な回答。 2 次元コンパクト多様体において、上記の不等式（$\sqrt{\log n}$ を $1$に置き換えた形）が成り立つような普遍定数$C_M$ は存在しない。
つまり、非正規化された対角線外のグリーンエネルギー項 $\sum_{i \neq j} G(x_i, x_j)$ を保持したまま、剰余項を $O(n^{-1/2})$ に改善することは不可能である。2 次元特有の $\sqrt{\log n}$ の因子は本質的に必要である。

3. 証明の手法と論理構成

証明は背理法を用いて行われます。

ステップ 1: 仮定と確率論的評価

• 仮定：ある定数 $C_M$ が存在して、任意の点配置で不等式が成り立つと仮定する。
• この不等式を、$M$ 上の一様分布 $dx$ から独立同分布 (i.i.d.) に選んだランダムな点列 $X_1, \dots, X_n$ に適用する。
• 不等式を 2 乗し、期待値をとる。ここで、$S_n := \sum_{i \neq j} G(X_i, X_j)$ と置く。
• 補題 1: グリーン関数 $G$ は $L^2(M \times M)$ に属する（対数特異性の積分可能性を示す）。
• 補題 2 & 3: $S_n$ の 1 次モーメントは 0 ($E[S_n]=0$)、2 次モーメントは $E[S_n^2] = 2n(n-1)\sigma^2$ ($\sigma^2 = \|G\|_{L^2}^2$) となることを示す。
• これらを組み合わせると、仮定の下では $E[W_2(\mu_n, dx)^2] \le \frac{C^*}{n}$ （$C^*$ は $n$ に依存しない定数）が導かれる。

ステップ 2: 既知の漸近挙動との矛盾

• Ambrosio–Glaudo [1] による半離散マッチング問題の漸近結果を引用する。
• 彼らの定理によると、コンパクトな閉曲面において、$n \to \infty$ のとき、
  $$E[W_2(\mu_n, dx)^2] \sim \frac{\text{vol}(M)}{4\pi} \frac{\log n}{n}$$
  となる（正確には、$\frac{\log n}{n}$ が支配的な項であり、誤差項はより小さい）。
• 具体的には、十分大きな $n$ に対して $E[W_2(\mu_n, dx)^2] \ge \frac{\text{vol}(M)}{8\pi} \frac{\log n}{n}$ が成り立つ。

ステップ 3: 矛盾の導出

• ステップ 1 で得られた上界 $O(1/n)$ と、ステップ 2 で得られた下界 $O(\frac{\log n}{n})$ を比較する。
• $n \to \infty$ で $\log n \to \infty$ であるため、$\frac{\log n}{n} \le \frac{C}{n}$ がすべての $n$ で成り立つことは不可能である。
• したがって、初期の仮定（$\sqrt{\log n}$ を除去できるという仮定）は誤りである。

4. 重要な技術的ポイント

1. グリーン関数の $L^2$ 性: 2 次元におけるグリーン関数の対数特異性は、$L^1$ には属するが、$L^2$ にも属する（$\int (\log r)^2 r dr$ が収束するため）。この性質が、$S_n$ の 2 次モーメントの有限性を保証し、確率論的評価を可能にしています。
2. U-統計量の性質: 和 $S_n$ は、核関数 $G$ の平均が 0 であるため、退化した U-統計量 (degenerate U-statistic) として振る舞います。これにより、交叉項の期待値が 0 となり、分散の評価が簡潔に行えます。
3. Ambrosio–Glaudo の結果の適用: 決定論的な点配置ではなく、ランダムな点配置における期待値の漸近挙動を利用することで、任意の点配置に対する普遍的不等式の不可能性を示しました。

5. 意義と考察

• 2 次元の特殊性の明確化: この結果は、2 次元における Wasserstein 距離とポテンシャル理論（グリーン関数）の関係において、$\sqrt{\log n}$ の因子が本質的であることを示しています。これは、高次元 ($d \ge 3$) とは異なる振る舞いを示す重要な事実です。
• 再正規化の必要性: 定理 1 は、「非正規化されたグリーンエネルギー項」を保持したままの不等式形式に対してのみ否定しています。もしグリーンエネルギー項を何らかの方法で再正規化 (renormalized) すれば、あるいは特定の決定論的な点配置（格子点など）に限定すれば、$O(n^{-1/2})$ のレートが得られる可能性は残されています。
• 数学的貢献: 確率論的な 2 次モーメント評価と、幾何学的なマッチング問題の漸近解析を組み合わせることで、不等式の最適性を証明する新しいアプローチを示しました。

結論として、この論文は Steinerberger が提起した 2 次元グリーン–ワッサーシュタイン不等式における剰余項の改善可能性に対する疑問に対し、「不可能である」という明確な否定解答を与え、2 次元幾何における確率論的測度の収束速度の限界を解明しました。