On Zeckendorf-Niven numbers and arithmetic progressions

技术摘要：论 Zeckendorf-Niven 数与算术级数

问题陈述
本文研究了 Zeckendorf-Niven 数和 Lucas-Niven 数在算术级数中的分布情况。一个正整数 $n$ 被定义为 Zeckendorf-Niven，如果它能被 $s_Z(n)$ 整除，其中 $s_Z(n)$ 是其唯一的 Zeckendorf 分解（即将其表示为若干个非连续斐波那契数 $F_i$ 之和，且 $i \ge 2$）中非零项的数量。类似地，$n$ 被定义为 Lucas-Niven，如果它能被 $s_L(n)$ 整除，其中 $s_L(n)$ 是其唯一的 Lucas 分解（使用 $i \ge 0$ 的 Lucas 数 $L_i$）中项的数量。

虽然标准基数 $b$ 下的 Niven 数在算术级数中的分布已得到充分研究（例如，存在无穷多个此类数以及连续项的上界），但这些基于斐波那契变体的在算术级数中的行为尚未得到完全表征。具体而言，本文探讨了是否每个算术级数都包含无穷多个此类数，并确定了共享这些性质的连续项的最大长度。

方法论
作者利用了斐波那契序列和 Lucas 序列的数论性质，特别是它们对模 $d$ 的周期性（Pisano 周期）以及整除性规则。

1. 周期性与整除性： 证明过程高度依赖于斐波那契序列 $(F_i)$ 和 Lucas 序列 $(L_i)$ 对任何整数 $d$ 都是周期的这一事实。作者利用特定的 Pisano 周期性质，如 $\pi(F_{2j}) = 4j$ 和 $\pi(F_{2j+1}) = 8j+4$，来构造具有特定性质的项。
2. 项的构造： 为了证明算术级数 $(a + kd)$ 中存在无穷多个 Niven 数，作者构造了特定的项 $N$。他们通过添加是公差（或相关周期）倍数的较大斐波那契/Lucas 数来操纵 Zeckendorf 或 Lucas 分解。这使得他们能够控制项的数量 $s_Z(N)$ 或 $s_L(N)$，同时确保生成的数仍属于该级数。
3. 模运算与分类讨论： 对于 Lucas 情况，由于 Lucas 序列缺乏直接的整除性质（例如 $F_i | F_j$ 若 $i|j$），需要更细致的方法。作者使用 Dirichlet 素数定理来选择一个满足 $p \equiv -1 \pmod{10\pi_L(d)}$ 的素数 $p$，并根据分解中指标的奇偶性进行分类讨论，以确保构造出的数能被 $p$ 整除。
4. 连续项的局部分析： 为了限定连续项的数量，作者定义了截断和 $z_6(n)$（截至 $F_6$ 的斐波那契分量之和），并分析当增加公差（例如 $n \to n+2$）时 Zeckendorf 分解的变化情况。通过追踪项数 $s_Z(n)$ 的变化，他们推导出了对于超过特定边界的序列的矛盾。

主要贡献与结果

• 在算术级数中的无穷性：

  • 定理 2.6： 每个算术级数都包含无穷多个 Zeckendorf-Niven 数。证明过程构造了一个级数中的项 $N'$，使得 $s_Z(N')$ 整除 $N'$。
  • 定理 3.4： 每个算术级数都包含无穷多个 Lucas-Niven 数。通过将构造技术应用于处理 Lucas 序列特定的模约束，实现了这一结果。

• 非 Niven 数的分布：

  • 定理 2.7： 每个算术级数都包含任意长的连续非 Zeckendorf-Niven 项子序列。这表明虽然 Niven 数是稠密的，但它们的分布并不均匀。

• 2-AP 中连续项的界限：

  • 定理 4.3： 2-AP（公差为 2）中连续 Zeckendorf-Niven 项的最大数量为 8。唯一的长度为 8 或以上的序列是子序列 $2, 4, 6, 8, 10, 12, 14, 16, 18$。
  • 定理 4.4： 存在 2-AP 中的五个连续 Zeckendorf-Niven 项的序列（例如 $n, n+2, n+4, n+6, n+8$，其中 $n = 27 + F_{120j+17}$）。

• 具有恒定项数的连续项：

  • 定理 5.1： 在公差为斐波那契数 $F_d$ 的算术级数中，存在无穷多个起始点 $a$，使得 $s_Z(a) = s_Z(a+F_d) = s_Z(a+2F_d)$。然而，不可能出现四个具有相同 $s_Z$ 值的连续项。
  • 定理 5.2： 对于 $d \ge 3$，存在无穷多个 $a$，使得 $a, a+F_d, a+2F_d$ 均为 Zeckendorf-Niven 数且具有相同的 $s_Z$ 值。

意义与主张
本文声称将 Niven 数的理论从标准基数表示扩展到了 Zeckendorf 和 Lucas 表示。其主要意义在于确立了与标准 Niven 数类似，Zeckendorf-Niven 数和 Lucas-Niven 数并非稀有，它们在每个算术级数中都会无限次出现。

此外，这项工作为这些数字的聚集提供了精确的结构限制。虽然标准 Niven 数可以有很长的连续项运行（在 1-AP 中最高可达 20），但 2-AP 中的 Zeckendorf-Niven 数受到严格限制（最大为 8）。论文还强调了在斐波那契差值级数中一个独特的现象，即项数可以恰好对连续三个项保持不变，而这一性质无法扩展到四个项。

作者指出，这些结果依赖于斐波那契数和 Lucas 数的独特分解性质以及这些序列对整数的周期性。该工作并非提出实验性的应用，而是为由加法数论性质定义的整数的分布提供了理论理解上的贡献。