🔢 mathematics

Explicit Prime Densities for Lucas Sequence Rank Divisibility

本文推导出了关于使得固定整数 $d$ 整除卢卡斯序列 $U$ 中素数 $p$ 的出现秩的狄利克雷密度（Dirichlet density）的闭式公式，从而通过涵盖所有的卢卡斯序列及所有整数 $d \geq 1$ ，完成了 Sanna (2022) 的工作。

原作者： Joaquim Cera Da Conceição

发布于 2026-08-25

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Joaquim Cera Da Conceição

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

在广袤的数论领域，数学家经常研究根据简单且重复规则增长的数列。想象一条由数字组成的线，其中每一个新条目都是通过结合它之前的两个条目而产生的，就像家族树从共同祖先那里分支出来一样。这些被称为卢卡斯序列（Lucas sequences）。一个核心问题是，研究人员如何理解这些序列与素数——即算术中不可分割的构建模块——之间的相互作用。对于任何给定的素数，序列中存在一个特定的时刻，该素数首次作为因子出现。数学家称之为“出现秩”（rank of appearance）。它是该素数在该特定序列中的独特指纹。大问题在于，如果我们观察所有的素数，对于一个特定的数（例如三、五或一百），其出现秩能被该数整除的素数出现的频率是多少？这种频率被称为狄利克雷密度（Dirichlet density），它是衡量在一组无限素集中某种模式有多常见的衡量方式。

几十年来，数学家已经能够计算出许多特定情况下的这种频率，但完整的图景仍然难以捉摸。以往的工作已经解决了某些类型序列和特定除数的问题，但仍存在空白，特别是在底层数学结构涉及与负三的平方根或负一的平方根相关的复杂对称性时。这些空白就像拼图中缺失的部分，阻碍了对整个景观的全面理解。本文的研究填补了这些最后的漏洞。作者推导出了精确的闭式公式，使得任何人都可以计算出对于任何选定的整数，其出现秩能被该整数整除的素数密度，无论研究的是哪种特定的卢卡斯序列。这项工作完成了一项长期的努力，确保了控制这些模式的规则现在适用于每种可能的情景。

研究人员通过将寻找素因子的过程转化为关于扩展数学世界中数字行为的问题来处理这一问题。他们没有直接观察序列，而是检查了序列根的一个特定比率在模素数下的行为。这个比率充当了一个生成元，它在特定群中的阶决定了出现秩。挑战在于，这个生成元的行为会根据素数的属性和序列的属性而改变。作者必须考虑各种场景，例如序列的定义多项式是否在包含负三平方根的域中分裂，或者它是否涉及负一的平方根。在这些特殊情况下，标准的计算方法会失效，因为通常的对称性会被这些特定根的存在所破坏。

为了克服这一点，团队开发了一种系统的方法来处理这些困难的情况。他们将问题分解为更小的、易于处理的部分，分析了这些根所存在的数学域的结构。他们确定了特定的自同构（保持这些域结构的变换）何时存在。这些变换至关重要，因为它们决定了素数的分布。通过仔细绘制这些条件，作者能够写出一个单一的、统一的公式，该公式适用于所有整数和所有卢卡斯序列。这个公式是“闭式”的，这意味着它可以使用有限数量的标准运算来计算，而不是需要一个无限的过程或试错法。

论文证实，这些素数的密度不仅是一个理论上的可能性，而且是一个具体的、可计算的值。作者不仅暗示了这些值的存在，还证明了它们的存在并提供了寻找它们的精确配方。他们还处理了一个关于当除数为偶数时“秩”的微妙问题，展示了如何通过调整计算来解释涉及的数字的具体奇偶性。他们的结果建立并完善了其他数学家的早期工作，消除了以前限制解决方案范围的任意限制。例如，早期的研究必须排除在某些域中除数为二或三倍数的情况，但这项新工作完全取消了这些排除。

为了确保公式的正确性，研究人员根据真实数据对公式进行了测试。他们编写了计算机程序来生成数百万个素数，并计算了所讨论模式的实际频率。然后，他们将实验结果与新公式预测的值进行了比较。匹配非常精确，计算值与计算机生成的数据在小数点后六位对齐。这一验证步骤至病关重要，因为它证实了抽象公式准确地反映了数系统的现实。论文包含了展示这些对比的表格，涵盖了各种序列和除数，证明了理论在严格测试下依然成立。

最终，这项工作为数论的一个特定角落提供了完整的地图。它确切地告诉我们，一个素数出现在卢卡斯序列中且其位置是给定数倍数的频率是多少。无论序列是著名的斐波那契序列还是更晦涩的变体，也无论除数是像二这样的小数还是像大型复杂整数，答案现在都是已知的。作者结束了关于这个特定问题的讨论，没有留下任何悬而未决的问题或未探索的情况。他们的贡献是对数学中坚持不懈力量的证明，将零散的部分答案转化为了一个单一、连贯且完整的理论。

技术摘要：卢卡斯序列秩整除性的显式素数密度

问题陈述
本文旨在解决确定给定整数 $d \ge 1$ 时，卢卡斯序列 $U = (U_n)_{n \ge 0}$ 中秩 $\rho_U(p)$ 可被 $d$ 整除的素数 $p$ 的狄利克雷密度（Dirichlet density）的问题。秩的定义是使得 $p \mid U_n$ 成立的最小正整数 $n$ 。

背景与前人工作
本研究建立在 Hasse 的基础性工作之上，他处理了特定的平方自由参数和素数 $d$ 的情况；同时也借鉴了 Wiertelak 的工作，后者解决了特征多项式可约的情况。Lagarias、Cubre、Rouse 和 Ballot 对特定序列及较小的 $d$ 值取得了显著进展。最近，Sanna (2022) 提供了一个通用的框架以及针对奇数 $d$ 且不被 3 整除时的显式公式，前提是该特征多项式的分裂域不是 $\mathbb{Q}(\sqrt{-3})$ 。然而，Sanna 的结果在分裂域为分圆域（特别是 $\mathbb{Q}(i)$ 或 $\mathbb{Q}(\sqrt{-3})$ ）以及 $d$ 在这些域中被 2 或 3 整除的情况下留下了空白。

方法论
作者通过将秩 $\rho_U(p)$ 的整除性转化为关于根商 $\gamma = a/b$ 在二次域 $K = \mathbb{Q}(a)$ 的素理想模下的乘法阶的条件来处理该问题。具体而言， $\rho_U(p)$ 能被 $d$ 整除，当且仅当 $\gamma$ 模 $\pi$ 的阶能被 $d$ 整除。

核心方法涉及对形式为 $K_{n,d} = K(\zeta_n, \gamma^{1/d})$ 的**分圆-库默尔扩张（Cyclotomic-Kummer extensions）**的研究，其中 $\zeta_n$ 是 $n$ 次单位根。狄利克雷密度被表示为涉及这些域扩张的次数以及其伽罗瓦群中特定自同构存在的关于 $d$ 的约数的和。

关键技术步骤包括：

域次数计算：利用标准文献中的定理 2 和定理 3 来确定扩张度 $[K_{n,d} : \mathbb{Q}]$ 。这需要分析 $\gamma$ 是否在分圆扩张中为幂次，这取决于判别式 $\Delta_K$ 和 $\gamma$ 的范数。
自同构的存在性：确定伽罗瓦群中满足特定条件（映射 $\sqrt{\Delta} \to -\sqrt{\Delta}$ ， $\zeta \to \zeta^{-1}$ ，以及 $\gamma^{1/uv} \to \gamma^{-1/uv}$ ）的自同构 $\sigma_{u,v}$ 的存在性。
基于 $h$ 的分类讨论：作者定义 $h = \max_{\zeta \in \mu(K)} h(\zeta)$ $h = max_{ζ \in μ (K)} h (ζ)$ ，其中 $h(\zeta)$ $h (ζ)$ 是使得 $\zeta\gamma$ $ζ γ$ 在 $K$ $K$ 中为 $h(\zeta)$ $h (ζ)$ 次幂的最大整数。论文分为两个主要的分析阶段：
- 情况 $h = h(1)$ ：最大值在 $\zeta = 1$ 处取得。作者通过将密度分解为和 $S_{d,e,h}(\nu)$ 并使用引理 11 进行求值，推导出了闭式公式。该部分通过利用引理 4、5 和 6 分别处理 $\Delta_K \notin \{-4, -3\}$ 、 $\Delta_K = -4$ 以及 $\Delta_K = -3$ 的情况，以处理分圆域中的平方根和立方根问题。
- 情况 $h \neq h(1)$ ：最大值在非平凡单位根 $\zeta \neq 1$ 处取得。作者采用一个切换公式（定理 20）将 $\gamma$ 的密度与 $-\gamma$ （或 $\zeta\gamma$ ）的密度联系起来，从而有效地将这些情况归约为 $h=h(1)$ 的场景或已解决的情况。

主要贡献与结果
本文的主要贡献是为所有卢卡斯序列 $U$ 及所有整数 $d \ge 1$ ，推导出了 $\gamma$ 的狄利克雷密度 $\delta_\gamma(d)$ 的闭式公式。这完成了由 Sanna (2022) 开启的工作。

具体结果包括：

通用公式：密度被表示为一个包含莫比乌斯函数（Möbius function）、欧拉函数（Euler totient function）以及辅助域（ $K_1, K_2$ ）判别式和导出子（conductor） $f(L)$ 特定算术条件的项的线性组合。
解决分圆情形：本文明确解决了分裂域为 $\mathbb{Q}(i)$ （ $\Delta_K = -4$ ）或 $\mathbb{Q}(\sqrt{-3})$ （ $\Delta_K = -3}$ ）的困难情形，包括 $d$ 为偶数或被 3 整除的情况。
处理 $h \neq h(1)$ ：定理 20 提供了一种机制来处理极大幂次条件由非平凡单位根满足的情况，确保了方案的完备性。
数值验证：第 6 节提供了数值数据，将推导出的闭式值与通过 SageMath 计算的各种序列和 $d$ 值的实验密度进行对比，显示在素数达到 $10^7$ 时，两者一致性高达 6 位小数。

意义
本文声称为计算卢卡斯序列中秩被 $d$ 整除的素数密度问题提供了完整的解决方案。通过覆盖了 Sanna 定理留下的所有情形，包括复杂的分圆分裂域以及所有关于 $d$ 的整除条件，作者为这些密度提供了一个全面的、闭式特征描述。这项工作依赖于密度的存在性（由 Sanna 证明），并侧重于显式计算，从而“完成”了这一特定数论问题的理论图景。其结果以仅需有限次运算即可计算的形式呈现，避免了对密度值本身的渐近近似。

类似论文