[논문 리뷰] Saturated chains in composition posets

Jan Snellman|ArXiv.org|2005. 05. 12.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 10

한 줄 요약

이 논문은 정수 분할의 부분순서집합에서 포화된 사슬을 연구하며, 야ング의 레이티스의 비가환 설정으로 일반화하는 세 가지 관련 부분순서집합 $π$, $π_{××}$, $π^ ext{∞}$를 도입하고 분석한다. 고정된 너비 $k$를 가진 포화된 사슬에 대한 유리형 생성함수를 유도하고, 유한 오토마타에 의해 인식 가능한 유리형 비가환 생성함수를 구성하며, 스탠리의 부분순서집합 $π^ ext{∞}$를 통해 정규함수와의 연결을 수립한다. 주요 기여는 이러한 부분순서집합을 위한 통합적인 형식론과 사슬 수를 세는 데 있어 명시적인 유리형 생성함수이다.

ABSTRACT

We study three different poset structures on the set of all compositions. In the first case, the covering relation consists of inserting a part of size one to the left or to the right, or increasing the size of some part by one. The resulting poset was studied by the author in "A poset classifying non-commutative term orders", and then in "Standard paths in another composition poset" where some results about generating functions for standard paths in this poset was established. The latter article was inspired by the work of Bergeron, Bousquet-M{é}lou and Dulucq on "Standard paths in the composition poset", where they studied a poset where there are additional cover relations which allows the insertion of a part of size one anywhere in the composition. Finally, following a suggestion by Richard Stanley we study yet a third which is an extension of the previous two posets. This poset is related to quasi-symmetric functions. For these posets, we study generating functions for saturated chains of fixed width k. We also construct ``labeled'' non-commutative generating functions and their associated languages.

연구 동기 및 목표

• 분할 부분순서집합의 커버링 관계를 일반화하는 새로운 부분순서집합을 도입하여 야ング의 레이티스의 비가환 해석을 확장한다.
• 특히 고정된 너비 $k$를 가진 포화된 사슬을 연구하고, 그 수를 세는 데 사용할 생성함수를 도출한다.
• 모든 포화된 사슬의 정보를 코딩하는 레이블이 붙은 비가환 생성함수를 구성하고, 이들이 유리형이며 유한 상태 기계에 의해 인식 가능하다는 것을 증명한다.
• 부분순서집합 $π$, $π_{××}$, $π^\infty$를 통합적인 형식론 아래에 통합하며, $π^\infty$는 그들의 귀납적 극한으로 나타난다.
• 이 부분순서집합들과 정규함수 사이의 연결 고리를 수립하며, 특히 리처드 스탠리의 부분순서집합 $π^\infty$를 중심으로 한다.

제안 방법

• 논문은 분할에 대한 세 부분순서집합을 정의한다: $π$ (끝에 1을 삽입하거나 부분을 증가시키는 방식), $π_{××}$ (어디에나 1을 삽입하는 방식), $π^\text{∞}$ ($n$ 크기의 분할에 대해 $n+1$개의 커버를 갖도록 $π_{××}$를 확장하는 방식).
• 고정된 너비 $k$를 가진 포화된 사슬에 대한 생성함수를 도입하고, 이들이 유리형 재귀관계를 만족함을 보인다.
• 비가환 생성함수를 포화된 사슬의 단계 전역 시퀀스를 코딩하는 형식적 멱급수로 구성한다.
• 논문은 이러한 비가환 생성함수가 유리형임을 증명하며, 이는 이들이 유한 오토마타에 의해 인식 가능하다는 것을 의미한다.
• 다중 랭킹과 재귀적 구조를 기반으로 한 통합적 형식론을 사용하여 $d \geq 1$에 대해 $π^d$ 부분순서집합을 기술하며, $π^\text{∞}$는 그들의 귀납적 극한으로 나타난다.
• 베르제론, 부셰-멜루, 둘루크의 $π_{××}$에서의 표준 경로에 대한 이전 연구를 바탕으로, 이를 임의의 시작 분할과 비가환 코딩으로 확장한다.

실험 결과

연구 질문

• RQ1 비어 있지 않은 분할에서 시작할 경우, 분할 부분순서집합에서의 포화된 사슬은 어떻게 수를 세울 수 있는가?
• RQ2 부분순서집합 $π$, $π_{××}$, $π^\text{∞}$에서 고정된 너비 $k$를 가진 포화된 사슬의 생성함수는 어떤 구조를 가지는가?
• RQ3 모든 포화된 사슬을 코딩하는 비가환 생성함수를 구성할 수 있으며, 이들이 유리형이거나 유한 오토마타에 의해 인식 가능한가?
• RQ4 리처드 스탠리가 제안한 부분순서집합 $π^\text{∞}$는 다른 부분순서집합들과 어떻게 관련되어 있으며, 정규함수와의 관계는 어떠한가?
• RQ5 부분순서집합 $π^d$ ($d \geq 1$)의 계층과 그 극한인 $π^\text{∞}$를 묘사할 수 있는 통합적 형식론은 무엇인가?

주요 결과

• 부분순서집합 $π$와 $π_{××}$에서 고정된 너비 $k$를 가진 포화된 사슬의 생성함수는 유리형이며, 단순한 재귀관계를 만족한다.
• 이 부분순서집합에서 모든 포화된 사슬을 코딩하는 비가환 생성함수는 유리형이며, 이는 이들이 유한 상태 기계에 의해 인식 가능하다는 것을 의미한다.
• 크기 $n$인 분할이 정확히 $n+1$개의 커버를 가지도록 $π_{××}$를 확장한 부분순서집합 $π^\text{∞}$는 $π^d$ 부분순서집합들의 귀납적 극한으로서 나타남이 입증된다.
• $π^\text{∞}$ 부분순서집합은 기본 정규함수와 자연스럽게 연결되어 있으며, 이들의 구조에 대한 조합적 모델을 제공한다.
• 논문은 다중 랭킹을 통해 $π$, $π_{××}$, $π^\text{∞}$를 일반적인 부분순서집합의 가족의 특수한 경우로 묘사하는 통합적 형식론을 구성한다.
• 비가환 생성함수의 유리형 성질이 확인되었으며, 이는 가환 경우의 유리형 결과를 비가환 설정으로 확장한 것이다.