[论文解读] Shellability, Ehrhart Theory, and $r$-stable Hypersimplices

Benjamin Braun, Liam Solus|arXiv (Cornell University)|Aug 20, 2014

Advanced Combinatorial Mathematics参考文献 12被引用 5

一句话总结

本文引入了 $r$-稳定单纯形，即经典单纯形 $\Delta_{n,k}$ 内的一组嵌套子多面体，并证明了著名的 $\Delta_{n,k}$ 圆周剖分限制到每个 $r$-稳定单纯形上时，仍为一个单模剖分。对于第二类单纯形（$k=2$），作者构建了该剖分的一个壳化结构，使得可通过图的独立多项式有效计算 Ehrhart $h^*$-多项式，并通过 Ehrhart-MacDonald 对偶性揭示了其与透镜空间的 CR 映射之间的联系。

ABSTRACT

Hypersimplices are well-studied objects in combinatorics, optimization, and representation theory. For each hypersimplex, we define a new family of subpolytopes, called r-stable hypersimplices, and show that a well-known regular unimodular triangulation of the hypersimplex restricts to a triangulation of each r-stable hypersimplex. For the case of the second hypersimplex defined by the two-element subsets of an n-set, we provide a shelling of this triangulation that sequentially shells each r-stable sub-hypersimplex. In this case, we utilize the shelling to compute the Ehrhart h*-polynomials of these polytopes, and the hypersimplex, via independence polynomials of graphs. For one such r-stable hypersimplex, this computation yields a connection to CR mappings of Lens spaces via Ehrhart-MacDonald reciprocity.

研究动机与目标

• 在经典单纯形 $\Delta_{n,k}$ 内定义并研究一类新的子多面体家族——$r$-稳定单纯形，形成一个稳定程度递增的嵌套链。
• 证明 $\Delta_{n,k}$ 的圆周剖分限制到每个 $r$-稳定单纯形上时，仍为单模剖分，从而保持其关键的几何与组合结构。
• 为第二类单纯形（$k=2$）的剖分构造一个壳化结构，按顺序壳化每个 $r$-稳定子单纯形，从而实现 Ehrhart $h^*$-多项式的高效计算。
• 将 $r$-稳定单纯形的 Ehrhart 理论与图的独立多项式联系起来，并通过 Ehrhart-MacDonald 对偶性，揭示其与透镜空间 CR 映射的关联。

提出的方法

• 通过特征向量中 $r$-相邻顶点的约束，定义 $r$-稳定单纯形为 $\Delta_{n,k}$ 的子多面体。
• 利用 $\Delta_{n,k}$ 的圆周剖分——一种已知的正则单模剖分——并证明其限制到 $r$-稳定单纯形上后仍保持单模性。
• 通过源自圆周词的排列的分层次字典序，为第二类单纯形（$k=2$）的剖分最大胞腔构造一个壳化顺序。
• 通过比较圆周词中对应 $r$-相邻扩展下降的子词，进一步优化壳化顺序。
• 利用壳化结构，将 $r$-稳定单纯形的 Ehrhart $h^*$-多项式计算为相关图的独立多项式。
• 应用 Ehrhart-MacDonald 对偶性于 $h^*$-多项式，揭示其与透镜空间 CR 映射的联系。

实验结果

研究问题

• RQ1 如何在经典单纯形 $\Delta_{n,k}$ 内定义一类新的子多面体家族——$r$-稳定单纯形，使其形成一个嵌套链？
• RQ2 是否 $\Delta_{n,k}$ 的圆周剖分限制到每个 $r$-稳定单纯形上时，仍为单模剖分？
• RQ3 能否为第二类单纯形的剖分构造一个壳化结构，使其按顺序壳化每个 $r$-稳定子单纯形？
• RQ4 能否通过图的独立多项式计算 $r$-稳定单纯形的 Ehrhart $h^*$-多项式？
• RQ5 Ehrhart-MacDonald 对偶性是否揭示了 $r$-稳定单纯形的 $h^*$-多项式与透镜空间 CR 映射之间的联系？

主要发现

• $(n,k)$-单纯形的圆周剖分限制到每个 $r$-稳定 $(n,k)$-单纯形上时，仍为单模剖分，保持了正则性与单模性结构。
• 对于第二类单纯形（$k=2$），在剖分上构造了一个壳化顺序，按顺序壳化每个 $r$-稳定子单纯形，从而实现 Ehrhart 多项式的高效计算。
• 当 $k=2$ 时，$r$-稳定单纯形的 Ehrhart $h^*$-多项式可通过源自圆周词的特定图的独立多项式计算得出。
• 某一特定 $r$-稳定单纯形的 $h^*$-多项式，通过 Ehrhart-MacDonald 对偶性，揭示了其与透镜空间 CR 映射的联系。
• 通过独立多项式解释，第二类单纯形的 $h^*$-向量被证明为单峰性，支持了更广泛的单峰性猜想。
• 为第二类单纯形剖分的最大胞腔定义了一个全序，并猜想其为壳化顺序，该构造可通过圆周词子词的精细化字典序比较推广至更高 $k$ 情形。