[论文解读] Factorizations of permutations into star transpositions

J. Irving, Amarpreet Rattan|arXiv (Cornell University)|Oct 21, 2006

graph theory and CDMA systems参考文献 2被引用 9

一句话总结

本文为对称群 $\mathfrak{S}_n$ 中任意置换的最小传递星因子分解数量提供了闭式公式，通过消除对循环结构的限制，推广了 Pak 的早期结果。通过因子分解与由 Dyck 型序列编码的根平面树之间的双射，作者推导出此类因子分解的数量仅依赖于置换的循环类型，揭示了一种出人意料的对称性，该对称性目前尚缺乏组合解释。

ABSTRACT

We give a compact expression for the number of factorizations of any permutation into a minimal number of transpositions of the form $(1 i)$. Our result generalizes earlier work of Pak in which substantial restrictions were placed on the permutation being factored.

研究动机与目标

• 将 Pak 关于最小星因子分解的公式扩展至任意置换，而不仅限于固定 1 且具有均匀循环长度的置换。
• 解释最小传递星因子分解计数中出人意料的对称性，即计数仅依赖于循环长度，而不依赖于哪个元素（例如 1）出现在哪个循环中。
• 通过图嵌入和树表示，提供最小传递星因子分解的组合表征。
• 建立因子分解、平面图与根平面树之间的联系，从而通过循环引理实现计数。

提出的方法

• 使用一个组合引理表征最小传递星因子分解，该引理将因子分解的结构与目标置换的循环分解联系起来。
• 建立最小传递星因子分解与根平面树之间的双射，其中包含 $m$ 个白色顶点（每个循环一个）和 $n-m$ 个黑色顶点（每个非根元素一个），白色顶点用每个循环的最小元素标记。
• 使用 Dyck 型序列编码此类树：首次访问顶点时记为 +1，最后一次访问白色顶点 $j$ 且其有 $i$ 个黑色子节点时记为 $-i^{(j)}$。
• 使用循环引理计算有效 Dyck 序列的数量，这些序列与最小传递星因子分解一一对应。
• 利用因子分解与平面图（通过欧拉-庞加莱公式）之间的对应关系，确认最小性和传递性条件。
• 将图表示简化为规范树形式，消除冗余的边标签，从而简化计数。

实验结果

研究问题

• RQ1 给定置换 $\pi \in \mathfrak{S}_n$ 的循环类型，其最小传递星因子分解的数量是多少？
• RQ2 为何此类因子分解的数量仅依赖于 $\pi$ 的循环长度，尽管 1 在星型对换中扮演特殊角色？
• RQ3 能否找到一种统一的组合解释，说明观察到的计数公式中的对称性，且该解释独立于包含 1 的循环的标记？
• RQ4 最小星因子分解如何与平面图和根树相关联？该联系能否用于推导计数公式？
• RQ5 传递星因子分解的计数对称性是否可推广至更长的因子分解，而不仅限于最小因子分解？

主要发现

• 对于具有循环长度 $\ell_1, \ldots, \ell_m$ 的置换 $\pi \in \mathfrak{S}_n$，其最小传递星因子分解的数量为 $\frac{(n + m - 2)!}{n!} \ell_1 \cdots \ell_m$。
• 该公式在循环长度上是对称的：尽管所有对换都涉及 1，但公式不依赖于哪个循环包含特殊元素 1。
• 该结果推广了 Pak 的公式，后者要求置换固定 1 且所有循环长度为 $k \geq 2$，通过消除了对循环均匀性和 1 为不动点的要求。
• 对于包含 $k$ 个不动点（不包括 1）的置换，其最小星因子分解的数量为 $\frac{(n + m - 2(k+1))!}{(n-k)!} \ell_1 \cdots \ell_m$，其中 $m$ 为非不动循环的数量。
• 计数通过与源自根平面树的 Dyck 型序列之间的双射实现，使用循环引理来计算有效序列的数量。
• 公式的对称性目前仍缺乏组合解释，提示在置换因子分解与图嵌入的相互作用中存在更深层次的结构。