[论文解读] Alexandrov's theorem, weighted Delaunay triangulations, and mixed volumes

Alexander I. Bobenko, Ivan Izmestiev|arXiv (Cornell University)|Sep 15, 2006

Computational Geometry and Mesh Generation参考文献 13被引用 4

一句话总结

本文通过在广义凸多面体上使用总标量曲率泛函（Regge作用量）对Alexandrov定理给出了构造性证明，利用广义Alexandrov-Fenchel不等式证明其非退化性。关键成果是提出了一种新颖的算法构造方法，从给定的边界度量重建凸多面体，该方法通过Hessian分析与多面体曲面上的加权Delaunay三角剖分，实现了存在性与唯一性。

ABSTRACT

We present a constructive proof of Alexandrov's theorem regarding the existence of a convex polytope with a given metric on the boundary. The polytope is obtained as a result of a certain deformation in the class of generalized convex polytopes with the given boundary. We study the space of generalized convex polytopes and discover a relation with the weighted Delaunay triangulations of polyhedral surfaces. The existence of the deformation follows from the non-degeneracy of the Hessian of the total scalar curvature of a positively curved generalized convex polytope. The latter is shown to be equal to the Hessian of the volume of the dual generalized polyhedron. We prove the non-degeneracy by generalizing the Alexandrov-Fenchel inequality. Our construction of a convex polytope from a given metric is implemented in a computer program.

研究动机与目标

• 提供Alexandrov关于给定边界度量下凸多面体存在性与唯一性的构造性证明。
• 建立广义凸多面体与多面体曲面上加权Delaunay三角剖分之间的联系。
• 证明正曲率广义凸多面体上总标量曲率泛函的Hessian非退化性。
• 将Alexandrov-Fenchel不等式推广至多面体曲面的离散设定，以支持非退化性结果。
• 在计算机程序中实现该构造算法，以实现实际计算。

提出的方法

• 将广义凸多面体建模为通过在边界曲面的测地三角剖分的三角形上粘贴锥体构成的单纯复形。
• 用一对 (T, r) 表示每个广义多面体，其中 T 为三角剖分，r_i 为锥体侧边的长度。
• 将总标量曲率泛函定义为Regge作用量：∑ℓ_e κ_e，其中 ℓ_e 为边长，κ_e 为边 e 处的角亏。
• 证明总标量曲率泛函的Hessian等于其对偶广义多面体体积的Hessian。
• 通过将Alexandrov-Fenchel不等式推广至多面体曲面的设定，证明Hessian的非退化性。
• 利用非退化性，通过标量曲率泛函的梯度流，从给定度量构造一条形变路径至凸多面体。

实验结果

研究问题

• RQ1 能否利用几何泛函对Alexandrov关于凸多面体的存在性与唯一性定理给出构造性证明？
• RQ2 广义凸多面体与多面体曲面上的加权Delaunay三角剖分之间存在何种关系？
• RQ3 总标量曲率泛函的Hessian如何与对偶多面体的几何相关？
• RQ4 能否将Alexandrov-Fenchel不等式推广至多面体曲面的离散设定，以确保非退化性？
• RQ5 是否存在一种算法方法，可从其内在边界度量重建凸多面体？

主要发现

• 总标量曲率泛函（Regge作用量）在广义凸多面体空间上是严格凸的，确保存在唯一极小化子。
• 总标量曲率泛函的Hessian是非退化的，这意味着存在唯一形变路径可导向凸多面体。
• 总标量曲率的Hessian等价于其对偶广义多面体体积的Hessian，建立了曲率泛函与体积泛函之间的对偶性。
• 在多面体曲面上，广义版本的Alexandrov-Fenchel不等式成立，证明了Hessian的非退化性。
• 从给定度量到凸多面体的形变路径通过标量曲率泛函的梯度流构造，其收敛性由严格凸性保证。
• 该算法构造已在计算机程序中实现，可实现从给定边界度量显式计算多面体。