[논문 리뷰] The trinomial transform triangle

László Németh|arXiv (Cornell University)|2018. 07. 18.

Advanced Numerical Analysis Techniques인용 수 3

한 줄 요약

이 논문은 각 항이 위의 세 항의 합인 파스칼 유사 구조인 삼항계수 변환 삼각형을 소개한다. 이는 삼항계수를 사용하여 이항계수 변환을 일반화하며, 주대각선이 수열의 삼항계수 변환을 제공함을 증명한다. 주요 결과로 삼항계수 변환은 삼차 선형 재귀관계를 유지하며, 열 합과 교대 합은 명시적인 재귀관계를 따르며 피보나치, 트리보나치, 상수와 같은 수열에 대해 닫힌 표현식이 유도됨을 보여준다.

ABSTRACT

The trinomial transform of a sequence is a generalization of the well-known binomial transform, replacing binomial coefficients with trinomial coefficients. We examine Pascal-like triangles under trinomial transform, focusing on the ternary linear recurrent sequences. We determine the sums and alternating sums of the elements in columns, and we give some examples of the trinomial transform triangle.

연구 동기 및 목표

• 이항계수 변환 삼각형의 일반화로 삼항계수 변환 삼각형을 정의하고 체계화하는 것.
• 삼항 선형 재귀 수열이 삼항계수 변환을 거쳐 어떻게 행동하는지 조사하는 것.
• 삼항계수 변환 삼각형에서 각 열의 합과 교대 합에 대해 닫힌 표현식을 유도하는 것.
• 삼항 선형 재귀 수열의 삼항계수 변환이 여전히 삼항 선형 재귀 수열임을 보여주는 것.
• 피보나치, 트리보나치, 상수, 자연수와 같은 특수한 경우에 대해 열 합의 명시적 예와 재귀관계를 제공하는 것.

제안 방법

• 삼항계수 변환 삼각형 T를 재귀적 행 구성으로 정의: $ a_k^n = a_{k-1}^{n-1} + a_k^{n-1} + a_{k+1}^{n-1} $ for $ n \geq 1 $, 초기 행 $ a_k^0 = a_k $.
• 삼항계수 $ \binom{n}{i}_2 $를 사용하여 항을 표현: $ \binom{n}{i}_2 $는 $ (1+x+x^2)^n $에서 $ x^i $의 계수로 정의되며, $ a_k^n = \sum_{i=k-n}^{k+n} \binom{n}{i-k+n}_2 a_i^0 $로 표현됨.
• 부분합 삼항계수 삼각형 $ \left[ \binom{n}{k}_2 \right]_2 $를 도입함. 이는 각 열의 삼항계수의 누적합으로 정의됨.
• 부분합 삼항계수 삼각형의 대칭성과 재귀 항등식을 활용하여 합 공식을 도출함.
• 생성함수 기법과 재귀 분석을 적용하여 열 합 및 교대 합의 항등식을 유도함.
• 특수 수열(피보나치, 트리보나치, 상수 1, 자연수)에 대해 명시적 계산을 통해 결과를 검증함.

실험 결과

연구 질문

• RQ1 삼항계수 변환 삼각형은 어떻게 이항계수 변환 삼각형을 일반화하는가?
• RQ2 삼항계수 변환 삼각형의 주대각선과 초기 수열의 삼항계수 변환 사이의 관계는 무엇인가?
• RQ3 삼항계수 변환은 삼차 선형 재귀 성질을 유지하는가?
• RQ4 삼항계수 변환 삼각형의 각 열 요소의 합과 교대 합에 대해 닫힌 표현식을 도출할 수 있는가?
• RQ5 피보나치, 트리보나치, 상수 수열과 같은 특정 초기 수열에 대해 열 합을 지배하는 재귀관계는 무엇인가?

주요 결과

• 삼항계수 변환 삼각형의 주대각선은 초기 수열 $ (a_k) $의 삼항계수 변환과 정확히 일치하며, 항은 $ a_k^k = \sum_{i=0}^k \binom{k}{i}_2 a_i $로 표현됨.
• 삼차 선형 재귀 수열의 삼항계수 변환은 여전히 삼차 선형 재귀 수열이다. 예를 들어 피보나치 변환은 $ n \geq 4 $일 때 $ s_n = 7s_{n-1} - 9s_{n-2} - 2s_{n-3} + 4s_{n-4} $를 만족함.
• 상수 수열 $ a_k^0 = 1 $에 대해 열 합 $ s_n = \sum_{i=0}^n \left[ \binom{n}{i}_2 \right]_2 = \frac{3^{n+1} - 1}{2} $이며, OEIS A003462와 일치함.
• 자연수 수열 $ a_k^0 = k $에 대해 열 합은 $ s_n = \sum_{i=0}^n i \cdot \left[ \binom{n}{i}_2 \right]_2 = \frac{n \cdot (3^{n+1} - 1)}{2} $이며, OEIS A036290와 일치함.
• 상수 수열 $ a_k^0 = 1 $에 대해 교대 열 합은 $ \bar{s}_n = \sum_{i=0}^n (-1)^i \cdot \left[ \binom{n}{i}_2 \right]_2 = \frac{3(-3)^n + 1}{4} $이며, OEIS A014983와 일치함.
• 트리보나치 수열에 대해 열 합 $ s_n = \sum_{i=0}^n t_{n+2i} $는 6차 선형 재귀관계를 만족함: $ n \geq 6 $일 때 $ s_n = 8s_{n-1} - 11s_{n-2} - 3s_{n-4} + 4s_{n-5} - s_{n-6} $.