[논문 리뷰] Block patterns in Stirling permutations

Jeffrey B. Remmel, Andrew Timothy Wilson|arXiv (Cornell University)|2014. 02. 14.

Advanced Combinatorial Mathematics인용 수 5

한 줄 요약

이 논문은 스틸링 및 k-스틸링 순열에서 블록 패턴을 도입하며, 포함 관계에 기반한 계층적 블록 구조와 단순형태를 정의한다. 이를 통해 순열 내 패턴 수를 블록 패턴으로 변환하는 일반적인 생성함수 프레임워크를 수립하여, 윌프 동치성 결과를 도출하고 지수 생성함수를 통해 베셀 다항식의 새로운 해석을 가능하게 한다.

ABSTRACT

We introduce and study a new notion of patterns in Stirling and $k$-Stirling permutations, which we call block patterns. We prove a general result which allows us to compute generating functions for the occurrences of various block patterns in terms of generating functions for the occurrences of patterns in permutations. This result yields a number of applications involving, among other things, Wilf equivalence of block patterns and a new interpretation of Bessel polynomials. We also show how to interpret our results for a certain class of labeled trees, which are in bijection with Stirling permutations.

연구 동기 및 목표

• 계층적 포함 관계와 단순형태를 이용하여 스틸링 및 k-스틸링 순열에서의 블록 패턴을 정의하고 체계화한다.
• 기존의 순열 패턴 생성함수를 활용하여, 블록 패턴 발생 수를 계산하는 일반적인 방법을 수립한다.
• 제안된 생성함수 프레임워크를 통해 블록 패턴의 윌프 동치성을 입증하고, 지수 생성함수를 통해 베셀 다항식과의 연결 고리를 규명한다.
• 프레임워크를 k-스틸링 순열으로 확장하고, 적분 기반의 재귀적 생성함수 구성법을 제시한다.

제안 방법

• 블록은 순열 σ에서 수 i의 두 번째 등장 사이의 연속 부분문자열 [i,i]_σ로 정의되며, 포함 관계에 따라 수준이 결정되고, 단순형태의 동형사상에 의해 정의된다.
• 수준 ℓ 블록은 재귀적으로 정의된다: 어떤 블록이 수준 ℓ−1 블록에 포함되어 있고, 그 부모 블록의 단순형태가 수준 1 블록이면, 그 블록은 수준 ℓ 블록이다.
• 블록 패턴은 연속된 요소를 나타내는 줄무늬를 가진 순열이며, 순열 내에서 순서 동형성과 연속 부분수열 일치를 통해 블록 패턴의 발생을 정의한다.
• 주요 결과는 재귀적 생성함수 공식이다: G^A,p(t;x;y) = F^{A1,p1}( y1 * ∫₀ᵗ ∏ⱼ G^{sh_j(A),sh_j(p)}(u; sh_j(x); sh_j(y)) du , x1 ), 이는 블록 패턴 생성함수를 순열 패턴 생성함수로 연결한다.
• 지수 생성함수와 적분 변환을 사용하여, 다양한 수준에서의 블록 구조와 패턴 통계를 인코딩한다.
• 특수한 경우로는 지수 함수나 쌍곡함수와 같은 간단한 적분을 갖는 경우를 고려하여, 제한된 블록 크기 또는 유형에 대해 닫힌 형태의 생성함수를 도출한다.

실험 결과

연구 질문

• RQ1 스틸링 순열에서 계층적 포함 관계와 단순형태를 이용해 어떻게 블록 패턴을 체계적으로 정의할 수 있는가?
• RQ2 스틸링 순열에서의 블록 패턴 생성함수와 고전적 순열 패턴 생성함수 사이의 관계는 무엇인가?
• RQ3 제안된 생성함수 프레임워크를 통해 블록 패턴의 윌프 동치성을 어떻게 확립할 수 있는가?
• RQ4 프레임워크는 어떻게 k-스틸링 순열으로 확장될 수 있으며, 그 결과로 도출되는 재귀적 적분 표현은 무엇인가?
• RQ5 이 프레임워크를 적용할 때, 예를 들어 베셀 다항식과의 연결 고리 등 새로운 조합론적 해석은 무엇이 도출되는가?

주요 결과

• 논문은 순열 패턴 생성함수를 스틸링 순열의 블록 패턴 생성함수로 변환하는 일반적인 생성함수 변환을 수립한다.
• 블록 패턴의 윌프 동치성은 기반 순열 패턴의 동치성과 동일한 프레임워크를 통해 유도됨을 보였다.
• 지수 생성함수를 통해 특정 블록 패턴 통계에 대한 새로운 베셀 다항식의 해석이 도출되었다.
• k-스틸링 순열의 경우, 생성함수는 하위 수준의 생성함수의 곱의 적분을 반복적으로 사용하는 재귀적 형태로 표현된다.
• 특수한 경우로는 블록 유형을 짝수 또는 홀수 길이로 제한할 때, 쌍곡함수를 활용하여 닫힌 형태의 생성함수를 얻을 수 있었다.
• 이 프레임워크를 통해 분석적으로 다룰 수 있는 적분을 통해, 블록 크기나 유형에 제약 조건이 있는 스틸링 순열의 수를 세는 것이 가능해졌다. 예를 들어, 수준 2에서 짝수 길이의 부분블록을 갖는 경우 등.