[论文解读] Quadrant marked mesh patterns in alternating permutations

Sergey Kitaev, Jeffrey B. Remmel|arXiv (Cornell University)|May 2, 2012

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

一句话总结

本文通过基于最大元素位置的递归分解方法，研究了交替排列与反向交替排列中象限标记网格模式（MMP）的分布。推导了特定模式——MMP(1,0,0,0)、MMP(0,1,0,0)、MMP(0,0,1,0)、MMP(0,0,0,1)——的生成函数，表明其在偶数长度的上升-下降排列中的分布由 $(\sec(xt))^{1/x}$ 控制，在奇数长度的下降-上升排列中则由 $\int_0^t (\sec(xz))^{1+1/x} dz$ 控制，从而通过网格模式统计扩展了经典计数结果。

ABSTRACT

This paper is continuation of the systematic study of distribution of quadrant marked mesh patterns. We study quadrant marked mesh patterns on up-down and down-up permutations, also known as alternating and reverse alternating permutations, respectively. In particular, we refine classic enumeration results of André on alternating permutations by showing that the distribution of the quadrant marked mesh pattern of interest is given by $(\sec(xt))^{1/x}$ on up-down permutations of even length and by $\int_0^t (\sec(xz))^{1+\frac{1}{x}}dz$ on down-up permutations of odd length.

研究动机与目标

• 将象限标记网格模式的系统研究扩展至交替排列与反向交替排列。
• 利用网格模式统计方法，对 André 关于交替排列的经典计数结果进行细化。
• 基于最大元素的位置开发递归技术，以计算分布生成函数。
• 探讨上升-下降与下降-上升排列中特定网格模式的生成函数。
• 针对这些排列类，推测相关多项式的单峰性。

提出的方法

• 基于最大元素位置对排列进行递归分解，以推导生成函数。
• 对上升-下降与下降-上升排列使用指数生成函数。
• 推导涉及正割函数与积分的闭式表达式，用于描述模式分布。
• 应用组合恒等式与超几何函数处理更复杂的模式。
• 利用生成函数恒等式，将模式计数与已知组合序列关联。
• 将先前基于最小元素位置递归的技术进行调整，以处理最大元素位置。

实验结果

研究问题

• RQ1 如何表征偶数长度上升-下降排列中象限标记网格模式 MMP(1,0,0,0)、MMP(0,1,0,0)、MMP(0,0,1,0) 与 MMP(0,0,0,1) 的分布？
• RQ2 奇数长度下降-上升排列中这些模式分布的生成函数是什么？
• RQ3 能否基于最大元素位置的递归方法推导出这些网格模式的生成函数？
• RQ4 这些模式的生成函数与更复杂模式（如 $k \geq 2$ 时的 MMP(k,0,0,0)）的生成函数相比有何异同？
• RQ5 这些网格模式分布相关的多项式对所有 $n \geq 1$ 是否均为单峰？

主要发现

• 偶数长度上升-下降排列中 MMP(1,0,0,0) 的分布由生成函数 $(\sec(xt))^{1/x}$ 给出。
• 奇数长度下降-上升排列中 MMP(1,0,0,0) 的分布由积分 $\int_0^t (\sec(xz))^{1+1/x} dz$ 给出。
• 对于较小的 $k$ 值，推导出了描述偶数与奇数长度排列中模式分布的系数 $r_k(n)$ 与 $s_k(n)$ 的显式有理函数。
• 上升-下降排列中 MMP(1,0,\emptyset,0) 的生成函数为 $A^{(1,0,\emptyset,0)}(t,x) = (\sec(t))^x$，展现出简洁的闭式形式。
• 下降-上升排列中 MMP(1,0,\emptyset,0) 的生成函数涉及超几何函数与三角函数项，表明其复杂度更高。
• 作者基于对较小 $n$ 的经验证据，推测多项式 $A_{2n}(x)$、$B_{2n+1}(x)$、$C_{2n}(x)$ 与 $D_{2n+1}(x)$ 对所有 $n \geq 1$ 均为单峰。