[论文解读] Vertices of Gelfand-Tsetlin Polytopes

Jesús A. De Loera, Tyrrell B. McAllister|ArXiv.org|Sep 19, 2003

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

一句话总结

本文提供了Gelfand-Tsetlin多面体顶点的组合表征，引入了一种基于铺砌的方法来计算顶点坐标和面维数。它通过构造一个无限族非整数顶点（当 $ n \geq 5 $ 时），推翻了Berentsein和Kirillov的猜想，这些顶点的分母随 $ n $ 增大而任意增长，同时证明了Ehrhart多项式依然成立——这是首个具有多项式Ehrhart函数的非整数多面体的此类家族。

ABSTRACT

This paper is a study of the polyhedral geometry of Gelfand-Tsetlin patterns arising in the representation theory $\mathfrak{gl}_n \C$ and algebraic combinatorics. We present a combinatorial characterization of the vertices and a method to calculate the dimension of the lowest-dimensional face containing a given Gelfand-Tsetlin pattern. As an application, we disprove a conjecture of Berenstein and Kirillov about the integrality of all vertices of the Gelfand-Tsetlin polytopes. We can construct for each $n\geq5$ a counterexample, with arbitrarily increasing denominators as $n$ grows, of a non-integral vertex. This is the first infinite family of non-integral polyhedra for which the Ehrhart counting function is still a polynomial. We also derive a bound on the denominators for the non-integral vertices when $n$ is fixed.

研究动机与目标

• 提供Gelfand-Tsetlin多面体顶点的组合表征。
• 开发一种计算包含给定GT-模式的最低维面维数的方法。
• 推翻Berenstein和Kirillov关于GT-多面体的所有顶点均为整数的猜想。
• 在 $ n $ 固定时，建立非整数顶点分母的上界。
• 证明尽管存在非整数顶点，GT-多面体的Ehrhart计数函数仍为多项式。

提出的方法

• 作者通过将GT-模式中相等且相邻的条目分组形成铺砌，从而对模式的位置进行划分。
• 为每个GT-模式关联一个铺砌矩阵 $ A_{\mathscr{P}} $，其中条目标示每个自由铺砌在每行中出现的次数。
• 顶点通过如下条件表征：铺砌矩阵 $ A_{\mathscr{P}} $ 的每个 $ s \times s $ 子矩阵的行列式非零，其中 $ s $ 为自由铺砌的数量。
• 包含GT-模式的最小面的维数计算为 $ s - \text{rank}(A_{\mathscr{P}}) $，其中 $ s $ 为自由铺砌的数量。
• 通过铺砌矩阵 $ A_{\mathscr{P}} $ 的谱半径，推导出非整数顶点分母的上界，得到上界 $ (n-1)^{\binom{n+1}{2} - n - 1} $。
• 通过证明当 $ m $ 足够大时，Kostant公式中的向量始终位于根系 $ A_n $ 的同一区域中，从而证明Ehrhart多项式为单变量多项式。

实验结果

研究问题

• RQ1 Berenstein和Kirillov所猜想的Gelfand-Tsetlin多面体的所有顶点是否都是整数？
• RQ2 能否利用GT-模式的铺砌结构给出顶点的组合表征？
• RQ3 对于固定的 $ n $，GT-多面体中非整数顶点可能出现的最大分母是多少？
• RQ4 即使多面体存在非整数顶点，GT-多面体的Ehrhart计数函数是否仍保持为多项式？
• RQ5 铺砌矩阵 $ A_{\mathscr{P}} $ 如何与GT-多面体的面维数和顶点结构相关联？

主要发现

• 本文为每个 $ n \geq 5 $ 构造了一个无限族GT-多面体，其具有非整数顶点，且随着 $ n $ 增大，顶点的分母可任意大。
• 作者通过展示 $ n \geq 5 $ 时存在明确的非整数顶点反例，推翻了Berenstein和Kirillov的猜想。
• 建立了非整数顶点分母的上界为 $ (n-1)^{\binom{n+1}{2} - n - 1} $，该上界在 $ n $ 固定时成立。
• 包含GT-模式的最小面的维数由 $ s - \text{rank}(A_{\mathscr{P}}) $ 给出，其中 $ s $ 为自由铺砌的数量，$ A_{\mathscr{P}} $ 为铺砌矩阵。
• 尽管存在非整数顶点，Ehrhart计数函数 $ f(m) = \#(GT(m\lambda, m\mu) \cap \mathbb{Z}^{n+1 \choose 2}) $ 被证明为单变量多项式。
• 多项式性的证明依赖于如下事实：当 $ m $ 足够大时，Kostant公式中的向量始终位于根系 $ A_n $ 的同一区域中，从而保证了单一多项式表达式。