arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2201.12442math.CO
收藏

铺砌拟阵与锅柄拟阵的Ehrhart理论

Ehrhart Theory of Paving and Panhandle Matroids

Derek Hanely, Jeremy L. Martin, Daniel McGinnis, Dane Miyata, George D. Nasr, Andrés R. Vindas-Meléndez, Mei Yin

AI总结:

本研究通过超单纯形切片构造铺砌拟阵基多胞体,推导其Ehrhart多项式,推广稀疏铺砌拟阵相关研究,验证锅柄拟阵Ehrhart正性猜想,并应用于Steiner系与射影平面拟阵,证明其Ehrhart等价性仅依赖设计论参数。

摘要:

我们证明,任意铺砌拟阵$M$的基多胞体$P_M$都可以通过从一个超单纯形上切去特定子多胞体(即对应锅柄形Ferrers图对应的格路拟阵的基多胞体)系统地得到。我们计算了这些拟阵的Ehrhart多项式,并以Katzman的超单纯形Ehrhart多项式公式为基础,推导出$P_M$的Ehrhart多项式。该方法建立在Ferroni关于稀疏铺砌拟阵的研究基础上并对其进行了推广。从组合角度而言,我们的构造对应于通过迭代Ferroni、Nasr和Vecchi提出的受应力超平面松弛操作,从铺砌拟阵构造均匀拟阵,该操作推广了标准拟阵理论中回路-超平面松弛的概念。我们提供了锅柄拟阵具有Ehrhart正性的证据,并描述了一个涉及链森林和欧拉数的猜想组合公式,锅柄拟阵的Ehrhart正性可由该公式推导得出。作为主要结果的一个应用,我们计算了与Steiner系和有限射影平面相关的拟阵的Ehrhart多项式,并证明它们仅依赖于其设计论参数:例如,虽然同阶的射影平面未必有同构的拟阵,但它们的基多胞体必定是Ehrhart等价的。

英文摘要:

We show that the base polytope $P_M$ of any paving matroid $M$ can be systematically obtained from a hypersimplex by slicing off certain subpolytopes, namely base polytopes of lattice path matroids corresponding to panhandle-shaped Ferrers diagrams. We calculate the Ehrhart polynomials of these matroids and consequently write down the Ehrhart polynomial of $P_M$, starting with Katzman's formula for the Ehrhart polynomial of a hypersimplex. The method builds on and generalizes Ferroni's work on sparse paving matroids. Combinatorially, our construction corresponds to constructing a uniform matroid from a paving matroid by iterating the operation of stressed-hyperplane relaxation introduced by Ferroni, Nasr, and Vecchi, which generalizes the standard matroid-theoretic notion of circuit-hyperplane relaxation. We present evidence that panhandle matroids are Ehrhart positive and describe a conjectured combinatorial formula involving chain forests and Eulerian numbers from which Ehrhart positivity of panhandle matroids will follow. As an application of the main result, we calculate the Ehrhart polynomials of matroids associated with Steiner systems and finite projective planes, and show that they depend only on their design-theoretic parameters: for example, while projective planes of the same order need not have isomorphic matroids, their base polytopes must be Ehrhart equivalent.

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

↑