[論文レビュー] A Fuss-Catalan variation of the caracol flow polytope

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

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

ひとこと要約

本稿は、$k$-カラコル図形に関連するフロー多面体の体積を計算するため、切り捨てられた統一図と$k$-パーキング数に基づく洗練された組合せモデルを導入する。これは、古典的なカラコル図形およびピットマン–スタニーケー図形の非平面的一般化である$k$-カラコル図形に関連する。Fuss-Catalan型の体積公式が確立され、有理カタラン数と$k$の累乗を含み、関連する多面体における構造的対称性を示す、in-degreeとout-degreeの重力図の間の組合せ的対応関係が明らかにされる。

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$-カラコル図形に統一図モデルを拡張し、定数項恒等式に依存せずに体積計算を可能にする。
• 古典的なカラコルおよびピットマン–スタニーケー多面体に関する結果を、$k$でパラメータ化されたより広い図形族に一般化する。
• $k$-パーキング数を、一般化されたFuss-Catalan数とパーキング関数の間のブリッジとして導入し、その組合せ的解釈を提供する。
• $k$-カラコル多面体のin-degreeとout-degreeの重力図の間の自然な双対写像を確立し、幾何的双対性を明らかにする。
• 従来の$k=1$の場合に検出されなかった、体積公式における$k^{k(n-k)-2}$要因の組合せ的説明を提供する。

提案手法

• 体積公式における$k^{k(n-k)-2}$要因を捉えるために、統一図モデルの洗練版として切り捨てられた統一図を導入する。
• $k$-パーキング数$T_k(r,i) = (r+1)^{i-1} \binom{k(r+1)}{r-i}$を定義し、切り捨てられた図の完成度を数え上げ、Fuss-Catalan数とパーキング関数の間を補間する。
• $k$-カラコルと$k$-マルチカラコル図形のout-degree重力図の間の双対写像$\Xi$を構成し、特定のネットフローにおける体積の等価性を証明する。
• $k$-パーキング数に二項変換を適用し、ネットフロー$(1,\ldots,1,-n)$の$k$-カラコル多面体の体積公式を導出する。
• 一般化されたLidskiiの公式と統一図の数え上げを用いて、定数項恒等式に依存せずにフロー多面体の正規化体積を計算する。
• 特定のネットフローにおいて、$\operatorname{MCar}_{n-k+2}^{(k)}$と$\operatorname{Car}_{n+1}^{(k)}$の統一図の間の$k$対$1$対応関係を確立し、幾何的写像の可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 統一図モデルは、$k$-カラコルのような非平面的図形にどのように拡張可能か？
• RQ2 $k$-カラコル多面体の体積公式における$k^{k(n-k)-2}$要因を説明する組合せ的対象は何か？
• RQ3 $k$-カラコル多面体のin-degreeとout-degreeの重力図の間に自然な組合せ的対応関係は存在するか？
• RQ4 ネットフロー$(1,\ldots,1,-n)$の$k$-カラコル多面体の体積は、一般化されたFuss-Catalan数と$k$-パーキング数で表現可能か？
• RQ5 $\operatorname{MCar}_{n-k+2}^{(k)}$と$\operatorname{Car}_{n+1}^{(k)}$の統一図の間の$k$対$1$写像の幾何的意味は何か？

主な発見

• ネットフロー$(1,\ldots,1,-n)$の$k$-カラコル多面体の体積は$\operatorname{Cat}(n-k,k(n-k)-1) \cdot k^{k(n-k)-2} \cdot n^{n-k-1}$であり、有理カタラン数を含むFuss-Catalan型の公式である。
• $k$-パーキング数$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)}$のout-degree重力図の間には自然な双対写像$\Xi$が存在し、ネットフロー$(kx,y^{n-k},-kx-(n-k)y)$における体積の等価性を証明する。
• $k$-カラコル多面体のin-degree重力図とout-degree重力図の個数は等しく、それらの間の組合せ的対応関係が確立される。
• ネットフロー$(kx,y^{n-k},-kx-(n-k)y)$の$k$-マルチカラコル多面体の体積は$\operatorname{Cat}(a,ka-1) \cdot (kx)^{ka-1} (kx+ay)^{a-1}$であり、ここで$a = n-k$である。
• $k$-カラコル多面体の体積公式は、$k$-パーキング数の二項変換により導出され、$k$の累乗は切り捨てられた統一図の完成度の数え上げに由来する。