[論文レビュー] Nested complexes and their polyhedral realizations

Andrei Zelevinsky|ArXiv.org|Jul 13, 2005

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

ひとこと要約

本稿では、完全な単体的ファンと単純多面体を用いて、入れ子の複体の多面体的実現を統一的に構築する枠組みを提示する。リンク分解性という新規な性質を導入することで帰納的証明が可能となり、主な貢献は、入れ子のファンが単純多面体（入れ子多面体）の法線ファンであることを自己完結的に証明した点であり、これはクラスター複体や一般化されたアソシアヘドロンとの直接的な類似性を確立する。

ABSTRACT

This note which can be viewed as a complement to Alex Postnikov's paper math.CO/0507163, presents a self-contained overview of basic properties of nested complexes and their two dual polyhedral realizations: as complete simplicial fans, and as simple polytopes. Most of the results are not new; our aim is to bring into focus a striking similarity between nested complexes and associated fans and polytopes on one side, and cluster complexes and generalized associahedra introduced and studied in hep-th/0111053, math.CO/0202004, on the other side.

研究の動機と目的

• 入れ子の複体とその多面体的実現を、構成集合とその関連構造に焦点を当て、統一的かつ自己完結的に取り扱う。
• 入れ子のファンが完全な単体的ファンであることを確立し、それが「入れ子多面体」と呼ばれる単純多面体の法線ファンであることを証明する。
• リンク分解性を用いた再帰的構造を構築し、主要な位相的・幾何的性質の帰納的証明を可能にする。
• 入れ子の複体とクラスター複体の関係を明確にする、特に図形的構成集合の場合について。
• 図形的構成集合の新たな特徴付けを提示し、この特別な場合においてクラスター複体との類似性がより明確になることを示す。

提案手法

• 有限集合 S 上の構成集合を導入し、交わる集合の和集合について閉じており、すべての単集合を含むことを要求する。
• 構成集合の非最大要素上に定義される入れ子複体を、和集合が再び構成集合に属するような集合を避ける入れ子集合によって定義する。
• リンク分解性（命題 3.2）を確立し、入れ子複体の任意の要素のリンクが、低いランクの入れ子複体と同型であることを示す。
• リンク分解性を用いて、入れ子複体およびその多面体的実現の構造的性質を帰納的に導出する。
• ファンのレイト・ジェネレータを用いて、単体のミンコフスキー和として入れ子多面体を構成し、それが単純多面体であり、入れ子ファンがその法線ファンであることを示す。
• 図形的構成集合の場合、命題 7.3 の特徴付けを適用し、入れ子集合が「クリーク」条件を満たし、2次元の面が 4、5、または 6 本の辺を持つ多角形であることを示す。

実験結果

リサーチクエスチョン

• RQ1 入れ子の複体は、どのようにして完全な単体的ファンおよび単純多面体として体系的に実現可能か？
• RQ2 リンク分解性を用いた帰納的構造により、入れ子複体のどのような構造的性質を導出できるか？
• RQ3 入れ子の複体およびその多面体的実現は、クラスター複体や一般化されたアソシアヘドロンとどのように比較できるか？
• RQ4 図形的構成集合はどのように特徴づけられるか？また、それらはクラスター複体との類似性をどのように強化するか？
• RQ5 図形的場合における入れ子多面体の2次元の面にどのような幾何的制約があるか？

主な発見

• 入れ子ファンは完全な単体的ファンであり、ファンから直接構成することで、それが単純多面体（入れ子多面体）の法線ファンであることが証明された。
• リンク分解性（命題 3.2）は再帰的構造を提供し、入れ子複体のすべての構造的性質の帰納的証明を可能にする。
• 図形的構成集合の場合、入れ子複体はクリーク複体である。つまり、ある集合が入れ子であるための必要十分条件は、すべてのペアが包含関係または互いに素であることを満たすことである。
• 図形的ケースでは、入れ子多面体のすべての2次元の面は、d ∈ {4, 5, 6} の d 辺形であり、レイト・ジェネレータ間の線形関係は特定の形（7.1）をとる。
• 入れ子多面体の構成はポストニコフ（2005）が提示したミンコフスキー和の実現と一致し、異なる手法間の整合性が確認された。
• 本稿は、先行文献におけるギャップを埋めるために、入れ子ファンが適切に定義されることを、新たな自己完結的証明で示した。