[论文解读] Restricted 132-Involutions and Chebyshev Polynomials

Olivier Guibert, Toufik Mansour|ArXiv.org|Jan 15, 2002

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

一句话总结

本文证明了避免 132 和另一模式 τ ∈ S_k 的对合的生成函数可通过第二类切比雪夫多项式表示，揭示了受限排列模式与正交多项式之间的深刻联系。文章推导出此类对合数量的显式公式，表明当避免 132 与避免 12⋯k 或 213⋯k 结合时，生成函数仅依赖于 k，并以 U_k(1/(2x)) 的闭式表达。其核心贡献是建立了一个统一框架，将模式避免对合与切比雪夫多项式联系起来，推广了已知结果并提供了新的枚举公式。

ABSTRACT

We study generating functions for the number of involutions in $S_n$ avoiding (or containing once) 132, and avoiding (or containing once) an arbitrary permutation $τ$ on $k$ letters. In several interesting cases the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind. In particular, we establish that involutions avoiding both 132 and $12... k$ have the same enumerative formula according to the length than involutions avoiding both 132 and any {\em double-wedge pattern} possibly followed by fixed points of total length $k$. Many results are also shown with a combinatorial point of view.

研究动机与目标

• 研究 S_n 中避免模式 132 和另一模式 τ ∈ S_k 的对合的生成函数。
• 确定这些生成函数在何种条件下仅依赖于 k 并能以第二类切比雪夫多项式表示。
• 通过将已知关于避免 132 的对合结果推广至避免 132 和任意 τ ∈ S_k 的对合，实现一般化。
• 建立组合双射，例如避免 132 的对合与本原 Dyck 单词之间的双射，并探讨 132 恰好出现一次的情况。

提出的方法

• 作者使用生成函数技术，特别是有理函数 R_k(x) = 2tU_{k-1}(t)/U_k(t)，其中 t = 1/(2√x)，以建模避免 132 的排列的生成函数。
• 他们应用由对合结构分解导出的递推关系，利用命题 4.3 将长度为 k 的模式的生成函数与长度为 k−1 的生成函数联系起来。
• 第二类切比雪夫多项式 U_k(x) 作为核心代数工具，各类模式类别的生成函数均以 U_k(1/(2x)) 表示。
• 该方法基于模式 τ 在对合中的位置和结构进行分类讨论，区分 τ 出现在分解左半部分或右半部分的情况。
• 对于 12⋯k、213⋯k 和 23⋯k1 等模式，作者通过归纳法和对 R_k(x) 的已知结果推导出闭式生成函数。
• 使用组合双射验证结果，例如避免 132 的对合与本原 Dyck 单词之间的双射。

实验结果

研究问题

• RQ1 对于 τ ∈ S_k，避免 132 和 τ 的对合数量的生成函数是什么？它如何依赖于 k？
• RQ2 避免 132 且避免 τ 的对合的生成函数能否以第二类切比雪夫多项式表示？
• RQ3 对于哪些模式类 τ，生成函数独立于 τ 的具体结构，而仅依赖于 k？
• RQ4 当 132 在对合中恰好出现一次时会发生什么？这对避免 τ 或包含 τ 的对合的生成函数有何影响？
• RQ5 是否存在组合双射，能够解释避免 132 的对合与某些模式避免类之间计数相等的原因？

主要发现

• 当 τ = 12⋯k 时，生成函数为 J_{12⋯k}(x) = x / U_k(1/(2x)) × ∑_{j=1}^{k-2} U_j(1/(2x))，明确显示出对切比雪夫多项式的依赖。
• 当 τ = 213⋯k 时，生成函数为 J_{213⋯k}(x) = x / U_k(1/(2x)) × [xU_2(1/(2x)) + ∑_{j=2}^{k-2} U_j(1/(2x))]，显式依赖于 k。
• 包含恰好一次 132 且 τ = 213⋯k 的避免 132 对合的数量由 J_{213⋯k}^1(x) = x(1−x²)/U_k(1/(2x)) 给出，证明当 k ≥ 3 时非零。
• 当 τ = 12⋯k 时，包含恰好一次 132 的对合数量为零，即 J_{12⋯k}^1(x) = 0，这是由于结构约束所致。
• 当 τ = 23⋯k1 时，生成函数为 J_{23⋯k1}(x) = x²U_{k−3}(1/(2x)) / [(1−x)U_{k−2}(1/(2x))] × [1 + (1/U_{k−1}(1/(2x))) × ∑_{j=1}^{k−3} U_j(1/(2x))]，显示出对 k 的复杂依赖。
• 当 τ = 2134 时，此类对合的数量为 J_{2134}(2n+3) = J_{2134}(2n+4) = F_{2n}，即第 (2n) 个斐波那契数，展示了具体的数值结果。