[논문 리뷰] Restricted permutations related to Fibonacci numbers and k-generalized Fibonacci numbers

Eric S. Egge|ArXiv.org|2001. 09. 27.

Advanced Combinatorial Mathematics참고 문헌 20인용 수 4

한 줄 요약

이 논문은 $12\ldots k$, $132$, $213$ 등의 특정 패턴 집합을 피하는 $S_n$ 내 순열의 수가 $k-1$-generalized 피보나치 수 $F_{k-1,n+1}$로 주어진다는 것을 보여줌으로써, 고전적인 패턴 피하는 순열 결과를 일반화한다. 또한 $132$, $213$, 그리고 역순 패턴 $23\ldots k1$을 피하는 경우의 수가 $k-2$-generalized 피보나치 수열의 첫 $n$항의 합과 같음을 증명하며, 명시적인 생성함수와 이분형 증명을 제공한다.

ABSTRACT

We give enumerations of various families of restricted permutations involving the Fibonacci numbers or k-generalized Fibonacci numbers.

연구 동기 및 목표

• Simion과 Schmidt의 결과인 $|S_n(123,132,213)| = F_{n+1}$를 더 큰 패턴 집합에 대해 $k$-generalized 피보나치 수로 확장한다.
• 임의의 $k \geq 2$에 대해 $132$, $213$, 그리고 패턴 $23\ldots k1$를 피하는 순열의 구조와 수세기를 규명한다.
• 이전 결과들—특히 $k\ k-1\ldots4213$ 및 $2341$을 포함하는 집합에 대해 패턴 피하는 순열이 선형 조합으로 표현되는 피보나치 수와 다항식 간의 관계를 일반화한다.
• 정리 4.10, 4.11, 4.12에서 제시된 일반화된 피보나치 수의 수에 대해 이분형 증명을 제공하고, 순열 패턴과 재귀 수열 간의 깊은 구조적 연결 고리를 탐색한다.

제안 방법

• 가장 큰 원소 $n$의 위치에 기반한 순열의 분해를 통해 유도된 재귀 관계를 활용하여, $12\ldots k$, $132$, $213$을 피하는 순열의 수가 $k-1$-generalized 피보나치 수 $F_{k-1,n+1}$와 같음을 이분형으로 증명한다.
• 특히 가장 큰 원소 $n$의 위치에 기반한 순열의 분해를 통해 유도된 재귀 관계를 적용한다.
• 차분 수열을 사용: $|S_n(132,213,23\ldots k1)|$의 첫 번째 차분이 $k-2$-generalized 피보나치 재귀를 만족함을 보인다.
• 재귀 관계와 초기 조건을 사용하여 생성함수를 유도하며, $f(x) = \frac{x}{(1-x)(1 - x - x^2 - \cdots - x^{k-2})} + 1$을 얻는다.
• 순열 수열 $|S_n(132,k\ k-1\ldots4213,2341)|$의 고차수 차분을 분석하여, 피보나치 유형의 재귀 관계를 만족함을 보인다.
• 기존 결과인 $|S_n(132,213)| = 2^{n-1}$를 기반으로 재귀 증명의 초기 조건를 설정한다.

실험 결과

연구 질문

• RQ1 임의의 $k \geq 2$에 대해 $S_n$ 내에서 $12\ldots k$, $132$, $213$을 모두 피하는 순열의 정확한 수는 무엇인가?
• RQ2 패턴 $132$, $213$, $23\ldots k1$를 피하는 순열의 구조는 $k-2$-generalized 피보나치 수열과 어떻게 관련이 있는가?
• RQ3 $|S_n(132,k\ k-1\ldots4213,2341)|$ 수열은 두 피보나치 수의 선형 조합과 차수 $k-2$의 다항식의 합으로 표현될 수 있는가?
• RQ4 모든 $i$와 $k$에 대해, $|S_n(R_{i,k})|$의 $i$-번째 차분 수열이 $k$-generalized 피보나치 재귀를 만족하는 금지 패턴 집합 $R_{i,k}$의 일관된 가족이 존재하는가?
• RQ5 정리 4.10, 4.11, 4.12에서 제시된 일반화된 피보나치 수의 수에 대해 이분형 증명을 구성할 수 있는가?

주요 결과

• $S_n$ 내에서 $12\ldots k$, $132$, $213$을 모두 피하는 순열의 수는 정확히 $k-1$-generalized 피보나치 수 $F_{k-1,n+1}$이며, 이에 대한 이분형 증명이 제공된다.
• $132$, $213$, $23\ldots k1$를 피하는 순열의 수는 $\sum_{i=1}^n F_{k-2,i}$와 같으며, 여기서 $F_{k-2,i}$는 $k-2$-generalized 피보나치 수열의 $i$-번째 항이다.
• $|S_n(132,213,23\ldots k1)|$의 생성함수는 $f(x) = \frac{x}{(1-x)(1 - x - x^2 - \cdots - x^{k-2})} + 1$로 주어지며, 이는 피보나치 수의 합의 구조를 확인한다.
• $k \geq 4$일 때, 수열 $|S_n(132,k\ k-1\ldots4213,2341)|$는 차수 $k-2$의 다항식과 두 피보나치 수의 선형 조합으로 표현되며, $k=4,5,6$에 대해 명시적인 공식이 제공된다.
• $|S_n(132,k\ k-1\ldots4213,2341)|$의 $k-3$-번째 차분 수열은 피보나치 재귀를 만족함을 보여, 깊이 있는 구조적 재귀 패턴을 시사한다.
• 논문은 유사한 선형 조합(다항식 및 피보나치 성분 포함)이 더 넓은 금지 패턴 집합의 가족에 대해 존재할 것이라 추측하며, 이분형 증명과 명시적 수세기와 관련된 열린 문제를 제안한다.