[논문 리뷰] Linear recurrence sequences and their convolutions via Bell polynomials

Daniel Birmajer, Juan B. Gil외 1명|arXiv (Cornell University)|2014. 05. 29.

Advanced Combinatorial Mathematics참고 문헌 2인용 수 3

한 줄 요약

이 논문은 부분 벨 다항식을 사용하여 선형 재귀 수열과 그 다중 콘볼루션을 분석하는 새로운 프레임워크를 제안한다. 재귀 계수의 INVERT 변환을 통해 수열을 표현함으로써, 원래 재귀 깊이를 유지하는 보편적인 재귀 관계를 유도하여 조합 항등식과 지라르-웨링 공식의 일반화를 체계적으로 유도할 수 있다.

ABSTRACT

We recast homogeneous linear recurrence sequences with fixed coefficients in terms of partial Bell polynomials, and use their properties to obtain various combinatorial identities and multifold convolution formulas. Our approach relies on a basis of sequences that can be obtained as the INVERT transform of the coefficients of the given recurrence relation. For such a basis sequence $(y_n)$ with generating function $Y(t)$, and for any positive integer $r$, we give a formula for the convolved sequence generated by $Y(t)^r$ and prove that it satisfies an elegant recurrence relation.

연구 동기 및 목표

• 고정 계수를 가진 선형 재귀 수열을 부분 벨 다항식을 사용하여 통합적으로 표현하는 것.
• 생성 함수와 벨 다항식 항등식을 통해 이러한 수열의 다중 콘볼루션을 체계적으로 계산하는 방법을 개발하는 것.
• 어떤 r중 콘볼루션에 대해서든 원래 수열과 같은 깊이의 보편적인 재귀 관계를 도출하는 것.
• 이 프레임워크를 사용하여 힘의 합 대칭 함수에 대한 지라르-웨링 공식을 재정의하는 것.

제안 방법

• 재귀 계수의 INVERT 변환에 부분 벨 다항식을 적용하여 선형 재귀 수열을 표현하는 것.
• 기저 수열을 생성 함수 $ Y(t) = 1/Q(t) $를 통해 정의하며, 여기서 $ Q(t) = 1 - \sum c_n t^n $ 이고, 임의의 수열을 이동된 기저 수열의 선형 조합으로 표현하는 것.
• 파아 다 브루노의 공식을 사용하여 기저 수열 $ y_n $ 을 부분 벨 다항식으로 표현: $ y_n = \sum_{k=0}^n \frac{k!}{n!} B_{n,k}(1!c_1, 2!c_2, \dots) $.
• r중 콘볼루션 수열 $ a_n^{(r)} $ 에 대한 보편적인 재귀를 도출하여, 원래 수열과 동일한 깊이의 재귀를 만족함을 보이는 것.
• 벨 다항식의 성질을 적용하여 콘볼루션 수열과 그 생성 함수의 폐쇄형 표현을 도출하는 것.
• 피보나치, 패도반, 트라이보나치 수열과 그 콘볼루션을 포함한 구체적 예시를 통해 프레임워크의 타당성을 검증하는 것.

실험 결과

연구 질문

• RQ1 고정 계수를 가진 선형 재귀 수열은 부분 벨 다항식과 그 계수의 INVERT 변환을 통해 체계적으로 표현될 수 있는가?
• RQ2 선형 재귀 수열의 r중 콘볼루션을 지배하는 보편적인 재귀 관계는 무엇이며, 원래 재귀의 깊이를 유지하는가?
• RQ3 이 벨 다항식 프레임워크를 사용하여 힘의 합 대칭 함수에 대한 지라르-웨링 공식을 어떻게 재정의할 수 있는가?
• RQ4 벨 다항식 전개를 통해 콘볼루션 수열을 표현할 때 도출되는 조합 항등식은 무엇인가?
• RQ5 이 방법은 피보나치, 패도반, 트라이보나치와 같은 수열에 적용되어 그 콘볼루션에 대한 새로운 재귀 관계를 도출할 수 있는가?

주요 결과

• 선형 재귀 수열의 r중 콘볼루션은 원래 수열과 동일한 깊이의 재귀를 만족하며, 이는 벨 다항식 항등식을 통해 도출된다.
• 순서 $ d $ 를 가진 선형 재귀를 만족하는 임의의 수열 $ (a_n) $ 에 대해, 그 r중 콘볼루션 $ a_n^{(r)} $ 은 $ n a_n^{(r)} = \sum_{j=1}^d (n + j(r-1)) c_j a_{n-j}^{(r)} $ 의 형태를 가진다. 여기서 $ c_j $ 는 재귀 계수이다.
• r중 콘볼루션의 생성 함수는 $ Y(t)^r $ 이며, 그 계수는 벨 다항식으로 표현된다: $ y_n^{(r)} = \sum_{k=1}^n \binom{k+r-1}{k} \frac{k!}{n!} B_{n,k}(1!c_1, 2!c_2, \dots) $.
• 이 프레임워크는 기본 대칭 함수를 벨 다항식으로 표현함으로써, 힘의 합 대칭 함수에 대한 지라르-웨링 공식을 통합적으로 유도한다.
• 피보나치, 패도반, 트라이보나치 수열의 콘볼루션에 대해 명시적인 재귀 관계가 도출되었으며, 이는 A001629, A001628, A001872, A073778 등의 알려진 OEIS 수열과 일치한다.
• 희박하거나 구조적인 계수를 가진 수열에 대해, 벨 다항식 전개에서 계수를 분리함으로써 새로운 조합 항등식을 도출할 수 있다.