[论文解读] Counting faces of nestohedra

Vladimir Grujić, Tanja Stojadinović|arXiv (Cornell University)|Mar 26, 2017

Advanced Combinatorial Mathematics参考文献 2被引用 3

一句话总结

本文提出了一种通过从构建集的组合霍普夫代数到拟对称函数的同态，用于计算嵌套多面体面数的新代数公式。它引入了一个 $q$-类 $F_q(P_B)$，推导出其递推关系，并表明嵌套多面体的 $f$-多项式正是该拟对称函数的主特殊化，从而为嵌套多面体中的面计数提供了深刻的代数刻画。

ABSTRACT

A new algebraic formula for the numbers of faces of nestohedra is obtained. The enumerator function $F(P_B)$ of positive lattice points in interiors of maximal cones of the normal fan of the nestohedron $P_B$ associated to a building set $B$ is described as a morphism from the certain combinatorial Hopf algebra of building sets to quasisymmetric functions. We define the $q$-analog $F_q(P_B)$ and derive its determining recurrence relations. The $f$-polynomial of the nestohedron $P_B$ appears as the principal specialization of the quasisymmetric function $F_q(P_B)$.

研究动机与目标

• 开发一种利用组合霍普夫代数对嵌套多面体的面数进行枚举的代数框架。
• 为嵌套多面体的面计数生成函数定义一个 $q$-类 $F_q(P_B)$。
• 推导出确定 $F_q(P_B)$ 的递推关系，从而实现面数的系统性计算。
• 建立嵌套多面体 $P_B$ 的 $f$-多项式与拟对称函数主特殊化之间的联系。

提出的方法

• 本文构建了从构建集的组合霍普夫代数到拟对称函数代数的同态。
• 将生成函数 $F(P_B)$ 定义为 $P_B$ 的法扇形中最大锥体内部正格点的生成函数。
• 引入 $q$-类 $F_q(P_B)$ 以细化面数，其中参数 $q$ 跟踪额外的组合结构。
• 基于构建集 $B$ 的结构，推导出 $F_q(P_B)$ 的递推关系，从而实现递归计算。
• 将嵌套多面体 $P_B$ 的 $f$-多项式识别为 $F_q(P_B)$ 的主特殊化，建立了几何与代数不变量之间的联系。
• 该框架利用拟对称函数的代数性质，系统地编码并计算面数。

实验结果

研究问题

• RQ1 如何通过从构建集组合到拟对称函数的代数同态来捕捉嵌套多面体的面计数？
• RQ2 $q$-类 $F_q(P_B)$ 在细化嵌套多面体的面计数中起什么作用？
• RQ3 $F_q(P_B)$ 的递推关系如何反映构建集 $B$ 的底层组合结构？
• RQ4 $P_B$ 的 $f$-多项式以何种方式作为 $F_q(P_B)$ 的特殊化出现？
• RQ5 法扇形的最大锥体内部的正格点在通过格点生成函数编码面计数时具有何种意义？

主要发现

• 面计数器 $F(P_B)$ 被实现为从霍普夫代数的构建集到拟对称函数代数的同态。
• 定义了 $q$-类 $F_q(P_B)$，并证明其满足依赖于构建集 $B$ 结构的递推关系。
• 嵌套多面体 $P_B$ 的 $f$-多项式正是拟对称函数 $F_q(P_B)$ 的主特殊化，从而建立了与面计数的直接代数联系。
• 该框架提供了一种利用代数与组合工具系统计算嵌套多面体面数的方法。
• 通过在法扇形最大锥体内部使用正格点，实现了通过格点生成函数对面计数的几何解释。
• 该构造通过将面计数嵌入更广泛的拟对称函数和霍普夫代数结构背景中，推广了嵌套多面体的面计数。