Gap estimates for the spectrum of $m$-bonacci numbers

技术摘要：m-bonacci 数谱的间隙估计

问题陈述
本文研究了 $m$-bonacci 数的谱性质，特别关注其相关谱中元素之间间隙（gaps）的分布。对于实数 $q > 1$，谱 $\Lambda(q)$ 定义为形如 $\sum_{i=0}^n \varepsilon_i q^i$ 的实数集合，其中 $\varepsilon_i \in \{0, 1\}$。当按递增顺序排列为 $\Lambda(q) = \{0 < \lambda_1(q) < \lambda_2(q) < \dots\}$ 时，连续差值（间隙）序列 $\lambda_{n+1}(q) - \lambda_n(q)$ 表现出特定的结构属性。

虽然现有文献已经证实，对于 Pisot 数（包括 $m$-bonacci 数 $q_m$，即 $x^m - x^{m-1} - \dots - x - 1$ 的最大根），间隙值的集合是有限的，且间隙具有均匀频率，但本研究解决了一个更精细的问题：建立由间隔 $N$ 个位置的元素之间的距离的显式下界。具体而言，作者试图确定一个常数 $\gamma_{m,N}$，使得对于所有 $n \geq 1$，都有 $\lambda_{n+N}(q_m) - \lambda_n(q_m) \geq N \gamma_{m,N}$。其目标是提供一个基于谱的组合结构而非仅仅依赖于最小可能间隙的加权平均间隙值的界限。

研究方法
作者采用了一种综合了 $m$-bonacci 词的组合结构与规范 $m$-bonacci 数制的方法。

1. 间隙的组合编码： 本文利用 Bugeaud [9] 的结果，该结果建立了 $\Lambda(q_m)$ 中的间隙与 $m$-bonacci 词 $v_m$ 的数字之间的直接对应关系。$m$-bonacci 词是 Rauzy 置换 $\sigma_m$（定义为当 $k < m$ 时 $k \mapsto 1(k+1)$，以及 $m \mapsto 1$）的不动点）。间隙值 $\lambda_{n+1}(q_m) - \lambda_n(q_m)$ 由 $v_m$ 的第 $n$ 个符号决定。
2. 平衡性质： 分析依赖于 $m$-bonacci 词的“平衡”特性。如果一个词中任意两个相同长度的子词中字母出现的次数之差不超过 $b$，则称该词是 $b$-平衡的。作者利用已知的 $m$-bonacci 词平衡常数 $b_m$ 来估计任何 $N$ 个连续间隙中特定间隙值的频率。
3. 规范展开： 作者利用整数 $N$ 的规范 $m$-bonacci 展开。这种表示法将 $N$ 表示为 $m$-bonacci 数 $F^{(m)}_h$ 的和，并带有二进制系数，且受限于不出现 $m$ 个连续 1 的约束。通过这种展开，作者可以将 $N$ 个连续间隙之和分解为间隙值 $d_m(j)$ 的加权和。

主要贡献与结果
主要贡献在于推导了 $m$-bonacci 数谱中 $N$ 步间隙的显式下界。

• 主定理 (Theorem 1.1)： 作者证明了对于任何 $m \geq 2$ 和 $N \in \mathbb{N}$，存在一个常数 $\gamma_{m,N} > 0$，使得：
  $$\lambda_{n+N}(q_m) - \lambda_n(q_m) \geq N \gamma_{m,N}$$
  常数 $\gamma_{m,N}$ 使用 $N$ 的规范 $m$-bonacci 展开（记其系数为 $x_h$）和平衡常数 $b_m$ 进行显式构建：
  $$\gamma_{m,N} = \frac{1}{N} \sum_{j=1}^m \left( \sum_{h \geq 0} x_h F^{(m)}_{h-j} - b_m \right) d_m(j)$$
  这里，$d_m(j)$ 代表可能的间隙值，$F^{(m)}_h$ 是 $m$-bonacci 数。

• 特定情况 (Corollaries 3.1 and 3.2)：

  • Fibonacci 情况 ($m=2$)： 作者推导出了一个涉及黄金分割比 $\phi$ 的特定下界。他们表明，当 $N \to \infty$ 时，$\gamma_{2,N}$ 收敛于 $1/\phi + 1/\phi^3$，这对应于谱的上密度（upper density）的倒数。他们还为 $N=2$ 提供了精化后的估计。
  • Tribonacci 情况 ($m=3$)： 利用特定的平衡常数 $b_3=2$ 和 Tribonacci 数的性质，推导出了类似的显式界限。

• 密度分析： 在第 4 节中，论文将这些间隙估计与谱的上密度 $D^+(\Lambda(q_m))$ 联系起来。作者展示了随着 $N \to \infty$，推导出的常数 $\gamma_{m,N}$ 会收敛于 $1/D^+(\Lambda(q_m))$，从而证实所提出的界限捕捉到了间隙的平均分布，而非仅仅是最小间隙。

意义与主张
该论文声称，与以往仅关注间隙是否存在或其最小值的研究相比，它对谱结构进行了“更精细的调查”。通过将间隙估计直接与 $m$-bonacci 词的组合性质（特别是平衡性和禁止子词）以及 $m$-bonacci 展开的算术性质联系起来，作者提供了一种计算多步间隙显式、非平凡下界的方法。

其意义在于能够将 $\gamma_{m,N}$ 理解为间隙值的加权平均，且该值取决于 $N$ 的特定结构。作者指出，虽然存在基于最小间隙的平凡界限，但他们的方法产生的估计值与谱的渐近密度是一致的。这项工作被视为对 Pisot 数、间隙分布和非周期序（aperiodic order）领域文献的贡献，特别是将已知结果从 Fibonacci 情况扩展到了更广泛的 $m$-bonacci 数类。本文并未提出新的应用或实验验证，而是建立了数制和符号动力学框架内的理论界限。