[논문 리뷰] Five subsets of permutations enumerated as weak sorting permutations

David Callan, Toufik Mansour|arXiv (Cornell University)|2016. 02. 16.

Advanced Combinatorial Mathematics참고 문헌 2인용 수 4

한 줄 요약

이 논문은 A111279번 온라인 정수 수열에 의해 수여되는 약한 정렬 순열을 세는 데 사용되는 Wilf-동치인 4자리 순열 패턴 삼중체의 다섯 개의 서로 다른 대칭 클래스를 규명한다. 재귀 관계, 커널 방법, 명시적 이분법을 통해 모든 다섯 클래스에 대해 공통의 생성함수를 유도하며, 이는 이들이 동일한 패턴 회피 순열 집합을 수여한다는 것을 증명한다. 결과적으로, 이 수열을 생성하는 비자명한 4자리 패턴 삼중체는 이 외에 존재하지 않음을 확인한다.

ABSTRACT

We show that the number of members of S_n avoiding any one of five specific triples of 4-letter patterns is given by sequence A111279 in OEIS, which is known to count weak sorting permutations. By numerical evidence, there are no other (non-trivial) triples of 4-letter patterns giving rise to this sequence. We make use of a variety of methods in proving our result, including recurrences, the kernel method, direct counting, and bijections.

연구 동기 및 목표

• A111279번 수열로 알려진 약한 정렬 순열을 세는 데 사용되는 비자명한 4자리 패턴 삼중체를 모두 규명하는 것.
• 이러한 삼중체에 대해 정확히 다섯 개의 대칭 클래스가 존재하며, 각각 동일한 수열을 생성한다는 것을 증명하는 것.
• 재귀 관계와 커널 방법을 활용하여 모든 다섯 클래스에 대해 통합된 생성함수를 유도하는 것.
• 특히 삼중체 Π₅ = {3214, 3241, 4213}에 대해 명시적인 조합적 구성과 이분법을 제공하는 것.

제안 방법

• 각 패턴 삼중체를 회피하는 순열의 수에 대한 재귀 관계를 유도하며, 초기 부분의 카운트와 보조 함수에 기반한다.
• 재귀로부터 유도된 함수 방정식을 해결하기 위해 커널 방법을 적용하여 폐쇄형 생성함수를 도출한다.
• 부분 카운트를 코딩하기 위해 생성함수 A(x,v)와 B(x,v)를 사용하고, 전체 생성함수 F(x)를 유도한다.
• Π₅를 회피하는 순열과 특정 구조적 제약 조건을 갖는 213를 회피하는 순열과 321를 회피하는 순열의 조합 사이의 이분법을 수립한다.
• 일반화된 카탈란 수 항등식을 활용하여 길이, 핵심 원소의 수, 증가하는 접미사의 위치 등의 매개변수에 대한 합을 평가한다.
• 불가분 Π₅-회피 순열에 대한 이변수 생성함수를 구성하고, 직접 합 분해를 통해 모든 이러한 순열을 모델링한다.

실험 결과

연구 질문

• RQ1 A111279번 수열로 세지는 약한 정렬 순열과 Wilf-동치가 되는 비자명한 4자리 패턴 삼중체 중 알려진 약한 정렬 삼중체 외에 존재하는가?
• RQ2 약한 정렬 순열과 동일한 수열을 생성하는 4자리 패턴 삼중체의 대칭 클래스의 전체 집합은 무엇인가?
• RQ3 모든 이러한 패턴 삼중체에 대해 통일된 생성함수를 도출할 수 있으며, 만약 가능하면 그 폐쇄형 표현은 무엇인가?
• RQ4 각 다섯 개의 식별된 패턴 삼중체를 회피하는 순열을 모델링하기 위해 명시적인 조합적 구조를 어떻게 구성할 수 있는가?
• RQ5 Π₅-회피 순열의 길이와 구성 요소 수를 동시에 추적하는 이변수 생성함수는 무엇인가?

주요 결과

• A111279번 수열로 세지는 패턴 회피 순열을 갖는 4자리 패턴 삼중체에 대해 정확히 다섯 개의 대칭 클래스가 존재하며, 이는 다섯 개의 목록된 삼중체 Π₁부터 Π₅에 해당한다.
• 모든 다섯 개의 패턴 집합은 동일한 생성함수 F(x) = (1 - 5x + (1+x)√(1-4x)) / (1 - 5x + (1-x)√(1-4x))를 공유한다.
• 삼중체 Π₅ = {3214, 3241, 4213}에 대해, 카탈란 수와 이항계수의 합을 통해 |Sₙ(Π₅)|에 대한 명시적 공식이 도출된다.
• 불가분 Π₅-회피 순열의 생성함수는 F_indec(x) = 1 / (1 - x/√(1-4x))이며, 이는 A026671번 온라인 정수 수열에 해당한다.
• Π₅-회피 순열의 길이와 구성 요소 수를 추적하는 이변수 생성함수는 2xy√(1-4x) / (y - 2x - 3xy + (2 - xy - y)√(1-4x))로 유도된다.
• 컴퓨터 점검을 통해 A111279 수열을 생성하는 비자명한 4자리 패턴 삼중체는 이 외에 존재하지 않으며, 이는 분류의 완전성을 입증한다.