[论文解读] Alternating sign trapezoids and a constant term approach

Ilse Fischer|arXiv (Cornell University)|Apr 23, 2018

Advanced Combinatorial Mathematics参考文献 18被引用 3

一句话总结

本文通过基于单调三角形的算子公式，采用常数项方法，证明了Behrend与Aigner的猜想：$(n,l)$-交错符号梯形的数目等于类数为$l-1$、顶行最多有$n$个部分的列严格斜拔平面分拆的数目。此外，本文还确立了在两类对象上，三个统计量——$\operatorname{r}(T)$、$\operatorname{p}(T)$ 和 $\operatorname{q}(T)$——具有相同的联合分布，暗示可能存在一个双射。

ABSTRACT

We show that there is the same number of (n,l)-alternating sign trapezoids as there is of column strict shifted plane partitions of class l-1 with at most n parts in the top row, thereby proving a result that was conjectured independently by Behrend and Aigner. The first objects generalize alternating sign triangles, which have recently been introduced by Ayyer, Behrend and the author who showed that they are counted by the same formula as alternating sign matrices. Column strict shifted plane partitions of a fixed class were introduced in a slightly different form by Andrews, and they essentially generalize descending plane partitions. They also correspond to cyclically symmetric lozenge tilings of a hexagon with a triangular hole in the center. In addition, we also provide three statistics on each class of objects and show that their joint distribution is the same. We prove our result by employing a constant term approach that is based on the author's operator formula for monotone triangles. This paper complements a forthcoming paper of Behrend and the author, where the six-vertex model approach is used to show equinumeracy as well as generalizations involving statistics that are different from those considered in the present paper.

研究动机与目标

• 证明Behrend与Aigner提出的关于$(n,l)$-交错符号梯形与类数为$l-1$、顶行最多有$n$个部分的列严格斜拔平面分拆之间数量相等性的猜想。
• 在两类对象上建立三个统计量——$\operatorname{r}(T)$、$\operatorname{p}(T)$ 与 $\operatorname{q}(T)$——的联合分布等价性，暗示更深层次的结构联系。
• 采用基于单调三角形算子公式的常数项方法，推导出这两类组合对象的生成函数。
• 通过提供一种非双射的替代路径，与Behrend及作者即将发表的六顶点模型方法形成互补，实现数量相等性的证明，同时关注不同的统计量。

提出的方法

• 将常数项方法应用于由单调三角形算子公式导出的矩阵行列式，将计数问题转化为生成函数的计算。
• 利用代数恒等式对行列式进行变换，包括Chu-Vandermonde求和公式，以及通过$\binom{n}{k} = (-1)^k \binom{k-n-1}{k}$实现的二项式系数对偶性。
• 将矩阵元素重新表达为格路生成函数的形式，其中权重对应路径特征，如高度0处的水平步与对角线交叉。
• 利用Lindström-Gessel-Viennot定理将行列式解释为非相交格路的生成函数，进而通过双射将这些路径与列严格斜拔平面分拆联系起来。
• 权重函数引入$P$、$Q$与$R$参数，以编码交错符号梯形中$10$-列与$1$-列的统计量，对$d=0$时的中心列给予特殊处理。
• 当$d \geq 1$时，权重编码了对角线$y = x + d$是否通过向北或向西步长穿越；当$d = 0$时，权重包含一个三元项$(P+Q-1)$，用于路径在原点穿越主对角线的情况。

实验结果

研究问题

• RQ1 $(n,l)$-交错符号梯形与类数为$l-1$、顶行最多有$n$个部分的列严格斜拔平面分拆的数目是否相等？
• RQ2 交错符号梯形上的三个统计量$\operatorname{r}(T)$、$\operatorname{p}(T)$ 与 $\operatorname{q}(T)$ 的联合分布，是否与列严格斜拔平面分拆上的对应统计量相同？
• RQ3 能否基于单调三角形的算子公式，利用常数项方法推导出可枚举这两类对象的生成函数？
• RQ4 在格路解释中，权重如何编码交错符号梯形上的统计量，特别是当$d=0$时？

主要发现

• $(n,l)$-交错符号梯形的数目等于类数为$l-1$、顶行最多有$n$个部分的列严格斜拔平面分拆的数目，从而证实了Behrend与Aigner的猜想。
• 在两类对象上，统计量$\operatorname{r}(T)$、$\operatorname{p}(T)$ 与 $\operatorname{q}(T)$ 的联合分布完全一致，提示可能存在一个双射。
• 交错符号梯形的生成函数可表示为一个包含由$P$、$Q$ 与 $R$ 加权的二项式系数的行列式，其形式与列严格斜拔平面分拆的生成函数完全一致。
• 当$P=Q=R=1$时，该行列式退化为已知形式，可枚举类数为$l-1$的列严格斜拔平面分拆，与已有结果一致。
• 通过Lindström-Gessel-Viennot定理建立的格路解释，提供了一个组合模型，其中路径特征可直接对应到梯形上的统计量，尤其在$d \geq 1$时表现明确。
• 当$d=0$时，权重函数包含一个三元因子$(P+Q-1)$，用于路径在原点穿越主对角线的情况，能正确编码中心列对统计量的贡献。