[논문 리뷰] Arithmetic properties of generalized Fibonacci sequences

Soo-Hyun Park|arXiv (Cornell University)|2014. 07. 30.

Advanced Mathematical Theories and Applications참고 문헌 3인용 수 5

한 줄 요약

이 논문은 일반화된 피보나치 수열의 산술적 성질에 관한 열린 추측을 해결하며, 특히 p진 값과 소수 거듭제곱 모듈로에서의 랭크에 중점을 둔다. 논문은 홀수 소수 p에 대해 랭크가 유한체에서 원소의 순서와 일치함을 증명하고, 군론적 추론과 동치류 수세기 방법을 통해 소수 거듭제곱 모듈로에서의 랭크에 대한 경계를 유도한다.

ABSTRACT

The generalized Fibonacci sequences are sequences $\{f_n\}$ which satisfy the recurrence $f_n(s, t) = sf_{n - 1}(s, t) + tf_{n - 2}(s, t)$ ($s, t \in \mathbb{Z}$) with initial conditions $f_0(s, t) = 0$ and $f_1(s, t) = 1$. In a recent paper, Amdeberhan, Chen, Moll, and Sagan considered some arithmetic properites of the generalized Fibonacci sequence. Specifically, they considered the behavior of analogues of the $p$-adic valuation and the Riemann zeta function. In this paper, we resolve some conjectures which they raised relating to these topics. We also consider the rank modulo $n$ in more depth and find an interpretation of the rank in terms of the order of an element in the multiplicative group of a finite field when $n$ is an odd prime. Finally, we study the distribution of the rank over different values of $s$ when $t = -1$ and suggest directions for further study involving the rank modulo prime powers of generalized Fibonacci sequences.

연구 동기 및 목표

• 아무데베르한 등이 제기한 일반화된 피보나치 수열에서의 p진 값과 제타 함수 유사체에 관한 열린 추측을 해결하기 위해.
• 특히 소수 거듭제수에 대해 랭크를 이해를 심화하기 위해, 이를 유한체의 군 순서와 연결함으로써.
• 등급 집합 수세기와 곱셈군의 구조를 활용하여 소수 거듭제곱 모듈로에서의 랭크에 대한 경계를 수립하기 위해.
• t = -1일 때 다양한 s값에 따른 랭크의 분포를 탐색하여 연구의 새로운 방향을 제안하기 위해.

제안 방법

• f₀=0, f₁=1을 갖는 재귀관계 fₙ(s,t) = s fₙ₋₁(s,t) + t fₙ₋₂(s,t)를 사용하여 정수 위에서 일반화된 피보나치 수열을 정의한다.
• 유한체 이론을 적용하여 홀수 소수 p에 대해 랭크를 Fₚ 또는 Fₚ²에서의 근의 곱셈 순서로 해석한다. 이는 D/p의 레지우드 기호(legendre symbol)에 따라 달라진다.
• p에 대한 동치류 분석을 통해 소수 거듭제곱 모듈로에서의 상한 r(pᵏ) ≤ pᵏ + 1을 도출한다.
• 유한체의 곱셈군의 구조와 오일러 파이 함수를 활용하여 가능한 순서의 분포를 분석한다.
• 로빈슨의 정리를 활용하여 소수 거듭제곱에서의 결과를 최소공배수를 통한 랭크의 최소공배수를 통해 복합 모듈로로 확장한다.
• t = -1일 때 s값을 변화시키며 랭크의 행동을 분석하여 군론적 분포와의 연결 고리를 제안한다.

실험 결과

연구 질문

• RQ1 t가 p로 나누어지지 않을 때에만 소수 p 모듈로에서 랭크가 존재하는가?
• RQ2 홀수 소수 p에 대해 랭크를 유한체에서 원소의 순서로 해석할 수 있는가?
• RQ3 t가 p로 나누어지지 않을 때, 소수 거듭제곱 pᵏ 모듈로에서의 랭크에 대한 상한은 무엇인가?
• RQ4 t = -1일 때, 다양한 s값에 따른 랭크의 분포는 어떻게 변화하는가?
• RQ5 유한체 순서 해석을 확장하여 소수 거듭제곱 모듈로에서의 랭크에 대한 일반화가 가능한가?

주요 결과

• 홀수 소수 p에 대해 랭크 r(p)가 존재하는 것은 p가 t를 나누지 않을 때에 한하여 성립하며, 존재할 경우 r(p) ≤ p이다.
• t = -1일 때, 항상 레지우드 기호 (−t/p) = 1이 성립하므로, (D/p) ≠ 1이면 r(p)는 (p − (D/p))/2의 약수이다.
• (D/p) = 1일 때, 랭크 r(p)는 곱셈군 Fₚ×에서 원소의 순서에 해당하며, (D/p) = -1일 때는 Fₚ²×에서의 순서에 해당한다.
• 모든 s,t ∈ ℤ에서 p ∤ t를 만족할 경우, (ℤ/pᵏℤ)²에서의 동치류 수세기 방법을 통해 r(pᵏ) ≤ pᵏ + 1의 상한이 성립한다.
• 큰 소수에서 r(p)의 분포는 (p±1)/2 근처에 집중되며, 이는 유한 곱셈군에서 높은 순서를 갖는 원소의 수가 많기 때문이다.
• 복합수 n에 대해 랭크는 r(n) = lcm{r(pᵏ)}를 만족하며, 이는 소수 거듭제곱에서 일반 모듈로로의 확장을 가능하게 한다.