[論文レビュー] Face numbers of 4-Polytopes and 3-Spheres

Günter M. Ziegler|ArXiv.org|Aug 9, 2002

Digital Image Processing Techniques参考文献 13被引用数 37

ひとこと要約

本稿は、4次元多面体と3次元球面の面数およびフラッグ・ベクトルを調査し、脂肪度と複雑度というパラメータを導入して、4次元対象物の組合せ的・位相的・幾何的クラスを区別する。新しい構成法により、任意に高い脂肪度を持つ4次元多面体と3次元球面を構成し、凸4次元多面体では5.048を超える、タイル張りでは6に近い脂肪度を達成した。これにより、4次元多面体の組合せ的構造は3次元の場合よりもはるかに複雑であることが示された。

ABSTRACT

In this paper, we discuss f- and flag-vectors of 4-dimensional convex polytopes and cellular 3-spheres. We put forward two crucial parameters of fatness and complexity: Fatness F(P) := (f_1+f_2-20)/(f_0+f_3-10) is large if there are many more edges and 2-faces than there are vertices and facets, while complexity C(P) := (f_{03}-20)/(f_0+f_3-10) is large if every facet has many vertices, and every vertex is in many facets. Recent results suggest that these parameters might allow one to differentiate between the cones of f- or flag-vectors of -- connected Eulerian lattices of length 5 (combinatorial objects), -- strongly regular CW 3-spheres (topological objects), -- convex 4-polytopes (discrete geometric objects), and -- rational convex 4-polytopes (whose study involves arithmetic aspects). Further progress will depend on the derivation of tighter f-vector inequalities for convex 4-polytopes. On the other hand, we will need new construction methods that produce interesting polytopes which are far from being simplicial or simple -- for example, very ``fat'' or ``complex'' 4-polytopes. In this direction, I will report about constructions (from joint work with Michael Joswig, David Eppstein and Greg Kuperberg) that yield -- strongly regular CW 3-spheres of arbitrarily large fatness, -- convex 4-polytopes of fatness larger than 5.048, and -- rational convex 4-polytopes of fatness larger than 5-epsilon.

研究の動機と目的

• 3次元の場合に比べ、4次元多面体の組合せ的構造をより深く理解すること。
• 面数不変量を用いて、4次元多面体、強く正則なCW 3次元球面、オイラー型ラティス、有理4次元多面体のクラスを特定・区別すること。
• 4次元多面体のfベクトルおよびフラッグ・ベクトルの完全な特徴付けが未解決のまま残っている問題に対処すること。
• 高脂肪度や高複雑度といった極端な組合せ的性質を持つ4次元多面体や3次元球面を生成する新しい構成技術を開発すること。
• これらの不変量が4次元の組合せ的・幾何的対象の階層に与える影響を調査すること。

提案手法

• 組合せ的豊かさを定量化するための2つの主要な不変量、脂肪度 F(P) = (f₁ + f₂ − 20)/(f₀ + f₃ − 10) および複雑度 C(P) = (f₀₃ − 20)/(f₀ + f₃ − 10) を導入する。
• g-トーラスから得られる脂肪度の高い3次元球面にE-構成法を適用し、任意に大きな脂肪度を持つ強く正則なCW 3次元球面を生成する。
• R³のタイル張りとスレーゲル図を用いて4次元多面体と通常のタイル張りを関連付け、平均面比やタイルの脂肪度を定義可能にする。
• コンパクトな可定向曲面にM_g-構成法を適用し、fベクトルが制御可能で脂肪度の高い細分を生成する。
• Polymakeなどの計算ツールと位相的技法を用いて、面ベクトルおよびフラッグ・ベクトルの解析と検証を行う。
• E-構成法をCₙ × Cₙのスレーゲル図に拡張し、脂肪度が6に近づく正規ラティス推移的タイル張りを生成する。

実験結果

リサーチクエスチョン

• RQ1 4次元多面体のfベクトルは完全に特徴付け可能か？ 3次元球面やオイラー型ラティスのものとはどのように異なるか？
• RQ2 脂肪度と複雑度の不変量が、4次元対象物の組合せ的・位相的・幾何的クラスをどの程度区別できるか？
• RQ3 R³の通常のタイル張りに対して脂肪度の上限が一様に存在するか？ これは4次元多面体にどのような意味を持つのか？
• RQ4 構成法により、任意に高い脂肪度を持つ4次元多面体を生成可能か？ 既知の極値例と比較するとどうなるか？
• RQ5 有理4次元多面体のフラッグ・ベクトルは、一般の4次元多面体と同じ錐に含まれるか？ あるいは算術的障害があるか？

主な発見

• g-トーラスを上昇させ、E-構成法を適用することで、脂肪度が2g+1に限りなく近い強く正則なCW 3次元球面を構成した。
• 凸4次元多面体において、脂肪度が5.048を超える例を生成し、これまでに知られていた例を著しく上回った。
• 有理凸4次元多面体が、5−εに限りなく近い脂肪度を持つことが示され、有理化が脂肪度に制限を課さないことを示した。
• 修正されたE-構成法を用いて生成されたR³の通常のタイル張りは、脂肪度が6に近づき、既知の4次元多面体の脂肪度を上回った。
• 脂肪度の高い3次元球面にE-構成法を適用することで、頂点数よりもはるかに多くの非単体的面を持つ三角形分割3次元球面が得られ、カライの問題（このような球面の数）を解決した。
• 結果から、脂肪度と複雑度は4次元組合せ的対象の階層において、区別可能な不変量として機能することが示唆された。