[论文解读] Avoiding 2-letter signed patterns

Toufik Mansour, Julian West|ArXiv.org|Jul 23, 2002

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

一句话总结

本文通过利用对称操作（反转、加横线、补数）将所有2字母带符号模式集合T的避免问题归约，完全分类了超八面体群$B_n$中避免任意集合$T$的带符号排列的数量。推导出$b_n(T)$的精确公式，其形式包括二项式系数、卡塔兰数、斐波那契数列及阶乘，结果范围从$n!$到$\sum_{k=0}^n \binom{n}{k}^2 k!$，并识别出在较大模式集合下$b_n(T) = 0$或$b_n(T) = 1$的退化情形。

ABSTRACT

Let B_n be the hyperoctahedral group; that is, the set of all signed permutations on n letters, and let B_n(T) be the set of all signed permutations in B_n which avoids a set T of signed patterns. In this paper, we find all the cardinalities of the sets B_n(T) where $T \subseteq B_2$. This allow us to express these cardinalities via inverse of binomial coefficients, binomial coefficients, Catalan numbers, and Fibonacci numbers.

研究动机与目标

• 确定$B_n$中避免集合$T \subseteq B_2$内所有模式的带符号排列的基数$b_n(T)$。
• 根据对称性（反转、加横线、补数）对所有此类避免集合$T$进行分类，以减少需分析的不同情形数量。
• 推导$b_n(T)$的闭式表达式，包括二项式系数、阶乘、卡塔兰数以及类似斐波那契的数列。
• 识别出$b_n(T) = 0$或$b_n(T) = 1$的退化情形，尤其针对$|T|$较大的情况。
• 为$B_n$中所有可能的2字母带符号模式子集$T$提供$B_n(T)$的完整组合枚举。

提出的方法

• 利用$G_b$群的对称性（反转、加横线、补数）将等价的模式集合$T$归为一类，从而减少需分析的情形数量。
• 以已知的单模式避免结果为基础，例如$b_n(12) = b_n(1\overline{2}) = \sum_{k=0}^n \binom{n}{k}^2 k!$。
• 对$|T| = 2, 3, 4, 5, 6, 7, 8$的情形应用组合推理与情形分析，依据模式结构与对称性进行区分。
• 对较大的$|T|$采用计算机辅助计算，以推测并验证$b_n(T)$的公式。
• 依赖带符号排列的结构分解：将排列划分为中心元素之前与之后的部分，以计数有效配置。
• 运用递推与容斥原理，推导出如$b_n(\{12, \overline{2}1\}) = n! + n! \sum_{i=1}^n \left( \frac{1}{i} \sum_{j=0}^{i-1} \frac{1}{j!} \right)$等表达式。

实验结果

研究问题

• RQ1 对于任意给定的2字母带符号模式集合$T$，$B_n$中避免$T$的带符号排列数量是多少，且该结果在对称性下是否唯一？
• RQ2 反转、加横线与补数等对称性如何影响$B_n(T)$的计数？
• RQ3 对于哪些集合$T \subseteq B_2$有$b_n(T) = 0$，对于哪些有$b_n(T) = 1$？
• RQ4 所有$b_n(T)$的值是否都能用标准组合数列（如二项式系数、阶乘或卡塔兰数）表示为闭式？
• RQ5 对所有$2^8 = 256$个可能的子集$T \subseteq B_2$，$b_n(T)$的完整分类是什么？

主要发现

• 对于任意单个2字母带符号模式$\tau$，有$b_n(\tau) = \sum_{k=0}^n \binom{n}{k}^2 k!$，与已知结果一致。
• 对于2个2字母带符号模式的组合，$b_n(T)$的取值包括$(n+1)!$、$\binom{2n}{n}$，或$n! + n! \sum_{i=1}^n \left( \frac{1}{i} \sum_{j=0}^{i-1} \frac{1}{j!} \right)$，具体取决于其对称类。
• 当$|T| = 5$时，$b_n(T)$的取值为$0$、$3$、$n+1$、$1+n!$或$(n+1)(n-1)!$，其中$b_n(W_9) = 0$且$b_n(W_4) = 3$。
• 当$|T| = 6$时，$b_n(T)$的取值为$0$、$2$或$n!$，其中$b_n(V_4) = n!$，且$b_n(V_2) = b_n(V_7) = b_n(V_8) = 0$。
• 当$|T| = 7$或$8$时，若$T = B_2$或$T = U_2$，则$b_n(T) = 0$；而当$n \geq 3$时，$b_n(U_3) = 1$，表明仅有一个带符号排列能避免$U_3$中的全部7个模式。
• 本文证实了$b_n(\{12, 21\}) = 2n!$且$b_n(\{1\overline{2}}, \overline{1}2) = (n+1)!$，纠正了早期的猜想。