[논문 리뷰] Pattern Avoidance in Set Partitions

Bruce E. Sagan|ArXiv.org|2006. 04. 12.

Advanced Combinatorial Mathematics참고 문헌 37인용 수 79

한 줄 요약

이 논문은 클라자르의 패턴 포함 정의를 사용하여 집합 분할에서 패턴 회피를 조사하며, 임의의 3원소 패턴을 회피하는 분할에 대한 정확한 수식과 생성함수를 제공한다. 이는 해당 수열이 P-재귀적임을 증명하고, 제한된 성장 함수를 기반으로 한 두 번째 패턴 정의를 도입하여 추가적인 수열적 결과와 q-모의 피보나치 수 및 마호니안 통계와의 연결을 이끌어낸다.

ABSTRACT

The study of patterns in permutations in a very active area of current research. Klazar defined and studied an analogous notion of pattern for set partitions. We continue this work, finding exact formulas for the number of set partitions which avoid certain specific patterns. In particular, we enumerate and characterize those partitions avoiding any partition of a 3-element set. This allows us to conclude that the corresponding sequences are P-recursive. Finally, we define a second notion of pattern in a set partition, based on its restricted growth function. Related results are obtained for this new definition.

연구 동기 및 목표

• 특히 3원소 집합의 모든 분할을 포함하는 특정 패턴을 회피하는 집합 분할을 수량화하는 것.
• 3원소 패턴을 회피하는 분할의 구조를 특성화하고, 그 수량 수열이 P-재귀적임을 증명하는 것.
• 제한된 성장 함수를 기반으로 한 두 번째 집합 분할 패턴의 개념을 도입하고 분석하는 것.
• 패턴 회피 집합 분할과 q-모의 피보나치 수 및 마호니안 통계 간의 연결 고리를 탐색하는 것.

제안 방법

• 하위분할과 순서 동형성에 기반한 표준화 사상으로 집합 분할에서 패턴 포함을 정의하는 것.
• 지정된 집합 $I$의 블록 크기를 갖는 분할을 세기 위해 지수 생성함수와 공식 $\sum_{n=0}^\infty a_{n,l}^I \frac{x^n}{n!} = \frac{F_I(x)^l}{l!}$ 를 적용하는 것.
• 제한된 성장 함수(RGFs)를 정의하여 두 번째 패턴 정의를 도입하고, 새로운 수량적 결과를 가능하게 하는 것.
• 생성함수와 조합적 구성 기법을 사용하여 회피 클래스에 대한 닫힌 형태와 P-재귀 수열을 유도하는 것.
• q-모의 피보나치 수와 마호니안 통계를 통해 알려진 조합적 대상(비교형 분할, 피보나치 수 등)과의 연결 고리를 설정하는 것.
• 패턴 포함 순서 집합의 구조를 분석하기 위해 포스레테이터 이론과 모비우스 함수를 사용하는 것.

실험 결과

연구 질문

• RQ1 주어진 3원소 패턴을 회피하는 $[n]$의 집합 분할의 정확한 수는 얼마인가요?
• RQ2 패턴 회피 집합 분할을 세는 수열은 P-재귀적입니까? 만약 그렇다면, 그 이유는 무엇인가요?
• RQ3 제한된 성장 함수를 기반으로 한 두 번째 패턴 정의는 회피 분할의 수량에 어떤 영향을 미칩니까?
• RQ4 패턴 회피 집합 분할과 q-모의 피보나치 수 또는 마호니안 통계 사이에 어떤 연결 고리가 존재합니까?
• RQ5 패턴 포함에 의해 순서가 매겨진 집합 분할의 포스레테이터의 모비우스 함수는 무엇입니까?

주요 결과

• 임의의 3원소 패턴을 회피하는 분할의 수는 P-재귀 수열로 주어지며, 이는 이러한 수량 수열의 P-재귀적 성질을 확인한다.
• 패턴 $1/2/3$의 경우, 모든 $n$에 대해 회피 분할의 수는 $1$이며, 이는 오직 모든 원소가 단일 블록에 속하는 분할만 이 패턴을 회피하기 때문이다.
• $13/2$를 회피하는 분할의 생성함수는 $F_{13/2}(x) = \exp_{\leq 2}(x)$이며, 이는 최대 블록 크기가 2인 분할의 지수 생성함수에 해당한다.
• $1/2/3$와 $13/2$를 동시에 회피하는 분할의 생성함수는 $F_{1/2/3,13/2}(x) = \sum_{n=0}^\infty F_n \frac{x^n}{n!}$ 로 주어지며, 여기서 $F_n$은 $n$번째 피보나치 수이다.
• 논문은 패턴 회피 분할 위에서의 생성함수를 통해 피보나치 수의 q-모의를 통합적 프레임워크로 설정한다.
• 패턴 포함에 의해 순서가 매겨진 집합 분할의 포스레테이터는 구성의 포스레테이터로부터 구조적 성질을 이어받으며, 모비우스 함수 결과는 층상 순열에서 층상 분할로 확장된다.