[論文レビュー] Hopf monoids and generalized permutahedra

Marcelo Aguiar, Federico Ardila|arXiv (Cornell University)|Sep 21, 2017

Advanced Combinatorial Mathematics被引用数 13

ひとこと要約

この論文は、一般化された置換体（generalized permutahedra）が、ハップ・モノイド構造を備えた多面体の普遍的族であることを確立し、グラフ、マトロイド、順序集合などの組合せ的対象を統一する。主な貢献は、驚くほど単純なアンチポードの公式である：多面体のアンチポードはその面の符号付き和に等しく、これによりリコール性定理が統一され、べき級数の逆数公式が置換体とアソシアヘドロンを介して説明可能になる。

ABSTRACT

Generalized permutahedra are a family of polytopes with a rich combinatorial structure and strong connections to optimization. We prove that they are the universal family of polyhedra with a certain Hopf algebraic structure. Their antipode is remarkably simple: the antipode of a polytope is the alternating sum of its faces. Our construction provides a unifying framework to organize numerous combinatorial structures, including graphs, matroids, posets, set partitions, linear graphs, hypergraphs, simplicial complexes, building sets, and simple graphs. We highlight three applications: 1. We obtain uniform proofs of numerous old and new results about the Hopf algebraic and combinatorial structures of these families. In particular, we give the optimal formula for the antipode of graphs, posets, matroids, hypergraphs, and building sets, and we answer questions of Humpert--Martin and Rota. 2. We show that the reciprocity theorems of Stanley and Billera--Jia--Reiner on chromatic polynomials of graphs, order polynomials of posets, and BJR-polynomials of matroids are instances of the same reciprocity theorem for generalized permutahedra. 3. We explain why the formulas for the multiplicative and compositional inverses of power series are governed by the face structure of permutahedra and associahedra, respectively, answering a question of Loday. Along the way, we offer a combinatorial user's guide to Hopf monoids.

研究の動機と目的

• 一般化された置換体を、ハップ・モノイド構造を備えた多面体の普遍的族として確立すること。
• グラフ、マトロイド、順序集合など、異なる組合せ論的ハップ代数を、一つの枠組みで統一すること。
• 複数の組合せ論的族にわたるアンチポードの均一的かつ最適な公式を提供すること。
• 多面体の面構造と形式的べき級数の逆数の間の関係を説明すること。
• リコール性定理に関する長年の未解決問題と、ロータが提起したハイパーグラフ的多面体に関する問いに答えを提示すること。

提案手法

• ミンコフスキー和分解と面構造を用いて、一般化された置換体のハップ・モノイド GP を構成する。
• すべての面の符号付き和としてアンチポードを定義し、それがハップ・モノイドの公理を満たすことを証明する。
• GP のキャラクター群を用いて多項式不変量を導出し、彩色多項式、順序多項式、BJR 多項式と関連付ける。
• ハップ・モノイドのキャラクターを通じて、べき級数の乗法的演算が置換体と関係し、べき級数の合成がアソシアヘドロンと関係することを示す。
• GP の普遍性を用いて部分モノイド（例えば、グラフ、マトロイド、ハイパーグラフ）を埋め込み、それらのアンチポードを導出する。
• 単調関数と拡張された一般化された置換体を用いて多面体をモデル化し、非有界の場合への結果の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 一般化された置換体は、多面体的組合せ論の文脈において、どのようにハップ・モノイドの普遍的族として機能するのか。
• RQ2 一般化された置換体のアンチポードがなぜその面の符号付き和で与えられるのか。これはハップ代数的構造にどのような意味を持つのか。
• RQ3 スターリング、ビルラ・ジア・ライナーらのリコール性定理は、一般化された置換体を介して一つの枠組みで統一可能か。
• RQ4 置換体の面構造とべき級数の乗法的逆数の間の関係、およびアソシアヘドロンと合成的逆数の間の関係は何か。
• RQ5 ハイパーグラフ的多面体のハップ・モノイドの内因的特徴づけは可能か。ロータのハイパーグラフに関する問いに答えられるか。

主な発見

• 任意の一般化された置換体のアンチポードは、その面の符号付き和として与えられ、すべての部分モノイドにわたる普遍的かつ最適な公式を提供する。
• グラフの彩色多項式、順序集合の順序多項式、マトロイドの BJR 多項式は、すべて一般化された置換体の同一のリコール性定理の例である。
• 形式的べき級数の乗法的逆数は置換体の面構造によって支配され、合成的逆数はアソシアヘドロンによって支配される。
• ハイパーグラフ的多面体のハップ・モノイドは、ハイパーグラフのハップ・モノイドと同型であり、ロータの問いに答えを提示する。
• GP のキャラクター群は多項式不変量を符号化しており、GP の基本的不変量は、グラフでは彩色多項式、マトロイドでは BJR 多項式、順序集合では厳密順序多項式に対応する。
• 普遍的ハップ・モノイド GP は、グラフ、マトロイド、順序集合、集合分割、構成集合のハップ代数を包含・統合する枠組みを提供し、均一なアンチポード公式を実現する。