Arithmetic progressions of integers that are relatively prime to their digital sums

这是一篇关于数论中“反Niven数”（anti-Niven numbers）及其在等差数列（Arithmetic Progressions, APs）中分布规律的研究论文。以下是对该论文的详细技术总结：

1. 研究问题 (Problem)

论文的核心研究对象是 $b$-反Niven数。

• 定义：对于基数 $b \ge 2$，如果一个正整数 $n$ 与其在 $b$ 进制下的数字之和 $s_b(n)$ 互质（即 $\gcd(n, s_b(n)) = 1$），则称 $n$ 为 $b$-反Niven数。
• 核心问题：研究在给定的公差 $d$ 下，$b$-反Niven数能构成的等差数列的最大长度是多少？是否存在无限长的反Niven等差数列？

2. 研究方法 (Methodology)

作者采用了数论中的多种经典与构造性方法：

• 模运算与性质分析：利用 $n \equiv s_b(n) \pmod{\delta}$（其中 $\delta | (b-1)$）这一基本性质来建立数字和与原数之间的整除关系。
• 构造法：通过构造特定的整数 $m$（利用欧拉定理保证幂模性质）和特定的数列项，证明了在特定条件下可以存在任意长度的有限反Niven等差数列。
• 存在性证明：结合已有文献（如 Harrington 等人的工作），利用素数分布和数论性质证明了某些数列中必然包含反Niven数。
• 界限估计：通过对数列项在不同区间（如 $[ab, (a+1)b-1]$）内分布情况的分析，利用奇偶性矛盾法（Parity argument）推导最大长度的上界。

3. 主要贡献与结果 (Key Contributions & Results)

A. 基本性质与存在性 (Section 2)

• 无限长度判定：证明了无限长的 $d$-等差数列 $\{n + jd : j \ge 0\}$ 包含 $b$-反Niven数的充要条件是 $\gcd(n, d, b-1) = 1$。
• 不存在无限长数列：证明了不存在无限长的 $b$-反Niven $d$-等差数列。
• 任意长度的存在性：证明了对于任何给定的长度 $t$，都存在对应的 $n$ 和 $d$，使得该数列是长度为 $t$ 的 $b$-反Niven $d$-等差数列。
• 一般上界：若 $p$ 是满足 $p | (b-1)$ 且 $p \nmid d$ 的最小素数，则任何 $b$-反Niven $d$-等差数列的长度上限为 $p-1$。

B. 特定公差下的最大长度 (Section 3)

• 连续整数 (1-AP)：证明了当 $b > 2$ 时，连续 $b$-反Niven数的最大长度恰好为 $p-1$（其中 $p$ 是 $b-1$ 的最小素因子），且此类序列有无穷多个。
• 公差为2的数列 (2-AP)：
  • 若 $b$ 不是 $2r+1$ 形式（即 $b$ 为偶数），最大长度为 $p-1$。
  • 若 $b$ 为奇数，则给出了长度至少为 $b$ 的下界。
• 公差为 $b-1$ 的数列：当 $b$ 为偶数时，最大长度为 $2b+1$，且存在无穷多个。
• 特定约束下的上界：当 $b \ge 6$ 为偶数且 $3 \le d \le b/2$ 为奇数时，最大长度上限为 $\lceil 2b/d \rceil + 2$。

C. 猜想 (Conjectures)

• 猜想 4.3：针对 $b$ 为奇数且 $d$ 为偶数的情况，提出了关于最大长度为 $p-1$ 的存在性猜想。
• 猜想 4.4：针对 $b$ 为偶数且 $d$ 为奇数的情况，认为上述推导的上界 $\lceil 2b/d \rceil + 2$ 是可以达到的。

4. 研究意义 (Significance)

1. 拓展了Niven数理论：传统的Niven数（或称Harshad数）研究的是 $s_b(n) | n$，而本文转向研究其“对立面” $\gcd(n, s_b(n)) = 1$，为数论中数字和性质的研究提供了新的视角。
2. 精细化的分布规律：论文不仅给出了长度的上限，还通过构造法证明了这些上限在许多情况下是“紧”的（即可以达到的），这为理解数字和与整数之间复杂的算术关系提供了精确的刻画。
3. 理论完备性：通过对不同基数 $b$ 和不同公差 $d$ 的分类讨论，构建了一个相对完整的关于反Niven数等差分布的理论框架。