On Zeckendorf-Niven numbers and arithmetic progressions

技術要約：ゼッケンドルフ・ニベン数と算術級数について

問題提起
本論文は、ゼッケンドルフ・ニベン数およびルカ・ニベン数が算術級数の中にどのように分布しているかを調査するものである。正の整数 $n$ は、その一意なゼッケンドルフ分解（$n$ を非隣接なフィボナッチ数 $F_i$ ($i \ge 2$) の和として表す表現）における非ゼロ項の数 $s_Z(n)$ で割り切れるとき、ゼッケンドルフ・ニベン数であると定義される。同様に、$n$ がその一意なルカ分解（$L_i$ ($i \ge 0$) を用いた分解）における項の数 $s_L(n)$ で割り切れるとき、ルカ・ニベン数であるとされる。

標準的な底 $b$ におけるニベン数の算術級数内での分布（例：そのような数の無限個の存在や連続項に関する境界）は十分に研究されているが、これらのフィボナッチに基づく変種における算術級数内での振る舞いは、完全には特徴付けられていなかった。具体的には、本論文は、すべての算術級数がこのような数を無限に含むか否か、およびこれらの性質を共有する連続項の最大長に関する境界を確立することを目的としている。

手法
著者らは、フィボナッチ数列およびルカ数列の数論的性質、特に任意の整数 $d$ に対する周期性（ピサノ周期）および割り切れる性質を利用している。

1. 周期性と割り切れ： 証明は、フィボナッチ数列 $(F_i)$ およびルカ数列 $(L_i)$ が任意の整数 $d$ を法として周期を持つという事実に強く依存している。著者らは、特定の性質を持つ項を構成するために、ピサノ周期の特定の性質（例：$\pi(F_{2j}) = 4j$ および $\pi(F_{2j+1}) = 8j+4$）を活用している。
2. 項の構成： 算術級数 $(a + kd)$内に無限に多くのニベン数が存在することを証明するために、著者らは特定の項$N$を構成している。彼らは、大きなフィボナッチ数またはルカ数を加えることで、ゼッケンドルフ分解またはルカ分解を操作し（これらは公差または関連する周期の倍数である）、結果として得られる数が算術級数内に留まるようにしつつ、項の数$s_Z(N)$または$s_L(N)$ を制御している。
3. 剰余演算とケース分析： ルカ数列の場合、直接的な割り切れの性質（例：$i|j$ ならば $F_i | F_j$）が欠けているため、より微細なアプローチが必要となる。著者らは、ディリクレの素数定理を用いて $p \equiv -1 \pmod{10\pi_L(d)}$ となる素数 $p$ を選択し、構成された数が $p$ で割り切れることを保証するために、分解における指数のパリティに基づくケース分析を行っている。
4. 連続項に関する局所解析： 連続項の数を制限するために、著者らは切断和 $z_6(n)$（$F_6$ までのフィボナッチ成分の和）を定義し、公差を加えたとき（例：$n \to n+2$）にゼッケンドンドルフ分解がどのように変化するかを分析している。項の数 $s_Z(n)$ の変化を追跡することで、特定の境界を超える数列に対して矛盾を導き出している。

主要な貢献と結果

• 算術級数における無限性：

  • 定理 2.6： すべての算術級数は、無限個のゼッケンドルフ・ニベン数を含む。証明では、$s_Z(N')$ が $N'$ を割り切るような級数内の項 $N'$ を構成している。
  • 定理 3.4： すべての算術級数は、無限個のルカ・ニベン数を含む。この結果は、ルカ数列の特定の剰余制約に対処するために、構成手法を適応させることで達成されている。

• 非ニベン数の分布：

  • 定理 2.7： すべての算術級数は、連続する非ゼッケンドルフ・ニベン項の任意の長さの劣数列を含む。これは、ニベン数が稠密である一方で、一様に分布しているわけではないことを示している。

• 2-APにおける連続項の境界：

  • 定理 4.3： 2-AP（公差 2）における連続するゼッケンドルフ・ニベン項の最大数は 8 である。長さ 8 以上の唯一のそのような数列は、部分列 $2, 4, 6, 8, 10, 12, 14, 16, 18$ である。
  • 定理 4.4： 2-AP において 5 つの連続するゼッケンドルフ・ニベン項からなる数列が存在する（例：$n, n+2, n+4, n+6, n+8$ ただし $n = 27 + F_{120j+17}$）。

• 一定の項数を持つ連続項：

  • 定理 5.1： フィボナッチ公差 $F_d$ を持つ算術級数において、$s_Z(a) = s_Z(a+F_d) = s_Z(a+2F_d)$ となる開始点 $a$ は無限に存在する。しかし、4 つ連続する項が同じ $s_Z$ 値を持つことは不可能である。
  • 定理 5.2： $d \ge 3$ について、$a, a+F_d, a+2F_d$ がすべてゼッケンドルフ・ニベン数であり、かつ同じ $s_Z$ 値を共有するような $a$ は無限に存在する。

意義と主張
本論文は、ニベン数の理論を標準的な底の表現からゼッケンドルフおよびルカ表現へと拡張することを主張している。主な意義は、標準的なニベン数と同様に、ゼッケンドルフ・ニベン数およびルカ・ニベン数が稀な存在ではなく、あらゆる算術級数の中に無限に現れることを確立した点にある。

さらに、本研究はこれらの数の集積に関する精密な構造的制限を提供している。標準的なニベン数が長い連続（1-AP では最大 20）を持ち得るのに対し、2-AP におけるゼッケンドルフ・ニベン数は厳密に制限されている（最大 8）。また、本論文は、フィボナッチ公差の級数において、項の数がちょうど 3 つの連続する項に対して一定となるという特異な現象を明らかにしているが、これは 4 つには拡張できない性質である。

著者らは、これらの結果がフィボナッチ数およびルカ数の一意な分解特性と、整数に対するこれらの数列の周期性に依拠していることを述べている。本研究は実験的な応用を提案するものではなく、加法的数論的性質によって定義される整数の分布に関する理論的理解に寄与するものである。