[论文解读] On the probability distribution of the gcd and lcm of $r$-tuples of integers

José Fernández, Pablo Fernández|arXiv (Cornell University)|May 2, 2013

Analytic Number Theory Research参考文献 13被引用 15

一句话总结

本论文推导了从 {1, 2, ..., n} 中均匀随机选取的 r 元组（r ≥ 3）的 greatest common divisor（gcd）和 least common multiple（lcm）的渐近概率分布与矩。通过数论方法与 Euler 乘积恒等式，将经典关于 gcd 和 lcm 对的结论推广至高维情形，建立了当 n → ∞ 时 gcd 和 lcm 的分布、期望及高阶矩的精确渐近展开式。

ABSTRACT

This paper is devoted to the study of statistical properties of the greatest common divisor and the least common multiple of random samples of positive integers.

研究动机与目标

• 将随机整数对的 gcd 和 lcm 的经典结果推广至 r ≥ 3 的 r 元组。
• 为 r 元组的 gcd 和 lcm 的概率质量函数与矩推导精确的渐近表达式。
• 分析当样本大小 n → ∞ 时 gcd 和 lcm 的极限行为，特别关注收敛速度与误差项。
• 提供 gcd 和 lcm 的期望值与高阶矩的显式公式，包括其对 r 和 q 的依赖关系。
• 建立 gcd 和 lcm 分布与 von Mangoldt 函数、素数计数函数等算术函数之间的联系。

提出的方法

• 使用容斥原理与乘法数论方法，计算 gcd(X₁,…,Xᵣ) = k（k ≤ n）的概率。
• 应用 Euler 乘积恒等式与 Dirichlet 卷积，推导 gcd 和 lcm 的矩生成函数。
• 利用 Riemann zeta 函数 ζ(s) 及其性质，表达矩展开中的渐近常数。
• 使用调和数近似 H_m ≈ ln m + γ 来估计含对数项的期望值。
• 应用素数定理及 π(x) 的界，估计 dyadic 区间内素数个数，并控制误差项。
• 使用含指数函数与生存函数的积分表示，以界定记录时间与等待时间的期望值。

实验结果

研究问题

• RQ1 当从 {1, 2, ..., n} 中随机选取 r 个整数时，其 gcd 等于固定整数 k 的渐近概率是多少？
• RQ2 当 n → ∞ 时，r 元组的 gcd 和 lcm 的矩如何表现？其精确渐近常数是什么？
• RQ3 r 元组的 lcm 的极限分布是什么？与 gcd 情况相比，其收敛性与误差界有何不同？
• RQ4 首次出现 gcd = 1 的 r 元组的期望等待时间的渐近行为如何？
• RQ5 r 元组的 lcm 的期望值的精确渐近行为是什么？其随 n 和 r 的变化规律如何？

主要发现

• 当 1 ≤ k ≤ n 时，gcd(X₁⁽ⁿ⁾, ..., Xᵣ⁽ⁿ⁾) = k 的概率渐近为 1/(kʳ ζ(r)) + O(1/(n kʳ⁻¹))。
• 当 q < r−1 时，gcd 的 q 阶矩收敛于 ζ(r−q)/ζ(r)，表明其具有有限极限。
• 当 q = r−1 时，gcd 的 (r−1) 阶矩以 (ln n)/ζ(r) + O(1) 的形式对数增长。
• 当 q ≥ r 时，gcd 的 q 阶矩渐近为 Dᵣ,ₚ n^{q−r+1} + O(n^{q−r} ln n)，其中 Dᵣ,ₚ 由 zeta 函数组合给出。
• r 元组的 lcm 的期望值满足 E[lcm] ~ (ζ(q+2)/(ζ(2)(q+1)²)) n^{2q}（q ≥ 1），误差项为 O(n^{2q−1} ln n)。
• 首次出现 gcd = 1 的 r 元组的期望等待时间渐近为 n ln n − n ln ln n + n(γ − ln 2) + O(n / ln n)。