[논문 리뷰] Transforming Recurrent Sequences by Using the Binomial and Invert Operators

Stefano Barbero, Umberto Cerruti외 1명|arXiv (Cornell University)|2011. 05. 11.

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

한 줄 요약

이 논문은 정수환 위의 선형 재귀 수열에 대해 이항 및 역연산자—또한 이동 연산자와 함께—의 작용을 조사한다. 이 연산자들이 선형 재귀 수열의 집합을 유지함을 증명하고, 특성 다항식이 어떻게 변하는지에 대한 명시적 공식을 유도한다. 주요 기여는 임의의 인풋 시퀀스를 다른 인풋 시퀀스로 변환하기 위한 '구성' 및 '해체' 과정을 포함하는 구조적 프레임워크를 제공하는 것이다. 응용 사례로 피보나치 항등식과 r-bonacci 수열이 포함되어 있다.

ABSTRACT

In this paper we study the action of the Binomial and Invert (interpolated) operators on the set of linear recurrent sequences. We prove that these operators preserve this set, and we determine how they change the characteristic polynomials. We show that these operators, with the aid of two other elementary operators (essentially the left and right shifts), can transform any impulse sequence (a linear recurrent sequence starting from $(0,...,0,1)$) into any other impulse sequence, by two processes that we call \emph{construction} and \emph{deconstruction}. Finally, we give some applications to polynomial sequences and pyramidal numbers. We also find a new identity on Fibonacci numbers, and we prove that $r$--bonacci numbers are a Bell polynomial transform of the $(r-1)$--bonacci numbers.

연구 동기 및 목표

• 정수환 위의 선형 재귀 수열에 대해 이항 및 역연산자의 작용을 분석한다.
• 이 연산자들이 선형 재귀 수열의 특성 다항식을 어떻게 수정하는지 규명한다.
• 이항, 역, 이동 연산자를 포함한 군 작용 프레임워크를 구축하여 선형 재귀 수열의 집합을 유지함을 확립한다.
• 임의의 인풋 시퀀스를 다른 인풋 시퀀스로 변환하기 위한 구성 및 해체 과정을 개발한다.
• 이 프레임워크를 다항식 수열과 피라미드 수에 적용하여 새로운 항등식과 구조적 관계를 밝혀낸다.

제안 방법

• 일반적 생성함수를 통한 정의를 통해 이항 연산자 $ L^{(y)} $ 및 역연산자 $ I^{(x)} $ 의 보간형을 도입한다: $ I^{(x)} $ 는 $ B(t) = \frac{A(t)}{1 - x t A(t)} $ 를, $ L^{(y)} $ 는 $ c_n = \sum_{i=0}^n \binom{n}{i} y^{n-i} a_i $ 를 각각 정의한다.
• 생성함수와 콘볼루션 역함수를 사용하여 $ I^{(x)} $ 의 재귀 관계를 도출하며, $ b_n = a_n + x \sum_{j=0}^{n-1} a_{n-1-j} b_j $ 를 얻고, $ b_0 = a_0 $ 이다.
• 뉴턴의 항등식과 유한 차분을 적용하여 $ \sum_{i=0}^m \binom{m}{i} y^i \alpha^{m-i} P(i) = (\alpha + y)^m Q(m) $ 를 증명한다. 여기서 $ Q(m) $ 은 $ m $ 에 대한 다항식이며, 특성 다항식의 변환을 가능하게 한다.
• 수열의 초기 조건을 조작하기 위해 오른쪽 이동 연산자 $ \sigma $ 와 왼쪽 이동 연산자 $ \rho $ 를 도입한다.
• 일괄 해체 기법을 통해 $ L^{(-1)} $ 을 활용하여 다항식 수열에서 유한 차분 $ \Delta^n f(0) $ 를 추출하고, 이를 통해 $ L^{(1)} $ 을 통해 재구성할 수 있다.
• 도형수에 프레임워크를 적용하여, 다각형수와 피라미드 수가 특성 다항식 $ (t-1)^2 $ 을 가진 수열의 반복적 부분합으로부터 유도됨을 보이고, 연산자 조합을 통해 생성 규칙을 도출한다.

실험 결과

연구 질문

• RQ1 이항 및 역연산자가 선형 재귀 수열의 특성 다항식을 어떻게 변형하는가?
• RQ2 이항, 역, 이동 연산자가 생성하는 군이 인풋 시퀀스의 집합에 대해 전형적으로 작용할 수 있는가?
• RQ3 연산자 변환 하에서 r-bonacci 수와 (r+1)-bonacci 수 사이의 관계는 무엇인가?
• RQ4 이항 연산자를 통해 다항식 수열을 유한 차분에서 재구성할 수 있는가?
• RQ5 이 연산자 작용 하에서 피라미드수와 다각형수에 대해 어떤 구조적 항등식이 도출되는가?

주요 결과

• 이항 및 역연산자는 선형 재귀 수열의 집합을 유지하며, 특성 다항식에 대한 작용이 다항식 변환 규칙을 통해 명시적으로 기술된다.
• 합성 $ I(\rho(F^{(r)})) = F^{(r+1)} $ 는 $ r $-bonacci 수열에서 $ (r+1) $-bonacci 수열을 생성하며, 이는 $ r $-bonacci 수가 $ (r-1) $-bonacci 수의 벨 다항식 변환임을 증명한다.
• 피보나치 수에 대한 새로운 항등식이 도출된다: $ F_{n+1}^{(r)} = F_n^{(r-1)} + \sum_{i=1}^{n-1} F_{i-1}^{(r)} F_{n-i-1}^{(r-1)} $, 이는 $ r \geq 3 $ 일 때 성립한다.
• 일괄 해체 $ L^{(-1)}(f(n)) = (\Delta^n f(0)) $ 는 다항식 수열을 그 유한 차분에서 완전히 재구성할 수 있게 하며, 표준 뉴턴 급수 전개를 유도한다.
• 특성 다항식 $ (t-1)^3 $ 을 가진 다각형수와 $ (t-1)^4 $ 을 가진 피라미드 수는 $ (t-1)^2 $ 를 특성 다항식으로 가진 수열의 반복적 부분합으로부터 유도되며, 초기 차분 수열에 $ L^{(1)} $ 을 적용하여 그 항들을 복원할 수 있다.
• 다각형수의 OEIS 수열들(예: A000217, A000290) 이 연산자 프레임워크에서 자연스럽게 유도됨을 보이고, $ L^{(1)}((0,1,q-2,0,\ldots)) = (P_q^{(2)}(n)) $ 와 같은 항등식을 통해 기존 항목에 대한 구성적 증명을 제공한다.