[論文レビュー] More indecomposable polyhedra

Krzysztof Przesławski, David Yost|arXiv (Cornell University)|Jul 3, 2016

Computational Geometry and Mesh Generation被引用数 3

ひとこと要約

本稿は、多面体の骨格における組合せ的グラフ理論を用いて、d次元の多面体がd² + 1/(2d)本以下の辺を持つ場合の分解可能性を分類する。その結果、この辺の範囲内で分解可能なのは、単体的ピラミッド ∆₁,ₙ₋₁ または 4次元多面体 ∆₂,₂ のみであり、d ≠ 3 の場合、2d個の頂点とd² + 1本の辺を持つd次元多面体は存在しないことが示された。この手法は、非分解可能な幾何的グラフと辺追加拡張を用い、局所的なグラフ構造から全体の非分解可能性を推論するものである。

ABSTRACT

We apply combinatorial methods to a geometric problem: the classification of polytopes, in terms of Minkowski decomposability. Various properties of skeletons of polytopes are exhibited, each sufficient to guarantee indecomposability of a significant class of polytopes. We illustrate further the power of these techniques, compared with the traditional method of examining triangular faces, with several applications. In any dimension $d eq 2$, we show that of all the polytopes with $d^2+\frac{d}{2}$ or fewer edges, only one is decomposable. In 3 dimensions, we complete the classification, in terms of decomposability, of the 260 combinatorial types of polyhedra with 15 or fewer edges.

研究の動機と目的

• d次元多面体がd² + 1/(2d)本以下の辺を持つ場合のミンコフスキー分解可能性を分類すること。
• 三角形の面に依存しない組合せ的基準を用いた非分解可能性の拡張。
• 3次元多面体が15本以下の辺を持つ場合の分解可能性に関する分類を完了させること。
• d ≠ 3 の場合、2d個の頂点とd² + 1本の辺を持つd次元多面体が存在しないことを証明すること。
• d² + 1/(2d)本以下の辺を持つ多面体の中で、唯一分解可能なのは単体的ピラミッド ∆₁,ₙ₋₁ または 4次元多面体 ∆₂,₂ であることを確立すること。

提案手法

• 多面体の1次元骨格（頂点と辺）からなる幾何的グラフを、主たる研究対象とする。
• 各辺 [v,w] に対して f(v) − f(w) が v − w のスカラー倍であるような関数 f: V → ℝᵈ を用いた分解関数の概念を適用し、Kallayのグラフ非分解可能性の概念を一般化する。
• 命題1：G₀が非分解可能で、Gₙが1つの頂点が2つの既存頂点に接続される単純な拡張（1頂点追加）の列である場合、Gₙも非分解可能である。
• 2つの非分解可能な幾何的グラフが1つの辺を共有しないが2つの頂点を共有する場合、それらの和集合も非分解可能であることを用いる。
• バーネットの facet 数に対する頂点数の上限と、グリーンバウムの単純多面体の分類に関する結果を応用する。
• Eulerの公式と辺-頂点関係式（d次元多面体では2E − dV = 2）を用いて、可能な構成を制約する。

実験結果

リサーチクエスチョン

• RQ1 d次元多面体がd² + 1/(2d)本以下の辺を持つ場合、どの多面体が分解可能か？
• RQ2 3次元多面体が15本以下の辺を持つ場合、非分解可能性のグラフ理論的基準を用いて分類を完了できるか？
• RQ3 d ≠ 3 の場合、2d個の頂点とd² + 1本の辺を持つd次元多面体は存在するか？
• RQ4 多くの三角形の面が存在しない状況でも、非分解可能性を確立できるか？
• RQ5 与えられた数の facet を持つ単純なd次元多面体の最小の頂点数と辺数は何か？

主な発見

• d次元多面体がd² + 1/(2d)本以下の辺を持つすべてのものの中で、唯一分解可能なのは、d²本の辺をもつ単体的ピラミッド ∆₁,ₙ₋₁ または 4次元多面体 ∆₂,₂ のみである。
• d ≠ 3 の場合、2d個の頂点とd² + 1本の辺を持つd次元多面体は存在しない。
• d = 3 の場合、6個の頂点（2d）と10本の辺（d² + 1）を持つ唯一の多面体は、五角柱と組合せ的に同型である。
• 3次元多面体が15本以下の辺を持つ場合の分類は完了した：唯一分解可能なのは三角柱であり、それ以外はすべて非分解可能である。
• 6個の頂点（2d）と10本の辺（d² + 1）を持つ3次元多面体はすべて五角柱と組合せ的に同型であり、このような例はこれだけである。
• [4]のリストにおける199番目の多面体（BD199）は非分解可能である。その青と赤の部分グラフ（それぞれ3つの三角形からなる鎖）は非分解可能であり、共通の辺を持たないが2つの頂点を共有しているためである。