[논문 리뷰] Characterization of the Strong Divisibility Property for Generalized Fibonacci Polynomials

Rigoberto Flórez, Robinson A. Higuita외 1명|arXiv (Cornell University)|2017. 01. 24.

Advanced Mathematical Theories and Applications참고 문헌 16인용 수 7

한 줄 요약

이 논문은 일반화된 피보나치 다항식(GFPs)에 대한 강한 나눗셈 성질(SDP)을 완전히 특성화하며, Binet 공식에 기반해 이를 피보나치형과 루카스형으로 분류한다. SDP가 성립하는 것은 오직 피보나치형 GFP일 때에만이며, 이 경우의 최대공약수에 대한 명시적 공식을 제시한다. 특히 루카스형 및 혼합형 다항식의 경우 SDP가 실패할 때의 최대공약수에 대한 공식을 제공한다.

ABSTRACT

It is known that the greatest common divisor of two Fibonacci numbers is again a Fibonacci number. It is called the strong divisibility property. However, this property does not hold for every second order sequence. In this paper we study the generalized Fibonacci polynomials and classify them in two types depending on their Binet formula. We give a complete characterization for those polynomials that satisfy the strong divisibility property. We also giveformulas to calculate the $\gcd$ of those polynomials that do not satisfy the strong divisibility property. Note. This paper is now published in INTEGERS.

연구 동기 및 목표

• GFPs를 그들의 Binet 공식에 기반해 피보나치형과 루카스형으로 두 유형으로 분류하는 것.
• GFPs에 대해 강한 나눗셈 성질(gcd(F_m, F_n) = F_gcd(m,n))이 성립하는 정확한 조건을 규명하는 것.
• SDP가 실패할 경우, 특히 루카스형 및 혼합형 다항식에 대해 최대공약수에 대한 명시적 공식을 제공하는 것.
• 기존의 고전적 수열(예: 피보나치, 체비셰프, 펠)의 최대공약수 성질에 대한 결과를 GFPs의 통합 프레임워크로 확장하는 것.
• 비동치 또는 비동일한 GFP 수열에서 최대공약수 행동에 대한 열린 질문을 제기하는 것.

제안 방법

• 특성 방정식의 근을 기반으로, 폐쇄형 Binet 공식을 사용해 GFPs를 피보나치형과 루카스형으로 분류하는 것.
• 모순의 방법을 사용해 오직 피보나치형 GFPs만 강한 나눗셈 성질을 만족함을 증명하는 것.
• 2진 평가(E₂(m), E₂(n))와 그 최대공약수 행동에 미치는 영향을 분석하여, 루카스형 GFPs에 대한 명시적 최대공약수 공식을 유도하는 것.
• 같은 재귀관계를 공유하지만 다른 초기 조건을 가진 GFPs를 '동치'로 정의하고, 피보나치형과 루카스형 동치 간의 최대공약수를 분석하는 것.
• 호라담, 히오거, 웹의 기존 결과를 적용해 고전적 수열 간의 최대공약수 성질을 일반화하고 통합하는 것.
• 표(3–5)를 사용해 지수의 기수성과 2진 평가에 따라 경우를 구분하여, 익숙한 GFPs의 최대공약수 결과를 체계적으로 제시하는 것.

실험 결과

연구 질문

• RQ1 어떤 일반화된 피보나치 다항식에서 강한 나눗셈 성질이 성립하는가?
• RQ2 강한 나눗셈 성질이 실패할 경우, 두 루카스형 일반화된 피보나치 다항식의 최대공약수는 무엇인가?
• RQ3 피보나치형 GFP와 그 동치 루카스형 GFP 간의 최대공약수는 어떻게 행동하는가?
• RQ4 혼합형 GFP 쌍(예: 피보나치와 루카스 다항식)에서 강한 나눗셈 성질이 성립하는 조건은 무엇인가?
• RQ5 동일한 유형이지만 상호 동치가 아닌 두 일반화된 피보나치 다항식의 최대공약수는 무엇인가?

주요 결과

• 강한 나눗셈 성질은 일반화된 피보나치 다항식이 피보나치형일 때에만 성립한다.
• 루카스형 다항식의 경우, 지수의 2진 평가가 동일할 때(E₂(m) = E₂(n))에만 강한 나눗셈 성질이 성립하며, 이 외에는 최대공약수가 1이다.
• 피보나치형 GFP가 그 동치 루카스형 GFP와 쌍을 이루는 경우, E₂(n) < E₂(m)이면 최대공약수는 지수 d = gcd(m,n)에 해당하는 루카스형 다항식이 되며, 그렇지 않으면 최대공약수는 1이다.
• 표 3–5는 피보나치, 펠, 체비셰프, 재크스타날, 모건-보이스 다항식을 포함한 12개의 고전적 GFPs에 대해 모든 지수 조합에서 최대공약수 공식을 완전히 제시한다.
• 동일한 유형이지만 상호 동치가 아닌 두 GFPs의 최대공약수는 구조적 및 수치적 증거에 기반해 1 또는 x일 것으로 추측된다.
• 논문은 모든 고전적 피보나치형 다항식(예: 피보나치, 펠, 제2종 체비셰프)에서 강한 나눗셈 성질이 성립함을 확인하였으며, gcd(F_m, F_n) = F_gcd(m,n)임을 보였다.