[論文レビュー] Vertex-facet incidences of unbounded polyhedra

Michael Joswig, Volker Kaibel+2 more|arXiv (Cornell University)|Jan 1, 2001

Advanced Combinatorial Mathematics参考文献 11被引用数 6

ひとこと要約

この論文は、鋭い多面体の頂点-面接続構造がその幾何的性質をどの程度決定するかを調査する。頂点-面接続データのみでは非有界多面体を完全に再構成することはできないが、単体的かつ単体的多面体では、それが有界性を決定できることを示している。これは、頂点-面接続行列が巡回行列である多面体の特徴付けを提供する。

ABSTRACT

How much of the combinatorial structure of a pointed polyhedron is contained in its vertex-facet incidences? Not too much, in general, as we demonstrate by examples. However, one can tell from the incidence data whether the polyhedron is bounded. In the case of a polyhedron that is simple and ``simplicial,'' i.e., a d-dimensional polyhedron that has d facets through each vertex and d vertices on each facet, we derive from the structure of the vertexfacet incidence matrix that the polyhedron is necessarily bounded. In particular, this yields a characterization of those polyhedra that have circulants as vertex-facet incidence matrices.

研究の動機と目的

• 鋭い多面体の組合せ的構造のうち、どの程度が頂点-面接続データに符号化されているかを特定すること。
• 頂点-面接続関係が、有界多面体と非有界多面体を区別できるかを調査すること。
• 頂点-面接続行列が巡回行列である多面体のクラスを特徴付けること。
• d次元多面体の幾何的性質に及ぼす接続構造の影響を、特に単体的および単体的ケースにおいて探求すること。

提案手法

• 頂点-面接続行列の構造を分析し、多面体の幾何的性質を推論すること。
• 組合せ的議論を用いて、単体的および単体的多面体において、接続データが有界性を示すことを示すこと。
• 多面体組合せにおける頂点と面の双対性を応用し、接続パターンに制約を導出すること。
• 巡回行列の性質を接続構造として検討し、代数的構造と幾何的実現可能性を結びつけること。
• 同一の接続パターンを持つ非有界多面体の具体例を構成し、接続データの限界を示すこと。
• 単体的および単体的多面体において、接続行列の構造が多面体が有界であることを強制することを確立すること。

実験結果

リサーチクエスチョン

• RQ1 頂点-面接続行列が鋭い多面体の有界性をどの程度決定できるか。
• RQ2 多面体の接続構造が、それが有界か非有界かを一意に決定できるか。
• RQ3 接続行列にどのような組合せ的条件が、多面体が有界であることを示唆するか。
• RQ4 どの多面体が頂点-面接続行列として巡回行列を持つのか。また、それらはどのような幾何的性質を持つのか。
• RQ5 単体的および単体的性質が接続データとどのように作用し、有界性を強制するのか。

主な発見

• 頂点-面接続データのみでは、非有界多面体の完全な組合せ的構造を決定できない。
• 接続データは、特に単体的および単体的多面体において、多面体が有界であるかどうかを決定できる。
• 単体的および単体的多面体において、頂点-面接続行列の構造が多面体が有界であることを示唆する。
• 頂点-面接続行列が巡回行列である多面体について、完全な特徴付けが得られ、それが必然的に有界であることが示された。
• 具体例により、一般の多面体において接続データだけでは有界性を区別できないことが示され、単体的および単体的性質の特殊な役割が浮き彫りになった。
• 単体的および単体的多面体における接続行列の構造は、明示的な幾何的制約がなくても、有限で有界な実現を強制する。