[论文解读] Pattern-Avoiding Involutions: Exact and Asymptotic Enumeration

Miklós Bóna, Cheyne Homberger+2 more|arXiv (Cornell University)|Oct 25, 2013

Advanced Combinatorial Mathematics参考文献 24被引用 11

一句话总结

本文對避免模式的對合進行了全面研究，專注於單一4模式避免類別。透過改進的著色技術與取代分解，作者推導出1324避免對合的增長率上界小於4.84，揭示了出人意料的漸近行為，並為長期存在的1324避免問題提供了新見解。

ABSTRACT

We consider the enumeration of pattern-avoiding involutions, focusing in particular on sets defined by avoiding a single pattern of length 4. As we demonstrate, the numerical data for these problems demonstrates some surprising behavior. This strange behavior even provides some very unexpected data related to the number of 1324-avoiding permutations.

研究动机与目标

• 系統性地枚舉避免模式的對合，特別是避免長度為4的單一模式者。
• 研究1324避免對合計數中觀察到的出人意料的數值行為，其與已知模式明顯不同。
• 應用先進的組合技術——著色與取代分解——以推導這些類別的增長率界。
• 釐清避免4字模式的對合的Wilf等價類，延伸先前對排列類的研究。
• 為未來枚舉困難類別（如1324避免對合）奠定基礎，這些類別至今尚未以精確形式被枚舉。

提出的方法

• 將Bóna提出的「著色」技術加以改進，用於追蹤1324避免排列中的右到左最大值與最小值，透過為元素分配顏色以維持模式避免性。
• 利用從1324避免排列到字母表{a, b, c, d}上字串對(eπ, vπ)的單射，並施加約束以避免如c b之類的禁止子串。
• 透過強制對稱性，將字串對模型限制於對合：a與d元素在eπ與vπ兩字串中必須出現在相同位置。
• 在對合約束下，構造有效著色字串對的生成函數h(x) = (1 + x)/(1 - 5x + x² - x³)。
• 應用自動機理論方法，從h(x)分母的最小正根的倒數推導增長率。
• 利用排列的取代分解分析簡單排列的結構，並指導特定4模式類別的計數策略。

实验结果

研究问题

• RQ1 為何1324避免對合的計數序列與其他4模式類別相比，展現出出人意料的不規則增長？
• RQ2 著色方法能否進一步推廣，以獲得1324避免對合增長率的更緊密界？
• RQ3 對合的哪些結構性質使得其增長率上界顯著低於一般1324避免排列？
• RQ4 4模式避免對合之間是否存在與其一般排列對應物不同的Wilf等價類？
• RQ5 取代分解方法能否用於枚舉其他4模式避免對合類別，如2431或3421？

主要发现

• 1324避免對合的增長率上界為約4.84，由生成函數h(x) = (1 + x)/(1 - 5x + x² - x³)推導得出。
• 由於對合條件強制的對稱性，1324避免對合的增長率上界顯著低於一般1324避免排列的已知上界。
• 長度為11的1324避免對合數量為5,654，至長度15時達到6,116，顯示快速但不規則的增長模式。
• 對於2413避免對合類別，生成函數與Motzkin數相關，且該類與1234避免對合類Wilf等價。
• 2431避免對合類別展現出獨特的增長模式，長度15時有1,272個簡單排列，暗示進一步結構分析的潛力。
• 表17的資料顯示，4231與1324等類別的簡單排列計數較為複雜，暗示取代分解在這些情況下可能無效。