[논문 리뷰] The enumeration of permutations avoiding 2143 and 4231

Michael Albert, M. D. Atkinson외 1명|arXiv (Cornell University)|2011. 08. 04.

Advanced Combinatorial Mathematics참고 문헌 17인용 수 14

한 줄 요약

이 논문은 단순 순열, 단조 증가 그리드 클래스, 제약 조건이 있는 분해 기법을 사용하여 순열 클래스 Av(2143, 4231)의 완전한 구조적 및 수세적 특성화를 제공한다. 이는 오랫동안 미해결이었던 순열 패턴 수세 문제를 해결하며, 생성 함수가 유리 함수임을 보이고, 팽창 및 그리드 기반 분해 기법을 통해 명시적으로 계산 가능하다.

ABSTRACT

We enumerate the pattern class Av(2143,4231) and completely describe its permutations. The main tools are simple permutations and monotone grid classes.

연구 동기 및 목표

• 2143과 4231이라는 4원소 패턴 쌍을 모두 피하는 순열 클래스 Av(2143, 4231)의 완전한 구조적 및 수세적 특성화를 달성한다. 이는 이전까지 해결되지 않은 문제였으며, 56개의 본질적으로 다른 4원소 패턴 쌍 중 하나였다.
• 오랫동안 미해결이었던 위르프 클래스의 수세 문제를 해결하여, 특정 4패턴을 피하는 순열의 분류 및 수세에 대한 광범위한 노력에 기여한다.
• 최근에 개발된 기법—특히 단순 순열과 단조 증가 그리드 클래스—을 응용 및 확장하여, 비트리비얼 기저를 가진 복잡한 패턴 회피 문제를 해결한다.
• Av(2143, 4231)에 속하는 순열의 완전한 구조적 분해를 제공하며, 그 기초가 되는 단순 순열과 그 팽창을 규명한다.

제안 방법

• 저자들은 순열을 단순 순열과 그 팽창으로 분해하는 기법을 사용하며, 모든 순열이 단순 순열의 팽창으로 유일하게 표현될 수 있다는 고유 인수 분해 성질을 활용한다.
• 모노톤 그리드 클래스를 활용하여 순열을 셀로 나누어진 격자 내 점 집합으로 표현하며, 각 셀은 단조 증가 또는 감소 또는 단일 점을 포함하여 구조적 분석을 가능하게 한다.
• 극점의 위치와 패턴에 기반한 사례 기반 수세 기법을 도입하여 Av(2143, 4231) 내 단순 순열을 분류한다. 이는 네 가지 유형(1–4)과 비정형 케이스로 나뉜다.
• 각 유형에 대해, 반복되지 않는 인접한 문자가 없는 알파벳 위에서의 단어 수세 기법과 재귀 관계를 활용하여 해당 단순 순열의 수를 위한 생성 함수를 유도한다.
• 단순 순열의 생성 함수와 그 팽창의 생성 함수를 합성 및 분해 가능한 구성 요소의 생성 함수를 활용하여 전체 클래스의 완전한 생성 함수를 도출한다.
• 최종적으로, 전체 클래스의 생성 함수와 그 합성 및 스케일-분해 가능한 구성 요소의 생성 함수를 포함하는 함수 방정식의 연립 방정식을 풀어 Av(2143, 4231)의 생성 함수를 유도한다.

실험 결과

연구 질문

• RQ1 2143과 4231라는 두 패턴을 모두 피하는 순열의 완전한 구조적 기술은 무엇인가?
• RQ2 비트리비얼 4패턴 클래스이자 이전에 알려진 수세가 없는 복잡한 클래스임에도 불구하고, Av(2143, 4231)의 생성 함수는 어떻게 명시적으로 계산할 수 있는가?
• RQ3 단순 순열과 모노톤 그리드 클래스의 활용이 이 패턴 클래스의 완전하고 체계적인 분해를 가능하게 하는가?
• RQ4 극점 구성이 Av(2143, 4231) 내 단순 순열을 분류하는 데 어떤 역할을 하는가?
• RQ5 Av(2143, 4231)의 생성 함수는 유리 함수인가? 만약 그렇다면, 닫힌 형태로 표현할 수 있는가?

주요 결과

• 전체 순열 클래스 Av(2143, 4231)의 생성 함수는 유리 함수이며, 다음 식으로 명시적으로 주어진다: f(x) = (x - 11x² + 51x³ - 127x⁴ + 186x⁵ - 165x⁶ + 87x⁷ - 23x⁸ + 3x⁹) / [(1-3x)(1-x)⁴(1-3x+x²)²].
• Av(2143, 4231) 내 길이 n ≥ 4인 단순 순열의 수는 생성 함수 s(x) = 2x⁴(1 + x + x² + x⁴ + 2x⁵ + x⁶) / [(1-2x)(1+x)]로 주어지며, n = 4에서 10까지의 초기 값은 2, 4, 10, 18, 40, 80, 162이다.
• 유형 1 단순 순열의 팽창을 위한 생성 함수는 f₁(x) = x⁴(1-x)² / [(1-3x)(1-3x+x²)²]로 주어지며, 이는 재귀 관계 s₁,n = s₁,n-1 + 2s₁,n-2로부터 유도된다.
• 유형 2 및 3 단순 순열의 생성 함수는 f₂(x) = f₃(x) = x⁶ / [(1-3x)(1-3x+x²)²]이며, n ≥ 6일 때 s₂,n = 2ⁿ⁻⁶이다.
• 유형 4 단순 순열의 생성 함수는 f₄(x) = x⁸(1+x) / [(1-3x)(1-x)²(1-3x+x²)²]로 주어지며, 첫 번째 및 마지막 네 개의 점이 고정된 순열을 고려한다.
• 비정형 단순 순열 42513과 35142는 전체 수세에 2x⁵ / (1-3x+x²)²의 생성 함수 기여를 하며, 분해를 완성한다.