[论文解读] On the Best Upper Bound for Permutations Avoiding A Pattern of a Given Length

Miklós Bóna|arXiv (Cornell University)|Sep 11, 2012

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

一句话总结

该论文建立了任意长度为 $k$ 的模式的 $n$-排列中避免该模式的排列数的上界为 $(2.25k^2)^n$，并针对分层模式 $M_k$（例如 $M_4 = 1324$）证明了该上界。证明方法通过将避免 $M_k$ 的排列单射映射到有限字母表上的字对，利用递推关系和生成函数来界定增长速率，支持了如下猜想：对于任意长度 $k$ 的模式，其避免排列数不会超过 $(2.25k^2)^n$。

ABSTRACT

Numerical evidence suggests that certain permutation patterns of length k are easier to avoid than any other patterns of that same length. We prove that these patterns are avoided by no more than (2.25k^2)^n permutations of length n. In light of this, we conjecture that no pattern of length k is avoided by more than that many permutations of length n.

研究动机与目标

• 建立避免任意给定长度为 $k$ 的模式的 $n$-排列数的紧致上界。
• 支持如下猜想：如 $M_k$ 这类分层模式是最常被避免的，因此可作为上界的极值情形。
• 相较于先前的指数上界 $c_k \to 2^{O(k\log k)}$，证明 $c_k \leq 2.25k^2$ 对所有 $k$ 成立，从而实现改进。
• 通过字编码与递推关系，提供一种构造性归纳框架，以界定避免模式排列的增长。

提出的方法

• 将分层模式 $M_k$ 定义为交替的递增与递减序列，其中 $M_{2m} = 132\cdots(2m-1)(2m-2)2m$ 且 $M_{2m-1} = 21\cdots(2m-2)(2m-3)(2m-1)$。
• 基于定理 2.5 的红蓝着色，构建从避免 $M_k$ 的排列到有限字母表上字对的单射映射。
• 利用线性递推关系建模有效字的数量：当 $k=2m$ 时，$b_n = (3m-2)b_{n-1} - (m-1)b_{n-2}$，当 $k=2m-1$ 时类似，该关系由禁止子串约束推导而来。
• 使用生成函数 $B(x) = \frac{1}{1 - (3m-2)x + (m-1)x^2}$ 求解递推关系，并推导出涉及根 $\beta_1, \beta_2$ 的闭式表达。
• 通过界定主导根 $\beta_1$，证明 $\beta_1 < 3m-2$，从而得到 $|W_{3m-2}(n)| \leq (2\beta_1^{n-1})^2$，因此 $S_n(M_k) \leq (2.25k^2)^n$。
• 对奇数 $k=2m-1$ 应用类似推理，使用 $V_{3m-4}(n)$ 并界定 $\alpha_1 < 3m-4$，得出相同的渐近上界。

实验结果

研究问题

• RQ1 避免给定长度为 $k$ 的模式的 $n$-排列数的最佳可能上界是什么？
• RQ2 是否可以对所有长度为 $k$ 的模式 $q$，统一地用 $(2.25k^2)^n$ 来界定 $S_n(q)$ 的增长速率？
• RQ3 分层模式如 $M_k$ 是否在最小避免性方面代表极值情形，从而可作为通用上界？
• RQ4 如何利用递推关系与字编码来推导避免模式排列的紧致指数上界？

主要发现

• 避免任意长度为 $k$ 的模式的 $n$-排列数最多为 $(2.25k^2)^n$，提供了普遍上界。
• 对于分层模式 $M_k$，有 $S_n(M_k) \leq (2.25k^2)^n$ 成立，且当 $k \geq 4$ 时渐近接近等号。
• 当 $k=2m$ 时，字计数递推关系的主导根 $\beta_1$ 满足 $\beta_1 < 3m-2$，确保了上界成立。
• 当 $k=2m-1$ 时，通过分析 $V_{3m-4}(n)$ 并界定 $\alpha_1 < 3m-4$，同样建立了 $S_n(M_k) \leq (2.25k^2)^n$。
• 该上界优于先前结果如 $c_k \leq 2^{O(k\log k)}$，并支持了 $c_k \leq 2.25k^2$ 为最优的猜想。
• 数值证据与先前猜想（如猜想 1.2）一致，表明 $M_k$ 模式是最常被避免的。