[論文レビュー] A variational principle for weighted Delaunay triangulations and hyperideal polyhedra

Boris Springborn|arXiv (Cornell University)|Mar 3, 2006

Computational Geometry and Mesh Generation参考文献 19被引用数 5

ひとこと要約

本稿は、錐特異点を伴う区分的平坦な曲面上における重み付きデローランイ triangulation に対する変分原理を確立し、所定の組合せ型、交差角、錐角をもつようなこのような triangulation の存在および一意性を証明する。主な結果は、解が存在するための必要十分条件が、一貫性のある角系の集合が空でないことにかかっていることであり、解はスケールを除き一意的である。これは、ミルナーのロバチェフスキー関数を用いて、リービンの理想多面体に関する研究を、超理想および重み付き設定へと拡張したものである。

ABSTRACT

We use a variational principle to prove an existence and uniqueness theorem for planar weighted Delaunay triangulations (with non-intersecting site-circles) with prescribed combinatorial type and circle intersection angles. Such weighted Delaunay triangulations may be interpreted as images of hyperbolic polyhedra with one vertex on and the remaining vertices beyond the infinite boundary of hyperbolic space. Thus the main theorem states necessary and sufficient conditions for the existence and uniqueness of such polyhedra with prescribed combinatorial type and dihedral angles. More generally, we consider weighted Delaunay triangulations in piecewise flat surfaces, allowing cone singularities with prescribed cone angles in the vertices. The material presented here extends work by Rivin on Delaunay triangulations and ideal polyhedra.

研究の動機と目的

• 理想双曲多面体に対するリービンの変分法を、超理想および重み付きデローランイ triangulation に拡張すること。
• 所定の交差角および錐角をもつ平面的重み付きデローランイ triangulation の存在および一意性の必要十分条件を確立すること。
• 円パターン問題を線形制約を伴う凸最適化問題に還元する変分枠組みを提供すること。
• 重み付きデローランイ triangulation と、双曲空間の無限遠境界上に1つの頂点をもち、他の頂点がそれより外側にある双曲多面体を結びつけること。
• 区分的平坦な曲面に錐特異点をもち、所定の錐角をもつ場合を含む理論を一般化すること。

提案手法

• ミルナーのロバチェフスキー関数を用いて、三角形分割された曲面上の双曲体積を符号化する関数 $ F: \mathbb{R}^{6|T|} \to \mathbb{R} $ を定義する。
• 線形方程式および厳密な不等式によって定義される凸集合として、一貫性のある角系の集合 $ \mathcal{A}(\mathcal{T}, \theta, \Xi) $ を構成する。
• $ F $ を $ \mathcal{A}(\mathcal{T}, \theta, \Xi) $ に制限したときの臨界点が、円パターン問題の解に対応することを証明する。
• $ F $ が $ \mathcal{A}(\mathcal{T}, \theta, \Xi) $ 上で厳密に凹であることを確立し、解がスケールを除き一意的であることを保証する。
• $ F $ が $ \mathcal{A}(\mathcal{T}, \theta, \Xi) $ の境界上で最大値をとることができないことを示し、集合が空でない場合に存在が保証されることを証明する。
• ロバチェフスキー関数を用いて、特別な双曲多面体（例：1つの理想頂点と3つの超理想頂点をもつ錐）の明示的な体積公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 所定の組合せ型、交差角、錐角をもつ重み付きデローランイ triangulation が存在する条件は何か？
• RQ2 そのような triangulation が存在する場合、スケールを除き一意的か？
• RQ3 所定の二面角および頂点タイプをもつ超理想多面体の存在と一意性は、どのように特徴づけられるか？
• RQ4 双曲体積に基づく変分原理を用いて、区分的平坦な曲面上の円パターン問題を解くことができるか？
• RQ5 ミルナーのロバチェフスキー関数は、円パターン問題の凸最適化問題を定式化する上で果たす役割は何か？

主な発見

• 重み付きデローランイ triangulation 問題の解が存在するための必要十分条件は、一貫性のある角系の集合 $ \mathcal{A}(\mathcal{T}, \theta, \Xi) $ が空でないことである。
• 解は、変分関数 $ F $ が許容領域上で厳密に凹であるため、スケールを除き一意的である。
• 変分原理により、円パターン問題が線形制約を伴う凸最適化問題に還元され、数値計算が可能になる。
• 特別な双曲多面体（例：1つの理想頂点と3つの超理想頂点をもつ錐）の明示的な体積公式が、ロバチェフスキー関数を用いて導出された。
• 本手法により、リービンの理想多面体に関する結果が、超理想および重み付きの場合に一般化され、所定の角度をもつ錐特異点を含む。
• 1つの理想頂点と3つの超理想頂点をもつ四面体の体積は、4つの特別な錐の体積の和として表され、それぞれがロバチェフスキー関数を含む閉形式の公式をもつ。