[论文解读] Saturated chains in composition posets

Jan Snellman|ArXiv.org|May 12, 2005

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

一句话总结

本文研究了整数 compositions 的偏序集中的饱和链，引入并分析了三个相关偏序集：$π$、$π_{××}$ 和 $π^\infty$，它们将杨氏格推广到了非交换设置。文章推导出固定宽度 $k$ 的饱和链的有理生成函数，构建了非交换生成函数，这些函数是有理的且可被有限自动机识别，并通过斯坦利的偏序集 $π^\infty$ 建立了与拟对称函数的联系。主要贡献在于为这些偏序集提供了一个统一的形式化框架，并给出了链计数的显式有理生成函数。

ABSTRACT

We study three different poset structures on the set of all compositions. In the first case, the covering relation consists of inserting a part of size one to the left or to the right, or increasing the size of some part by one. The resulting poset was studied by the author in "A poset classifying non-commutative term orders", and then in "Standard paths in another composition poset" where some results about generating functions for standard paths in this poset was established. The latter article was inspired by the work of Bergeron, Bousquet-M{é}lou and Dulucq on "Standard paths in the composition poset", where they studied a poset where there are additional cover relations which allows the insertion of a part of size one anywhere in the composition. Finally, following a suggestion by Richard Stanley we study yet a third which is an extension of the previous two posets. This poset is related to quasi-symmetric functions. For these posets, we study generating functions for saturated chains of fixed width k. We also construct ``labeled'' non-commutative generating functions and their associated languages.

研究动机与目标

• 通过引入推广组合偏序集覆盖关系的新偏序集，扩展杨氏格的非交换类比。
• 研究这些偏序集中饱和链的性质，特别是固定宽度 $k$ 的链，并推导其计数的生成函数。
• 构建编码完整链信息的标记非交换生成函数，并证明其为有理函数且可被有限状态机识别。
• 在统一的形式化框架下统一描述偏序集 $π$、$π_{××}$ 和 $π^\infty$，其中 $π^\infty$ 作为它们的归纳极限。
• 建立这些偏序集与拟对称函数之间的联系，特别是通过理查德·斯坦利的偏序集 $π^\infty$。

提出的方法

• 本文在组合上定义了三个偏序集：$π$（在两端插入 1 或增加部分）、$π_{××}$（在任意位置插入 1），以及 $π^\infty$（将 $π_{××}$ 扩展，使得大小为 $n$ 的组合恰好有 $n+1$ 个覆盖）。
• 文章引入了固定宽度 $k$ 的饱和链的生成函数，并证明其满足有理递推关系。
• 非交换生成函数被构造为形式幂级数，编码饱和链中所有步骤的完整序列。
• 文章证明这些非交换生成函数是有理的，意味着它们可被有限自动机识别。
• 它使用基于多重秩和递归结构的统一形式化框架，描述了 $d \geq 1$ 的偏序集 $π^d$，其中 $π^\infty$ 是其归纳极限。
• 该分析基于伯杰龙、布苏瓦-梅鲁和杜鲁克关于 $π_{××}$ 中标准路径的前期工作，将其扩展至任意起始组合和非交换编码。

实验结果

研究问题

• RQ1 当从任意组合而非仅空组合开始时，如何对组合偏序集中的饱和链进行计数？
• RQ2 在偏序集 $π$、$π_{××}$ 和 $π^\infty$ 中，固定宽度 $k$ 的饱和链的生成函数具有何种结构？
• RQ3 能否构建编码完整饱和链的非交换生成函数？它们是否为有理函数或可被有限自动机识别？
• RQ4 理查德·斯坦利提出的偏序集 $π^\infty$ 如何与其它偏序集以及拟对称函数相关联？
• RQ5 何种统一形式化框架可以描述 $d \geq 1$ 的偏序集族 $π^d$ 及其极限 $π^\infty$？

主要发现

• 在偏序集 $π$ 和 $π_{××}$ 中，固定宽度 $k$ 的饱和链的生成函数是有理函数，并满足一个简单的递推关系。
• 编码这些偏序集中所有饱和链的非交换生成函数是有理函数，意味着它们可被有限状态机识别。
• 偏序集 $π^\infty$（其扩展使得大小为 $n$ 的组合恰好有 $n+1$ 个覆盖）被证明是偏序集 $π^d$ 的归纳极限。
• $π^\infty$ 偏序集自然与基本拟对称函数相关联，为它们的结构提供了组合模型。
• 本文构建了一个统一的形式化框架，将 $π$、$π_{××}$ 和 $π^\infty$ 视为通过多重秩描述的更广泛偏序集族的特例。
• 本研究证实，饱和链的非交换生成函数是有理函数，将有理性的结果从交换情形推广到了非交换情形。