利用 Gessel-Viennot 行列式合理表达旗舒尔函数所需的行界
组合数学
2023-06-22 v6
摘要
设 为不超过 个部分的划分。设 为来自 的弱增 元组。由 和 索引的变量 中的旗舒尔函数被定义为形状为 且其值按行受 的条目界定的半标准杨表的含量权单项式之和。Gessel 和 Viennot 给出了由 和 索引的旗舒尔函数的行列式表达式;这之所以可行,是因为该对 满足他们用于建模表的 条格路的终点序列的“非可置换”条件。我们通过取消 必须弱增的要求来推广旗舒尔函数。然后对于每个 ,我们给出 的条目使得对 非可置换的充要条件。当 的部分不互异时,会有多个行界 元组 产生相同的表集合。因此我们将这些界 分成等价类,并确定每类中用于行列式计算最高效的 。我们最近表明,许多其他由 和 索引的对象集合都由这些高效 元组的数量枚举。我们称这些计数为“抛物线卡特兰数”。值得注意的是,由 312-避免排列索引的 Demazure 特征(关键多项式)也可以用这些行列式来表达。
引用
@article{arxiv.1701.01182,
title = {Row bounds needed to justifiably express flagged Schur functions with Gessel-Viennot determinants},
author = {Robert A. Proctor and Matthew J. Willis},
journal= {arXiv preprint arXiv:1701.01182},
year = {2023}
}
备注
22 pages, 5 figures, 4 tables. Identical to v.5, except for the insertion of a reference and the DMTCS journal's publication meta data