[論文レビュー] 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作用）を用いたアレクサンドロフの定理の構成的証明を提示する。一般化されたアレクサンドロフ＝フェンケルの不等式を用いて、その非退化性を示す。主な結果は、与えられた境界計量から凸ポリトープをアルゴリズム的に構成する新規な手法であり、計算的に実装されており、ヘッセ行列解析と多面体表面の重み付きデローランの三角形分割を用いて、存在性と一意性が確立されている。

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.

研究の動機と目的

• 与えられた境界計量を持つ凸ポリトープの存在および一意性に関するアレクサンドロフの定理の構成的証明を提供すること。
• 一般化凸ポリトープと多面体表面の重み付きデローラン三角形分割との間の関係を確立すること。
• 正の曲率を持つ一般化凸ポリトープ上での全スカラー曲率汎関数のヘッセ行列の非退化性を証明すること。
• 非退化性の結果を支持するため、アレクサンドロフ＝フェンケルの不等式を一般化すること。
• 実用的実装を可能にするために、構成アルゴリズムをコンピュータプログラムに実装すること。

提案手法

• 境界曲面の測地的三角形分割の各三角形の上にピラミッドを貼り合わせることで得られる単体的複体として一般化凸ポリトープをモデル化する。
• 各一般化ポリトープを、三角形分割 T とピラミッドの側辺長 r_i のペア (T, r) で表現する。
• 全スカラー曲率汎関数を Regge 作用として定義する：∑ℓ_e κ_e、ここで ℓ_e は辺 e の長さ、κ_e は辺 e における角欠損である。
• 全スカラー曲率汎関数のヘッセ行列が、双対一般化ポリヘドロンの体積のヘッセ行列に等しいことを示す。
• 多面体表面の文脈に一般化されたアレクサンドロフ＝フェンケルの不等式を適用し、ヘッセ行列の非退化性を証明する。
• 非退化性を用いて、全スカラー曲率汎関数の勾配流を介して、与えられた計量から凸ポリトープへの変形経路を構成する。

実験結果

リサーチクエスチョン

• RQ1 アレクサンドロフの凸ポリトープに関する存在および一意性の定理は、幾何的汎関数を用いて構成的に証明可能か？
• RQ2 一般化凸ポリトープと多面体表面の重み付きデローラン三角形分割との間にはどのような関係があるか？
• RQ3 全スカラー曲率汎関数のヘッセ行列は、双対多面体の幾何にどのように関係するか？
• RQ4 非退化性を保証するために、アレクサンドロフ＝フェンケルの不等式は多面体表面の離散的設定に拡張可能か？
• RQ5 与えられた境界計量から凸ポリトープを再構成するアルゴリズム的手法は存在するか？

主な発見

• 全スカラー曲率汎関数（Regge作用）は、一般化凸ポリトープの空間上で強い凸性を示し、一意な最小化子が存在することを保証する。
• 全スカラー曲率汎関数のヘッセ行列は非退化であり、これは凸ポリトープへの一意な変形経路の存在を意味する。
• 全スカラー曲率のヘッセ行列は、双対一般化ポリヘドロンの体積のヘッセ行列に等しく、曲率汎関数と体積汎関数の双対性を確立する。
• 多面体表面に対して一般化されたアレクサンドロフ＝フェンケルの不等式が成り立ち、ヘッセ行列の非退化性を証明する。
• 与えられた計量から凸ポリトープへの変形経路は、全スカラー曲率汎関数の勾配流によって構成され、強い凸性により収束が保証される。
• アルゴリズム的構成はコンピュータプログラムに実装されており、与えられた境界計量からポリトープを明示的に計算可能である。