[论文解读] Integers with a large smooth divisor

William D. Banks, Igor E. Shparlinski|ArXiv.org|Jan 19, 2006

Coding theory and cryptography参考文献 7被引用 6

一句话总结

本文为函数 Θ(x,y,z) 提供了一个精确的两倍渐近展开，该函数用于计数满足存在一个大于 z 且其所有素因子均不超过 y 的因子 d 的整数 n ≤ x。利用 Dickman 函数与 Buchstab 函数，主项通过部分卷积 C_{ω,ρ}(u,v) 表达，第二项则涉及 C_{ω,ρ′}(u,v)，并给出了明确的误差界。其主要贡献在于提出了一种适用于广泛参数范围的改进分析公式，对密码学背景下大光滑因子整数密度的估计具有重要意义。

ABSTRACT

We study the function $Θ(x,y,z)$ that counts the number of positive integers $n\le x$ which have a divisor $d>z$ with the property that $p\le y$ for every prime $p$ dividing $d$. We also indicate some cryptographic applications of our results.

研究动机与目标

• 分析满足存在一个大于 z 且其所有素因子均不超过 y 的因子 d 的整数 n ≤ x 的分布。
• 在广泛参数范围内，为 Θ(x,y,z)（即此类整数的计数）推导出精确的渐近展开式。
• 通过引入 Dickman 函数的导数项，改进先前估计，增加第二阶项。
• 为数字签名方案中大光滑因子整数的密度提供启发式预测。
• 通过量化数字签名方案中特定整数出现的可能性，支持密码学应用。

提出的方法

• 将 Θ(x,y,z) 定义为满足存在一个大于 z 且其最大素因子 P⁺(d) ≤ y 的整数 n ≤ x 的个数。
• 使用 Dickman 函数 ϱ(u) 和 Buchstab 函数 ω(u) 来建模 y-光滑数与 y-粗糙数的分布。
• 引入主项部分卷积 C_{ω,ϱ}(u,v) = ∫_v^∞ ω(u−s)ϱ(s) ds。
• 引入涉及 C_{ω,ϱ′}(u,v) = ∫_v^∞ ω(u−s)ϱ′(s) ds 的第二项，以改进渐近估计。
• 应用 Hildebrand 与 Saias 提供的 Ψ(x,y) 与 Φ(x,y) 的精确估计，结合部分求和与积分近似。
• 利用欧拉-马歇罗尼常数 γ 与 zeta 函数的归一化方法，以改进误差项并归一化主项系数。

实验结果

研究问题

• RQ1 满足存在一个大于 z 且其所有素因子均不超过 y 的因子 d 的整数 n ≤ x 的渐近密度是多少？
• RQ2 Θ(x,y,z) 的渐近展开中的第二阶项如何用已知的数论函数表示？
• RQ3 Θ(x,y,z) 的两倍渐近公式在多大范围内有效？与先前结果相比如何？
• RQ4 Dickman 函数与 Buchstab 函数在控制大光滑因子整数分布的卷积结构中如何相互作用？
• RQ5 该渐近公式对数字签名密钥生成中选择具有大光滑因子的整数的概率有何实际影响？

主要发现

• 函数 Θ(x,y,z) 具有两倍渐近展开：Θ(x,y,z) = (ϱ(u) + C_{ω,ϱ}(u,v))x − γ C_{ω,ϱ′}(u,v) (x/log y) + O(E(x,y,z))，在 x ≥ 3，y ≥ exp((log log x)^{5/3+ε})，且 y log y ≤ z ≤ x/y 时成立。
• 主项通过部分卷积 C_{ω,ϱ}(u,v) = ∫_v^∞ ω(u−s)ϱ(s) ds 表达，其中 u = log x / log y，v = log z / log y。
• 第二阶校正项涉及 C_{ω,ϱ′}(u,v) = ∫_v^∞ ω(u−s)ϱ′(s) ds，欧拉-马歇罗尼常数 γ 用于调节其贡献。
• 误差项 E(x,y,z) 明确有界，为 (x/log y) 乘以 ϱ(u−1)、ϱ(v)log(v+1)/log y 与 ϱ(v)/log(v+1) 的组合。
• 在密码学情形 k=863，ℓ=80，m=160 下，估计概率 η(863,80,160) ≈ 0.09576，表明在 DSA 密钥生成中选择具有大光滑因子的整数的概率不可忽视。
• 该公式为具有大光滑因子的整数密度提供了改进的启发式估计，优于早期估计，并支持数字签名方案中的安全性分析。