[論文レビュー] A Voronoi poset

Roderik Lindenbergh|arXiv (Cornell University)|Apr 29, 1999

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

ひとこと要約

本稿では、一般位置に配置されたn個の点からなる集合Sにおけるすべてのk階 Voronoi図を同時に分析する、新しい組合せ構造であるボロノイposetを導入する。すべての順序において、面、頂点、円の普遍的な対称性関係を導出し、nが奇数のとき、サイト配置に依存せず、posetの削減エラー特性がゼロであることを証明する。

ABSTRACT

Given a set S of n points in general position we consider all kth order Voronoi diagrams on S for k n simultaneously We deduce symmetry relations for the number of faces number of vertices and number of circles of certain orders These symmetry relations are independent of the position of the sites in S As a consequence we show that the reduced Euler characteristic of the poset of faces equals zero whenever n odd

研究の動機と目的

• 一般位置にある点集合Sにおけるすべてのk階 Voronoi図を同時に、その組合せ的構造を研究すること。
• すべての順序k ≤ nにおける面、頂点、円の数の内在的対称性関係を解明すること。
• ボロノイ面のposetの位相的不変量—特に削減エラー特性—を特定すること。
• nが奇数のとき、削減エラー特性がゼロになること—サイトの位置に依存せず—を確立すること。

提案手法

• すべてのk ≤ nにおけるk階 Voronoi図の面を要素とするposetを構築する。
• すべての順序kにおける面、頂点、ボロノイ円のインシデント構造を分析する。
• 組合せ的位相論を用いて、異なる順序間での面、頂点、円の数の間の対称性関係を導出する。
• posetのグローバル構造を分析するための位相的不変量として、削減エラー特性を用いる。
• 導出された対称性に基づき、これらの対称性関係が点集合Sの幾何的配置に依存しないことを示す。
• 導出された対称性に基づき、nが奇数のとき、posetの削減エラー特性がゼロであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 すべてのk ≤ nにおけるk階 Voronoi図の面、頂点、円の数の間には、どのような普遍的な対称性関係が存在するか？
• RQ2 固定された点集合Sにおいて、順序kが異なる場合のボロノイ特徴（面、頂点、円）の数はどのように関係しているか？
• RQ3 すべての順序におけるボロノイ面からなるposetの位相的不変量—特に削減エラー特性—は何か？
• RQ4 削減エラー特性は、点集合Sの幾何的配置に依存するか？
• RQ5 なぜnが奇数のとき、削減エラー特性がゼロになるのか？その背後にある組合せ的メカニズムは何か？

主な発見

• 本稿では、点集合の幾何的配置に依存せず、すべてのk階 Voronoi図における面、頂点、円の数の間の対称性関係を確立する。
• これらの対称性関係は普遍的であり、一般位置にある任意のn点集合Sに対して成り立つ。
• nが奇数のとき、ボロノイposetの削減エラー特性がゼロであることが証明されている。
• n個の点の具体的な位置に依存せず、この結果が成り立つことから、構造に深いつながりのある組合せ的性質が示唆される。
• nが奇数のとき、削減エラー特性がゼロになることは、poset構造に内在する位相的制約を示している。
• 研究結果は、ボロノイposetのグローバルな位相的性質がnの偶奇性によって支配されており、奇数nではバランスの取れたゼロ特性を持つ構造になることを示している。