[论文解读] Five subsets of permutations enumerated as weak sorting permutations

David Callan, Toufik Mansour|arXiv (Cornell University)|Feb 16, 2016

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

一句话总结

本文識別出五種不同的四字母排列模式三元組對稱類，這些三元組與弱排序排列Wilf等價，其計數由OEIS序列A111279給出。透過遞推關係、核方法及顯式雙射，作者為所有五個類別推導出一個共同的生成函數，證明它們計數相同的模式避免排列。此結果確認，不存在其他非平凡的四字母模式三元組會產生此序列。

ABSTRACT

We show that the number of members of S_n avoiding any one of five specific triples of 4-letter patterns is given by sequence A111279 in OEIS, which is known to count weak sorting permutations. By numerical evidence, there are no other (non-trivial) triples of 4-letter patterns giving rise to this sequence. We make use of a variety of methods in proving our result, including recurrences, the kernel method, direct counting, and bijections.

研究动机与目标

• 確定所有非平凡的四字母模式三元組，其避免排列由序列A111279計數，而該序列已知用於計數弱排序排列。
• 證明僅存在五個此類三元組的對稱類，每一類均產生相同的計數序列。
• 使用遞推關係與核方法，為所有五個類別建立統一的生成函數。
• 針對其中一個類別提供顯式組合構造與雙射，特別是針對三元組Π₅ = {3214, 3241, 4213}。

提出的方法

• 根據初始段計數與輔助函數，推導出避免每個模式三元組之排列數量的遞推關係。
• 應用核方法求解由遞推關係產生的函數方程，進而得到封閉形式的生成函數。
• 使用生成函數A(x,v)與B(x,v)編碼部分計數，並推導出完整生成函數F(x)。
• 建立Π₅-避免排列與213-避免與321-避免排列組合之間的雙射，並附帶特定結構約束。
• 運用推廣的Catalan數恆等式，計算長度、關鍵元素數量及遞增後綴位置等參數的總和。
• 構造不可分解Π₅-避免排列的雙變數生成函數，並使用直和分解來建模所有此類排列。

实验结果

研究问题

• RQ1 是否存在非平凡的四字母模式三元組，除了已知的弱排序三元組外，與A111279序列計數的弱排序排列Wilf等價？
• RQ2 哪些四字母模式三元組的對稱類會產生與弱排序排列相同的計數序列？
• RQ3 是否能為所有此類模式三元組推導出統一的生成函數？若是，其封閉形式表達式為何？
• RQ4 如何構造顯式組合結構以建模避免五個已識別模式三元組中每一種的排列？
• RQ5 Π₅-避免排列的長度與組成部分數量的雙變數生成函數為何？

主要发现

• 恰好存在五個四字母模式三元組的對稱類，其避免排列由序列A111279計數，對應於列出的五個三元組Π₁至Π₅。
• 所有五個模式集合共享同一生成函數：F(x) = (1 - 5x + (1+x)√(1-4x)) / (1 - 5x + (1-x)√(1-4x))。
• 針對三元組Π₅ = {3214, 3241, 4213}，利用Catalan數與二項式係數的總和，推導出|Sₙ(Π₅)|的顯式公式。
• 不可分解Π₅-避免排列的生成函數為F_indec(x) = 1 / (1 - x/√(1-4x))，對應於OEIS序列A026671。
• Π₅-避免排列的長度與組成部分數量的雙變數生成函數為 2xy√(1-4x) / (y - 2x - 3xy + (2 - xy - y)√(1-4x))。
• 電腦驗證確認，不存在其他非平凡的四字母模式三元組會產生A111279序列，從而確立分類的完整性。