[论文解读] A Fuss-Catalan variation of the caracol flow polytope

Martha Yip|arXiv (Cornell University)|Oct 22, 2019

Advanced Combinatorial Mathematics参考文献 9被引用 4

一句话总结

本文提出了一种基于截断统一图和 $k$-parking 数的改进组合模型，用于计算与 $k$-caracol 图相关的流多面体的体积——这是经典 caracol 图和 Pitman–Stanley 图的非平面推广。该研究建立了一个类似 Fuss-Catalan 的体积公式，涉及有理 Catalan 数和 $k$ 的幂，并证明了入度与出度重力图之间的组合对应关系，揭示了相关多面体中深层的结构对称性。

ABSTRACT

Recently, a combinatorial interpretation of Baldoni and Vergne's generalized Lidskii formula for the volume of a flow polytope was developed by Benedetti et al.. This converts the problem of computing Kostant partition functions into a problem of enumerating a set of objects called unified diagrams. We devise an enhanced version of this combinatorial model to compute the volumes of flow polytopes defined on a family of graphs called the k-caracol graphs, resulting in the first application of the model to non-planar graphs. At k=1 and k=n-1, we recover results for the classical caracol graph and the Pitman--Stanley graph. Furthermore, we introduce the notion of in-degree gravity diagrams for flow polytopes, which are equinumerous with (out-degree) gravity diagrams considered by Benedetti et al.. We show that for the k-caracol flow polytopes, these two kinds of gravity diagrams satisfy a natural combinatorial correspondence, which raises an intriguing question on the relationship in the geometry of two related polytopes.

研究动机与目标

• 将统一图模型扩展至非平面的 $k$-caracol 图，实现在无需常数项恒等式的情况下计算体积。
• 将经典 caracol 图和 Pitman–Stanley 多面体的结果推广至由参数 $k$ 参数化的更广泛图族。
• 引入并组合解释 $k$-parking 数，作为广义 Fuss-Catalan 数与停车函数之间的桥梁。
• 建立 $k$-caracol 多面体的入度与出度重力图之间的自然双射，揭示几何对偶性。
• 为体积公式中此前在 $k=1$ 情况下未被察觉的 $k^{k(n-k)-2}$ 因子提供组合解释。

提出的方法

• 引入截断统一图作为统一图模型的改进，以捕捉体积公式中的 $k^{k(n-k)-2}$ 因子。
• 定义 $k$-parking 数 $T_k(r,i) = (r+1)^{i-1} \binom{k(r+1)}{r-i}$，其枚举截断图的补全，并在 Fuss-Catalan 数与停车函数之间插值。
• 构建 $\operatorname{Car}_{n+1}^{(k)}$ 与 $\operatorname{MCar}_{n-k+2}^{(k)}$ 图的出度重力图之间的双射 $\Xi$，证明在特定净流量下体积相等。
• 对 $k$-parking 数应用二项式变换，推导出净流量为 $(1,\ldots,1,-n)$ 的 $k$-caracol 多面体的体积公式。
• 利用广义 Lidskii 公式与统一图计数，计算流多面体的归一化体积，而无需依赖常数项恒等式。
• 在特定净流量下，建立 $\operatorname{MCar}_{n-k+2}^{(k)}$ 与 $\operatorname{Car}_{n+1}^{(k)}$ 的统一图之间的 $k$ 对 $1$ 对应关系，暗示存在一个几何映射。

实验结果

研究问题

• RQ1 如何将统一图模型扩展至非平面图（如 $k$-caracol 图）？
• RQ2 何种组合对象可解释 $k$-caracol 多面体体积公式中的 $k^{k(n-k)-2}$ 因子？
• RQ3 是否存在 $k$-caracol 多面体的入度与出度重力图之间的自然组合对应关系？
• RQ4 能否用广义 Fuss-Catalan 数与 $k$-parking 数表示净流量为 $(1,\ldots,1,-n)$ 的 $k$-caracol 多面体的体积？
• RQ5 统一图之间 $\operatorname{MCar}_{n-k+2}^{(k)}$ 与 $\operatorname{Car}_{n+1}^{(k)}$ 的 $k$ 对 $1$ 映射具有何种几何意义？

主要发现

• 净流量为 $(1,\ldots,1,-n)$ 的 $k$-caracol 多面体的体积为 $\operatorname{Cat}(n-k,k(n-k)-1) \cdot k^{k(n-k)-2} \cdot n^{n-k-1}$，这是一种类似 Fuss-Catalan 的公式，涉及有理 Catalan 数。
• $k$-parking 数 $T_k(r,i) = (r+1)^{i-1} \binom{k(r+1)}{r-i}$ 通过一种车辆停车情景，为 $k^{k(n-k)-2}$ 因子提供了组合解释。
• 存在 $\operatorname{Car}_{n+1}^{(k)}$ 与 $\operatorname{MCar}_{n-k+2}^{(k)}$ 图的出度重力图之间的自然双射 $\Xi$，在净流量 $(kx,y^{n-k},-kx-(n-k)y)$ 下证明了体积相等。
• $k$-caracol 多面体的入度重力图与出度重力图数量相等，且建立了二者之间的组合对应关系。
• 净流量为 $(kx,y^{n-k},-kx-(n-k)y)$ 的 $k$-multicaracol 多面体的体积为 $\operatorname{Cat}(a,ka-1) \cdot (kx)^{ka-1} (kx+ay)^{a-1}$，其中 $a = n-k$。
• 通过 $k$-parking 数的二项式变换推导出 $k$-caracol 多面体的体积公式，其中 $k$ 的幂次源于截断统一图的补全计数。