[論文レビュー] Embedding $S^n$ into $R^{n+1}$ with given integral Gauss curvature and optimal mass transport on $S^n$

Vladimir Oliker|ArXiv.org|Jan 15, 2007

Point processes and geometric inequalities参考文献 14被引用数 6

ひとこと要約

本稿は、ℝⁿ⁺¹内に所与の積分ガウス曲率を持つ閉じた凸超曲面を構成するアレクサンドロフの問題に対して、球面上の最適輸送に結びつけることで、変分的解法を提供する。主な貢献は、幾何的問題とカンタロヴィチ型最適輸送定式化との間に成立する双対性であり、線形計画法を用いた数値的解法を可能にするとともに、輸送理論を通じたガウス写像の新たな解釈をもたらす。

ABSTRACT

In his book on Convex Polyhedra (section 7.2), A.D. Aleksandrov raised a general question of finding variational statements and proofs of existence of polytopes with given geometric data. The first goal of this paper is to give a variational solution to the problem of existence and uniqueness of a closed convex hypersurface in Euclidean space with prescribed integral Gauss curvature. Our solution includes the case of a convex polytope. This problem was also first considered by Aleksandrov and below it is referred to as Aleksandrov's problem. The second goal of this paper is to show that in variational form the Aleksandrov problem is closely connected with the theory of optimal mass transport on a sphere with cost function and constraints arising naturally from geometric considerations.

研究の動機と目的

• 与えられた積分ガウス曲率を持つℝⁿ⁺¹内の閉じた凸超曲面の存在および一意性を、変分的証明によって示すこと。特に、凸多面体の場合を含む。
• アレクサンドロフの問題と球面上の最適輸送理論との深い関係を確立すること。
• 幾何的問題の変分的定式化が、幾何的制約から導かれるコスト関数を持つ、最適輸送問題の双対問題に対応することを示すこと。
• 輸送理論的定式化を活用することで、線形計画法を用いた凸曲面の数値的計算を可能にすること。
• 最適輸送理論の視点から、ガウス写像などの古典的幾何的概念の新たな幾何的解釈を提供すること。

提案手法

• 単位球面Sⁿ上の径数関数ρに関する変分最適化として、積分ガウス曲率を指定する問題を定式化する。
• 双対ポテンシャルℎとρを含むエネルギー関数𝒬[ℎ, ρ]を定義し、ガウス写像および支持条件から導かれる制約を設ける。
• 幾何的変分問題と、コスト関数c(x, N) = ⟨x, N⟩（x ∈ Sⁿ, N ∈ Sⁿ）を持つカンタロヴィチ型最適輸送問題との間に双対性を確立する。
• ガウス写像α_FがSⁿからSⁿへの写像であり、μ = σ(α_F(⋅))として誘導される押し出し測度μが、所与の測度μと一致することを用いる。
• 変分問題の最適解(ℎ̃, ρ̃)が、コスト関数ルール𝒞[𝛾] = ∫ c(x, N) d𝛾(x, N) を最大化する輸送計画𝛾̃ ∈ Γ(μ, σ)に対応することを証明する。
• 双対ギャップがゼロであることを示し、最適輸送問題の最適値と幾何的変分問題の最適値が等しいことを証明する。

実験結果

リサーチクエスチョン

• RQ1 アレクサンドロフの問題である、所与の積分ガウス曲率を持つ凸超曲面の構成が、一意性を事前に仮定せずに変分的原理によって解けるか？
• RQ2 Sⁿ 上のガウス曲率の指定問題は、球面上の最適輸送理論とどのように関係しているか？
• RQ3 幾何的問題の最適輸送定式化におけるコスト関数と制約の正確な形は何か？
• RQ4 最適輸送定式化に基づいて、線形計画法を用いて解を数値的に計算できるか？
• RQ5 最適輸送理論の視点から見ると、ガウス写像や法線ベクトルはどのような幾何的洞察をもたらすか？

主な発見

• 本稿は、アレクサンドロフの元来の非変分的アプローチとは異なり、存在の証明に一意性を前提としない変分的解法を確立した。
• 解が、コスト関数c(x, N) = ⟨x, N⟩（xとNは球面上の点）を持つSⁿ上での双対最適輸送問題に等価であることが示された。
• 最適輸送計画𝛾̃は、解の超曲面のガウス写像に対応し、その台は⟨x, N⟩ ≥ 0を満たす集合上にある。
• 幾何的変分問題とカンタロヴィチ輸送問題との間の双対性は正確である：両問題の最適値は等しい。
• この関係により、μが原子的測度である場合に限っても、最適輸送問題が有限次元線形計画問題に還元されることから、与えられた積分ガウス曲率から凸多面体を線形計画法で数値的に計算可能である。
• 理論により、ガウス写像は「経済学的」解釈が可能である：各法線方向Nは、xからNへの質量輸送を表し、コスト⟨x, N⟩は幾何的整合性を反映する。