On common values of $F_n$ and Nathanson's totient function $\Phi(m)$

技術的要約：$F_n$ の共通値とナサンソンのトーシェント関数 $\Phi(m)$

問題設定
本論文は、チャタジー（著者）およびモハンによって最近提起された特定のディオファントス方程式を扱う。目的は、以下の式を満たす整数の解 $(n, m)$ をすべて求めることである：
$$F_n = \Phi(m)$$
ここで、$F_n$ は第 $n$ フィボナッチ数（$F_0=0, F_1=1, F_{n+2}=F_{n+1}+F_n$ で定義される）であり、$\Phi(m)$ はナサンソンのトーシェント関数である。$\Phi(m)$ は、$\gcd(A)$ が $m$ と互いに素であるような、集合 $A \subseteq \{1, 2, \dots, m\}$ の空でない部分集合の数をカウントするものである。これまでの文献では、フィボナッチ数と冪、あるいはフィボナッチ数の和を含むディオファントス方程式が広範に研究されてきたが、本研究は $\Phi(m)$ の算術的性質とフィボナッチ数の交差に焦点を当てている。

手法
主定理の証明は、解析的数論と計算による検証を組み合わせた手法を用いており、以下のツールを利用している：

1. 対数における線形形式の下界： 主要な理論的ツールは、代数的数の対数における線形形式の明示的な下界を与えるマチェフの定理（Matveev's theorem）である。これは、方程式における変数の初期上界を確立するために用いられる。
2. 簡約法： 当初設定された大きな上界を計算可能な範囲まで削減するために、著者はデュジェラ–ペト（Dujella–Pethő）版のベーカー–ダベンポート（Baker–Davenport）簡約法を用いている。これには、連分数展開の解析と、境界をタイトにするための補題2.2の利用が含まれる。
3. $\Phi(m)$ および $F_n$ の性質： 証明では、以下の関数固有の性質を利用している：
   • $n \ge 3$ のとき $6 \mid \Phi(n)$ であるという割り切れる性質（補題2.4）。これは $6 \mid F_n$、したがって $12 \mid n$ を意味する。
   • 定理2.3によって確立された $\Phi(m)$ の下界。
   • 大きな $m$ に対して、メビウス関数で重み付けされた2の冪の和を制限する補助的な補題（補題3.1）。
4. 計算による検証： 理論的な境界が有限の範囲に削減された後、著者はPythonコードを用いた総当たり探索を行い、残りの区間内に解が存在しないことを検証する。

主要な貢献と結果
本論文は、ディオファントス方程式 $F_n = \Phi(m)$ の完全な解を提供している。主結果は定理1.2に述べられている：

定理 1.2： ディオファントス方程式 $F_n = \Phi(m)$ の解は、以下のものに限られる：
$$(n, m) = (1, 1), (2, 1), (3, 2)$$

証明は、矛盾を仮定することによって進行する（$m \ge 79$ とする）。$n$ が12の倍数であることを確立することで、著者は対数における線形形式を含む不等式を導出する。簡約法の反復的な適用を通じて、パラメータ $k$（ここで $n=12k$）の上界は、約 $1.91 \times 10^{14}$ から $k \le 163$ まで削減される。最終的な計算探索により、$79 \le m < 12k$ の範囲に解が存在しないことが確認される。$1 \le m \le 78$ の残りのケースは直接検証され、上記の3つの解が得られる。

意義
本論文は、フィボナッチ数列とナサンソンのトーシェント関数の共通値を見出すという特定の問題を完全に解決したことで、その意義を主張している。これは、これまでフィボナッチ数の和、差、または冪に焦点を当ててきた、フィボナッチ数を含む指数型ディオファントス方程式に関する研究領域を拡張するものである。本研究は、$\Phi(m)$ のような非標準的な算術関数を含む方程式を解く上で、マチェフの境界とデュジェラ–ペト簡約法の組み合わせがいかに有効であるかを実証している。著者は、本原稿に関連するデータはなく、競合する利益も存在しないと述べている。