[論文レビュー] Statistical mechanics of permanents, real-Monge-Ampere equations and optimal transport

Robert J. Berman|arXiv (Cornell University)|Feb 17, 2013

Geometry and complex manifolds参考文献 31被引用数 11

ひとこと要約

本稿は、$\times^n$ 上の $\beta$-変種恒等的点過程を用いた統計力学的枠組みを導入し、実Monge-Ampère方程式と第二境界条件の解を構成する。$N$ が大きくなる極限において、これらの過程の経験的測度は、確率的に指数的に決定的測度に収束し、そのポテンシャルがMonge-Ampère方程式を満たす。これにより、与えられた凸体 $P$ への最適輸送写像の確率的構成が得られる。この手法により、$N$ 粒子系を通じて解と最適輸送写像の明示的積分表現が確立される。

ABSTRACT

We give a new probabilistic construction of solutions to real Monge-Ampère equations in R^n satisfying the second boundary value problem with respect to a given target convex body P) which fits naturally into the theory of optimal transport. More precisely, certain beta-deformed permanental (bosonic) N-particle point processes are introduced and their empirical measures are, in the large N-limit, shown to converge exponentially in probability to a deterministic measure whose potential satisfies the real Monge-Ampère equation in question. In particular, this allows us to represent the solution as a limit, as N tends to infinity of explicit integrals over the N-fold products of R^n and it also leads to explicit limit formulas for optimal transport maps to the convex body P. Connections to the study of Kähler-Einstein metrics on complex algebraic varieties, and in particular toric ones, are briefly discussed.

研究の動機と目的

• 実Monge-Ampère方程式と第二境界条件を満たす解を、$\times^n$ 上で統計力学的手法により解くこと。
• 確率的構成を通じて、これらの方程式の解と最適輸送理論を結びつけること。
• 経験的測度としての$N$-粒子点過程の明示的 $N$-極限表現を提供すること。
• 実Monge-Ampère方程式と複素幾何的構造（特にトーリック多様体からの押し出し）との関係を確立すること。
• 恒等的過程の極限挙動から、最適輸送写像の明示的公式を導出すること。

提案手法

• $\mathbb{R}^n$ 上に、目標凸体 $P$ を持つ $\beta$-変種恒等的（ボソン的）$N$-粒子点過程を導入すること。
• $N$-粒子系に関連するギブス測度を、カーネル行列の恒等的の $\beta$-変種を用いて定義すること。
• 大偏差原理を用いて、点過程の経験的測度の $N$ が大きい極限を分析すること。
• 極限測度が実Monge-Ampère方程式 $MA(\phi) = e^{\beta(\phi - \phi_0)}\mu_0$ を満たし、$\nabla\phi$ が $\mathbb{R}^n$ を $P$ の内部に微分同相写像することを示すこと。
• $\mathbb{C}^{*n}$ 上の行列式点過程の $\mathbb{R}^n$ への押し出しを用いて、実解と複素多重ポテンシャル論の関係を確立すること。
• 変分的およびポテンシャル論的議論により、経験的測度が確率的に指数的に解測度に収束することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 $N$-粒子系による確率的構成は、$\mathbb{R}^n$ 上の実Monge-Ampère方程式と第二境界条件の解をもたらすか。
• RQ2 恒等的点過程の $N$ が大きい極限は、凸体 $P$ への最適輸送写像とどのように関係するか。
• RQ3 これらの点過程の極限測度とトーリック多様体上の複素Monge-Ampère方程式との関係は何か。
• RQ4 Monge-Ampère方程式の解は、$\mathbb{R}^n$ の $N$ 重積上の明示的積分の極限として表現可能か。
• RQ5 $\beta$-変種は、極限測度の収束性と安定性を保証するために果たす役割は何か。

主な発見

• $\beta$-変種恒等的 $N$-粒子点過程の経験的測度は、$N \to \infty$ のとき、確率的に指数的に決定的測度に収束する。
• 極限測度は実Monge-Ampère方程式 $MA(\phi) = e^{\beta(\phi - \phi_0)}\mu_0$ を満たし、$\nabla\phi: \mathbb{R}^n \to P$ は $P$ の内部に微分同相写像である。
• Monge-Ampère方程式の解 $\phi$ は、$\mathbb{R}^n$ の $N$ 重積上の明示的積分の極限として表現され、構成的公式が得られる。
• $\mu_0$ から $P$ 上の正規化されたLebesgue測度 $\lambda_P$ への最適輸送写像は $T = \nabla\phi$ で与えられ、$\phi$ は点過程ポテンシャルの極限として生じる。
• この構成は複素幾何と関連している：極限実測度は、$\mathbb{C}^{*n}$ 上の複素Monge-Ampère測度の押し出しであり、特に $P$ が有理的多面体である場合に顕著である。
• ストークス型の議論と近似を用いて、実Monge-Ampère作用素の比較原理と支配原理を確立し、解の一意性と安定性を保証する。