[논문 리뷰] A multidimensional continued fraction generalization of Stern's diatomic sequence

Thomas A. Garrity|arXiv (Cornell University)|2012. 06. 28.

Mathematical Dynamics and Fractals참고 문헌 39인용 수 4

한 줄 요약

이 논문은 구간 대신 삼각형을 분할하기 위해 페레이 다차원 연분수 알고리즘을 적용하여 슈테른의 이항수열의 다차원 일반화—즉, 슈테른의 삼항수열—을 도입한다. 이 수열은 삼중항에 대한 재귀적 행렬 연산을 통해 생성되며, 고전적 수열과 유사한 구조적 특성을 보이며, 방향 그래프 내 경로 수 계산 해석과 수준 간 합 성질을 유지하는 재귀 관계를 포함한다.

ABSTRACT

Continued fractions are linked to Stern's diatomic sequence 0,1,1,2,1,3,2,3,1,4,... (given by the recursion relation a_2n=a_n and a_{2n+1} = a_n + a_{n+1}, where a_0=0 and a_1=1), which has long been known. Using a particular multidimensional continued fraction algorithm (the Farey algorithm), we will generalize the diatomic sequence to a collection of numbers that quite naturally should be called the triatomic sequence (or a two-dimensional Pascal with memory sequence). As continued fractions and the diatomic sequence can be thought of as coming from systematic subdivisions of the unit interval, this new triatomic sequence will arise by a systematic subdivision of a triangle. We will discuss some of the algebraic properties for the tri-atomic sequence.

연구 동기 및 목표

• 다차원 연분수를 사용하여 슈테른의 이항수열을 두 차원에 해당하는 일반화로 확장하는 것.
• 페레이 알고리즘을 활용한 삼각형의 체계적 분할을 통해 새로운 수열—슈테른의 삼항수열—을 정의하는 것.
• 새로운 수열의 대수적 및 조합적 성질을 탐색하는 것—재귀 관계와 경로 수 계산 해석 포함.
• 고전적 슈테른 수열 성질과 그 삼항 일반화 간의 유사성을 도출하는 것.
• 미래 연구를 위한 열린 문제 제안—다항식 일반화 및 다른 다차원 연분수 시스템과의 연결성 포함.

제안 방법

• 삼각형의 정점 레이블링에 해당하는 세 행렬 A₀, A₁, A₂를 사용하여 초기 삼중항 (1,1,1)을 기반으로 삼항수열을 정의한다.
• 색인 튜플 (i₁,…,iₙ) ∈ {0,1,2}ⁿ 을 사용해 수준 n의 하위삼각형을 레이블링하며, 관련 삼중항은 행렬 곱으로 계산된다.
• 재귀 관계 수립: δₙ(2n) = δₙ₋₁(n), δₙ(2n+1) = δₙ₋₁(n) + δₙ₋₁(n+1), δₙ(3n+2) = δₙ₋₁(n) + δₙ₋₁(n+1) + δₙ₋₁(n+2).
• 각 삼각형이 중심 정점으로부터 세 개의 새로운 간선을 생성하는 방향 그래프에서 경로 수로 수열을 모델링한다.
• 행렬 표현 Mb₀…bᵢ 와 페레이 사상(맵)을 사용해 고전적 슈테른 수열 구성 방식을 고차원으로 일반화한다.
• 수준 n에서의 항의 합이 3ⁿ⁺¹임을 증명하며, 수준 n−1의 각 항이 다음 수준의 합에 정확히 두 번 기여함을 보인다.

실험 결과

연구 질문

• RQ1 다차원 연분수를 사용하여 고전적 슈테른 이항수열을 두 차원 설정으로 일반화할 수 있는가?
• RQ2 유도된 삼항수열이 만족하는 대수적 및 재귀적 성질은 무엇이며, 원래 수열의 성질과 어떻게 유사한가?
• RQ3 삼항수열은 삼각형 분할에서 유도된 방향 그래프 내 경로 수로 조합적으로 해석될 수 있는가?
• RQ4 페레이 알고리즘이 삼각형 분할을 통해 삼항수열이 나타나는 데 어떤 역할을 하는가?
• RQ5 슈테른 수열의 알려진 성질—예를 들어 초이분형 표현 또는 하노이의 탑 그래프와의 연결성—의 삼항 설정에서의 일반화는 무엇인가?

주요 결과

• 삼항수열은 삼각형을 행렬 A₀, A₁, A₂를 사용해 재귀적으로 분할함으로써 생성되며, 각 수준 n에서 3ⁿ개의 하위삼각형과 정수 삼중항이 생성된다.
• 수준 n에서의 항의 총합은 3ⁿ⁺¹이며, 수준 n−1의 각 항이 다음 수준의 합에 정확히 두 번 기여한다.
• 재귀 관계 δₙ(2n) = δₙ₋₁(n), δₙ(2n+1) = δₙ₋₁(n) + δₙ₋₁(n+1), δₙ(3n+2) = δₙ₋₁(n) + δₙ₋₁(n+1) + δₙ₋₁(n+2) 가 수열에 대해 성립한다.
• 수열은 연속적인 분할로 구성된 그래프에서 세 초기 정점에서 하위삼각형의 l번째 정점까지의 방향 경로 수로 해석될 수 있다.
• 각 수준 n에서 세 성분 δₙ¹(n) + δₙ²(n) + δₙ³(n)의 합은 3ⁿ⁺¹이며, 값은 수준과 색인에 따라 예측 가능하게 증가한다.
• 논문은 k=5까지 δₖ(n)의 값 표를 제공하며, δₖ(1) = 3ᵏ⁺¹ 및 δₖ(3ᵏ+1) = 3ᵏ⁺¹ 등의 일관된 패tern을 보여준다.