[논문 리뷰] Restricted permutations and Chebyshev polynomials

Toufik Mansour, Alek Vainshtein|ArXiv.org|2000. 11. 17.

Advanced Combinatorial Mathematics인용 수 56

한 줄 요약

이 논문은 $Σ_3$ 및 $Σ_k$에서 특정 패턴을 피하는 제한된 순열과 제2종 체비셰프 다항식 사이의 깊은 연결을 수립한다. 전이 행렬, 연속 분수, 블록 분해 기법을 사용하여 이러한 순열의 생성 함수가 제2종 체비셰프 다항식을 통해 표현 가능한 유리함수임을 증명하며, 이는 이전 결과를 일반화하고 $132$, $321$, 그리고 층상 패턴과 같은 윌프 클래스를 통합한다.

ABSTRACT

We study generating functions for the number of permutations in $\SS_n$ subject to two restrictions. One of the restrictions belongs to $\SS_3$, while the other to $\SS_k$. It turns out that in a large variety of cases the answer can be expressed via Chebyshev polynomials of the second kind.

연구 동기 및 목표

• 특정 패턴을 피하는 $Σ_3$ 및 $Σ_k$에서의 생성 함수에 관한 기존 결과를 통합하고 일반화하는 것.
• 이러한 생성 함수가 제2종 체비셰프 다항식을 통해 표현될 수 있음을 보여주는 것.
• 층상 패턴과 다중 제약 조건을 통합하여 이전의 윌프 등가성 결과를 확장하는 것.
• 전이 행렬과 연속 분수를 사용하여 생성 함수에 대한 분석적 증명을 제공하는 것.
• 관찰된 패턴 피回避 순열의 대칭성에 대한 이분법적 증명의 가능성을 탐색하는 것.

제안 방법

• 패턴 피回避 순열에서의 상태 전이를 모델링하기 위해 전이 행렬을 사용하며, 생성 함수는 행렬의 소수로부터 유도된다.
• 연속 분수 전개를 적용하여 $132$ 또는 $321$를 피하는 순열의 구조를 모델링하고, 플라주레의 대응을 통해 딜록 경로와 연결한다.
• 블록 분해를 사용하여 $L_p$ 패턴(예: $132$의 일반화)을 피하는 순열을 특성화함으로써 생성 함수의 재귀적 구성이 가능해진다.
• 체비셰프 다항식 $U_r(x)$를 통해 유리함수 $R_k(x)$를 정의하며, $R_k(x) = \frac{2tU_{k-1}(t)}{U_k(t)}$이며 $t = \frac{1}{2\sqrt{x}}$이다.
• 층상 패턴 $[k,m]$ 및 $L_p$를 도입하여 $132$ 및 $321$ 피回避 사례를 일반화하고, 재귀적 조합 구조를 사용하여 생성 함수를 유도한다.
• 카탈란 수와 생성 함수 사이의 항등식을 증명하여 $F_T(x)$의 유리성 및 닫힌 표현식을 검증한다.

실험 결과

연구 질문

• RQ1 패턴 $132$와 $k$-사이클 패턴 $[k,m]$를 동시에 피하는 순열의 생성 함수는 체비셰프 다항식을 통해 표현될 수 있는가?
• RQ2 패턴 $L_p$를 피하는 순열의 블록 분해는 $R_k(x)$를 포함하는 유리 생성 함수로 이어지는가?
• RQ3 $m = k-1$일 때, $F_{\{L_4, [k,m]\}}(x) = F_{\{L_4, [k]\}}(x)$의 등식에 대한 이분법적 설명은 존재하는가?
• RQ4 $\{321, [k,m]\}$ 및 $\{132, [k,m]\}$의 생성 함수가 일치하는 이유는 무엇이며, 이 등식은 이분법적으로 증명 가능한가?
• RQ5 컴퓨터적 증거에 따르면 $r \leq k$일 때 $G^r_{321;[k,1]}(x)$와 $G^r_{321;[k,2]}(x)$가 일치한다고 하였지만, 이는 모든 $r$에 대해 참인가?

주요 결과

• 패턴 $\{132, [k]\}$, $\{132, [k,m]\}$, 또는 $\{321, [k,m]\}$를 피하는 순열의 생성 함수 $F_T(x)$는 제2종 체비셰프 다항식을 통해 정의된 유리함수 $R_k(x)$와 같다.
• 일반적으로 $p=4$일 때, 생성 함수 $F_{\{L_4, [k]\}}(x)$는 $1 + x + x^2 R_k(x) R_{k-1}(x) (R_{k-1}(x) + R_{k-2}(x))$로 주어지며, 여기서 $L_4$는 패턴 집합 $\{1324, 1423, 1342, 1432, 3142, 4132\}$을 의미한다.
• 일반적으로 $p > 3$일 때, 생성 함수 $F_{\{L_p, [k]\}}(x)$는 $x^{p-2}$, $R_k(x)$, 그리고 주어진 $a$-시퀀스의 증가 부분수열 지표 수 $N(a)$에 대한 곱의 합으로 표현된다.
• 생성 함수 $F_{\{L_4, [k,m]\}}(x)$는 $t = \frac{1}{2\sqrt{x}}$를 사용하여 체비셰프 다항식 $U_r(t)$로 명시적으로 주어지며, 이는 $k$와 $m$에 대해 유리적 의존성을 보인다.
• 생성 함수 $G^r_{321;[k,1]}(x)$는 정확히 $r$개의 $[k,1]$ 발생을 가진 순열에 대해 $\frac{U^{r-1}_{k-1}(t)}{(2t)^{r-1} U^{r+1}_k(t)}$로 주어지며, 이는 패턴 통계와 딜록 경로 수세기 사이의 연결을 제공한다.
• $m=k-1$일 때, $F_{\{L_4, [k,k-1]\}}(x) = F_{\{L_4, [k]\}}(x)$라는 등식이 성립함을 보여주며, 이는 $[k]$ 피回避 사례를 초월하여 생성 함수에 영향을 주지 않는다는 것을 시사한다.