Gap spectra and densities of slow Fibonacci walks

技術要約：スロー・フィボナッチ・ウォークのギャップ・スペクトラムと密度

問題提起
本論文は、Chung, Graham, および Spiro [4] によって導入された概念である「スロー・フィボナッチ・ウォーク（slow Fibonacci walks）」の構造的性質を調査するものである。任意の整数 $n \ge 2$ に対して、$n = aF_t + bF_{t-1}$ ($1 \le a \le b \le F_t, t \ge 2$) となる一意な標準表現が存在する。整数 $n$ は、$t$ が偶数であれば「ダウン整数（down-integer）」、奇数であれば「アップ整数（up-integer）」として分類される。これらの分類により、整数 $\ge 2$ は集合 $D$（ダウン）と $U$（アップ）に分割される。

本研究は、これらの集合の**ギャップ・スペクトラム（gap spectra）**に焦点を当てている。固定されたラグ（lag）$\ell \ge 1$ に対して、$\ell$ 次のギャップ・スペクトラム $D_\ell$（または $U_\ell$）は、順序付けられた数列 $D$ および $U$ の差の集合 $\{d_{k+\ell} - d_k\}$（または $\{u_{k+\ell} - u_k\}$）として定義される。Chung, Graham, および Spiro は、$D_1 = U_1$ および $D_2 = U_2$ であることを確立しており、これはすべての $\ell \ge 1$ において $D_\ell = U_\ell$ であるという予想へとつながる。さらに彼らは、精緻化された出現集合 $D_\ell(m) = \{d_k : d_{k+\ell} - d_k = m\}$ および $U_\ell(m)$ の漸近密度を決定することを課題として提起した。

手法
著者らは、数論的解析、動的システム理論、および幾何学的測度論を組み合わせた手法を用いている。

1. 標準表現と位相解析： 著者らは、標準的な係数の一意な表現を利用して、「位相（phase）」変数 $\varepsilon_n$ を定義する。標準的な指数 $t$ を持つ整数 $n$ について、$\varepsilon_n$ は $\phi n$（ここで $\phi = (1+\sqrt{5})/2$）の小数部分から導かれる。整数 $n$ が $D$ に属するか $U$ に属するかは、$\varepsilon_n$ が $\alpha = 1/(1+\phi^2)$ および $\beta = \phi/\sqrt{5}$ によって定義される特定の区間に含まれるかどうかによって決定される。
2. 幾何学的写像： 著者らは、正規化された標準係数の空間から三角形領域 $T$ への写像 $L$ を定義する。彼らは、標準係数の分布がこの領域上の一様分布に収束することを示している。これにより、ギャップの計数の問題は、回転写像 $x \mapsto \{x + \phi^{-1}\}$ によって定義される三角形 $T$ 内の特定の領域のルベーグ測量の問題へと翻訳される。
3. 回転力学： 密度の解析の核心は、単位円上の回転 $R(x) = \{x + \phi^{-1}\}$ の力学系に依存している。著者らは、この回転の「初帰着時間（first return times）」を分析することで、特定の区間 $[0, \theta)$ への帰着を扱う。帰着時間の部分和を特徴付けることで、どのようなギャップ数列が可能であるかを決定する。
4. 漸近計数関数： $D_\ell(m)$ および $U_\ell(m)$ の密度に関する問いに対処するため、著者らは連続的で乗法的に $\phi^4$-周期的な関数 $P_{\ell,m}$ を構成する。彼らは、正規化された計数関数が（位相シフトを伴って）この関数に収束することを証明する。

主要な貢献および結果

• ギャップ・スペクトラム予想の解決：
  本論文は、$\ell=3$ における予想 $D_\ell = U_\ell$ を確認し、$D_3 = U_3 = \{3, 4, 5, 6, 7, 8, 10, 11, 13\}$ であることを証明した。しかし、$\ell=4$ においては予想を覆す。著者らは、$D_4 = \{5, 6, 7, 8, 10, 11, 13, 16, 18\}$ である一方で、$U_4 = D_4 \cup \{9\}$ であることを示している。具体的には、ギャップの値 9 は $U$ には現れるが、$D$ には決して現れない（すなわち、$D_4(9) = \emptyset$ であるが $U_4(9) = \{8\}$ である）。

• 密度の特徴付け：
  著者らは、精緻化された集合 $D_\ell(m)$ および $U_\ell(m)$ の密度の完全な特徴付けを行っている。

  • 自然密度（Natural Density）： 関連する周期関数 $P_{\ell,m}$ が定数である場合に限り、自然密度が存在することを証明した。$\ell=1$ の場合、すべての $m \in D_1 = \{1, 2, 3, 5\}$ に対して、$D_1(m)$ および $U_1(m)$ は正の下極限密度を持つが、自然密度は持たないことを示している。
  • 対数密度（Logarithmic Density）： 本論文は、任意の $\ell, m$ に対して $D_\ell(m)$ および $U_\ell(m)$ の対数密度が常に存在し、かつ等しいことを証明している。
  • 厳密な値： $\ell=1$ の場合、著者らは対数密度 $d_m = \delta_{\log}(D_1(m)) = \delta_{\log}(U_1(m))$ の厳密な公式を導出している。これらの値は、$\phi$ および $\sqrt{5}$ と $\phi$ の対数を用いて表現される。

• 漸近公式：
  定理 1.4 は、大きな $X$ に対して、$D_\ell(m) \cap [1, X]$ に含まれる要素の数は $X \cdot P_{\ell,m}(\lambda_X) + o(X)$ で与えられることを確立している（ここで $\lambda_X$ はフィボナッチ・スケールに依存する）。この公式は、ギャップの分布が均一ではなく、周期関数 $P_{\ell,m}$ に従って振動することを示している。

意義
本論文は、スロー・フィボナッチ・ウォークにおけるギャップ・スペクトラムの対称性に関する Chung, Graham, および Spiro の特定の未解決問題を解決している。$\ell=4$ において $D_\ell = U_\ell$ という予想が成立しないことを示すことで、本研究は、低次のラグでは見られない、ダウン整数とアップ整数の分布における微妙な非対称性を浮き彫りにしている。さらに、密度の厳密な決定は、これらの集合の漸近的挙動を明確にしており、フィボナッチ・スケールに固有の振動的挙動のために自然密度がしばしば存在しない一方で、対数密度が両方の集合に対して安定した等しい尺度を提供することを示している。標準的な表現を円上の回転力学に結びつける手法は、同様の再帰に基づく数列を分析するための堅牢な枠組みを提供する。