[論文レビュー] Arithmetic properties of generalized Fibonacci sequences

Soo-Hyun Park|arXiv (Cornell University)|Jul 30, 2014

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値によるランクの分布を検討し、研究の新たな方向性を示唆すること。

提案手法

• 整数上での一般化フィボナッチ数列を定義するため、fn(s,t) = s fn−1(s,t) + t fn−2(s,t) と f0=0, f1=1 を用いる。
• 有限体理論を適用し、奇素数pにおけるランクを、D/pのリーマン記号に応じてFpまたはFp²における根の乗法的位数として解釈する。
• pを法とする同値類の議論を用いて、素数べきにおけるランクの上界 r(pk) ≤ pk + 1 を導出する。
• 有限体の乗法的群構造とオイラーのトーティエント関数を用いて、可能な位数の分布を分析する。
• ロビンソンの定理を用いて、素数べきからの結果を最小公倍数によるランクの組み合わせを通じて合成数の法へ拡張する。
• t = -1のときのs値の変化に伴うランクの挙動を分析し、群論的分布との関連を示唆する。

実験結果

リサーチクエスチョン

• RQ1 tがpで割り切れないとき、かつそのときに限り、素数pにおけるランクが存在するか？
• RQ2 奇素数pにおけるランクを、有限体内の要素の位数として解釈できるか？
• RQ3 tがpで割り切れないとき、素数べきpkにおけるランクの上界は何か？
• 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)は乗法的群Fp×内の要素の位数に対応し、(D/p) = -1 のとき、Fp²×内の位数に対応する。
• すべてのs,t ∈ ℤ に対して、p ∤ t のもとで、同値類の数え上げを用いて (ℤ/pkℤ)² 内で導出された r(pk) ≤ pk + 1 が成り立つ。
• 有限乗法的群に高位の要素が多数存在するため、大きな素数においてr(p)の分布は (p±1)/2 の周辺に集中する。
• 合成数nにおけるランクは、r(n) = lcm{r(pk)} として、素数べきの因子に対して成り立つ。これにより、素数べきから一般の法への拡張が可能になる。