[논문 리뷰] Legal Decompositions Arising from Non-positive Linear Recurrences

Minerva Catral, Pari L. Ford외 3명|arXiv (Cornell University)|2016. 06. 30.

semigroups and automata theory참고 문헌 14인용 수 15

한 줄 요약

이 논문은 선형 재귀식의 계수에 0이 포함된 두 가지 새로운 수열—(s,b)-Generacci 및 Fibonacci Quilt—을 이용한 정수의 법적 분해를 조사한다. 이는 이전의 양수 계수를 기반으로 한 방법이 적용되지 않는 경우에 해당한다. (s,b)-Generacci 수열은 유일한 분해를 보장하며, Fibonacci Quilt 수열의 평균 분해 수는 지수적으로 증가한다. 또한 근사적으로 93%의 확률로 그레디 알고리즘이 성공한다.

ABSTRACT

Zeckendorf's theorem states that any positive integer can be written uniquely as a sum of non-adjacent Fibonacci numbers; this result has been generalized to many recurrence relations, especially those arising from linear recurrences with leading term positive. We investigate legal decompositions arising from two new sequences: the $(s,b)$-Generacci sequence and the Fibonacci Quilt sequence. Both satisfy recurrence relations with leading term zero, and thus previous results and techniques do not apply. These sequences exhibit drastically different behavior. We show that the $(s,b)$-Generacci sequence leads to unique legal decompositions, whereas not only do we have non-unique legal decompositions with the Fibonacci Quilt sequence, we also have that in this case the average number of legal decompositions grows exponentially. Another interesting difference is that while in the $(s,b)$-Generacci case the greedy algorithm always leads to a legal decomposition, in the Fibonacci Quilt setting the greedy algorithm leads to a legal decomposition (approximately) 93\% of the time. In the $(s,b)$-Generacci case, we again have Gaussian behavior in the number of summands as well as for the Fibonacci Quilt sequence when we restrict to decompositions resulting from a modified greedy algorithm.

연구 동기 및 목표

• 선형 재귀식의 주계수에 양수 성질이 법적 분해의 유일성에 필수적인지 여부를 조사하는 것.
• 표준 기법이 실패하는 0이 주계수인 재귀식으로 정의된 수열에서 법적 분해의 성질을 분석하는 것.
• (s,b)-Generacci 및 Fibonacci Quilt 수열을 비교하여, 둘 다 비양수 재귀식을 갖지만 근본적으로 다른 분해 성질을 보이는 이유를 밝히는 것.
• 이러한 수열에서 그레디 알고리즘이 법적 분해를 생성하는 데의 성능을 연구하는 것.
• 특정 조건 하에서 두 수열의 법적 분해에서 합성수의 수가 가우시안 분포를 보이는지 확인하는 것.

제안 방법

• 주계수가 0인 재귀식을 통해 (s,b)-Generacci 수열을 정의한다: $ a_{n+1} = a_{n} + \cdots + a_{n+1-L} $, 특성 다항식은 $ x^{(s+1)b} - x^{sb} - b = 0 $ 이다.
• 비양수 재귀식을 가진 두 번째 수열인 Fibonacci Quilt 수열을 도입하며, 일반화된 이항 구조에서 유도된다.
• 변수 치환 $ y = x^b $ 를 통해 특성 다항식을 $ q(y) = y^{s+1} - y^s - b = 0 $ 로 변환하여 페르로-프로베니우스 이론의 적용을 가능하게 한다.
• 변환된 다항식의 근을 분석하고 주도근이 실수이자 양수임을 보임으로써 (s,b)-Generacci 수열에 대한 일반화된 비네트 공식을 증명한다.
• 생성함수와 점근적 분석을 이용해 Fibonacci Quilt 수열의 법적 분해 수의 증가율을 분석한다.
• Fibonacci Quilt 수열에 대해 그레디 알고리즘과 수정된 형태(Greedy-6)의 성능을 평가하며, 약 93%의 성공 확률을 확인한다.

실험 결과

연구 질문

• RQ1 선형 재귀식의 주계수가 양수가 아닐 경우, 법적 정수 분해의 유일성과 구조에 근본적인 영향을 미치는가?
• RQ2 주계수가 음수 또는 0인 선형 재귀식으로 정의된 수열, 예를 들어 (s,b)-Generacci 수열에서도 여전히 유일한 법적 분해를 달성할 수 있는가?
• RQ3 Fibonacci Quilt 수열의 법적 분해 수의 渐近적 행동은 어떠한가? 지수적으로 증가하는가?
• RQ4 비양수 재귀식을 갖는 수열, 특히 Fibonacci Quilt의 경우에서 그레디 알고리즘이 법적 분해를 생성하는 데 얼마나 효과적인가?
• RQ5 적절한 조건 하에서 두 수열의 법적 분해에서 합성수의 수가 가우시안 분포를 보이는가?

주요 결과

• (s,b)-Generacci 수열은 주계수가 0이지만 모든 양의 정수에 대해 법적 분해가 유일하게 존재한다.
• Fibonacci Quilt 수열의 경우, 정수 크기와 함께 법적 분해의 평균 수가 지수적으로 증가하므로, 유일성과 근본적으로 다름을 보인다.
• 그레디 알고리즘은 Fibonacci Quilt 설정에서 약 93%의 정수에 대해 법적 분해를 생성하므로 부분적으로 신뢰할 수 있다.
• (s,b)-Generacci의 경우, 그레디 알고리즘은 항상 유효한 법적 분해를 생성하므로 일관된 성능을 보인다.
• 두 수열의 법적 분해에서 합성수의 수 분포는 가우시안 행동을 보이며, (s,b)-Generacci의 경우와 Fibonacci Quilt 수열에서 수정된 그레디 알고리즘을 사용할 경우에 해당한다.
• (s,b)-Generacci 수열에 대한 일반화된 비네트 공식은 특성 다항식의 변환과 근 분석을 통해 확립되었으며, 주도근이 실수이자 양수임을 확인함으로써 수열의 항들이 항상 양수임을 보장한다.