Representations with k-generalized Fibonacci numbers

技術的要約：k-一般化フィボナッチ数による表現

問題提起
本論文は、$k$-一般化フィボナッチ数（$(F^{(k)}_n)_{n \in \mathbb{N}}$と表記）を用いた整数の表現に関する、2つの異なる問題について調査している。固定された整数 $k \ge 2$ に対して、この数列は初期値 $F^{(k)}_0 = \dots = F^{(k)}_{k-2} = 0$、$F^{(k)}_{k-1} = 1$、および $n \ge k$ における漸化式 $F^{(k)}_n = \sum_{i=1}^k F^{(k)}_{n-i}$ によって定義される。

第1の問題は、ゼロの符号付き表現に関するものである。著者らは、ディオファントス方程式 $\sum_{j=k-1}^n \epsilon_j F^{(k)}_j = 0$ （ここで係数 $\epsilon_j \in \{-1, 0, 1\}$）の解の数を追求している。研究では、全解の数（自明なゼロベクトルを含む）と、「非自明な」解のサブセット（最大の非ゼロ係数が正であるもの。これにより符号付き係数の対称性が処理される）を区別している。

第2の問題は、無符号表現（係数 $\epsilon_j \in \{0, 1\}$）に焦点を当てており、特にトリボナッチ（Tribonacci）の場合（$k=3$）を対象としている。ここでの目的は、トリボナッチ数の線形結合によって生成される整数の表現の多重度を分析することである。著者らは、ランダムな非同次漸化式を用いてこれをモデル化し、パスが係数の選択に対応し、ノードの値が結果としての和を表すバイナリツリーを構築している。

手法
著者らは、組合せ論的解析、漸化式、および確率論的モデリングを組み合わせて用いている。

1. 組合せ論および漸化式解析:

   • 符号付き表現の問題については、著者らは$k$-一般化フィボナッチ数の優越性（ドミナンス特性）（ゼッケンドルフ展開の不等式に類似したもの）を確立している。これらの特性は、和がゼロとなる場合に大きな正の項が現れると、先行する係数が特定の構成（例：一連の $-1$ の列）に強制されることを規定している。
   • これらの制約を用いて、解の数 $r_n$ および $r^*_n$ に対する再帰的な記述を導出している。これは、明示的に決定された特性多項式を持つ線形漸化式へとつながる。
   • 著者らはこれらの結果を $k=2$（フィボナッチ）および $k=3$（トリボナッチ）に特化させ、特性多項式の根を利用して明示的な公式を得ている。

2. バイナリツリーと多項式エンコーディング:

   • 無符号のトリボナッチの場合について、著者らはランダムな非同次漸化式 $G_n = G_{n-1} + G_{n-2} + G_{n-3} + w_{n-3}$ を定義している（ここで $w_{n-3}$ は $a$ または $b$ の値を取る確率変数である）。
   • この漸化式は、各レベル $n$ がトリボナッチ数の 0-1 の組み合わせに対応する値を含むバイナリツリー構造を生成する。
   • 同一の値を持つツリーの頂点を融合させることで、著者らは、頂点の多重度（頻度）が多項式族 $Q_n(x)$ によってエンコードされるグラフを構築している。彼らは、これらの多項式の積公式 $Q_n(x) = \prod_{k=2}^{n-1} (1 + x T_k)$ を導出している（ここで $T_k$ は第 $k$ トリボナッチ数である）。

3. 確率論的解釈:

   • 多項式 $Q_n(x)$ は、ランダムな和 $S_n = \sum_{k=2}^{n-1} \epsilon_k T_k$（ここで $\epsilon_k$ は独立なベルヌーイ変数）の確率母関数として解釈される。
   • 著者らは、正規化された変数 $X_n = S_n / T_n$ の漸近挙動を分析している。トリボナッチ数の漸近的成長（$T_n \sim C\rho^n$、ここで $\rho$ はトリボナッチ定数）を利用することで、ベルヌーイ畳み込みへの分布収束を証明している。

主要な貢献と結果

• 符号付き表現の再帰的記述: 本論文は、ゼロの符号付き表現の数に関する完全な再帰的記述を提供している。カウントの数列は、特性多項式 $c(x) = (x-1)(x^{k+1} - x^k - x - 1)$ を持つ線形漸化式を満たす。
• 系列間の関連性:
  • フィボナッチの場合（$k=2$）、非自明な符号付き表現の数 $r^*_n$ は、トリボナッチ漸化式、具体的には $r^*_n = T_{n+2} + T_n$ を満たすことが示されている。
  • 逆に、トリボナッチの場合（$k=3$）、符号付き表現の数 $r_n$ はフィボナッチ数列に関連付けられている。その明示的な公式は、リュカ数とフィボナッチ数を含んでいる：$r_n = \frac{L_{n+1}}{5} + \delta_n$ （ここで $\delta_n$ は周期的な補正項である）。
• 多項式積公式: 無符号のトリボナッチの場合、表現の頻度は $Q_n(x) = \prod_{k=2}^{n-1} (1 + x T_k)$ という多項式によってエンコードされる。これは、自己相似的な係数構造を明らかにしている。
• 極限分布: 正規化された表現カウントは、ベルヌーイ畳み込み $X = \sum_{j=1}^\infty \epsilon_j \rho^{-j}$ に分布収束する。この極限分布は、自己相似関係 $X \stackrel{d}{=} \rho^{-1}(X + \epsilon)$ を満たし、組合せ論の問題をトリボナッチ・スケーリングに関連する自己相似測度へと結びつけている。

意義と主張
著者らは、標準的なフィボナッチ数列に基づく表現は十分に研究されている一方で、$k$-一般化フィボナッチ数を用いた符号付きおよび制限付き表現に関する計数的な結果は乏しいと指摘している。本論文は、計数される数列の明示的な漸化式と特性多項式を提供することで、この空白を埋めることを主張している。

著者らが強調する重要な発見は、フィボナッチ数とトリボナッチ数の表現カウントの間にある「予期せぬ」逆の関係である。すなわち、フィボナッチの表現カウントはトリボナッチ漸化式に従い、トリボナッチの表現カウントはフィボナッチに関連する漸化式に従う。

さらに、本論文は、表現の多重度の組合せ論的問題を、ベルヌーイ畳み込みと自己相似測度の理論へと結びつけている。バイナリツリーモデルを構築し、関連する多項式を分析することにより、表現頻度の分布がトリボナッチ定数によって支配される極限へと収束し、フラクタルな性質を示すことを証明している。本研究は $k=3$ に対する「概念実証（プルーフ・オブ・コンセプト）」として機能しており、その手法は任意の $k \ge 2$ に対して適用可能であるが、技術的な複雑さは $k$ とともに増大することを示唆している。