[논문 리뷰] Equivalence Classes of Permutations under Various Relations Generated by Constrained Transpositions

Steven J. Linton, James Propp외 2명|arXiv (Cornell University)|2011. 11. 16.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 11

한 줄 요약

이 논문은 제약 조건이 있는 전치 관계 하에서 순열의 동치류를 연구하기 위한 프레임워크를 제안하며, 로빈슨-셰닝스테드 대응과 관련된 쿤트의 작업을 일반화한다. 3개의 요소로 구성된 패턴을 서로 치환할 수 있는 방식(예: 123 ↔ 321)으로 동치를 정의함으로써, 저자들은 수세기 결과를 도출하며 카탈란 수, 피보나치 수, 트리보나치 수와의 연결고리를 밝혀내고, 특정 동치류에서 유래하는 새로운 정수 수열을 규명한다.

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.

연구 동기 및 목표

• 제약 조건이 있는 패턴 치환 전치에 기반해 로빈슨-셰닝스테드 대응의 맥락에서 쿤트의 동치 관계를 일반화하는 것.
• 3개의 부분수열에 대한 제약 조건이 있는 전치에 의해 생성되는 $ S_n $ 내 순열의 동치 관계를 체계적으로 분석하는 것.
• 특히 위치나 값의 인접성에 의해 제약을 받는 전치가 적용되는 경우, 다양한 패턴 치환 규칙 하에서 동치류의 수를 결정하는 것.
• 특히 항등치환을 포함하는 동치류의 크기와 구조를 규명하는 것.
• 이러한 동치류와 잘 알려진 정수 수열, 특히 카탈란 수, 피보나치 수, 트리보나치 수, 그리고 새로운 수열 간의 연결고리를 규명하고 탐색하는 것.

제안 방법

• 3개의 순열로 구성된 $ S_3 $ 의 집합 분할을 통해 $ S_n $ 상의 동치 관계를 정의하며, 같은 블록에 속한 원소는 동일한 상대 순서를 가진 부분수열에서 항상 교환 가능하도록 한다.
• 일반(제약 없음), 인접한 위치($ P^{f ext{vrule}} $), 그리고 위치와 값이 모두 인접한 경우($ P^{lacksquare} $)의 세 가지 서로 다른 동치 유형을 도입하며, 후자는 역함수 변환에 대해 대칭적이다.
• 직접 합 분해에서의 순환 구조(예: 1-, 2-, 3-순환)를 나타내는 블록 구조($ \rho_1, \rho_2, \rho_3 $)를 기반으로 재귀적 분해를 수행한다.
• 블록의 첨부 방식에서 유도된 재귀 관계를 사용하여 항등치환과 동치인 순열의 수를 모델링한다. 예를 들어 피보나치 성장을 보이는 경우 $ a_n = a_{n-1} + a_{n-2} $.
• 허용 가능한 블록 크기 순서를 기술하기 위해 정규 표현식 기법을 사용한다(예: $ [12^*]^* $, $ \{13\}^* $)를 통해 동치류의 구조를 특성화한다.
• 모든 비항등치환 순열이 유효한 이동을 통해 항등치환으로 감소할 수 있다는 사실을 이용해 기저 사례와 재귀 관계를 수학적 귀납법으로 검증한다.

실험 결과

연구 질문

• RQ1 $ S_3 $ 의 분할에 의해 정의된 다양한 제약 조건이 있는 전치 규칙 하에서 생성되는 동치류의 수는 얼마이며, 이 수치는 알려진 정수 수열과 어떻게 관련되어 있는가?
• RQ2 다양한 패턴 치환 규칙 하에서 항등치환과 동치인 순열의 수는 얼마이며, 이는 어떤 재귀 관계로 특성화될 수 있는가?
• RQ3 어떤 순열들이 $ 123 \leftrightarrow 321 $ 와 같은 규칙에 의해 항등치환과 동치가 되는가? 이들 간에 공통된 구조적 성질은 무엇인가?
• RQ4 전치가 인접한 위치, 인접한 값, 또는 둘 다에 제한될 경우 동치류는 어떻게 다를까?
• RQ5 이러한 동치 관계에 의해 새로운 정수 수열이 생성되는가? 만약 그렇다면, 이러한 수열은 어떤 조합 구조를 수나열하는가?

주요 결과

• 관계 $ \{123, 321\} $ 에서 항등치환과 동치인 순열의 수는 피보나치 재귀식을 따르며, $ a_n = a_{n-1} + a_{n-2} $, $ a_1 = a_2 = 1 $.
• 규칙 $ \{123, 132, 321\} $ 에서 항등치환과 동치인 순열의 수는 트리보나치 재귀식 $ 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 $ 에서는 피보나치 수에서 1을 뺀 값이 된다.
• 저자들은 일부 제약 조건이 있는 전치 규칙 하에서 생성된 이전에 OEIS에 기록되지 않은 새로운 정수 수열을 규명하였다.
• 블록 유형에 대한 정규 표현식(예: $ \{13\}^* $)을 통한 동치류의 구조가 완전히 특성화되어 있으며, 이는 정확한 수나열 및 재귀식 유도를 가능하게 한다.