[논문 리뷰] From Fibonacci to Catalan permutations

Elena Barcucci, Antonio Bernini외 1명|ArXiv.org|2006. 12. 11.

Advanced Combinatorial Mathematics참고 문헌 18인용 수 7

한 줄 요약

이 논문은 3글자 순열에서 금지 패턴을 일반화하여 피보나치 수와 카탈란 수 사이의 연속적인 순열 클래스 가족을 도입한다. 213 및 312와 같은 패턴에 대해 매개변수화된 확장으로 제약 조건을 체계적으로 완화함으로써, 저자들은 피보나치와 카탈란의 생성함수 사이를 연결하는 생성함수를 유도하며, 정수 수열 간의 조합론적 '연속성'을 확립한다.

ABSTRACT

It is well known that permutations avoiding any 3-length pattern are enumerated by the Catalan numbers. If the three patterns 123, 132 and 213 are avoided at the same time we obtain a class of permutations enumerated by the Fibonacci numbers. We start from these permutations and make one or two forbidden patterns disappear by suitably "generalizing" them. In such a way we find several classes of permutations enumerated by integer sequences which lay between the Fibonacci and Catalan numbers. For each class, we provide the generating function according to the length of the permutations. Moreover, as a result, we introduce a sort of "continuity" among the number sequences enumerating these classes of permutations.

연구 동기 및 목표

• 피보나치 수와 카탈란 수 사이에 존재하는 조합론적 수열의 열거를 탐색하기 위해.
• 예를 들어 트리보나치 수, 펠 수, 짝수 인덱스 피보나치 수 등 다양한 정수 수열을 순열 패턴 회피의 공통 프레임워크 아래 통합하기 위해.
• 금지 패턴을 일반화함으로써 피보나치 수 기반에서 카탈란 수 기반 순열 클래스로의 연속적 전이를 구축하기 위해.
• 중간 순열 클래스를 묘사하는 생성함수와 승계 규칙을 개발하기 위해.
• ECO 방법을 사용하여 이러한 결과를 디크 경로와 평면 트리로 확장하기 위해.

제안 방법

• 금지 패턴 213과 312를 r_k = k(k-1)...21(k+1) 및 q_k = 1(k+1)k...21와 같이 매개변수 k를 포함하는 더 긴 패tern으로 일반화한다.
• 금지 부분수열를 생성하지 않는 활성 위치에 n+1을 삽입함으로써, ECO 방법을 사용해 순열을 재귀적으로 생성한다.
• 순열의 초기 행동(상승/하강)과 내림차순 런의 길이를 기록하는 r_π 값을 기반으로 순열에 레이블을 붙인다.
• 각 레이블이 순열이 삽입될 때 자식을 어떻게 생성하는지 묘사하는 승계 규칙을 유도하며, 이를 유한한 규칙 시스템으로 구성한다.
• 해결된 재귀 관계 시스템으로부터 각 k에 대해 생성함수 g_k(x)를 도출한다.
• k → ∞의 극한을 취함으로써 카탈란 생성함수 C(x)를 복원하며, 피보나치 유사에서 카탈란 유사로의 수렴을 보여준다.

실험 결과

연구 질문

• RQ1 피보나치 수와 카탈란 수 사이를 연결하는 연속적인 순열 클래스 가족을 구성할 수 있는가?
• RQ2 금지 패턴이 체계적으로 일반화될 때, 패턴 회피 순열의 생성함수는 어떻게 변화하는가?
• RQ3 동일한 패턴의 서로 다른 일반화가 동일한 중간 수열과 생성함수를 유도하는가?
• RQ4 트리보나치 수, 펠 수, 짝수 인덱스 피보나치 수와 같은 수열을 설명하는 통합된 조합론적 프레임워크가 존재하는가?
• RQ5 ECO 방법을 사용해 이러한 패턴 회피 클래스를 디크 경로와 평면 트리로 확장할 수 있는가?

주요 결과

• 각 k ≥ 2에 대해, 이 논문은 동일한 생성함수 g_k(x) = (1 - 2x + x^k)/(1 - 3x + x^2 + x^k)를 가지는 두 가지 서로 다른 패턴 회피 순열 클래스를 구성한다.
• 생성함수 g_k(x)는 k = 2일 때 피보나치 생성함수 F(x) = 1/(1 - x - x^2)와 k → ∞의 극한에서 카탈란 생성함수 C(x) = (1 - √(1 - 4x))/(2x) 사이를 보간한다.
• 짝수 인덱스 피보나치 수열은 k → ∞일 때 g_k(x)의 극한으로 복원되며, 그 생성함수는 극한에서 F̄(x) = (1 - 2x + x^k)/(1 - 3x + x^2 + x^k)가 된다.
• 동일한 수열(예: 짝수 인덱스 피보나치 수)에 대해 두 가지 다른 승계 규칙이 도출되었으며, 이는 서로 다른 조합론적 구성이 동일한 생성함수를 유도할 수 있음을 보여준다.
• 이 방법은 {2^{n-1}}, 트리보나치 수, 펠 수, 짝수 인덱스 피보나치 수 등 중간 수열을 모두 하나의 패턴 회피 순열 프레임워크 내에 통합하여 성공적으로 생성한다.
• 결과는 ECO 방법을 통해 디크 경로와 평면 트리로 자연스럽게 확장되며, 이들에 대한 동일한 승계 규칙이 그 수의 열거를 지배한다.