[论文解读] Counting genus one partitions and permutations

Robert Cori, Gábor Hetyei|arXiv (Cornell University)|Jun 19, 2013

Advanced Combinatorial Mathematics参考文献 19被引用 11

一句话总结

本文证明了 M. Yip 的猜想：具有 n 个元素和 k 个部分的亏格 1 分划的数量，等于具有 n−1 个元素和 k−1 个圈的亏格 1 置换的数量。通过一种新颖的四色非交叉分划表示法，作者为约化亏格 1 置换建立了双射，并推导出生成函数，通过指标平移确认了该猜想。

ABSTRACT

We prove the conjecture by M. Yip stating that counting genus one partitions by the number of their elements and parts yields, up to a shift of indices, the same array of numbers as counting genus one rooted hypermonopoles. Our proof involves representing each genus one permutation by a four-colored noncrossing partition. This representation may be selected in a unique way for permutations containing no trivial cycles. The conclusion follows from a general generating function formula that holds for any class of permutations that is closed under the removal and reinsertion of trivial cycles. Our method also provides a new way to count rooted hypermonopoles of genus one, and puts the spotlight on a class of genus one permutations that is invariant under an obvious extension of the Kreweras duality map to genus one permutations.

研究动机与目标

• 解决 M. Yip 的猜想：当指标平移时，亏格 1 分划与亏格 1 置换的计数数组相同。
• 通过四色非交叉分划，建立亏格 1 置换的组合表示。
• 为约化亏格 1 置换（即不含平凡圈的置换）建立规范表示，以实现唯一计数。
• 通过利用平凡圈插入/移除下的封闭性，推导出亏格 1 置换与分划的生成函数。
• 揭示亏格 1 组合结构与其他结构（如 B 型非交叉分划、凸多格子多边形和 Jacobi 配置）之间的联系。

提出的方法

• 将每个亏格 1 置换表示为四色非交叉分划，其中颜色对应于保持亏格的重标记规则。
• 为约化亏格 1 置换（无连续元素圈）引入规范表示，确保唯一性。
• 使用生成函数对在平凡圈操作下封闭的置换类进行建模，从而实现计数结果的转移。
• 推导出亏格 1 分划与置换的生成函数，表明二者仅相差一个 $xy$ 因子，从而证实了指标平移的等价性。
• 利用 Narayana 数、Catalan 数和勒让德多项式的相关结果，解释系数并将其与 B 型非交叉分划联系起来。
• 应用 Gessel 与 Strehl 关于凸多格子多边形与 Jacobi 配置的结果，解释生成函数系数的组合意义。

实验结果

研究问题

• RQ1 具有 n 个元素和 k 个部分的亏格 1 分划的数量是否等于具有 n−1 个元素和 k−1 个圈的亏格 1 置换的数量？
• RQ2 亏格 1 置换是否能通过四色非交叉分划唯一表示，尤其是在无平凡圈的情况下？
• RQ3 在平凡圈插入与移除操作下保持封闭的前提下，如何利用生成函数对亏格 1 置换与分划进行计数？
• RQ4 亏格 1 结构与如 B 型非交叉分划或凸多格子多边形等对象之间是否存在更深层次的组合联系？
• RQ5 亏格 1 分划的生成函数是否能通过已知的组合模型（如勒让德多项式或 Jacobi 配置）进行解释？

主要发现

• M. Yip 的猜想得到证实：具有 n 个元素和 k 个部分的亏格 1 分划的数量，等于具有 n−1 个元素和 k−1 个圈的亏格 1 置换的数量。
• 对于约化亏格 1 置换（即不含平凡圈的置换），存在一种规范的四色非交叉分划表示，可实现唯一计数。
• 亏格 1 置换与分划的生成函数仅相差一个 $xy$ 因子，从而证明了指标平移的等价性。
• 生成函数的系数与 B 型非交叉分划、凸多格子多边形及 Jacobi 配置相关联，如 Gessel 与 Strehl 所示。
• 恰好有一个回点的亏格 1 置换的数量为 $p_1(n,k) = inom{n}{3} N(n-2,k-1)$，其中 $N(n-2,k-1)$ 为 Narayana 数。
• 当 $m=0$ 时，生成函数 $ (1 - 2(1+y)x + x^2(1-y)^2)^{-(2m+1)/2} $ 生成的系数对应于 A008459 序列，即二项式系数的平方，以及 B 型非交叉分划。