[論文レビュー] Integers with a large smooth divisor

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

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

ひとこと要約

本稿は、整数 n ≤ x で、すべての素因数が ≤ y であるような d > z を持つものの個数を数える関数 Θ(x,y,z) について、正確な2項漸近展開を提供する。ディクマント関数とブッフスタブ関数を用い、主項は部分畳み込み C_{ω,ρ}(u,v) で、補正項は C_{ω,ρ′}(u,v) を含む。明示的な誤差項の上限が得られる。主な貢献は、広範なパrameter範囲に適用可能な精密な解析的公式の確立であり、暗号的文脈における大きなスムーズ因数を持つ整数の密度推定に応用される。

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.

研究の動機と目的

• n ≤ x で、すべての素因数が ≤ y であるような d > z を持つ整数の分布を分析すること。
• パrameterの広い範囲で有効な、Θ(x,y,z) — こうした整数の個数 — の正確な漸近展開を導出すること。
• ディクマント関数の微分を含む2次項を含めた、先行研究の推定値の改善。
• 暗号プロトコルに関連する、大きなスムーズ因数を持つ整数の密度に関するヒューリスティック予測を提供すること。
• デジタル署名方式における特定の整数が現れる確率を定量的に評価することで、暗号的応用を支援すること。

提案手法

• Θ(x,y,z) を、P⁺(d) ≤ y かつ d > z を満たす整数 n ≤ x の個数として定義する。
• y-スムーズ数および y-ラウグ数の分布をモデル化するために、ディクマント関数 ϱ(u) とブッフスタブ関数 ω(u) を用いる。
• 主項として、部分畳み込み C_{ω,ϱ}(u,v) = ∫_v^∞ ω(u−s)ϱ(s) ds を導入する。
• 推定値の精度を高めるために、補正項として C_{ω,ϱ′}(u,v) = ∫_v^∞ ω(u−s)ϱ′(s) ds を導入する。
• ヒルデブランドおよびサイアスによる Ψ(x,y) および Φ(x,y) の精密推定値を用い、部分和公式および積分近似を適用する。
• オイラー＝マスケローニ定数 γ およびゼータ関数の正規化を用いて、誤差項を精緻化し、主要係数を正規化する。

実験結果

リサーチクエスチョン

• RQ1 n ≤ x で、すべての素因数が y 未満であるような d > z を持つ整数の漸近的密度は何か？
• RQ2 Θ(x,y,z) の漸近展開における2次項は、既知の数論的関数を用いてどのように表現できるか？
• RQ3 Θ(x,y,z) に対する2項漸近公式の有効範囲は何か？また、先行結果と比較するとどうなるか？
• RQ4 ディクマント関数とブッフスタブ関数は、大きなスムーズ因数を持つ整数の分布を支配する畳み込み構造においてどのように作用するか？
• RQ5 この漸近公式は、暗号鍵生成における大きなスムーズ因数を持つ整数が選ばれる確率に実用的にどのような意味を持つのか？

主な発見

• 関数 Θ(x,y,z) は次の2項漸近展開を有する：Θ(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 である。
• 2次補正項は 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鍵生成において大きなスムーズ因数を持つ整数が選ばれる確率が非微小であることを示唆する。
• 本公式は、大きなスムーズ因数を持つ整数の密度に関する精密なヒューリスティックを提供し、過去の推定値を改善し、デジタル署名方式におけるセキュリティ分析を支援する。