[論文レビュー] Realizations of the associahedron and cyclohedron

Christophe Hohlweg, Carsten Lange|Archipelago (Université du Québec à Montréal)|Oct 27, 2005

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

ひとこと要約

本稿では、型AおよびBの向き付きコックスター図を用いて、アソシアヘドロンおよびサイクロヘドロンの整数座標実現を統一的に構成するアルゴリズムを提示する。これは、Lodayによるアソシアヘドロンの構成を一般化したものであり、N. Readingによるカムブリアン格子に関する予想を裏付ける。

ABSTRACT

We describe many different realizations with integer coordinates for the associahedron (i.e. the Stasheff polytope) and for the cyclohedron (i.e. the Bott-Taubes polytope) and compare them to the permutahedron of type A_n and B_n respectively. The coordinates are obtained by an algorithm which uses an oriented Coxeter graph of type A_n or B_n respectively as only input and which specialises to a procedure presented by J.-L. Loday for a certain orientation of A_n. The described realizations have cambrian fans of type A and B as normal fans. This settles a conjecture of N. Reading for cambrian fans of these types.

研究の動機と目的

• 整数座標実現を、1つのアルゴリズム的枠組みを用いてアソシアヘドロンおよびサイクロヘドロンに対して明示的に構成すること。
• J.-L. Lodayのアソシアヘドロンの木に基づく座標構成を型Bに一般化し、サイクロヘドロンの実現を導出すること。
• これらの実現の法線ファンがカムブリアンファンに一致することを確立し、N. Readingによるカムブリアン格子に関する予想を確認すること。
• これらの実現が、型AおよびBのパーミュタホロンの面不等式を変更することによって得られる一般化されたパーミュタホロンであることを示すこと。
• 実現の等長同型類および重心の性質を調査し、格子点数が等長同型実現を検出できる可能性を示唆すること。

提案手法

• アルゴリズムは、型A_{n-1}またはB_nの向き付きコックスター図を入力とし、木に基づく変換プロセスによりR^n内での頂点座標を計算する。
• 頂点座標は、型Aでは平面的2分木、型Bでは中心対称な三角形分割を、図からの経路長および向きの情報を用いて整数ベクトルに写像することで得られる。
• 実現は、コックスター図の向きに基づいてパーミュタホロンの特定の面を削除することにより、H表現として構成される。
• この方法は、A_{n-1}図の特定の向きに適用された場合、Lodayの構成に一致し、先行研究と整合性を保つ。
• 各実現の法線ファンが、対応する型のカムブリアンファンと一致することが示され、組合せ的および幾何的解析によって検証された。
• アルゴリズムはpolymakeやLattEなどのツールを用いて計算的に実装され、頂点の列挙および多面体内の格子点数のカウントが可能となった。

実験結果

リサーチクエスチョン

• RQ1 1つのアルゴリズムが、型AおよびBの向き付きコックスター図を用いて、アソシアヘドロンおよびサイクロヘドロンの整数座標実現を生成できるか？
• RQ2 構成された実現の法線ファンは、N. Readingが予想したように、対応する型のカムブリアンファンと一致するか？
• RQ3 同じ数の格子点を持つ実現が等長同型であるかどうか、データから示唆されるか？
• RQ4 低次元での観察から、頂点集合の重心が各座標で(n+1)/2であることが示唆されるが、これを証明できるか？
• RQ5 Postnikovの一般化されたパーミュタホロンの枠組みに従い、実現が標準パーミュタホロンの面のミンコフスキー和（符号付き係数付き）として記述できるか？

主な発見

• アルゴリズムはLodayの構成を一般化する：A_{n-1}の特定の向きに適用すると、彼の整数座標実現が再現される。
• 型Bでは、B_nパーミュタホロンの面不等式を変更することにより、初めて明示的なサイクロヘドロンの実現が得られ、一般化された型Bパーミュタホロンとして得られる。
• 各実現の法線ファンが型AおよびBのカムブリアンファンに一致することが証明され、N. Readingの予想1.1がこれらの型について確認された。
• n=5の場合、各実現は19個の頂点を持ち、多面体に672個の格子点がある。同じ頂点数だが異なる格子点数を持つ上付き集合が存在し、等長同型類の可能性が示唆される。
• n=6の場合、異なる格子点数（例：{2,4}ではI_A = 13795、{3,4}では12310）が等長同型類を特定することができ、格子点数が等長同型実現を検出できることを示唆する。
• テストされたすべてのアソシアヘドロンおよびサイクロヘドロンの実現（次元5まで）の頂点集合の重心は、各座標で(n+1)/2であることが確認され、普遍的な重心性質を示唆する。