[논문 리뷰] A Combinatorial Interpretation for Certain Relatives of the Conolly Sequence

Balasingham Balamohan, Zhiqiang Li외 1명|ArXiv.org|2008. 01. 07.

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

한 줄 요약

이 논문은 $ s \geq 0 $ 에 따라 매개변수화된 메타피보나치 수열 $ h_s(n) $ 의 조합적 해석을 제공하며, 이는 무한한 트리 구조에서 리프의 수를 세는 것으로 나타난다. 주요 결과는 $ h_s(n) $ 이 느리게 증가하는 성질을 가지며, 단계별로 0 또는 1만큼 증가하고, 비감소적임을 보여주며, 모든 양의 정수는 정확히 두 번 나타나지만, 2의 거듭제곱은 $ s+2 $ 번 나타남을 보여준다.

ABSTRACT

For any integer s >= 0, we derive a combinatorial interpretation for the family of sequences generated by the recursion (parameterized by s) h_s(n) = h_s(n - s - h_s(n - 1)) + h_s(n - 2 - s - h_s(n - 3)), n > s + 3, with the initial conditions h_s(1) = h_s(2) = ... = h_s(s+2) = 1 and h_s(s+3) = 2. We show how these sequences count the number of leaves of a certain infinite tree structure. Using this interpretation we prove that h_s sequences are "slowly growing", that is, h_s sequences are monotone nondecreasing, with successive terms increasing by 0 or 1, so each sequence hits every positive integer. Further, for fixed s the sequence h_s(n) hits every positive integer twice except for powers of 2, all of which are hit s+2 times. Our combinatorial interpretation provides a simple approach for deriving the ordinary generating functions for these sequences.

연구 동기 및 목표

• 매개변수 $ s \geq 0 $ 에 따라 정의된 메타피보나치 수열 $ h_s(n) $ 에 대한 조합적 해석을 무한 트리 구조를 통해 제공한다.
• $ h_s(n) $ 이 느리게 증가함—비감소적이며 연속된 항들 간의 차이가 0 또는 1임—을 증명하여 모든 양의 정수가 결국 도달됨을 보여준다.
• $ h_s(n) $ 에서 각 양의 정수가 나타나는 빈도를 특성화하며, 2의 거듭제곱은 $ s+2 $ 번, 나머지 수들은 정확히 두 번 나타남을 보여준다.
• 트리 기반 해석을 사용하여 $ h_s(n) $ 의 일반 생성함수를 유도한다.
• 이전에 연구된 일반화된 콘올리 수열에 사용된 조합적 프레임워크를, 두 항의 재귀 수열의 새로운 클래스로 확장한다.

제안 방법

• $ n > s+3 $ 에 대해 재귀식 $ h_s(n) = h_s(n - s - h_s(n-1)) + h_s(n - 2 - s - h_s(n-3)) $ 을 통해 수열 $ h_s(n) $ 을 정의하며, 초기값은 $ h_s(1) = \cdots = h_s(s+2) = 1 $, $ h_s(s+3) = 2 $ 로 설정한다.
• 루트가 있는 무한 트리 $ \mathcal{T}_s $ 를 구성하며, 노드는 특정 순서로 레이블이 붙고, $ h_s(n) $ 은 트리의 첫 $ n $ 개 노드에서 리프의 수를 세는 데 사용된다.
• 단일 노드를 제거하여 구조를 단순화하면서도 리프 수 계산 성질을 유지하는 수정된 트리 $ \mathcal{T}'_s $ 를 도입한다.
• 트리에 대해 재귀적 잘라내기 과정을 적용하여 수열 값과 부분트리의 구조적 특성, 노드 레이블링 간의 관계를 규명한다.
• 노드 $ n $ 이 리프인지 여부를 나타내는 이진 수열 $ d_s(n) $ 을 정의하고, 자기 유사 패턴의 중첩 합을 사용하여 그 생성함수 $ \mathcal{D}_s(z) $ 를 표현한다.
• 일반 생성함수 $ \mathcal{A}_s(z) = \frac{\mathcal{D}_s(z)}{1 - z} $ 를 유도하며, 기하급수와 2의 거듭제곱, $ s $ 의 거듭제곱을 포함하는 닫힌 표현식을 도출한다.

실험 결과

연구 질문

• RQ1 두 항의 자기 참조 재귀로 정의된 수열 $ h_s(n) $ 은 트리 구조의 관점에서 어떻게 조합적으로 해석될 수 있는가?
• RQ2 왜 $ h_s(n) $ 은 모든 $ s \geq 0 $ 에 대해 '느리게 증가'하는 성질—비감소적이며 단계별로 0 또는 1만큼 증가—를 가지는가?
• RQ3 $ h_s(n) $ 에서 값이 나타나는 빈도 패턴은 무엇을 설명하는가? 특히 2의 거듭제곱은 $ s+2 $ 번, 나머지 모든 양의 정수는 정확히 두 번 나타나는 이유는 무엇인가?
• RQ4 일반 생성함수 $ h_s(n) $ 는 조합 모델에서 유도될 수 있는가? 만약 가능하다면, 그 닫힌 표현식은 무엇인가?
• RQ5 매개변수 $ s $ 는 $ h_s(n) $ 에서 값의 출현 빈도를 어떻게 제어하는가? 이에 대응하는 트리의 구조적 특징은 무엇인가?

주요 결과

• 수열 $ h_s(n) $ 은 비감소적이며, 매 단계에서 0 또는 1만큼만 증가하므로 '느리게 증가'하는 것으로 확인된다.
• 모든 $ s \geq 0 $ 에 대해, 모든 양의 정수는 $ h_s(n) $ 에서 나타나며, 2의 거듭제곱은 정확히 $ s+2 $ 번, 나머지 정수들은 정확히 두 번 나타난다.
• $ h_s(n) $ 의 생성함수는 $ \mathcal{A}_s(z) = \frac{z}{1-z} + \frac{z^2}{(1-z^2)(1-z)} \sum_{i=1}^\infty z^{s i + 2^i - 1}(1 - z^{2^i}) $ 로 표현되며, 트리 기반 해석에서 도출된다.
• 수열 $ h_s(n) $ 은 재귀적으로 정의된 무한 트리 $ \mathcal{T}_s $ 의 첫 $ n $ 개 노드에서 리프의 수를 세는 것으로 나타난다. 이때 노드의 레이블링과 부분트리의 구조는 철저히 순서가 정해져 있다.
• $ \mathcal{T}_s $ 트리의 구조는 각각 $ 2^i $ 개의 기본 패턴 복제본을 포함하는 부분트리 $ \mathcal{S}_i $ 로 이루어져 있으며, 리프 지표 수열에서 각 부분트리 앞에는 $ s $ 길이의 0 블록이 오른다.
• 생성함수 유도 과정은 리프 지표 수열 $ d_s(n) $ 을 $ C_i $ 패턴(자기 유사 01 블록)과 $ s $ 길이의 0 블록으로 분리하여 연결함으로써, 닫힌 표현식의 합산이 가능하게 한다.