[论文解读] Block patterns in Stirling permutations

Jeffrey B. Remmel, Andrew Timothy Wilson|arXiv (Cornell University)|Feb 14, 2014

Advanced Combinatorial Mathematics被引用 5

一句话总结

本文引入了Stirling和k-Stirling排列中的块模式，基于包含关系和约化形式定义了分层块结构。它建立了一个通用的生成函数框架，将排列中的模式计数转化为Stirling排列中的块模式计数，从而实现Wilf等价性结果，并通过指数生成函数揭示了贝塞尔多项式的新解释。

ABSTRACT

We introduce and study a new notion of patterns in Stirling and $k$-Stirling permutations, which we call block patterns. We prove a general result which allows us to compute generating functions for the occurrences of various block patterns in terms of generating functions for the occurrences of patterns in permutations. This result yields a number of applications involving, among other things, Wilf equivalence of block patterns and a new interpretation of Bessel polynomials. We also show how to interpret our results for a certain class of labeled trees, which are in bijection with Stirling permutations.

研究动机与目标

• 使用分层包含关系和约化形式，正式定义Stirling和k-Stirling排列中的块模式。
• 建立一种通用方法，利用已知的排列模式生成函数，计算块模式出现次数的生成函数。
• 通过指数生成函数，证明块模式的Wilf等价性，并揭示其与贝塞尔多项式之间的联系。
• 将该框架扩展至k-Stirling排列，并提供基于积分的递归生成函数构造方法。

提出的方法

• 块被定义为排列σ中两个i的出现之间（含）的子串[i,i]_σ，其层级由嵌套包含关系决定，且通过约化形式同构关系确定。
• 层级ℓ的块递归定义为：若一个块被包含于一个层级ℓ−1的块中，且其约化形式在约化父块中为层级1的块，则该块为层级ℓ。
• 块模式是带有下划线的排列，用以表示连续的条目；其在Stirling排列中的出现通过顺序同构且连续的子序列匹配来定义。
• 主要结果为一个递归生成函数公式：G^A,p(t;x;y) = F^{A1,p1}( y1 * ∫₀ᵗ ∏ⱼ G^{sh_j(A),sh_j(p)}(u; sh_j(x); sh_j(y)) du , x1 )，该公式将块模式的生成函数与排列模式的生成函数联系起来。
• 该方法使用指数生成函数与积分变换，以编码各层级上的块结构与模式统计信息。
• 在积分简化的情况下（如指数函数或双曲函数），可推导出受限块大小或类型下的闭式生成函数。

实验结果

研究问题

• RQ1 如何利用分层包含关系和约化形式，正式定义Stirling排列中的块模式？
• RQ2 Stirling排列中块模式的生成函数与经典排列模式的生成函数之间存在何种关系？
• RQ3 能否通过所提出的生成函数框架，建立块模式的Wilf等价性？
• RQ4 该框架如何扩展至k-Stirling排列？其结果的递归积分表示为何？
• RQ5 应用该框架后会产生哪些新的组合解释，例如与贝塞尔多项式之间的联系？

主要发现

• 本文建立了一个通用的生成函数变换，可将排列模式的生成函数映射为Stirling排列中块模式的生成函数。
• 块模式的Wilf等价性被证明可由其底层排列模式的等价性通过生成函数框架推导得出。
• 通过指数生成函数，推导出贝塞尔多项式的新解释：即某些块模式统计量在Stirling排列中的指数生成函数。
• 对于k-Stirling排列，生成函数通过低层级生成函数乘积的积分递归表示。
• 在特定情况下（如使用双曲函数将块类型限制为偶数或奇数长度），可获得具体的闭式生成函数。
• 该框架允许通过解析上可处理的积分，枚举具有块大小和类型约束的Stirling排列，例如在层级2中具有偶数长度子块的排列。