[论文解读] On conjugates for set partitions and integer compositions

David Callan|ArXiv.org|Aug 2, 2005

Advanced Mathematical Identities参考文献 3被引用 6

一句话总结

本文引入了一种针对集合划分的新共轭运算，该运算交换单元素块（singleton）的数量与相邻元素对（adjacencies，即同一块中连续元素的数量，包括n与1之间的循环连接）的数量。该方法通过在逐次剥离的划分上使用可逆的局部变换（即SeparateIS与CombineST操作），建立了一个双射，从而证明了单元素块与相邻元素对在集合划分上的等分布性。类似地，通过基于条带的图示转置方法，为整数 compositions 定义了另一种共轭运算，交换1的个数与大于1的项的个数。

ABSTRACT

There is a familiar conjugate for integer partitions: transpose the Ferrers diagram, and a conjugate for integer compositions: transpose a Ferrers-like diagram. Here we propose a conjugate for set partitions and show that it interchanges # singletons and # adjacencies. Its restriction to noncrossing partitions cropped up in a 1972 paper of Kreweras. We also exhibit an analogous pairs of statistics interchanged by the composition conjugate.

研究动机与目标

• 为集合划分定义一种新的共轭运算，以交换单元素块与相邻元素对的数量。
• 通过构造性的双射，证明在[n]的集合划分中，单元素块与相邻元素对的数量是等分布的。
• 将共轭概念扩展至整数 compositions，使用基于条带的图示转置方法。
• 证明该整数 compositions 共轭运算交换1的个数与大于1的项的个数。
• 将共轭构造推广至任意有限子集，并建立其可逆性及在域约束下的不变性。

提出的方法

• 定义 SeparateIS 操作，用于提取相邻元素对的起始点（I）、单元素块（S），以及移除 I ∪ S 后的剩余划分（ρ）。
• 定义 CombineST 操作作为 SeparateIS 的逆操作，使用相邻元素对的终止点（T）代替起始点（I），且具有相同的定义域条件。
• 对划分 π 迭代应用 SeparateIS，直到不再存在相邻元素对的起始点或单元素块，形成序列 (ρj, Ij, Sj)。
• 通过按顺序应用 CombineST 逆向重构，从最终的剩余划分 ρk 开始，重建新的划分 τ₀。
• 利用 CombineIS 与 CombineST 具有相同定义域的事实，确保逆向过程定义良好且可逆。
• 对于整数 compositions，将大于1的项表示为竖直条带，将1表示为水平条带；在相邻的竖直条带之间插入空的水平条带以交替类型；从每个相邻条带向每个水平条带转移一个方格；最后将所有条带旋转90°，得到共轭 compositions。

实验结果

研究问题

• RQ1 是否存在一种自然的共轭运算作用于集合划分，以交换单元素块与相邻元素对的数量？
• RQ2 能否通过显式且可逆的双射证明单元素块与相邻元素对的等分布性？
• RQ3 是否存在一种共轭运算作用于整数 compositions，以交换1的个数与大于1的项的个数？
• RQ4 能否使用局部的、迭代的变换而非全局的图示转置来定义共轭运算？
• RQ5 何种结构约束可确保在集合划分与整数 compositions 上共轭构造的可逆性？

主要发现

• 所提出的双射 φ 交换了集合划分中单元素块与相邻元素对的数量，从而证明了它们的等分布性。
• 该共轭运算具有可逆性，且通过迭代应用 SeparateIS 与 CombineST 构造，确保了双射性。
• CombineIS 与 CombineST 的定义域完全相同，这保证了重构过程的可逆性。
• 对于整数 compositions，共轭通过变换竖直条带（大于1的项）与水平条带（1），插入分隔符，转移方格，并旋转90°得到，从而生成新的 compositions。
• 该整数 compositions 共轭运算交换了1的个数与大于1的项的个数，类似于整数划分的 Ferrers 图转置。
• 对于非交叉划分（一种特殊情况），该共轭运算早在1972年由 Kreweras 观察到，验证了更广泛构造的正确性。