[논문 리뷰] Divide-and-conquer generating functions. Part I. Elementary sequences

Ralf Stephan|ArXiv.org|2003. 07. 02.

semigroups and automata theory참고 문헌 5인용 수 4

한 줄 요약

이 논문은 이진 숫자의 성질에 기반한 수열을 생성하는 분할정복 생성함수(DCGF)를 체계적으로 분석하기 위한 프레임워크를 제안한다. 기본적인 DCGF는 닫힌형 분수 및 곱 형태로 분류되며, 해당 선형 재귀관계가 유도되고, 일반 생성함수를 통해 잘 알려진 정수 수열과 연결되어, 투-모르스, 이진 가중치, 슈터의 이항계수 수열 등의 통합 분석이 가능해진다.

ABSTRACT

Divide-and-conquer functions satisfy equations in F(z),F(z^2),F(z^4)... Their generated sequences are mainly used in computer science, and they were analyzed pragmatically, that is, now and then a sequence was picked out for scrutiny. By giving several classes of ordinary generating functions together with recurrences, we hope to help with the analysis of many such sequences, and try to classify a part of the divide-and-conquer sequence zoo.

연구 동기 및 목표

• 분할정복 재귀관계로 생성되는 광범위한 정수 수열 클래스를 일반 생성함수(OGF)를 사용하여 분류하기.
• 정수 계수를 가진 $ z^{2^k} $ 에 대한 유리함수의 합 또는 곱으로 표현 가능한 기본적인 DCGF의 가족을 식별하고 체계화하기.
• 이러한 DCGF와 이진 전개에 기반한 자기유사한 구조를 가진 선형 재귀관계 사이의 직접적인 대응 관계를 수립하기.
• 이 프레임워크 내에서 분석적 및 계산적 목적을 위해 알려진 수열들(예: A000120, A001316, A002487)의 체계적 카탈로그 제공하기.

제안 방법

• 계수들이 $ n $ 의 이진 숫자에 따라 달라지는 $ z^{2^k} $ 를 포함한 무한 합 또는 곱으로 기본적인 분할정복 생성함수를 정의하기.
• 함수 $ F(z), F(z^2), \dots $ 에 대한 함수방정식을 이용해, $ n $ 이 짝수인지 홀수인지에 따라 $ a_n $ 의 계수에 대한 재귀관계 유도하기.
• 기호 계산과 경험적 검증(인덱스 100까지)을 통해 추측된 함수방정식과 재귀관계를 지지하기.
• OEIS 참조를 통해 생성함수를 알려진 수열과 연결하고, $ 2^{e_1(n)} $, $ e_1(n) $, $ 3^{e_1(n)} $ 등의 수열이 특정 매개변수 선택에 의해 유도됨을 보여주기.
• 재귀관계의 구조가 인덱스 $ n $ 의 이진 트리 순회와 일치함을 보여주어 기계적 해석이 가능함을 입증하기.
• 선형 조합과 매개변수화된 가족(예: $ a_{2n} = \alpha a_n + c $ 에 대한 $ \alpha $-가중 재귀관계)을 포함하도록 프레임워크 일반화하기.

실험 결과

연구 질문

• RQ1 분할정복 생성함수는 $ z^{2^k} $ 에 대한 닫힌형 표현식을 통해 어떻게 체계적으로 분류될 수 있는가?
• RQ2 기본적인 DCGF로 생성된 수열의 정확한 재귀관계는 무엇이며, 이는 $ n $ 의 이진 표현과 어떻게 관련되는가?
• RQ3 투-모르스, 슈터의 이항계수, 골드의 수열과 같은 알려진 수열들이 하나의 생성함수 프레임워크 아래 통합될 수 있는가?
• RQ4 $ e_0(n) $ 이 $ n $ 의 이진 전개에서 0의 개수를 세는 함수일 때, $ \sum 2^{e_0(i)} z^i $ 의 생성함수는 무엇인가?
• RQ5 이 프레임워크에 속하는 모든 수열들이 선형대수적 표현을 사용해 2-유리형으로 표현될 수 있는가?

주요 결과

• 생성함수 $ \sum_{k=0}^\infty \frac{c^k z^{2^k}}{1 - z^{2^k}} $ 는 $ |c| > 0 $ 인 경우 $ a_{2n} = c a_n + 1 $, $ a_{2n+1} = 1 $ 을 만족하는 수열을 생성한다.
• 곱 $ \prod_{k=0}^\infty (1 + c z^{2^k}) $ 는 $ a_n = c^{e_1(n)} $ 를 생성하며, 재귀관계는 $ a_{2n} = a_n $, $ a_{2n+1} = c a_n $ 이다.
• 함수 $ \frac{1}{1-z} \sum_{k=0}^\infty \frac{\alpha^k (d z^{2^k} + c z^{2^{k+1}})}{1 + z^{2^k}} $ 는 $ a_{2n} = \alpha a_n + c $, $ a_{2n+1} = \alpha a_n + d $ 를 만족하는 수열을 생성한다.
• 이진 전개에서 1의 개수를 세는 수열 $ e_1(n) $ 은 $ \sum_{k=0}^\infty \frac{z^{2^k}}{1 + z^{2^k}} $ 에 의해 생성되며, OEIS A000120 와 대응된다.
• \{1, -1\} 에서 정의된 투-모르스 수열은 마플러이언이자 기본적인 DCGF이기도 하며, 생성함수는 $ \prod_{k=0}^\infty (1 - z^{2^k}) $ 이다.
• 논문은 $ \sum 2^{e_0(i)} z^i $ 를 비기본적인 DCGF로 식별했지만, $ F(z^2) = (1 + F(z))/(z + 2) $ 를 만족함을 보여주어 함수방정식이 존재할 가능성을 시사한다.