[論文レビュー] Signed tree associahedra

Vincent Pilaud|arXiv (Cornell University)|Sep 20, 2013

Advanced Combinatorial Mathematics参考文献 22被引用数 9

ひとこと要約

この論文は、頂点に符号が付与された木における符号付きチューブと符号付きネスト集合を定義することで、アソシアヘドロンとグラフアソシアヘドロンの一般化である符号付き木アソシアヘドロンを導入する。Minkowski和による単体の拡大された面の多面体実現を構成し、その結果得られる符号付きネスト複体が、符号割り当てに応じて異なる幾何的・組合せ的構造を示す単体的球面であることを示し、その正規ファンと1次スケルトンの向きが、バraid配置、弱順序、およびカムビアンラティスと関連することを確立する。

ABSTRACT

An associahedron is a polytope whose vertices correspond to the triangulations of a convex polygon and whose edges correspond to flips between them. A particularly elegant realization of the associahedron, due to S. Shnider and S. Sternberg and popularized by J.-L. Loday, has been generalized in two directions: on the one hand by A. Postnikov to obtain a realization of the graph associahedra of M. Carr and S. Devadoss, and on the other hand by C. Hohlweg and C. Lange to obtain multiple realizations of the associahedron parametrized by a sequence of signs. The goal of this paper is to unify and extend these two constructions to signed tree associahedra. We define the notions of signed tubes and signed nested sets on a vertex-signed tree, generalizing the classical notions of tubes and nested sets for unsigned trees. The resulting signed nested complexes are all simplicial spheres, but they are not necessarily isomorphic, even if they arise from signed trees with the same underlying unsigned structure. We then construct a signed tree associahedron realizing the signed nested complex, obtained by removing certain well-chosen facets from the classical permutahedron. We study relevant properties of its normal fan and of certain orientations of its 1-skeleton, in connection to the braid arrangement and to the weak order. Our main tool, both for combinatorial and geometric perspectives, is the notion of spines on a vertex-signed tree, which extend the families of Schröder and binary search trees.

研究の動機と目的

• アソシアヘドロンとグラフアソシアヘドロンを一般化し、符号付き木アソシアヘドロンと呼ばれる新しい多面体族を導入すること。
• 頂点に符号が付与された木における符号付きチューブと符号付きネスト集合を定義し、古典的なチューブとネスト集合の概念を拡張すること。
• 符号付きネスト複体の幾何的実現を、特定のファセットを削除することでパーミュテーション体から得られる多面体として構成すること。
• 符号付き木アソシアヘドロンの正規ファンと1次スケルトンの向きがバraid配置と弱順序とどのように関係するかを研究すること。
• ポストニコフとホールウェグ＝ランゲのアソシアヘドロンの既存の構成を、符号付き木とスピンを基盤とする共通の枠組みによって統一的かつ拡張的に再考すること。

提案手法

• 頂点に符号が付与された木における符号付きチューブの概念を導入し、チューブは木の構造に関して閉じており、頂点の符号に基づいて符号が割り当てられる。
• 符号付きネスト集合を、互いにネスト関係にあったり、互いに非隣接で離れている符号付きチューブの集合として定義し、単体的複体を形成する。
• 符号付き木アソシアヘドロンを、標準単体の拡大された面のMinkowski和として構成し、その係数は符号付き木のスピン構造から得られる。
• スピン（シュレーディンガー木や二分探索木の一般化）を、多面体の分解と頂点座標を記述する中心的な組合せ的道具として用いる。
• アソシアヘドロンの正規ファンを分析し、それがバraid配置を粗くし、符号付きチューブの特性ベクトルによって生成されることを示す。
• 対称群上の弱順序を介して、1次スケルトンの向きとカムビアンラティスとの関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 頂点に符号割り当てを導入する枠組みにおいて、古典的なアソシアヘドロンとグラフアソシアヘドロンの構成を統一する方法は何か？
• RQ2 具体的には、符号付きチューブと符号付きネスト集合という、符号なし木におけるチューブとネスト集合を一般化する組合せ的対象は何か？
• RQ3 同じ符号なし木構造を共有する場合でも、符号割り当てに応じて、得られる符号付き木アソシアヘドロンの幾何的性質はどのように変化するか？
• RQ4 スピンは、符号付き木アソシアヘドロンのMinkowski分解をパrameter化する役割を果たすか？
• RQ5 符号付き木アソシアヘドロンの正規ファンと1次スケルトンの向きは、バraid配置と弱順序とどのように関係するか？

主な発見

• 頂点に符号が付与された木から得られる符号付きネスト複体は単体的球面であるが、同じ符号なし木構造であっても符号割り当てに応じてその構造が異なる。
• 符号付き木アソシアヘドロンは、符号付き木のスピン構造から得られる係数を用いて、標準単体の拡大された面のMinkowski和として構成される。
• 符号付き木アソシアヘドロンの正規ファンはバraid配置を粗くし、符号付きチューブの特性ベクトルに対応する放射線を有する。
• 符号付き木アソシアヘドロンの1次スケルトンの向きは、弱順序のラティス商に対応し、カムビアンラティス構成を一般化する。
• 符号付き木アソシアヘドロンのMinkowski分解には正負の係数が含まれており、これまでは正の和のみを用いた分解とは顕著に異なる。
• すべての符号が正の三叉木の場合、アソシアヘドロンはローダの実現と一致するが、符号が混合された場合、頂点座標と正規ファンは顕著に異なり、符号の変更に伴う幾何的変化が顕在化する。