[论文解读] Equivalence Classes of Permutations under Various Relations Generated by Constrained Transpositions

Steven J. Linton, James Propp+2 more|arXiv (Cornell University)|Nov 16, 2011

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

一句话总结

本文提出一个框架，用于研究在受限对换关系下的排列等价类，推广了Knuth关于Robinson-Schensted对应关系的工作。通过定义可替换的三元素模式（例如123 ↔ 321）的等价关系，作者推导出枚举结果，揭示了与Catalan数、Fibonacci数及Tribonacci数的联系，并识别出由特定等价类产生的新整数序列。

ABSTRACT

We consider a large family of equivalence relations on permutations in Sn that generalise those discovered by Knuth in his study of the Robinson-Schensted correspondence. In our most general setting, two permutations are equivalent if one can be obtained from the other by a sequence of pattern-replacing moves of prescribed form; however, we limit our focus to patterns where two elements are transposed, subject to the constraint that a third element of a suitable type be in a suitable position. For various instances of the problem, we compute the number of equivalence classes, determine how many n-permutations are equivalent to the identity permutation, or characterise this equivalence class. Although our results feature familiar integer sequences (e.g., Catalan, Fibonacci, and Tribonacci numbers) and special classes of permutations (layered, connected, and 123-avoiding), some of the sequences that arise appear to be new.

研究动机与目标

• 通过引入更广泛的模式替换对换类，推广Knuth在Robinson-Schensted对应关系背景下的等价关系。
• 系统分析由3个元素子序列的受限对换生成的$ S_n $上等价关系。
• 确定在各种模式替换规则下等价类的数量，特别关注对换受位置或数值相邻性限制的情况。
• 表征等价类的大小与结构，尤其是包含单位元的类。
• 识别并探索这些等价类与著名整数序列（包括Catalan数、Fibonacci数和Tribonacci数）以及新序列之间的联系。

提出的方法

• 通过$ S_3 $的集合划分定义$ S_n $上的等价关系，其中同一分块中的元素可在任意相对顺序相同的子序列中互换。
• 引入三种不同的等价类型：一般（无约束）、相邻位置（$ P^{f ext{vrule}} $）以及同时具有相邻位置和相邻值（$ P^{lacksquare} $）的约束，后者在逆映射下具有对称性。
• 基于块结构（如$ ho_1, ho_2, ho_3 $）进行递归分解，表示排列的直和分解中的1-、2-和3-循环。
• 通过块附加的递推关系建模与单位元等价的排列数量：例如，Fibonacci型增长的$ a_n = a_{n-1} + a_{n-2} $。
• 使用正则表达式符号描述允许的块大小序列（如$ [12^*]^* $，$ \{13\}^* $），以表征等价类的结构。
• 通过归纳法验证基础情形和递推关系，利用任意非单位元排列可通过有效移动约化为单位元的事实。

实验结果

研究问题

• RQ1 在由$ S_3 $的划分定义的不同受限对换规则下，会产生多少个等价类？这些数量如何与已知整数序列相关？
• RQ2 在各种模式替换规则下，包含单位元的等价类的大小是多少？能否通过递推关系表征？
• RQ3 在$ 123 \leftrightarrow 321 $等规则下，哪些排列与单位元等价？它们具有何种结构共性？
• RQ4 当对换被限制在相邻位置、相邻数值或两者兼有时，等价类有何不同？
• RQ5 这些等价关系是否会产生新的整数序列？如果是，它们枚举了何种组合结构？

主要发现

• 对于关系$ \{123, 321\} $，与单位元等价的排列数量满足Fibonacci递推关系：$ a_n = a_{n-1} + a_{n-2} $，其中$ a_1 = a_2 = 1 $。
• 在规则$ \{123, 132, 321\} $下，与单位元等价的排列数量满足Tribonacci递推关系$ a_n = a_{n-1} + a_{n-2} + a_{n-3} $，生成序列A000073。
• 对于规则$ \{123, 321\} $，当对换受相邻位置和相邻值的约束时，与单位元等价的排列数量由$ a_n = a_{n-2} + U_n $给出，其中$ U_n $满足$ P_5 $递推关系。
• 在无约束条件下，关系$ \{123, 321\} $下单位元的等价类由所有块分解中不包含模式$ 2^* $（即无全2-块）的排列组成，且当$ n $为偶数时，其数量为Fibonacci数减1。
• 作者识别出此前未在OEIS中记录的新整数序列，这些序列源于特定受限对换规则下的等价类。
• 等价类的结构通过块类型上的正则表达式（如$ \{13\}^* $）完全表征，从而实现精确计数与递推关系的推导。