[논문 리뷰] Inflations of geometric grid classes of permutations

Michael Albert, Nik Ruškuc외 1명|arXiv (Cornell University)|2012. 02. 08.

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

한 줄 요약

이 논문은 성장률이 𝜅 ≈ 2.20557 이하인 모든 순열 클래스—'작은' 클래스로 지칭됨—이 유리 생성 함수를 가짐을 입증한다. 기하적 격자 클래스와 치환 분해 및 팽창 연산을 조합하여, 기하적 격자 클래스를 강한 유리 클래스로 팽창한 결과는 자체적으로 강한 유리성을 띤다는 것을 증명하며, 이는 유리 생성 함수로 이어진다. 이는 오랫동안 남아있던 작은 순열 클래스에 대한 생성 함수의 유리성에 관한 추측을 해결한다.

ABSTRACT

Geometric grid classes and the substitution decomposition have both been shown to be fundamental in the understanding of the structure of permutation classes. In particular, these are the two main tools in the recent classification of permutation classes of growth rate less than $κ\approx2.20557$ (a specific algebraic integer at which infinite antichains begin to appear). Using language- and order-theoretic methods, we prove that the substitution closures of geometric grid classes are partially well-ordered, finitely based, and that all their subclasses have algebraic generating functions. We go on to show that the inflation of a geometric grid class by a strongly rational class is partially well-ordered, and that all its subclasses have rational generating functions. This latter fact allows us to conclude that every permutation class with growth rate less than $κ$ has a rational generating function. This bound is tight as there are permutation classes with growth rate $κ$ which have nonrational generating functions.

연구 동기 및 목표

• 성장률이 𝜅 미만인 모든 순열 클래스가 유리 생성 함수를 가진다는 추측을 해결하기 위해.
• 치환 분해와 기하적 격자 클래스의 적용 범위를 작은 순열 클래스를 수량화하는 데로 확장하기 위해.
• 기하적 격자 클래스를 강한 유리 클래스로 팽창한 결과가 유리 생성 함수를 가지는 클래스가 됨을 입증하기 위해.
• 기하적 격자 클래스의 치환 닫힘이 부분적으로 잘 순서가 정렬되어 있고, 유한 기반을 가지며, 생성 함수가 대수적임을 입증하기 위해.
• 유리 생성 함수와 비유리 생성 함수의 경계를 명확히 하기 위해 𝜅를 임계값으로 식별하기 위해.

제안 방법

• 순열 클래스의 구조를 분석하기 위해 언어 이론적 및 순서 이론적 방법을 사용한다.
• 치환 분해를 기하적 격자 클래스에 적용하여, 그 치환 닫힘이 부분적으로 잘 순서가 정렬되어 있고, 유한 기반을 가짐을 증명한다.
• 기하적 격자 클래스를 강한 유리 클래스로 팽창하는 개념을 도입하여, 수량화 결과를 확장한다.
• 랭크 인코딩과 정규 언어 이분법을 사용하여 강한 유리 클래스 및 그 부분 클래스를 특성화한다.
• 팽창에 관한 정리 7.6을 적용하여, 이러한 팽창된 클래스의 모든 부분 클래스가 유리 생성 함수를 가짐을 보인다.
• 기존에 알려진 임계 성장률 𝜅 ≈ 2.20557(다항식 x³ − 2x² − 1의 실근)을 유리 생성 함수의 임계 경계로 적용한다.

실험 결과

연구 질문

• RQ1 성장률이 𝜅 미만인 모든 순열 클래스가 유리 생성 함수를 가지는가?
• RQ2 기하적 격자 클래스를 강한 유리 클래스로 팽창한 결과는 스스로 강한 유리성을 가지며, 따라서 유리 생성 함수를 가지는가?
• RQ3 기하적 격자 클래스의 치환 닫힘이 부분적으로 잘 순서가 정렬되어 있고, 유한 기반을 가지며, 생성 함수가 대수적임을 입증할 수 있는가?
• RQ4 무한한 반사대(antichain)는 𝜅 이하와 초과 성장률을 구분하는 데 어떤 역할을 하는가?
• RQ5 강한 유리이지만 부분적으로 잘 순서가 정렬되어 있지 않은 O[1,12] 클래스는 기하적 격자 클래스를 초월한 팽창 결과 일반화에 대한 반례가 되는가?

주요 결과

• 성장률이 𝜅 ≈ 2.20557 미만인 모든 순열 클래스는 유리 생성 함수를 가진다.
• 기하적 격자 클래스를 강한 유리 클래스로 팽창한 결과는 유리 생성 함수를 가지는 클래스가 된다.
• 기하적 격자 클래스의 치환 닫힘은 부분적으로 잘 순서가 정렬되어 있고, 유한 기반을 가지며, 모든 부분 클래스는 대수적 생성 함수를 가진다.
• 임계 성장률 𝜅는 날카로운 경계이다: 정확히 𝜅의 성장률을 가지는 순열 클래스가 존재하며, 이들은 비유리 생성 함수를 가진다.
• O[1,12] 클래스는 무한한 반사대이며, 부분적으로 잘 순서가 정렬되어 있지 않기 때문에 강한 유리성이 아니며, 이는 기하적 격자 클래스를 초월한 팽창 결과 일반화의 한계를 보여준다.
• 강한 유리 클래스 내의 단순 순열의 생성 함수가 유리임을 보여주는 추측은 아직 미해결이며, 향후 연구의 핵심 방향을 제시한다.