[论文解读] Addenda/Corrigenda: Fixed Points and Two-cycles of the Discrete Logarithm

Joshua Holden|ArXiv.org|Aug 4, 2002

Matrix Theory and Algorithms参考文献 1被引用 7

一句话总结

本文修正并扩展了模素数 p 的离散对数映射中不动点与二周期点的启发式估计。它修正了先前工作中有缺陷的公式，建立了基于对称性的解数等式，并提出了在底数与对数真数满足不同条件时解数的改进渐近公式。主要贡献是提出了一套经数值验证的更正猜想，为未来对离散对数动力学的严格分析奠定了基础。

ABSTRACT

The abstract of the original paper was as follows: We explore some questions related to one of Brizolis: does every prime p have a pair (g,h) such that h is a fixed point for the discrete logarithm with base g? We extend this question to ask about not only fixed points but also two-cycles. Campbell and Pomerance have not only answered the fixed point question for sufficiently large p but have also rigorously estimated the number of such pairs given certain conditions on g and h. We attempt to give heuristics for similar estimates given other conditions on g and h and also in the case of two-cycles. These heuristics are well-supported by the data we have collected, and seem suitable for conversion into rigorous estimates in the future.

研究动机与目标

• 修正先前关于模素数 p 的离散对数映射中不动点与二周期点猜想中的拼写与概念性错误。
• 在底数 g 与对数真数 h 的各种约束条件下，改进离散对数方程解数的启发式估计。
• 通过基于对称性的论证，建立不同条件下解数之间的等式关系（例如，在某些情况下 g PR 意味着 h PR），从而纠正错误的猜想。
• 提供 N(3),h ANY,a ANY(p) 及相关量的更正与改进的渐近公式，其依据是来自 19 节点 Beowulf 集群的大量数值数据。
• 通过确保公式的一致性与数值验证，为未来对所提启发式方法的严格证明奠定基础。

提出的方法

• 通过推导涉及乘法函数 φ(m)、φ(dm) 及对 m|(p−1) 的求和，修正先前工作中（特别是猜想 7 与公式 (4)）的错误公式。
• 应用乘法数论技术，将对除数的求和表达为对素数幂的乘积，并利用 φ(q) 与 (1−1/q) 项推导出闭式表达式。
• 使用对称性论证，证明 N(1),g PR,h RPPR(p) = N(1),g ANY,h RPPR(p)，从而纠正原始论文中的一项错误猜想。
• 通过使用 C、MPI、OpenMP 与 OpenSSL 的 19 节点 Beowulf 集群，在 68 小时内对从 100000 开始的素数进行计算验证，收集数据。
• 分析方程 (2) 与 (3) 解之间的对应关系，表明当 gcd(h,a,p−1)=1 时为一一对应，否则可能为多对一。
• 在表格 (A-1 至 A-4) 中提出并验证了更正后的猜想，对比了 N(1)(p) 与 N(3)(p) 的非平凡部分的预测值与观测值。

实验结果

研究问题

• RQ1 在 g 与 h 的各种条件下，离散对数方程（以 g 为底，h 为真数）的解数的正确渐近公式是什么？
• RQ2 为何原始论文中猜想 7 与公式 (4) 的公式错误？求和 ∑_{m|p−1} |Sm|²/|Tm| 的更正表达式是什么？
• RQ3 离散对数映射中的对称性如何导致解数等式（如 N(2),g PR,h RPPR(p) = N(2),g ANY,h RPPR(p)）？
• RQ4 方程 (2) 与方程 (3) 的解之间存在何种精确关系，特别是在 gcd(h,a,p−1) > 1 时？
• RQ5 能否将更正后的启发式方法转化为严格估计？其有效性的证据是什么？

主要发现

• 求和 ∑_{m|p−1} |Sm|²/|Tm| 的更正公式为 ∑_{m|p−1} φ(m)/m² × (∑_{d|(p−1)/m} φ(dm)/d)²，解决了早期的拼写错误。
• N(3),h ANY,a ANY(p) 的更正表达式为 (p−1) + ∑_{m|p−1} φ(m)/m² × (∑_{d|(p−1)/m} φ(dm)/d)²，该式亦出现在猜想 7(a) 中。
• 当 p−1 为无平方因子时，N(3),h ANY,a ANY(p) ≈ (p−1) + ∏_{q|p−1} (q + 1 −1)/q，呈现简化乘积形式。
• 对于 p = 100057，观测到的 N(1),g ANY,h RP(p) 值为 98506，接近预测值 100056，验证了对 p−1 的启发式方法。
• 在 a=ANY、h=RP 条件下，N(3)(p) 的非平凡部分的更正公式为 190526，预测值为 190822.0，显示出极强的数值一致性。
• 本文更正了猜想 1(c)，证明 N(1),g PR,h RPPR(p) = N(1),g ANY,h RPPR(p)，解决了原始猜想中基于对称性的错误。