[论文解读] Hopf monoids and generalized permutahedra

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

Advanced Combinatorial Mathematics被引用 13

一句话总结

本文确立了广义排列多面体构成了带有霍普夫余代数结构的多面体的通用族，统一了图、拟阵和偏序集等组合对象。其主要贡献是一个极为简洁的对合公式：多面体的对合为其面的交错和，统一了互反定理，并通过单纯形和阿西奥卡赫多面体解释了形式幂级数的反演公式。

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 提供了一个框架，可涵盖并统一图、拟阵、偏序集、集合划分与建筑集的霍普夫代数，且具有统一的对合公式。