[论文解读] Counting stabilized-interval-free permutations

David Callan|ArXiv.org|Oct 10, 2003

Coding theory and cryptography被引用 9

一句话总结

该论文建立了一个生成函数恒等式，表明在 $A(x)^n$ 中 $x^{n-1}$ 的系数等于 $n!$，其中 $A(x)$ 是稳定区间自由（SIF）排列的生成函数。论文推导出 $a_n$（即 $[n]$ 上 SIF 排列的数量）的递推关系，从而实现高效计算，并通过 SIF 组件的双射分解，将排列的结构与非交叉划分及 Dyck 路径联系起来。

ABSTRACT

A stabilized-interval-free (SIF) permutation on [n]={1,2,...,n} is one that does not stabilize any proper subinterval of [n]. By presenting a decomposition of an arbitrary permutation into a list of SIF permutations, we show that the generating function A(x) for SIF permutations satisfies the defining property: [x^(n-1)] A(x)^n = n! . We also give an efficient recurrence for counting SIF permutations.

研究动机与目标

• 建立 SIF 排列的生成函数 $A(x)$ 的生成函数恒等式，满足 $[x^{n-1}]A(x)^n = n!$。
• 为 $[n]$ 上 SIF 排列的数量 $a_n$ 提供一个递推关系，实现高效计算。
• 通过 Murasaki 图和组件分解，展示任意排列到总长度为 $n-1$ 的 $n$-元组无标签 SIF 排列的双射分解。
• 通过保留组件结构的方式，将 SIF 排列的结构与非交叉划分和 Dyck 路径等组合对象联系起来。
• 分析渐近行为，表明 SIF 排列所占比例约为 $\frac{1}{e}(1 - \frac{1}{n}) + O(\frac{1}{n^2})$。

提出的方法

• 将排列分解为组件，其中每个组件是连通（不可约）排列，并通过移除稳定子区间，进一步将这些组件分解为 SIF 排列。
• 构建从 $[n]$ 上排列的集合到总长度为 $n-1$ 的无标签 SIF 排列的 $n$-元组的双射，从而证明 $[x^{n-1}]A(x)^n = n!$。
• 使用 Murasaki 图表示排列到 SIF 组件的分解，其中线段对应于基集，SIF 排列对应于作用。
• 基于删除 $n$ 后包含 $n$ 的最大稳定子区间的大小，推导出递推关系：$a_n = \sum_{j=2}^{n-2} (j-1)a_j a_{n-j} + (n-1)a_{n-1}$。
• 建立 $A(x)$ 的微分方程：$xA'(x) = A(x) - x - \frac{x}{A(x) - 1}$，该方程由递推关系导出。
• 利用已知的组合等价关系：非交叉划分、Dyck 路径和组件分解，验证结构对应关系。

实验结果

研究问题

• RQ1 SIF 排列在 $[n]$ 上的生成函数恒等式是什么？
• RQ2 SIF 排列的数量如何高效计算？其计数由何种递推关系控制？
• RQ3 是否存在 $[n]$ 上排列与总长度为 $n-1$ 的无标签 SIF 排列的 $n$-元组之间的双射对应？
• RQ4 通过组件分解，SIF 排列的结构如何与非交叉划分和 Dyck 路径相关联？
• RQ5 在 $[n]$ 上所有排列中，SIF 排列的渐近比例是多少？

主要发现

• SIF 排列的生成函数 $A(x)$ 满足 $[x^{n-1}]A(x)^n = n!$，建立了深刻的结构恒等式。
• 递推关系 $a_n = \sum_{j=2}^{n-2} (j-1)a_j a_{n-j} + (n-1)a_{n-1}$ 允许对 $n \geq 2$ 高效计算 $a_n$，其中 $a_0 = a_1 = 1$。
• 在 $[n]$ 上 SIF 排列的比例渐近为 $\frac{1}{e}(1 - \frac{1}{n}) + O(\frac{1}{n^2})$，数值证据支持该结论。
• 该递推关系通过分析满足 $\sigma$ 稳定 $I \cup \{n\}$ 的最大稳定子区间 $I \subseteq [n-1]$ 导出，从而实现 SIF 组件的分解。
• 生成函数 $A(x)$ 满足微分方程 $xA'(x) = A(x) - x - \frac{x}{A(x) - 1}$，将其与递推关系联系起来。
• 通过 Murasaki 图和组件分解，构建了 $[n]$ 上排列与总长度为 $n-1$ 的无标签 SIF 排列的 $n$-元组之间的双射，且保持结构不变量。