[论文解读] Central binomial coefficients also count (2431,4231,1432,4132)-avoiders

Marie-Louise Bruner|arXiv (Cornell University)|May 19, 2015

Advanced Combinatorial Mathematics参考文献 5被引用 3

一句话总结

本文证明了避免四个模式 2431、4231、1432 和 4132 的排列由中心二项式系数 $\binom{2(n-1)}{n-1}$ 计数。通过将排列编码为包含整数和表示插入位置的标记 B/E 的码字，作者建立了这些码字与格路之间的直接对应关系，从而通过构造性双射给出了该计数公式的组合证明。

ABSTRACT

This short paper is concerned with the enumeration of permutations avoiding the following four patterns: $2431$, $4231$, $1432$ and $4132$. Using a bijective construction, we prove that these permutations are counted by the central binomial coefficients.

研究动机与目标

• 确定避免四个特定 4-模式：2431、4231、1432 和 4132 的排列的确切计数。
• 在这些排列与一个已知计数的码字组合类之间建立双射联系。
• 证明长度为 $n$ 的此类排列的数量由中心二项式系数 $\binom{2(n-1)}{n-1}$ 给出。
• 提供一种构造性、双射的证明，避免使用生成函数或重写规则，专注于结构化插入约束。

提出的方法

• 在字母表 $\{2,3,\ldots\} \cup \{B,E\}$ 上定义码字系统，其中 $B$ 和 $E$ 分别表示开始和结束标记，整数表示插入位置。
• 建立码字上的约束：非 B/E 字符必须非减，且不能与其它非 B/E 字符相邻。
• 通过追踪递归构造中最大元素 $n$ 的插入位置，建立 $\mathcal{S}_n$ 类中排列与长度为 $n-1$ 的码字之间的双射。
• 将码字的非初始段映射到类似 Dyck 的格路，以通过组合路径计数实现计数。
• 使用广义求和恒等式与数学归纳法，证明长度为 $n-1$ 的有效码字数量等于 $\binom{2(n-1)}{n-1}$。
• 通过在恒等式 $\sum_{j=0}^{n-1} 2^{m-j} \binom{m+j-1}{j} (m-j) = n \cdot 2^{m-n+1} \binom{m+n-1}{n}$ 中令 $m = n$ 来验证该公式，得到中心二项式系数。

实验结果

研究问题

• RQ1 避免四个 4-模式：2431、4231、1432 和 4132 的排列的确切计数是多少？
• RQ2 能否在这些排列与一个具有已知计数的词组合类之间建立双射对应？
• RQ3 长度为 $n$ 的此类排列的数量是否等于中心二项式系数 $\binom{2(n-1)}{n-1}$？
• RQ4 能否通过组合方法证明该计数，而无需依赖生成函数或重写规则？
• RQ5 是否存在到其他由中心二项式系数计数的对象（如奶奶步或 Dyck 路径）的直接双射？

主要发现

• 避免四个模式 2431、4231、1432 和 4132 的长度为 $n$ 的排列数量恰好为 $\binom{2(n-1)}{n-1}$，即中心二项式系数。
• 双射编码将每个此类排列映射到长度为 $n-1$ 的唯一码字，码字取自字母表 $\{2,3,\ldots\} \cup \{B,E\}$，并满足特定结构约束。
• 有效码字集合的计数方式与特定步长类型的格路数量相同，从而建立了组合联系。
• 该证明使用了一个广义求和恒等式，当特殊化为 $m = n$ 时，可得到中心二项式系数 $\binom{2n}{n}$。
• 作者识别出十二个可能的 4-模式避免排列的 Wilf-等价类，这些类也可能由中心二项式系数计数，其中一类已通过基于 Catalan 的插入论证得到证明。
• 本文仍留下挑战：需构造从这些排列到标准组合对象（如奶奶步或 Dyck 路径）的直接双射。