[论文解读] Enumerating Segmented Patterns in Compositions and Encoding by Restricted Permutations

Sergey Kitaev, Tyrrell B. McAllister+1 more|ArXiv.org|May 5, 2005

Advanced Combinatorial Mathematics参考文献 7被引用 5

一句话总结

本文引入分段偏序模式（SPOPs）以在整数 compositions 和回文 compositions 中枚举复杂统计特征——例如后续上升或特定部分分布。通过一种新颖的“受限排列编码”方法，作者推导出多重生成函数，用于计数 SPOPs 在特定位置的出现次数，推广了先前对上升、下降和水平模式的研究，并建立了受限排列与组合对象（如不含单个字符的二进制串、几何线排列）之间的显式双射。

ABSTRACT

A composition of a nonnegative integer (n) is a sequence of positive integers whose sum is (n). A composition is palindromic if it is unchanged when its terms are read in reverse order. We provide a generating function for the number of occurrences of arbitrary segmented partially ordered patterns among compositions of (n) with a prescribed number of parts. These patterns generalize the notions of rises, drops, and levels studied in the literature. We also obtain results enumerating parts with given sizes and locations among compositions and palindromic compositions with a given number of parts. Our results are motivated by "encoding by restricted permutations," a relatively undeveloped method that provides a language for describing many combinatorial objects. We conclude with some examples demonstrating bijections between restricted permutations and other objects.

研究动机与目标

• 将整数 compositions 中上升、下降和水平等统计特征的研究推广至任意分段偏序模式（SPOPs）。
• 开发一种系统性方法——“受限排列编码”——将 compositions 中的复杂统计转换为可管理的排列统计。
• 推导出用于计数具有给定部分数的 compositions 中特定分割点处 SPOP 出现次数的多重生成函数。
• 将该框架扩展至回文 compositions，细化先前关于部分分布和模式频率的结果。
• 建立受限排列与其他组合结构（如不含单个字符的二进制串、避免 1-3-2-4 且仅有一个下降的排列、n 条非平行且不共点的直线的交点连线）之间的显式双射。

提出的方法

• 作者定义了在偏序字母表上的分段模式与 SPOPs，确保任意模式中字母的集合构成一个序理想。
• 他们构建了一个生成函数（定理 2.1），通过使用部分数、分割点和模式出现次数的变量，追踪固定部分数的 compositions 中每个分割点处 SPOP 出现的次数。
• 该方法依赖于将 compositions 编码为受限排列，使得组合统计（例如模式出现次数）在编码下保持不变。
• 对于回文 compositions，作者调整编码方式以考虑对称性，从而实现对 k 部分及其特定位置约束的模式的枚举。
• 他们建立了受限排列与其他组合对象之间的双射，如不含单个字符的二进制串、避免 1-3-2-4 且仅有一个下降的排列，以及 n 条非平行且不共点的直线交点连线。
• 双射通过可逆的铺砌与标记过程构建，例如从右到左读取二进制串，以构建 1×n 棋盘上的单格与双格铺砌。

实验结果

研究问题

• RQ1 如何系统地计数在固定部分数的 n 的 compositions 中，给定分段偏序模式（SPOP）在特定分割点处的出现次数？
• RQ2 用于追踪 compositions 和回文 compositions 中 SPOP 出现次数、部分大小及部分位置联合分布的多重生成函数是什么？
• RQ3 “受限排列编码”方法如何将 compositions 中的复杂统计转换为更易分析的排列统计？
• RQ4 受限排列与其他组合对象（如不含单个字符的二进制串或几何线排列）之间存在哪些双射？
• RQ5 该框架能否扩展以枚举具有给定部分数的回文 compositions 中的 k 部分及其位置？

主要发现

• 作者推导出一个多重生成函数（定理 2.1），用于计数在固定部分数的 n 的 compositions 中，每个分割点处给定 SPOP 的出现次数。
• 推论 2.2 将该生成函数特化为计数所有 n 的 compositions 中 SPOP 出现的总次数，推广了早期关于上升、下降和水平模式的结果。
• 本文提供了在固定部分数的 n 的 compositions 中，给定分割点处 k 部分数量的生成函数，扩展了文献 [3] 的结果。
• 作者建立了不含单个字符的二进制串与避免 1-3-2-4 模式且恰好有一个下降的排列之间的双射，其计数为 (n+3 选 3)。
• 他们构建了受限排列与以下对象之间的显式双射：(1) 不含单个字符的二进制串，(2) 避免 1-3-2-4 且仅有一个下降的排列，(3) n 条非平行且不共点的直线交点连线。
• 这些双射是可逆的，基于铺砌构造与标记规则，例如从右到左读取二进制串以构建由单格与双格组成的铺砌，且保持结构不变。