[论文解读] A New Class of Wilf-Equivalent Permutations

Zvezdelina Stankova-Frenkel, Julian West|ArXiv.org|Mar 24, 2001

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

一句话总结

本文通過證明對任意 τ ∈ S_{n−3}，排列 (n−1,n−2,n,τ) 和 (n−2,n,n−1,τ) 是 Wilf-等價的，引入了一類新的 Wilf-等價排列。利用對排列矩陣的新型行與列分解技術，作者解決了長度至 7 的排列模式 Wilf 分類中最後的開放案例，包括長期懸而未決的等價關係 (546213) ∼ (465213)，從而完成了 S₇ 的 Wilf 分類，並解決了 S₆ 中的未決案例。

ABSTRACT

For about 10 years, the classification of permutation patterns was thought completed up to length 6. In this paper, we establish a new class of Wilf-equivalent permutation patterns, namely, (n-1,n-2,n,tau)~(n-2,n,n-1,tau) for any tau in S_{n-3}. In particular, at level n=6, this result includes the only missing equivalence (546213)~(465213), and for n=7 it completes the classification of permutation patterns by settling all remaining cases in S_7.

研究动机与目标

• 解決長度至 7 的排列模式分類中最後的未解決 Wilf-等價案例。
• 建立一種新的、系統性的方法，用於識別超出對稱類的 Wilf-等價排列。
• 透過證明 (546213) ∼ (465213) 來完成 S₇ 的 Wilf 分類，該等價關係已懸而未決超過十年。
• 通過在 S₆ 和 S₇ 中構造反例，證明先前關於排列按限制性排序的猜想在漸近意義上不成立。

提出的方法

• 引入一種稱為行分解公式的新組合技術，用於分析排列矩陣的結構。
• 發展了一種列分解方法，允許通過分析列位置來遞歸構造避免某排列的排列。
• 建立行與列分解的交換性，以證明在特定排列變換下，避免 τ 的排列數保持不變。
• 使用生成樹和基於矩陣的子矩陣包含關係來建模排列模式的避免行為。
• 採用廣泛的計算枚舉來驗證 Wilf-等價性，並檢測模式計數中的漸近切換行為。
• 應用對稱性與對偶性論證來減少案例數量，專注於非對稱代表。

实验结果

研究问题

• RQ1 是否存在與排列矩陣的二面體群對稱性無關的 Wilf-等價？
• RQ2 能否發展出一種系統性的代數或組合方法，用於識別超出對稱類的新的 Wilf-等價？
• RQ3 是否對所有 n，排列可按限制性進行漸近排序的猜想都成立？
• RQ4 S₇ 中的完整 Wilf-類集合是什麼？哪些先前遺漏的等價關係仍為解決？
• RQ5 是否存在某個有限 n 時，兩個排列的相對限制性發生切換的反例，從而使全局排序無效？

主要发现

• 本文證明了對所有 τ ∈ S_{n−3}，有 (n−1,n−2,n,τ) ∼ (n−2,n,n−1,τ)，從而確立了一個新的無限組 Wilf-等價家族。
• 該結果解決了 S₆ 中最後一個遺漏的等價關係：(546213) ∼ (465213)，從而完成了長度為 6 的排列 Wilf 分類。
• 對於 S₇，本文解決了所有剩餘的開放案例，確認 Wilf 分類現已完整覆蓋至長度 7。
• 作者在 S₆ 和 S₇ 中識別出反例，顯示兩個排列的相對限制性在有限 n 時發生切換，從而否定了排列可進行漸近排序的猜想。
• 本文提供了明確的計數數據，顯示 S₉(546213) = 39428 且 S₉(465213) = 39428，但計數在 n=13 時開始分離，確認它們在長遠來看並非等價。
• 本文證明，雖然 (1234) 和 (4123) 的生成樹並非同構，但它們在每一層的節點數相同，表明即使無樹同構，仍存在 Wilf-等價。