[论文解读] A bijection to count (1-23-4)-avoiding permutations

David Callan|arXiv (Cornell University)|Aug 13, 2010

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

一句话总结

本文提出了一种用于计数(1-23-4)-避免排列的二元递推关系——即避免四个递增元素且中间两个相邻的排列——通过建立与具有递增叶节点的递增有序树之间的双射。关键贡献在于，与先前的四元版本相比，该递推关系显著简化，从而实现了高效的计数，并揭示了与Dyck路径及2-配置之间的联系。

ABSTRACT

A permutation is (1-23-4)-avoiding if it contains no four entries, increasing left to right, with the middle two adjacent in the permutation. Here we give a 2-variable recurrence for the number of such permutations, improving on the previously known 4-variable recurrence. At the heart of the proof is a bijection from (1-23-4)-avoiding permutations to increasing ordered trees whose leaves, taken in preorder, are also increasing.

研究动机与目标

• 简化(1-23-4)-避免排列数量的递推关系，此前该关系需要四个变量。
• 在(1-23-4)-避免排列与具有递增叶节点的递增有序树之间建立双射对应关系。
• 提供一种更高效且具有结构洞察力的方法来枚举这些排列。
• 通过统一的编码框架，探索排列模式、树结构与Dyck路径之间的联系。

提出的方法

• 引入一个二元递推关系，用于计算u(n,k)，即长度为n且在特定结构角色中具有k个元素的(1-23-4)-避免排列的数量。
• 构建(1-23-4)-避免排列与n条边的递增有序树（具有递增叶节点）之间的双射，其中根的出度k作为索引。
• 通过在树上执行修剪与重新根操作来推导递推关系，其中顶点1要么是叶节点，要么与根合并。
• 使用序列(a_i, h_i)对排列和树进行编码，其中a_i表示出度，h_i编码子树中兄弟节点的位置，从而实现唯一重构。
• 建立递推关系与具有谷标记的Dyck路径计数之间的等价性，提供了第二种组合模型。
• 应用生成函数与偏微分方程（PDE）来建模LRMin段与自由上升等统计量，从而得到一个闭式解的生成函数。

实验结果

研究问题

• RQ1 与先前已知的四元递推关系相比，能否为(1-23-4)-避免排列的数量找到更简单的递推关系？
• RQ2 是否存在一种自然的组合结构（如树或路径），可双射地建模(1-23-4)-避免排列？
• RQ3 (1-23-4)-避免排列、具有递增叶节点的递增有序树以及谷标记Dyck路径之间存在何种结构关系？
• RQ4 能否通过具有闭式解的生成函数来捕捉排列模式（如LRMin段与自由上升）的统计量？
• RQ5 对于其他类似的手性或双手性排列模式，是否存在类似的快速递推关系？

主要发现

• 本文建立了u(n,k)的二元递推关系，即长度为n且根出度为k的(1-23-4)-避免排列的数量，其形式远比先前的四元递推关系更简洁。
• 在(1-23-4)-避免排列与具有递增叶节点的递增有序树之间建立了双射对应关系，其中根的出度k对应于u(n,k)。
• 通过证明该递推关系同时计数了此类树和半长为n、首次上升长度为k的谷标记Dyck路径，验证了递推关系的正确性。
• 采用序列(a_i, h_i)的编码系统可唯一编码树与路径，其中a_i表示出度，h_i编码修剪后子树中兄弟节点的位置。
• 推导出闭式解的生成函数F(x,y,z,w)，其满足一阶线性PDE，可按短段、长段与自由上升对排列进行计数。
• 当y=z=1时，该生成函数简化为(1−w)/(1−we^{x(1−w)})^{1/w}，从而得到自由上升计数生成函数的闭式表达式。