Consecutive non-square nom-primitive pairs in as finite field

这是一份关于 Stephen D. Cohen 论文《有限域中连续非平方非原根对》（Consecutive Non-Square Non-Primitive Pairs in a Finite Field）的详细技术总结。

1. 问题背景 (Problem Statement)

在有限域 $\mathbb{F}_q$（其中 $q$ 为奇素数幂）的研究中，关于原根（primitive elements）和非平方元（non-squares）的连续存在性是一个经典问题。

• 已知背景：Cohen 本人在 1985 年证明了当 $q \neq 2, 3, 7$ 时，$\mathbb{F}_q$ 中存在连续的两个原根。
• 核心问题：是否存在连续的两个元素，它们既是非平方元又是非原根？
  • 定义：一个元素被称为 NSNP（Non-Square Non-Primitive），如果它既不是平方元也不是原根。
  • 定义：一对连续的 NSNP 元素称为 NSNP 对。
• 参数定义：令 $\theta_q = \frac{\phi(q-1)}{q-1}$，表示 $\mathbb{F}_q^*$ 中原根的比例。
  • 非平方元的比例为 $1/2$。
  • NSNP 元素的比例约为 $\frac{1}{2} - \theta_q$。
  • 当 $\theta_q = 1/2$ 时（即 $q$ 为费马素数或 $q=9$），所有非平方元都是原根，因此不存在 NSNP 元素。
• 研究目标：确定 $\theta_q$ 需要满足什么条件，才能保证 $\mathbb{F}_q$ 中存在至少一对连续的 NSNP 元素。此前的研究（如 Jarso 和 Trudgian）针对素域 $\mathbb{F}_p$ 证明了 $\theta_p \le 1/4$ 时结论成立。本文旨在将这一界限推广到更一般的 $\theta_q \le 1/3$。

2. 方法论 (Methodology)

作者采用了一种分层策略，结合特征和估计（Character Sums）、雅可比和（Jacobi Sums）以及分圆数（Cyclotomic Numbers）的精确计算。

2.1 广义化问题

作者首先将问题推广：设 $\ell$ 是 $q-1$ 的一个奇素因子。定义 NS$\ell$ 元素为既是非平方元又是 $\ell$ 次幂的元素。显然，NS$\ell$ 对也是 NSNP 对。
作者主要关注 $\ell$ 为 $q-1$ 的最小奇素因子的情况。

2.2 下界估计 (Theorem 2.1)

利用特征和与雅可比和的性质，推导了 NS$\ell$ 对数量 $N_\ell(q)$ 的下界公式：
$$N_\ell(q) \ge \frac{q - 4(\ell-1)^2\sqrt{q} - (\ell-2)(1+\lambda(-1)) - 3}{4\ell^2}$$
其中 $\lambda$ 是二次特征。

• 推论：如果 $q > 16\ell^4$，则 $N_\ell(q) > 0$。
• 这一方法解决了当最小奇素因子 $\ell \ge 7$ 时的大多数情况，因为此时 $q$ 通常足够大以满足上述不等式。

2.3 小素数情形的处理 ($\ell = 3, 5$)

当 $\ell$ 较小（特别是 3 和 5）时，上述渐近下界不足以覆盖所有 $q$。作者采用了以下策略：

• $\ell = 3$ 的情况：
  • 利用分圆数（Cyclotomic numbers）$(3, 3)_{2\ell}$ 的精确公式。
  • 参考了 Gauss, Jacobi, Dickson 和 Whiteman 关于 6 阶和 10 阶分圆数的经典表格。
  • 通过计算 $N_3(q)$ 的精确值，确定了哪些 $q$ 值导致 $N_3(q)=0$。
  • 对于梅森素数 $q=2^m-1$，给出了一个构造性的证明（Lemma 5.1）。
• $\ell = 5$ 的情况：
  • 由于显式雅可比和公式过于复杂，作者直接使用 Pari/GP 进行数值计算，验证了剩余的小 $q$ 值。

2.4 排除例外情况

通过上述分析，作者确定了当 $\theta_q \le 1/3$ 时，除了极少数特定的 $q$ 值外，NSNP 对总是存在的。

3. 主要结果 (Key Results)

定理 1.1 (主定理)

设 $q$ 为奇素数幂，$\theta_q = \frac{\phi(q-1)}{q-1}$。

1. 如果 $\theta_q < 1/3$，则 $\mathbb{F}_q$ 包含一对连续的非平方非原根元素。
2. 如果 $\theta_q = 1/3$，则结论成立，除非 $q \in \{7, 13, 19, 25, 37\}$。
   • 注：在这些例外情况下，确实不存在 NSNP 对。

定理 1.2 (推广结果)

设 $q$ 为奇素数幂，$\theta_q \le 1/3$，$\ell$ 为 $q-1$ 的最小奇素因子。
则 $\mathbb{F}_q$ 包含一对连续的 NS$\ell$ 元素，除非 $\ell=3$ 且 $q \in \{7, 13, 19, 25, 37, 43\}$。

• 关于 $q=43$ 的说明：虽然 $q=43$ 是 NS3 对的例外（即没有连续的非平方三次幂对），但作者证明了 $(7, 8)$ 是一对 NSNP 对（7 是非平方 7 次幂，8 是非平方立方），因此 $q=43$ 不是主定理 1.1 的例外。

数据支持

• 表 2：列出了 $q \in \{7, \dots, 241\}$ 且 $3|q-1$ 时 $N_3(q)$ 的精确计算值，证实了例外集合。
• 表 3：列出了 $q \in \{31, 49, \dots, 241\}$ 时具体的 NS3 对。
• 表 4 (Section 6)：列出了 $q \in \{911, 1331, 2381, 3221, 3851\}$ 时 $N_5(q)$ 的值，均为正数。

4. 贡献与意义 (Significance)

1. 界限的优化：将素域 $\mathbb{F}_p$ 中 NSNP 对存在的条件从 $\theta_p \le 1/4$ 推广到了 $\theta_q \le 1/3$。这意味着在更广泛的有限域中（即原根比例更低，非原根比例更高时），连续非原根对的存在性得到了保证。
2. 方法的结合：成功结合了解析数论中的特征和估计（处理大 $q$）与代数数论中的分圆数精确计算（处理小 $q$ 和特定结构），展示了处理有限域中组合存在性问题的完整技术路径。
3. 精确分类：不仅给出了存在性的充分条件，还完全分类了 $\theta_q = 1/3$ 时的所有例外情况，给出了精确的例外集合 $\{7, 13, 19, 25, 37\}$。
4. 对偶问题的启示：文章指出，寻找连续的非原根对（上界筛法较难）与寻找连续的原根对（下界筛法较易）在难度上具有可比性，但结构不同。本文的工作填补了非原根对存在性理论的一个重要空白。

5. 未来方向 (Further Questions)

作者在文末提出了几个开放性问题：

• 偶特征域：当 $q$ 为 2 的幂时，是否存在类似的 $\theta_q$ 条件保证连续非原根对的存在？
• 更宽松的界限：对于 $\ell \ge 7$，$\theta_q \le 1/3$ 是否过于严格？是否存在形如 $\theta_q < \frac{\ell-1}{2\ell}$ 的更优条件？
• 连续三个元素：是否存在条件保证存在连续三个 NSNP 元素？

总结

该论文通过严谨的数学推导和数值验证，确立了有限域中连续非平方非原根对存在的临界阈值 $\theta_q = 1/3$，并精确刻画了所有例外情况，是有限域组合数论领域的一项重要进展。