[论文解读] (2+2)-free posets, ascent sequences and pattern avoiding permutations

Mireille Bousquet‐Mélou, Anders Claesson+2 more|arXiv (Cornell University)|Jun 4, 2008

Advanced Combinatorial Mathematics参考文献 8被引用 44

一句话总结

本文建立了四类组合对象之间的双射：(2+2)-自由偏序集、上升序列、特定的模式避免排列以及Stoimenow的无不动点对合（弦图），揭示了它们的计数相等性。关键贡献在于构造了一个直接的、保持统计量的双射，通过上升序列编码这些对象，从而得到一个非D-有限的生成函数，并通过不动点的映射修正证明了关于3̄152̄4-避免排列的Pudwell猜想。

ABSTRACT

We present bijections between four classes of combinatorial objects. Two of them, the class of unlabeled (2+2)-free posets and a certain class of involutions (or chord diagrams), already appeared in the literature, but were apparently not known to be equinumerous. We present a direct bijection between them. The third class is a family of permutations defined in terms of a new type of pattern. An attractive property of these patterns is that, like classical patterns, they are closed under the action of $D_8$, the symmetry group of the square. The fourth class is formed by certain integer sequences, called ascent sequences, which have a simple recursive structure and are shown to encode (2+2)-free posets and permutations. Our bijections preserve numerous statistics. We determine the generating function of these classes of objects, thus recovering a non-D-finite series obtained by Zagier for the class of chord diagrams. Finally, we characterize the ascent sequences that correspond to permutations avoiding the barred pattern $3{\bar 1}52{\bar 4}$ and use this to enumerate those permutations, thereby settling a conjecture of Pudwell.

研究动机与目标

• 建立(2+2)-自由偏序集、上升序列、模式避免排列与Stoimenow对合（弦图）之间的直接、保持统计量的双射，这些对象此前已知计数相等但未被显式关联。
• 定义并刻画一类新的避免特定类型连字符模式的排列，该类模式在正方形的二面体群作用下封闭，从而扩展了经典模式避免理论。
• 证明修改后的上升序列映射的不动点恰好对应于避免 barred 模式3̄152̄4的排列，从而解决Pudwell的一个猜想。
• 推导这些组合类的生成函数，表明其与Zagier关于弦图的级数一致，并提供(2+2)-自由偏序集与对合之间的直接双射。

提出的方法

• 引入上升序列作为核心编码工具：非负整数序列，其中每一项至多比此前出现的不同数值个数大1。
• 通过广义连字符模式定义一类新的避免模式的排列，该模式在二面体群作用（正方形的对称性）下封闭，扩展了经典模式避免理论。
• 构建一个递归双射Λ，连接上升序列与新的模式避免排列类，保持下降数、峰数等多种统计量。
• 通过上升序列开发(2+2)-自由偏序集的递归构造Ψ，表明此类偏序集与上升序列之间存在双射，并继承其统计量。
• 引入一个修改后的上升序列映射x̂，以简化偏序集与排列结构的提取，并利用它刻画对应于3̄152̄4-避免排列的不动点。
• 通过按层级顺序匹配打开与关闭弦的方式，建立(2+2)-自由偏序集与Stoimenow对合（弦图）之间的直接双射Ω，保持最小/最大元素个数等统计量。

实验结果

研究问题

• RQ1 这四类组合对象——(2+2)-自由偏序集、上升序列、模式避免排列与Stoimenow对合——是否可通过一个直接的、保持统计量的双射自然地实现计数相等？
• RQ2 新一类模式避免排列能否通过简单的递归构造或编码来刻画？其是否在对称性封闭下扩展了经典模式避免理论？
• RQ3 修改后的上升序列映射x̂的不动点与barred模式3̄152̄4之间的确切联系是什么？这是否能导致闭式计数？
• RQ4 是否存在一个直接的、组合意义明确的双射，将(2+2)-自由偏序集与Stoimenow对合关联起来，而无需依赖生成函数？

主要发现

• 本文证明了修改后上升序列映射x̂的不动点与避免barred模式3̄152̄4的排列之间存在一一对应，从而证实了Pudwell的猜想。
• (2+2)-自由偏序集、上升序列与新排列类的生成函数是非D-有限的，且与Zagier关于Stoimenow对合的级数一致，为该级数提供了新的组合解释。
• 构造了一个(2+2)-自由偏序集与Stoimenow对合之间的直接双射Ω，该双射保持关键统计量，如最小与最大元素个数，以及元素的层级结构。
• 通过上升序列（经Ψ）构造(2+2)-自由偏序集与通过Λ构造排列的递归方法，均保持了多种统计量，包括下降数、峰数与连通分量数。
• 本文表明，新类排列的点图在乘积序下不总是生成(2+2)-自由偏序集，说明该偏序结构不能直接从图中看出。