[论文解读] Enumeration of snakes and cycle-alternating permutations

Matthieu Josuat-Vergès|arXiv (Cornell University)|Nov 3, 2010

Advanced Combinatorial MathematicsMathematics参考文献 20被引用 20

一句话总结

本文为与三角函数相关的导数多项式提供了组合解释，将其与带符号排列（蛇形排列）、循环交替排列、加权Dyck路径与Motzkin路径，以及有序树/森林联系起来。文章建立了基于三角级数和J连分数的生成函数，引入了q-类比，并将结果与正规序问题和微分方程联系起来，为Springer数及其相关序列提供了一个统一的组合框架。

ABSTRACT

Springer numbers are an analog of Euler numbers for the group of signed permutations. Arnol'd showed that they count some objects called snakes, that generalize alternating permutations. Hoffman established a link between Springer numbers, snakes, and some polynomials related with the successive derivatives of trigonometric functions. The goal of this article is to give further combinatorial properties of derivative polynomials, in terms of snakes and other objects: cycle-alternating permutations, weighted Dyck or Motzkin paths, increasing trees and forests. We obtain the generating functions, in terms of trigonometric functions for exponential ones and in terms of J-fractions for ordinary ones. We also define natural q-analogs, make a link with normal ordering problems and combinatorial theory of differential equations.

研究动机与目标

• 通过将Springer数 S_n 与多种组合对象关联，拓展其已知生成函数之外的组合理解。
• 利用组合结构，为导数多项式 P_n(t)、Q_n^{(a)}(t) 和 R_n(t) 的生成函数提供双射与代数证明。
• 引入并研究这些多项式的q-类比，将其与量子力学中的正规序问题及微分方程联系起来。
• 在统一的生成函数框架下，整合蛇形排列、循环交替排列、加权格路路径和有序树等各类组合家族。

提出的方法

• 利用微分恒等式和三角函数展开，推导出导数多项式 P_n(t)、Q_n^{(a)}(t) 和 R_n(t) 的递推关系与生成函数。
• 通过基于叶节点位置的读取字与符号分配，建立有序树与蛇形排列之间的双射。
• 构造编码 Q_n^{(a)}(t) 系数的加权Dyck路径与Motzkin路径，其权重源自路径结构与下降模式。
• 使用J连分数表达普通生成函数，并通过路径分解组合证明其恒等性。
• 引入多项式的q-类比，并将其与微分方程背景下算子正规序问题相关联。
• 应用微分方程的组合理论，将多项式解释为计数加权树与森林。

实验结果

研究问题

• RQ1 导数多项式 P_n(t) 与 Q_n^{(a)}(t) 如何在带符号排列与格路路径的组合意义上进行解释？
• RQ2 在蛇形排列与循环交替排列的语境下，参数 t 的组合意义是什么？
• RQ3 Q_n^{(a)}(t) 的生成函数能否通过连分数（J连分数）以双射方式解释，其与已知解析结果的关系如何？
• RQ4 q-类比的Springer数与导数多项式如何从微分方程的正规序问题中产生？
• RQ5 有序树、森林与蛇形排列、循环交替排列等各类排列类之间存在何种结构性关系？

主要发现

• Q_n^{(a)}(t) 的指数生成函数为 (cos z - t sin z)^{-a}，推广了 a=1 时的已知结果。
• Q_n^{(a)}(t) 的普通生成函数以J连分数（连分数）形式表达，为一个经典解析恒等式提供了组合解释。
• 构建了有序树与蛇形排列之间的双射，其中符号分配取决于读取字中每个节点前的空叶子数量。
• 多项式 R_n(t) = Q_n^{(2)}(t) 满足 R_n(1) = 2^n E_{n+1}，将其与Euler数和 β-蛇形排列联系起来。
• 定义了导数多项式的q-类比，并将其与正规序问题关联，扩展了已知的Euler数q-类比。
• 证明了循环交替排列是蛇形排列在Foata基本变换下的像，为同一序列提供了新的组合模型。