[논문 리뷰] Simple permutations and algebraic generating functions

Robert Brignall, Sophie Huczynska외 1명|ArXiv.org|2006. 08. 15.

Advanced Combinatorial Mathematics참고 문헌 28인용 수 6

한 줄 요약

이 논문은 알버트와 애트킨슨의 결과를 확장하여, 유한한 수의 단순 순열을 가진 순열 클래스가 대수적 생성함수를 갖는다는 것을 증명하고, 추가적인 구조적 제약 조건—예를 들어 짝수 순열, 치환, 교호 순열, 막힌 또는 막힌 패턴을 피하는 순열—으로 정의된 부분클래스에 대해서도 대수적 생성함수를 갖는다는 것을 보여준다. 핵심 기여는 치환 분해와 대수적 생성함수를 활용한 이러한 부분클래스를 수량화하는 일반적인 프레임워크를 제공하는 것이다.

ABSTRACT

A simple permutation is one that does not map a nontrivial interval onto an interval. It was recently proved by Albert and Atkinson that a permutation class with only finitely simple permutations has an algebraic generating function. We extend this result to enumerate permutations in such a class satisfying additional properties, e.g., the even permutations, the involutions, the permutations avoiding generalised permutations, and so on.

연구 동기 및 목표

• 알버트와 애트킨슨의 결과를 유한한 수의 단순 순열을 가진 순열 클래스에서 대수적 생성함수로 일반화하는 것.
• 짝수, 치환, 교호, 막힌 패턴을 피하는 것과 같은 추가적인 순열 성질이 대수적 생성함수를 유도하는지 여부를 규명하는 것.
• 단순 순열이 유한하게만 존재하는 클래스 내에서 이러한 부분클래스를 통합적으로 수량화하는 방법을 확립하는 것.
• 더 넓은 순열 클래스 하위 집합에서 생성함수의 대수성에 대한 이론적 기초를 제공하는 것.
• 주어진 순열 클래스가 유한한 수의 단순 순열을 포함하는지 여부를 결정할 수 있는지에 대한 문제를 다루는 것—이는 결과의 알고리즘적 적용을 가능하게 한다.

제안 방법

• 치환의 치환 분해(모듈러 분해)를 활용하여 순열 클래스의 구조를 분석한다.
• 비자명한 간격이 없는 단순 순열—즉, 단순 순열—의 개념을 적용하여 순열 클래스를 분류하고 분해한다.
• 알버트와 애트킨슨가 증명한 linely 유한한 단순 순열을 가진 클래스는 대수적 생성함수를 갖는다는 사실을 활용한다.
• 이 결과를 확장하여, 추가 성질(예: 짝수, 치환, 교호)로 정의된 부분클래스의 생성함수도 여전히 대수적임을 보여준다.
• 치환과 분리 가능한 순열과 같은 부분클래스를 모델링하기 위해 생성함수의 재귀 시스템을 활용하고, 대수 방정식을 통해 이를 해결한다.
• 스머르 및 트로터의 정리—더 짧은 단순 순열의 존재에 관한 것—를 활용하여 클래스 내 단순 순열의 수를 근사한다.

실험 결과

연구 질문

• RQ1 유한한 수의 단순 순열을 가진 순열 클래스에서 생성함수의 대수성이, 추가적인 구조적 제약 조건으로 정의된 부분클래스로도 확장되는가?
• RQ2 이러한 클래스 내에서 짝수 순열, 치환, 교호 순열, 막힌 패턴을 피하는 순열의 생성함수는 대수적임을 증명할 수 있는가?
• RQ3 유한한 기저를 가진 순열 클래스가 단순 순열을 유한하게만 포함하는지 여부는 결정 가능한가?
• RQ4 치환의 치환 분해와 그 생성함수의 대수성 사이의 관계는 무엇인가?
• RQ5 어떤 부분클래스—예를 들어 파라미터 순열—이 동일한 프레임워크로 포괄되지 않는 이유는 무엇이며, 대수성이 깨지는 구조적 특성은 무엇인가?

주요 결과

• 유한한 수의 단순 순열을 가진 순열 클래스는 클래스 자체뿐 아니라, 짝수, 치환, 교호, 막힌 또는 막힌 패턴을 피하는 것과 같은 성질로 정의된 부분클래스에 대해서도 대수적 생성함수를 갖는다.
• 분리 가능한 치환의 생성함수는 다음의 4차 방정식을 만족한다: $x^{2}f^{4}+(x^{3}+3x^{2}+x-1)f^{3}+(3x^{3}+6x^{2}-x)f^{2}+(3x^{3}+7x^{2}-x-1)f+x^{3}+3x^{2}+x=0$.
• 유한한 수의 막힌 또는 막힌 패턴을 피하는 순열을 포함하는 $\operatorname{Av}(132)$ 내의 생성함수는 대수적이다.
• $\operatorname{Av}(132)$ 클래스는 단순 순열이 총 세 개인데, $1$, $12$, $21$이며, 이는 다양한 제약 조건 하에서 생성함수의 대수성을 뒷받침한다.
• $\operatorname{Av}(1324,2143,4231)$ 내에서 길이 1에서 7까지의 단순 순열의 수는 각각 $1,2,0,2,4,0,0$이며, 길이 6 또는 7인 단순 순열의 부재는 더 이상의 단순 순열이 존재하지 않음을 시사한다.
• 브리그널, 루슈크, 바터가 보여준 linely, 기저가 유한한 순열 클래스가 단순 순열을 유한하게만 포함하는지 여부는 결정 가능하다.