[논문 리뷰] On Summand Minimality of Generalized Zeckendorf Decompositions

Katherine Cordwell, Max Hlavacek외 4명|arXiv (Cornell University)|2016. 08. 31.

semigroups and automata theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 정수의 일반화된 제코프 분해(gzd)가 동일한 선형 재귀 수열을 사용하는 모든 표현 중에서 합성수의 수를 최소화하는 것은 재귀의 서명이 약하게 감소하는(즉, $c_1 \geq \cdots \geq c_t$) 경우에만 성립함을 입증한다. 저자들은 임의의 표현을 gzd로 변환하기 위한 선형 알고리즘 프레임워크를 개발하고, 구조적 분석과 다항식의 기약성 증명을 통해 최소성의 성립을 입증한다.

ABSTRACT

Zeckendorf proved that every number can be uniquely represented as a sum of non-consecutive Fibonacci numbers. This has been extended in many ways, including to linear recurrences $H_n=c_1 H_{n-1} + \cdots + c_t H_{n-t}$ where the $c_i$ are non-negative integers and $c_1$, $c_t \ge 1$. Every number has a unique generalized Zeckendorf decomposition (gzd) -- a representation composed of blocks that are lexicographically less than $(c_1,\dots,c_t)$, which we call the signature. We prove that the gzd of a positive integer $m$ uses the fewest number of summands out of all representations for $m$ using the same recurrence sequence, for all $m$, if and only if the signature of the linear recurrence is weakly decreasing (i.e., $c_1 \ge \cdots \ge c_t$). Following the parallel with well-known base $d$ representations, we develop a framework for naturally moving between representations of the same number using a linear recurrence, which we then utilize to construct an algorithm to turn any representation of a number into the gzd. To prove sufficiency, we show that if the signature is weakly decreasing then our algorithm results in fewer summands. To prove necessity we proceed by divide and conquer, breaking the analysis into several cases. When $c_1 > 1$, we give an example of a non-gzd representation of a number and show that it has fewer summands than the gzd by performing the same above-mentioned algorithm. When $c_1 = 1$, we non-constructively prove the existence of a counterexample by utilizing the irreducibility of a certain family of polynomials together with growth rate arguments.

연구 동기 및 목표

• 주어진 선형 재귀 수열을 사용하는 모든 표현 중에서 일반화된 제코프 분해가 합성수의 수를 최소화하는 조건을 규명하는 것.
• 재귀 기반 변환을 통해 어떤 수의 표현도 일반화된 제코프 분해로 체계적으로 변환할 수 있는 프레임워크를 개발하는 것.
• 일반화된 제코프 분해가 합성수 최소화를 이루는 조건으로서 재귀 수열의 서명의 구조적 성질을 규명하는 것.
• 합성수 최소화를 위한 약하게 감소하는 서명 조건의 필요성과 충분성을 구축적 및 비구축적 방법을 통해 해결하는 것.

제안 방법

• 저자들은 일반화된 제코프 분해를 재귀의 서명 $(c_1, \dots, c_t)$ 보다 사전순으로 작은 블록으로 구성된 표현으로 정의하여 유일성을 확보한다.
• 서명보다 사전순으로 큰 블록을 반복적으로 교체함으로써 임의의 유효한 표현을 gzd로 변환하는 알고리즘을 도입한다.
• 충분성 증명을 위해 서명이 약하게 감소할 경우, 알고리즘이 합성수의 수를 감소시킴으로써 최소성의 성립을 보여준다.
• 필요성 증명을 위해 분할 정복 전략을 사용하며, $c_1 = 1$ 인지 $c_1 > 1$ 인지에 따라 경우를 나누어 분석한다.
• $c_1 > 1$ 인 경우, gzd보다 합성수의 수가 적은 비-gzd 표현을 명시적으로 구성함으로써 조건이 필수적임을 보여준다.
• $c_1 = 1$ 인 경우, 성장률 분석과 다항식의 기약성에 기반한 비구축적 방법으로 gzd보다 합성수의 수가 적은 반례의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 재귀 서명에 어떤 조건이 성립할 경우, 동일한 수열을 사용하는 모든 표현 중에서 일반화된 제코프 분해가 합성수의 수를 최소화하는가?
• RQ2 어떤 수의 표현도 일반화된 제코프 분해로 체계적으로 변환할 수 있는 알고리즘이 존재하는가? 이 과정에서 합성수의 수가 증가하지 않는가?
• RQ3 약하게 감소하는 서명 조건이 일반화된 제코프 분해에서 합성수 최소화를 위해 필수적이며 충분한가?
• RQ4 재귀 수열의 어떤 구조적 또는 대수적 성질이 일반화된 제코프 분해가 합성수 최소화를 이루지 못하게 하는가?

주요 결과

• 일반화된 제코프 분해가 동일한 재귀 수열을 사용하는 모든 표현 중에서 합성수의 수를 최소화하는 것은 재귀 서명이 약하게 감소할 때에만 성립한다.
• 임의의 표현을 gzd로 변환할 수 있는 구축 가능한 알고리즘이 존재하며, 서명이 약하게 감소할 경우 이 과정에서 합성수의 수가 감소한다.
• $c_1 > 1$ 인 경우, gzd보다 합성수의 수가 적은 명시적 비-gzd 표현을 구성할 수 있어, 약하게 감소하는 조건이 필수적임을 입증한다.
• $c_1 = 1$ 인 경우, 다항식의 기약성과 점근적 성장률 분석에 기반한 비구축적 방법으로 gzd보다 합성수의 수가 적은 반례의 존재가 증명된다.
• 표현을 변환하는 프레임워크는 재귀 서명과의 사전순 비교에 기반하며, 이는 gzd로의 시스템적 감소를 가능하게 한다.