On some arithmetic conditions of recurrent sequences modulo prime p

技術的概要：素数 $p$ に関する再帰数列のいくつかの算術的条件について

問題提起
本論文は、素数 $p$ に関する $K$-フィボナッチ数列の算術的性質を調査する。具体的には、$F_p$ を $p$ に関する $K$-フィボナッチ再帰関係によって生成される要素の集合とすると、和集合 $|F_p + F_p|$ と積集合 $|F_p \cdot F_p|$ の濃度を推定することに焦点を当てる。$K$-フィボナッチ数列は、$F_0=0, F_1=1$ という初期条件のもとで $F_{n+2} = K F_n + F_{n+1}$ と定義され、ここで $K \in \mathbb{F}_p^*$ である。これは古典的なフィボナッチ数列（$K=1$）およびペル数数列（$K=2$）を一般化するものである。本研究は、加法および乗法組合せ論における「倍増」問題に取り組み、元の集合の大きさ $|F_p|$ に対するこれらの集合の大きさの下限を求めようとする。

手法
著者は、$\mathbb{F}_p$ における $m$ 次元再帰集合の倍増定数を推定する方法を採用する。核心的なアプローチは以下の通りである：

1. 再帰数列の表現：数列の要素は、特性多項式の根を用いて表現される。$K$-フィボナッチ数列の場合、著者は集合 $F_p$ を偶数インデックスと奇数インデックスに対応する 2 つの再帰部分列（$F'_p$ および $F''_p$）の和集合に分解する。これらの部分列は、$x \in G$ となる乗法部分群 $G \subset \mathbb{F}_{p^s}^*$ の要素の冪の線形結合、すなわち $X_n = \sum \alpha_i x^{k_i}$ の形で表現される。
2. 多項式の倍増と既約性：問題は、多項式 $P$ に対する集合 $P(X, X) = \{P(X, Y) \mid X, Y \in X\}$ の濃度に一般化される。$P(X, Y) = r$ の解の個数を評価するために、著者はこの問題を部分群 $G$ 内における多項式方程式 $Q_r(x, y) = 0$ の解の探索に変換する。
3. 部分群の境界の適用：著者は、部分群における多項式方程式の解の個数に関する既存の境界（[5] の定理 2 および [4] の定理 1.2 を引用）を利用する。これらの境界は、多項式が絶対既約であり、特定の非退化条件を満たすことを前提として、多項式の次数と部分群の大きさに依存する。
4. 既約性のためのニュートン多角形：重要なステップは、変換された多項式 $Q_r(x, y)$ の絶対既約性を証明することである。著者は、これらの多項式の構造を分析するためにニュートン多角形を用いる。加法（$x+y$）および乗法（$xy$）に関連する特定の多項式について、ニュートン多角形は（退化した場合を除き）より小さな多角形のミンコフスキー和に分解できないことを示し、これにより既約性が証明される。

主要な貢献と結果
主な貢献は、$p$ に関する $K$-フィボナッチ数列の和集合および積集合の濃度に対する下限の確立である。

• 主要定理（定理 1）：$|F_p| < \frac{1}{6}p^{3/4}$ という条件のもとで、ある絶対定数 $C$ が存在し、次が成り立つことを論文は証明する：
  $$|F_p + F_p| > C|F_p|^{4/3}$$
  $$|F_p \cdot F_p| > C|F_p|^{4/3}$$
• 技術的補題：論文は、ニュートン多角形解析を用いて、多項式 $P_1(x, y) = \alpha x^2y + \gamma xy^2 - rxy + \delta x + \beta y$ および $P_2(x, y)$（積の場合に関連する）の既約性に関する具体的な証明を提供する。これらの補題は、部分群の解の境界が $K$-フィボナッチ数列の特定の構造に適用可能であることを保証する。
• 一般化：この手法は、関連する多項式系列の既約性に依存する条件のもとで、$p$ に関するより広範なクラスの $m$ 次元再帰数列に適用可能として提示されている。

意義と主張
本論文は、$m$ 次元再帰集合の倍増定数を推定する方法を提示すると主張している。この方法を $K$-フィボナッチ数列に適用することで、著者はこれらの集合が加法および乗法のもとで顕著な増大を示し、一般的な集合に対する和積問題で見られる境界と類似した境界を満たすことを確立する。本研究は、線形再帰数列の算術を加法組合せ論と結びつけており、特に特性根によって生成される基礎的な乗法部分群の構造を利用している。著者は、この手法が関連する多項式の既約性を証明することに依存しており、ニュートン多角形を用いて $K$-フィボナッチの場合に対してこの課題を明示的に完了したと述べている。結果は、新しい応用や実験的検証を提案することなく、算術数論の領域内における理論的な推定として位置づけられている。