[논문 리뷰] On One-Parameter Catalan Arrays

J.A. Agapito, Ângela Mestre외 2명|arXiv (Cornell University)|2015. 05. 21.

graph theory and CDMA systems참고 문헌 5인용 수 5

한 줄 요약

이 논문은 Aigner 카탈란 삼각형 $\boldsymbol{C}$와 일반화된 파스칼 배열 $\boldsymbol{P}(r)$의 곱으로 구성되는 일파rameter 가중치를 가진 리오르단 행렬의 가중치 가중치 $\boldsymbol{C}(r)$를 도입한다. $\boldsymbol{C}(r)$의 0번째 열은 $r$에 대한 상수항이 카탈란 수인 정수 계수를 가진 모닉 다항식의 열을 이룬다. 주요 결과로는 리오르단 배열의 성질을 활용하여 $\boldsymbol{C}(r)$와 체비셰프 다항식, 주기적 수열, 피보나치 수, 정수의 거듭제곱 간의 조합적 항등식을 행렬-벡터 곱을 통해 유도한다.

ABSTRACT

We present a parametric family of Riordan arrays which are obtained by multiplying any Riordan array with a generalized Pascal array. In particular, we focus on some interesting properties of one-parameter Catalan triangles. We obtain several combinatorial identities that involve two special Catalan matrices, the Chebyshev polynomials of the second kind, some periodic sequences, and the Fibonacci numbers.

연구 동기 및 목표

• Aigner 카탈란 삼각형 $\boldsymbol{C}$와 일반화된 파스칼 배열 $\boldsymbol{P}(r)$의 곱으로 유도된 리오르단 배열의 파라미터 가중치 가중치 가중치를 연구한다.
• 유도된 행렬 $\boldsymbol{C}(r)$의 조합적 및 대수적 성질을 분석하며, 특히 $r$에 대한 모닉 다항식으로서의 0번째 열의 성질을 중심으로 한다.
• $\boldsymbol{C}(r)$와 고전적인 조합적 수열 간의 연결 고리를 확립한다. 이는 피보나치 수, 체비셰프 다항식, 주기적 수열을 포함한다.
• $\boldsymbol{C}(r)$를 포함하는 명시적 조합적 항등식을 유도한다. 예를 들어, 행렬-벡터 곱이 정수의 거듭제곱이나 피보나치 수를 생성하는 경우를 포함한다.
• 리오르단 배열과 셰퍼 다항식의 프레임워크를 활용하여 카탈란 관련 행렬에 대한 기존 결과를 통합하고 일반화한다.

제안 방법

• $\boldsymbol{C}(r)$를 $\boldsymbol{C} \cdot \boldsymbol{P}(r)$의 곱으로 구성하며, 여기서 $\boldsymbol{P}(r)$는 일반화된 파스칼 배열로 $\boldsymbol{P}(0) = \boldsymbol{I}$, $\boldsymbol{P}(1) = \boldsymbol{P}$를 만족한다.
• 리오르단 배열의 기본 정리를 활용하여 $\boldsymbol{C}(r)$를 일변수 다항식 공간에서의 기저 변환 행렬로 해석한다.
• 셰퍼 다항식 이론을 적용하여 셰퍼 배열 $\boldsymbol{B}$의 역행렬을 정규직교 다항식, 특히 제2종 체비셰프 다항식과 연결한다.
• 행렬 $\boldsymbol{B}$의 작용을 지배하는 다항식 수열 $p_n^{\boldsymbol{B}^{-1}}(x)$에 대한 재귀 관계를 유도한다.
• 특정 값($x=2, 3, 4, 5$ 등)에서 $p_n^{\boldsymbol{B}^{-1}}(x)$를 평가하여 주기적 수열과 정수 수열(예: 피보나치 수)을 생성한다.
• 이항계수 항등식과 행렬 역행렬을 활용하여 피보나치 수를 이항계수와 $-5$의 거듭제곱으로 표현하는 닫힌 표현식을 도출한다.

실험 결과

연구 질문

• RQ1 $\boldsymbol{C}(r) = \boldsymbol{C} \cdot \boldsymbol{P}(r)$는 다양한 $r$ 값에서 고전적인 카탈란 삼각형 $\boldsymbol{C}$와 $\boldsymbol{B}$를 어떻게 일반화하는가?
• RQ2 $\boldsymbol{C}(r)$의 0번째 열의 대수적 및 조합적 성질은 무엇인가? 특히 $r$에 대한 모닉 다항식으로서의 형태와 양의 정수 계수의 특성은 무엇인가?
• RQ3 $\boldsymbol{B}$와 특정 수열(예: 주기적 수열, 피보나치 수, 자연수)을 포함하는 행렬-벡터 곱이 정수의 거듭제곱을 어떻게 생성하는가?
• RQ4 $\boldsymbol{B}^{-1}$의 역행렬과 정규직교 다항식, 특히 제2종 체비셰프 다항식 간의 관계는 무엇인가?
• RQ5 피보나치 수를 포함하는 조합적 항등식은 다항식 수열을 $x=5$에서 평가함으로써 행렬 $\boldsymbol{B}$를 통해 유도될 수 있는가?

주요 결과

• $\boldsymbol{C}(r)$의 0번째 열은 차수 $n$의 $r$에 대한 모닉 다항식의 열을 이루며, 계수는 모두 양의 정수이며, $\boldsymbol{C}(r)_{n,0}$의 상수항은 카탈란 수 $C_n$이다.
• $\boldsymbol{C}(1) = \boldsymbol{B}$이며 $\boldsymbol{C}(0) = \boldsymbol{C}$이므로 $\boldsymbol{C}(r)$는 Aigner과 Shapiro의 카탈란 삼각형 사이를 보간하는 행렬임을 보여준다.
• $x=2$에서 다항식 수열 $p_n^{\boldsymbol{B}^{-1}}(x)$를 평가하면 주기 4의 수열 $1,0,-1,0$이 되며, 행렬 $\boldsymbol{B}$는 벡터 $(1,0,-1,0,\dots)^T$를 $(1,2,4,8,\dots)^T$로 매핑한다.
• $x=3$일 때 수열 $p_n^{\boldsymbol{B}^{-1}}(3)$는 주기 6의 수열 $1,1,0,-1,-1,0$이며, $\boldsymbol{B}$는 $(1,1,0,-1,-1,\dots)^T$를 $(1,3,9,27,\dots)^T$로 매핑한다.
• $x=4$일 때 수열 $p_n^{\boldsymbol{B}^{-1}}(4)$는 자연수 수열 $n+1$이며, $\boldsymbol{B}$는 $(1,2,3,4,\dots)^T$를 $(1,4,16,64,\dots)^T$로 매핑한다. 이로부터 항등식 $\sum_{k=0}^{n}\frac{(k+1)^2}{n+1}\binom{2n+2}{n-k} = 4^n$을 유도할 수 있다.
• $x=5$일 때 $p_n^{\boldsymbol{B}^{-1}}(5)$는 짝수 인덱스 피보나치 수 $F_{2n+2}$와 일치하며, $\boldsymbol{B}$는 $(1,3,8,21,55,\dots)^T$를 $(1,5,25,125,\dots)^T$로 매핑한다. 이로부터 항등식 $\sum_{k=0}^{n}\frac{k+1}{n+1}\binom{2n+2}{n-k}F_{2k+2} = 5^n$을 도출할 수 있다.