Gap spectra and densities of slow Fibonacci walks

技术摘要：慢斐波那契行走（Slow Fibonacci Walks）的间隙谱与密度

问题陈述
本文研究了“慢斐波那契行走”的结构性质，这一概念由 Chung、Graham 和 Spiro [4] 提出。对于任何整数 $n \ge 2$，存在唯一的规范表示 $n = aF_t + bF_{t-1}$，其中 $1 \le a \le b \le F_t$ 且 $t \ge 2$。若 $t$ 为偶数，则该整数 $n$ 被分类为“下整数”（down-integer）；若 $t$ 为奇数，则为“上整数”（up-integer）。这些分类将大于等于 2 的整数划分为两个集合：$D$（下集）和 $U$（上集）。

本研究侧重于这些集合的间隙谱（gap spectra）。对于固定的滞后量 $\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. 规范表示与相位分析： 文中利用整数的唯一规范表示来定义一个“相位”变量 $\varepsilon_n$。对于具有规范指数 $t$ 的整数 $n$，$\varepsilon_n$ 是由 $\phi n$（其中 $\phi = (1+\sqrt{5})/2$）的分数部分导出的。$n$ 是否属于 $D$ 取决于 $\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}\}$ 的动力学。作者通过刻画这些旋转回到特定区间 $[0, \theta)$ 的“首次回归时间”，来分析这些回归时间的偏和。通过这种方式，他们确定了哪些间隙序列是可能的。
4. 渐近计数函数： 为了解决密度问题，作者构造了一个连续的、具有乘性 $\phi^4$ 周期性的函数 $P_{\ell,m}$。他们证明了归一化计数函数在 $X \to \infty$ 时收敛于该函数（对于 $U$ 则存在相位偏移）。

主要贡献与结果

• 间隙谱猜想的解决：
  本文证实了 $\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)$ 的密度进行了完整的特征化描述。

  • 自然密度： 他们证明，当且仅当相关周期函数 $P_{\ell,m}$ 为常数时，自然密度才存在。对于 $\ell=1$ 的情况，他们表明对于每个 $m \in D_1 = \{1, 2, 3, 5\}$，集合 $D_1(m)$ 和 $U_1(m)$ 具有正下密度，但没有自然密度。
  • 对数密度： 文中证明了 $D_\ell(m)$ 和 $U_\ell(m)$ 的对数密度总是存在的，且对于任何 $\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 关于慢斐波那契行走中间隙谱对称性的特定开放问题。通过证明猜想 $D_\ell = U_\ell$ 在 $\ell=4$ 时失效，这项工作凸显了下整数与上整数分布中微妙的不对称性，这种不对称性在较低的滞后量下并不明显。此外，对密度的严格确定澄清了这些集合的渐近行为，表明虽然由于斐波那契尺度固有的振荡特性，自然密度往往不存在，但对数密度为这两个集合提供了一个稳定且相等的度量。将规范表示与圆上的旋转动力学联系起来的方法，为分析类似的基于递归的序列提供了一个稳健的框架。