Inverses of Fibonacci and Lucas Numbers via Rational Indices

技術要約：有理数指数によるフィボナッチ数およびリュカ数の逆数

問題提起
本論文は、古典的なフィボナッチ数列（$F_n$）およびリュカ数列（$L_n$）を有理数指数 $X \in \mathbb{Q}_{>0}$ へと拡張する問題に取り組んでいる。UludağおよびGökmen（2022）による先行研究では、有理数指数を持つフィボナッチ数（$F_X$）が「コーデ denominator（共分母）」関数 $F$ を用いて表現可能であること、およびそのような表現が無数に存在することが確立されているが、特定の構造的特性、任意の有理数指数に対する明示的な公式、およびこの枠組み内における乗法逆元の存在については、依然として完全な解明がなされていない。著者らは、$F_X$ の一般的な明示的公式を導出し、$F_X$ が古典的なリュカ数と一致する条件、あるいは整数指数のフィボナッチ数列から逸脱する条件を決定し、これらの数の乗法逆元の存在を証明することを目的としている。

手法
本研究は、**共分子（conumerator）関数を介して再帰的に定義される、連分数を用いて構成されたコーデ denominator（共分母）**関数 $F: \mathbb{Q}_{>0} \to \mathbb{Z}_{>0}$ に依拠している。関数 $F$ は、連分数の性質を用いて構築される。有理数 $X = [n_0; n_1, \dots, n_k]$ に対して、著者らは $F$ の再帰関係（具体的には $F(1+X) = F(1/X)$ および $F(\frac{1}{1+X}) = F(X) + F(1/X)$）を利用して、有理数指数を整数成分へと分解する。

手法は以下の3つの段階で進行する：

1. 明示的公式の導出： 著者らは、連分数の展開長が最大6となる $F_X$ についての閉形式の式を導出している。これらの公式は、$F_X$ を、部分商によって決定される整数指数を持つ古典的なフィボナッチ数（$F_n$）およびリュカ数（$L_n$）の線形結合として表現する。
2. 一致および逸脱の分析： 導出された公式を古典的な数列の定義と比較することにより、有理数指数を持つ値 $F_X$ が、古典的なフィボナッチ数、リュカ数、あるいはそれらとは異なる値となるための正確な条件を確立する。
3. 逆数の計算： 著者らは、これらの有理数指数の数の逆数を調査している。$F_{X^{-1}}$（ここで $X^{-1}$ は指数の逆数である）を計算し、カッシーニの等式やビネの公式などの恒等式を利用することで、有理数指数の数とその逆数の積が単位（具体的には関連する数列項を法とする $\pm 1$）を与えることを示し、それによって乗法逆元の存在を立証している。

主要な貢献および結果

• 一般的な明示的公式： 本論文は、連分数の長さが2から6までの $F_X$ に対する明示的な公式（補題3.1–3.4）および、任意の長さ $k$ に対する一般的な再帰公式（補題4.2）を提供している。例えば、$X = [n_0; n_1]$ の場合、$F_X = F_{n_0}F_{n_1} + F_{n_0-1}F_{n_1+1}$ となる。
• 値の特性付け：
  • 古典的数列との一致： 本論文は、$F_X$ が古典的なフィボナッチ数 $F_m$ と一致するのは、特定の条件（例：連分数長 $k=1$ かつ $n_0 \in \{1, 2\}$ である場合、または $k=2$ かつ $n_0=1$ で特定の制約がある場合）においてのみであることを証明している。
  • リュカ数との一致： $X = [3; n]$ であれば $F_X = L_{n+1}$ であることが示されている。同様に、$F([2; 1, n]) = L_{n+1}$ である。
  • 逸脱： 系数6.1は、$k \ge 3$ の場合、または（リュカ数のケースを除いた）$k=1$ かつ $n_0 \ge 3$ の場合において、$F_X$ が古典的なフィボナッチ数列とは異なることを確立している。
• 乗法逆数の存在： 中心的な結果は、すべてのフィボナッチ数およびリュカ数が、有理数指数の枠組み内で乗法逆数を持つという証明である。
  • $F_m = F([1; m])$ の場合、その逆数は $F_{m+2}$ である。
  • $F_m = F([2; m-2])$ の場合、その逆数は $L_{m-1}$ である。
  • $L_m = L([3; m-1])$ の場合、その逆数は $L_m + F_{m+1}$ である。
  • 本論文は、$F_X \cdot F_{X^{-1}} \equiv \pm 1 \pmod{\text{関連項}}$ であることを示し、単位の性質を確認している。

意義
著者らは、これらの結果が、有理数指数の値を計算するための体系的な手法を提供することにより、UludağおよびGökmenによって導入された有理数指数の視点を拡張するものであると主張している。本研究は、フィボナッチおよびリュカに関連する数列の新たな構造的特性、具体的には、コーデ denominator 関数を通じてこれらの数の乗法逆数を定義し計算できる能力を明らかにしている。本論文は、これらの知見が、特にモジュロ演算および連分数の文脈における、指数化された数列の算術的性質に関するさらなる数論的研究への道を開くものであることを示唆している。著者らは、理論数論以外の直接的な応用を主張しているわけではないが、これらの古典的な数列の代数的理解を豊かにすることを強調している。