[论文解读] Generalizations of two-stack-sortable permutations

Dapeng Xu|ArXiv.org|Sep 23, 2002

Advanced Combinatorial Mathematics参考文献 20被引用 3

一句话总结

本文将两栈可排序排列推广至 $r$-排列，通过Zeilberger风格的因式分解方法，为按下降数计数的两栈可排序 $k$-元组 $r$-排列的生成函数引入函数方程。解此方程得到此类排列数的显式公式，将经典栈排序结果推广至多重集排列，并在模式避免与对称函数理论中具有应用。

ABSTRACT

In this thesis, we apply the stack sorting operator to $r$-permutations and construct the functional equation for the generating function of two-stack-sortable $k$-tuple $r$-permutations counted by descents by using a factorization similar to Zeilberger's. We solve the functional equation and give explicit formulas for the number of two-stack-sortable $r$-permutations.

研究动机与目标

• 将栈可排序排列理论推广至每个元素出现 $r$ 次的 $r$-排列。
• 通过函数方程枚举按下降数计数的两栈可排序 $k$-元组 $r$-排列。
• 将West对两栈可排序排列的刻画推广至 $r$-排列情形。
• 探讨在多重集排列背景下，栈排序、模式避免与对称函数之间的联系。

提出的方法

• 通过引入基于最大元素位置的因式分解方法，将Zeilberger的函数方程方法适配至 $r$-排列。
• 利用递归分解推导两栈可排序 $k$-元组 $r$-排列的生成函数的函数方程。
• 应用多变量Lagrange反演从生成函数中提取系数，得到显式公式。
• 引入一种修改：将初等对称函数替换为完全齐次对称函数，以建模具有无界子类型树结构。
• 使用通过 $G = 1 + zFG$ 和 $f_k = \sum_{j=0}^\infty g_{k+j} h_j(x)$ 定义的生成函数 $G$ 和 $F$ 来建模组合结构。
• 通过代换 $x_i = \frac{y_i(1 - y_i)}{H^2(y)}$ 求解修改后的函数方程，并推导出 $G$ 和 $F$ 的闭式表达。

实验结果

研究问题

• RQ1 如何将两栈可排序排列的概念推广至每个元素出现 $r$ 次的 $r$-排列？
• RQ2 按下降数计数的两栈可排序 $k$-元组 $r$-排列的生成函数由何种函数方程控制？
• RQ3 $r$-排列的结构如何影响两栈可排序性的模式避免条件？
• RQ4 能否显式求解 $r$-排列的函数方程，以得到此类排列数的闭式表达？
• RQ5 将初等对称函数替换为完全齐次对称函数对函数方程解结构有何影响？

主要发现

• 两栈可排序 $r$-排列的数量由公式 $\frac{1}{n^2} \prod_{i=0}^{r} \frac{n}{n + k_i} \binom{2n + 2k_i}{k_i}$ 给出，其中 $n = 1 + \sum k_i$。
• 通过多变量Lagrange反演推导出显式生成函数解，得到此类排列数的闭式表达。
• 使用完全齐次对称函数的修改后函数方程导出新解形式，涉及 $H(y)$，其中 $G = \frac{c(t)H(y)}{H(y,c(t))}$ 且 $F = \frac{H(y)}{t}\left(H(y) - \frac{H(y,c(t))}{c(t)}\right)$。
• 解揭示了一种类对偶性：$A(-n; k_0, \dots, k_r) = (-1)^{n-1} B(n; k_0, \dots, k_r)$，连接了负指数与正指数情形。
• 函数方程框架可推广至 $t$-栈可排序 $\mu$-元组排列，但对 $t \geq 3$ 的求解仍具挑战性。
• 通过禁止模式，将两栈可排序排列的刻画扩展至 $r$-排列：不允许存在不属于 35241 的类型为 2341 或 3241 的子序列。