arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2403.06975math.CO
收藏

部分置换多面体的Ehrhart多项式

Ehrhart polynomials of partial permutohedra

Roger E. Behrend

AI总结:

本文研究部分置换多面体$\u2139\ufe0f\ud835\udc58\ud835\udc4d(m,n)$的Ehrhart多项式,通过多胞体变换、Minkowski和分解及图计数方法,给出$n\u2265m-1$时的显式表达式,证实已有猜想并解答Stanley的相关问题。

摘要:

对于正整数$m$和$n$,部分置换多面体$\u27e8\ufe0f\u2139\ufe0f\u27e9\ufe0f\ud835\udcab(m,n)$是$\u211d^m$中的一类整多胞体,可定义为$\u2139\ufe0f\ud835\udc58{0,1,\u2026,n}^m$中非零元素互不相同的所有向量构成的凸包。当$n=m-1$时,$\u2139\ufe0f\ud835\udc58\ud835\udc4d(m,m-1)$(经向量$(1,\u2026,1)$平移后)对应长度为$m$的停车函数多胞体$P_m$;当$n\u2265m$时,$\u2139\ufe0f\ud835\udc58\ud835\udc4d(m,n)$在组合等价意义下等同于$m$-星型多面体。本文的核心结果是给出了对任意满足$n\u2265m-1$的正整数$m$和$n$,$\u2139\ufe0f\ud835\udc58\ud835\udc4d(m,n)$的Ehrhart多项式的显式表达式。该结果证实了arXiv:2207.14253中关于该Ehrhart多项式的一个猜想的正确性,且$n=m-1$的情形还解答了Stanley提出的关于$P_m$中整数点个数的问题。证明过程包含以下步骤:将$\u2139\ufe0f\ud835\udc58\ud835\udc4d(m,n)$转化为$\u211d^{m+1}$中与其幺模等价的多胞体;将该提升后的、满足$n\u2265m-1$的$\u2139\ufe0f\ud835\udc58\ud835\udc4d(m,n)$分解为若干伸缩后的坐标单纯形的Minkowski和;应用Postnikov关于此类形式的广义置换多面体整数点计数的结果,推导出满足$n\u2265m-1$的$\u2139\ufe0f\ud835\udc58\ud835\udc4d(m,n)$的Ehrhart多项式可表示为$m$个带标记顶点上的图(允许自环和重边)的边加权和,且图的每个连通分量至多含一个环;最后运用此类图计数的标准技术完成推导。

英文摘要:

For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is a certain integral polytope in $\mathbb{R}^m$, which can be defined as the convex hull of the vectors from $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. For $n=m-1$, $\mathcal{P}(m,m-1)$ is (after translation by $(1,\ldots,1)$) the polytope $P_m$ of parking functions of length $m$, and for $n\ge m$, $\mathcal{P}(m,n)$ is combinatorially equivalent to an $m$-stellohedron. The main result of this paper is an explicit expression for the Ehrhart polynomial of $\mathcal{P}(m,n)$ for any $m$ and $n$ with $n\ge m-1$. The result confirms the validity of a conjecture for this Ehrhart polynomial in arXiv:2207.14253, and the $n=m-1$ case also answers a question of Stanley regarding the number of integer points in $P_m$. The proof of the result involves transforming $\mathcal{P}(m,n)$ to a unimodularly equivalent polytope in $\mathbb{R}^{m+1}$, obtaining a decomposition of this lifted version of $\mathcal{P}(m,n)$ with $n\ge m-1$ as a Minkowski sum of dilated coordinate simplices, applying a result of Postnikov for the number of integer points in generalized permutohedra of this form, observing that this gives an expression for the Ehrhart polynomial of $\mathcal{P}(m,n)$ with $n\ge m-1$ as an edge-weighted sum over graphs (with loops and multiple edges permitted) on $m$ labelled vertices in which each connected component contains at most one cycle, and then applying standard techniques for the enumeration of such graphs.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑