[论文解读] Idempotents and Nilpotents Modulo n

Steven R. Finch|arXiv (Cornell University)|May 1, 2006

Analytic Number Theory Research参考文献 6被引用 4

一句话总结

本文研究了模 $n$ 的幂序列中周期和暂态阶段的渐近行为，重点关注 $\mathbb{Z}_n$ 中的幂等元、幂零元和本原根元素。推导出这些元素数量的精确乘法公式，并利用狄利克雷级数和塞尔伯格-德朗治方法建立渐近密度，得出如 $A \approx 0.4408$ 这类常数，表示暂态阶段至多为 1 的元素的密度。

ABSTRACT

We study asymptotic properties of periods and transient phases associated with modular power sequences. The latter are simple; the former are vaguely related to the reciprocal sum of square-free integer kernels.

研究动机与目标

• 刻画 $\mathbb{Z}_n$ 中具有有界暂态阶段或周期的元素的分布。
• 推导出此类元素数量的精确乘法公式，包括幂等元（$x^2 = x$）和幂零元（$x^k = 0$）。
• 利用狄利克雷级数和解析数论方法，建立这些元素累积计数的渐近增长速率。
• 将这些计数的渐近行为与已知常数（如阿廷常数和二次类数常数）联系起来。

提出的方法

• 定义 $\sigma(x)$ 和 $\tau(x)$ 分别为序列 $x^k \mod n$ 的周期和暂态阶段。
• 使用乘法数论函数计算 $a(n), b(n), c(n)$，分别表示暂态阶段 $\tau \leq 1,2,3$ 的元素数量。
• 构造狄利克雷生成函数 $\sum a(n)/n^{s+1}$，并应用塞尔伯格-德朗治方法提取渐近主项。
• 将渐近密度常数表示为包含素数的欧拉乘积形式，如 $A = \frac{1}{2} \prod_p \left(1 - \frac{1}{p^2(p+1)}\right)$。
• 将幂零元的计数与平方自由核 $\kappa(n)$ 联系起来，证明 $z(n) = n / \kappa(n)$，并利用关于 $\sum 1/\kappa(n)$ 的已知结果分析其和。
• 将结果与 $\varphi(n)$ 和 $\psi(n)$ 等已知算术函数进行比较，并讨论其与本原根及阿廷常数的联系。

实验结果

研究问题

• RQ1 模 $n$ 下满足暂态阶段 $\tau(x) \leq 1$ 的元素的渐近密度是多少？
• RQ2 当 $n \to \infty$ 时，暂态阶段有界（$\tau \leq T$）的元素计数如何增长？
• RQ3 模 $n$ 下幂零元数量的渐近行为是什么？它与平方自由核 $\kappa(n)$ 有何关系？
• RQ4 能否对计数周期为 1 的元素的和 $\sum_{n \leq N} u(n)$ 进行渐近估计？其与 $\sum \varphi(n)$ 的关系如何？
• RQ5 模 $n$ 下本原根的渐近密度是多少？它与阿廷常数有何关系？

主要发现

• 模 $n$ 下暂态阶段至多为 1 的元素数量满足 $\sum_{n \leq N} a(n) \sim A N^2$，其中 $A = \frac{1}{2} \prod_p \left(1 - \frac{1}{p^2(p+1)}\right) \approx 0.440756919862$。
• 对于暂态阶段至多为 2 的情况，和 $\sum_{n \leq N} b(n) \sim B N^2$，其中 $B = \frac{1}{2} \prod_p \left(1 - \frac{1}{p^2(p^2 + p + 1)}\right) \approx 0.477176626987$。
• 对于暂态阶段至多为 3 的情况，和 $\sum_{n \leq N} c(n) \sim C N^2$，其中 $C = \frac{1}{2} \prod_p \left(1 - \frac{1}{p^2(p^3 + p^2 + p + 1)}\right) \approx 0.490145568004$。
• 模 $n$ 下幂零元的数量为 $z(n) = n / \kappa(n)$，其中 $\kappa(n)$ 为平方自由核，但 $\sum_{n \leq N} z(n)$ 的渐近行为仍未解决。
• 模 $n$ 下本原根数量的和满足 $\sum_{n \leq N} g(n) \sim \tilde{A} N^2 / \ln N$，其中 $\tilde{A} = \frac{5}{8} \prod_p \left(1 - \frac{1}{p(p-1)}\right) \approx 0.233722383512$，即阿廷常数的五分之八。
• 计数周期为 1 的元素的和 $\sum_{n \leq N} u(n)$ 满足 $\sum_{n \leq N} (n - m(n)) \sim \frac{3}{8} \frac{N^2}{\ln N}$，其中 $m(n)$ 为满足 $\sigma(x) = 1$ 的元素数量。