[논문 리뷰] Integers with a large smooth divisor

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

Coding theory and cryptography참고 문헌 7인용 수 6

한 줄 요약

이 논문은 정수 n ≤ x 중에서 모든 소인수가 ≤ y인 d > z 인자를 가지는 수의 개수를 세는 함수 Θ(x,y,z)에 대해 정밀한 두 항의 점근 전개를 제공한다. 딕만 함수와 부크스타브 함수를 사용하여 주항목은 부분 콘볼루션 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.

연구 동기 및 목표

• n ≤ x 인 정수의 분포를 분석하며, 이 정수들은 모든 소인수가 ≤ y인 d > z 인자를 가진다.
• 이러한 정수의 수를 세는 함수 Θ(x,y,z)에 대해 넓은 매개변수 범위에서 정밀한 점근 전개를 유도한다.
• 이전의 추정치를 개선하기 위해 딕만 함수의 도함수를 포함한 두 번째 항을 포함한다.
• 암호학적 프로토콜에 관련된 큰 스무스 인자를 가진 정수의 밀도에 대한 히ュ리스틱 예측을 제공한다.
• 디지털 서명 체계에서 특정 정수가 나타날 가능성을 정량화하여 암호학적 응용을 지원한다.

제안 방법

• Θ(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)의 점근 전개에서 두 번째 항은 알려진 수론 함수로 어떻게 표현할 수 있는가?
• RQ3 Θ(x,y,z)에 대한 두 항의 점근 공식의 유효 범위는 무엇이며, 이전 결과와 비교해 보면 어떻게 되는가?
• RQ4 딕만 함수와 부크스타브 함수는 큰 스무스 인자를 가진 정수의 분포를 지배하는 콘볼루션 구조에서 어떻게 상호작용하는가?
• RQ5 이 점근 공식은 DSA 키 생성에서 큰 스무스 인자를 가진 정수를 선택할 확률에 대해 실용적으로 어떤 함의를 갖는가?

주요 결과

• 함수 Θ(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 키 생성에서 큰 스무스 인자를 가진 정수를 선택할 확률이 부정할 수 없는 정도로 존재함을 시사한다.
• 이 공식은 큰 스무스 인자를 가진 정수의 밀도에 대한 정밀한 히ュ리스틱을 제공하며, 이는 이전 추정치를 개선하고 디지털 서명 체계의 보안 분석을 지원한다.