[论文解读] Diagonal vectors of shifted Young tableaux

Dorian Croitoru|ArXiv.org|Mar 14, 2008

Advanced Combinatorial Mathematics被引用 3

一句话总结

本文通过建立此类向量与Minkowski和中格点之间的双射，推广了Postnikov关于标准移位杨表的对角向量的工作，该Minkowski和记为$\mathbf{P}_{\lambda}$。关键结果是一个涉及Schur多项式与指数生成函数的生成函数恒等式，其中$\mathbf{P}_{\lambda}$的顶点对应于移位图$D_\emptyset$的特定矩形剖分，从而实现了对具有给定对角向量的表的显式构造。

ABSTRACT

We study vectors formed by entries on the diagonal of standard Young tableaux of shifted shapes. Such vectors are in bijection with integer lattice points of certain integral polytopes, which are Minkowski sums of simplices. We also describe vertices of these polytopes, and construct corresponding shifted Young tableaux.

研究动机与目标

• 将Postnikov关于空分拆的对角向量结果推广至任意移位形状$\lambda$。
• 将$\lambda$-移位标准杨表的所有可能对角向量集合表征为多面体$\mathbf{P}_{\lambda}$中的格点。
• 通过移位三角形图$D_\emptyset$的矩形剖分，组合地描述$\mathbf{P}_{\lambda}$的顶点。
• 提供一种显式构造方法，生成其对角向量对应于$\mathbf{P}_{\lambda}$顶点的$\lambda$-移位杨表。

提出的方法

• 将多面体$\mathbf{P}_{\lambda}$定义为$\mathbb{R}^n$中单纯形的Minkowski和，其组合类型仅依赖于$\lambda$的长度。
• 将Gelfand-Tsetlin多面体$P_\lambda(\mathbf{x})$视为对角值固定为$x_1 > \cdots > x_n$的序多面体的截面，并以两种方式计算其体积。
• 基于坐标的排序，建立从$P_\lambda(\mathbf{x})$中具有不同坐标的点到标准$\lambda$-移位杨表的体积保持映射$\phi$。
• 将预像$\phi^{-1}(T)$的体积与差值$T(i+1,i+1) - T(i,i) - 1 = a_i$相关联，得到多重系数的乘积。
• 通过等价两个$\mathrm{vol}(P_\lambda(\mathbf{x}))$的表达式——一个涉及Schur多项式，另一个是按多重系数加权的表的和——推导出一个生成函数恒等式。
• 通过二叉树和$D_\emptyset$的矩形剖分构造$\mathbf{P}_{\lambda}$的顶点，其中每个区域的大小对应于顶点向量的分量。

实验结果

研究问题

• RQ1 如何几何表征$\lambda$-移位标准杨表的对角向量集合？
• RQ2 $\mathbf{P}_{\lambda}$的组合结构是什么，该多面体参数化了这些对角向量？
• RQ3 $\mathbf{P}_{\lambda}$的顶点如何与移位三角形图$D_\emptyset$的矩形剖分相关联？
• RQ4 能否通过体积论证与对称函数推导出给定对角向量的表的个数的生成函数？
• RQ5 是否存在一种构造性方法，从$\mathbf{P}_{\lambda}$的顶点构造出一个$\lambda$-移位杨表？

主要发现

• $\lambda$-移位标准杨表的对角向量与多面体$\mathbf{P}_{\lambda}$的整数格点之间存在双射，其中$\mathbf{P}_{\lambda}$是单纯形的Minkowski和。
• 当$\lambda$的长度为$n$时，多面体$\mathbf{P}_{\lambda}$组合等价于关联多面体$\mathrm{Ass}_n$，推广了Postnikov对$\lambda = \emptyset$的结果。
• 给定对角向量差值$a_i$的表的个数的生成函数由一个Schur多项式与$t_i$的线性项的乘积给出，再除以阶乘。
• $\mathbf{P}_{\lambda}$的顶点对应于将$D_\emptyset$剖分为$n$个矩形，使得最右下角的竖直条带至少包含$n-k+1$个方格，其中$k$是$\lambda$中非零部分的个数。
• 对于每个此类剖分$\Xi$，顶点$v_\Xi$通过将$\Xi$与图$D_{\lambda - \langle 1^k \rangle}$合并得到，且$v_\Xi = (t_1, \dots, t_n)$，其中$t_i$是合并图中第$i$个区域的方格数。
• 通过按标准方式将对角元素填入并用连续整数填充第$i$个区域，实现了对具有对角向量$v_\Xi$的$\lambda$-移位杨表的显式构造，从而保证行与列的严格递增性。