[论文解读] Permutations defining convex permutominoes

Antonio Bernini, Filippo Disanto+2 more|ArXiv.org|Nov 5, 2007

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

一句话总结

本文通过Mansour与Severini引入的新型'方阵排列'表示法，表征了定义凸排列多格形（convex permutominoes）的排列。凸排列多格形是由满足特定几何约束的排列对构成的多格形。主要贡献在于，基于凸排列多格形的组合性质与对称性，推导出大小为 $ n $ 的此类排列数量的闭式公式，解决了该结构枚举中的一个开放问题。

ABSTRACT

A permutomino of size n is a polyomino determined by particular pairs (P1, P2) of permutations of size n, such that P1(i) is different from P2(i), for all i. Here we determine the combinatorial properties and, in particular, the characterization for the permutations defining convex permutominoes. Using such a characterization, these permutations can be uniquely represented in terms of the so called square permutations, introduced by Mansour and Severini. Then, we provide a closed formula for the number of these permutations with size n.

研究动机与目标

• 通过几何与组合约束，表征定义凸排列多格形的排列集合。
• 通过方阵排列的概念，建立凸排列多格形与特定排列类之间的双射。
• 推导出大小为 $ n $ 的此类排列数量的闭式公式，解决一个开放的枚举问题。
• 探讨排列对称性与排列多格形结构之间的相互作用，特别是通过反转与矩阵变换。
• 识别将表征扩展至非凸类（如列凸排列多格形）的开放问题。

提出的方法

• 作者将凸排列多格形定义为无孔洞的多格形，其边界顶点生成两个排列 $ \pi_1 $ 与 $ \pi_2 $，每个均为 $ \{1, \dots, n+1\} $ 的排列，且对所有 $ i $ 满足 $ \pi_1(i) \neq \pi_2(i) $。
• 他们引入了'Mansour与Severini定义的方阵排列'这一概念，并证明在特定对称约束下，凸排列多格形与此类排列一一对应。
• 该表征依赖于对排列多格形边界中凹点与凸点结构的分析，使用排列对的矩阵表示。
• 本文使用生成函数与组合恒等式，特别是卡塔兰数 $ c_n $ 与中心二项式系数 $ \binom{2n}{n} $，推导出闭式公式。
• 通过反转 ($ \pi^R $) 与矩阵转置 ($ \pi^M $) 等对称操作，关联了定义凸排列多格形的集合 $ \widetilde{\mathcal{C}}_n $ 与 $ \widetilde{\mathcal{C}}'_n $ 中的排列。
• 通过结合容斥原理与关于有向及平行四边形排列多格形的已知结果，推导出枚举公式。

实验结果

研究问题

• RQ1 哪些排列唯一定义凸排列多格形？其组合性质为何？
• RQ2 如何利用方阵排列的概念表征定义凸排列多格形的排列集合？
• RQ3 大小为 $ n $ 的定义凸排列多格形的排列的确切数量是多少？其与已知组合序列有何关联？
• RQ4 凸排列多格形与其关联排列之间的关系能否通过组合解释而非解析方法加以说明？
• RQ5 非凸排列多格形（如列凸排列多格形）的排列结构为何？其与凸情况有何不同？

主要发现

• 大小为 $ n $ 的定义凸排列多格形的排列数量由闭式公式 $ Q_n = 2 \widetilde{C}_n - \left| \widetilde{\mathcal{C}}_n \cap \widetilde{\mathcal{C}}'_n \right| $ 给出，其中 $ \widetilde{C}_n $ 为大小为 $ n $ 的方阵排列数量。
• 交集大小 $ \left| \widetilde{\mathcal{C}}_n \cap \widetilde{\mathcal{C}}'_n \right| $ 为 $ 2(n-1)4^{n-3} - \binom{2n-3}{n-2} $（当 $ n \geq 3 $ 时），该结果源于方阵排列与对称重叠之间的差异。
• 半周长为 $ n+2 $ 的凸排列多格形数量为 $ C_{n+2} = \widetilde{C}_{n+2} + \frac{1}{2}(4^n - \binom{2n}{n}) $，该公式将计数与已知组合序列联系起来。
• 当 $ n = 4 $ 时，集合 $ \widetilde{\mathcal{C}}_4 \cap \widetilde{\mathcal{C}}'_4 $ 恰好包含两个排列：$ (2,4,1,3) $ 与 $ (3,1,4,2) $，体现了对称性条件。
• 集合 $ \widetilde{\mathcal{C}}_n \cap \widetilde{\mathcal{C}}'_n $ 中排列的生成函数为 $ 2\left( \frac{x^2 c(x)}{1-4x} \right)^2 $，其中 $ c(x) $ 为卡塔兰数的生成函数。
• 本文指出，$ Q_n $ 的公式尚无法被现有组合解释完全说明，提示需要更深层次的结构洞察。