[论文解读] 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 通过最优传输理论的视角，对高斯映射与法向量进行解释时，会涌现出哪些几何洞见？

主要发现

• 本文建立的变分解法无需预先假设唯一性即可证明存在性，这与亚历克桑德罗夫原始的非变分方法形成对比。
• 该解被证明等价于球面Sⁿ上的对偶最优传输问题，代价函数为c(x, N) = ⟨x, N⟩，其中x与N均为球面上的点。
• 最优传输计划𝛾̃对应于解超曲面的高斯映射，其支撑集位于⟨x, N⟩ ≥ 0的集合中。
• 几何变分问题与柯尔莫哥洛夫传输问题之间的对偶性是精确的：两个问题的最优值相等。
• 该联系使得可通过线性规划实现从给定积分高斯曲率对凸多面体的数值计算，因为当μ为原子测度时，传输问题可简化为有限维线性规划。
• 该理论为高斯映射提供了一种“经济学式”的解释：每个法向方向N对应于从x到N的质量传输，代价⟨x, N⟩反映了几何对齐程度。