[논문 리뷰] Is a bivariate polynomial with plus minus 1 coefficients irreducible? Very likely!

Lior Bary‐Soroker, Gady Kozma|arXiv (Cornell University)|2016. 02. 21.

Analytic Number Theory Research참고 문헌 3인용 수 3

한 줄 요약

이 논문은 계수가 ±1으로 제한된 이변수 다항식의 기약성에 대해 조사한다. 확률적 방법과 M을 모듈로로 사용하는 Rivin의 증명 기법의 변종을 사용하여, 차수 r이 증가함에 따라 이러한 다항식이 기약성일 확률이 0으로 수렴함을 증명한다. 이는 큰 차수에서 이러한 다항식이 거의 확실히 기약임을 보여준다.

ABSTRACT

We prove that a random bivariate polynomial with plus minus 1 coefficients is irreducible with high probability.

연구 동기 및 목표

• 계수가 ±1으로 제한된 이변수 다항식의 기약 가능성에 대한 확률을 조사한다.
• 일변수 다항식의 ±1 계수에 대한 기존 결과를 이변수 경우로 확장한다.
• 큰 차수에서 이러한 이변수 다항식이 거의 확실히 기약임을 보인다.
• 모듈로 산술과 약수 세기 기반으로 기약 가능성 확률에 대한 엄밀한 확률적 경계를 제시한다.

제안 방법

• M을 모듈로로 사용하는 Rivin의 증명 기법의 변종을 사용하여, 주계수와 상수항의 모듈로 조건을 통해 기약성 다항식의 수를 제한한다.
• 계수들이 [−(2N−1), 2N−1] 범위 내의 홀수인 다항식의 집합 Ω(r,N)을 정의하여 M=2N+1 모듈로에서 단사적 감소를 보장한다.
• 계수 분해와 모듈로 이미지 제약 조건을 통해 인수분해의 수를 세어 기약성 다항식의 수를 제한한다.
• ∑|d|≤N 1/|d| ≪ log N 경계를 적용하여 확률 추정치에 (log N)² 요소를 도출한다.
• F(X,Y)가 기약일 경우 F(2,Y) 또는 F(X,2)가 기약이거나 F(X,Y)=f(X)g(Y)임을 이용해 경우의 수 분석을 수행한다.
• 주 경계를 사용하여 각 경우의 확률을 추정하고 r→∞일 때 감소함을 보인다.

실험 결과

연구 질문

• RQ1 차수 증가에 따라 계수가 ±1인 이변수 다항식이 기약일 확률의 점 渐진적 확률은 무엇인가?
• RQ2 일변수 경우의 어려움에도 불구하고 이러한 다항식의 기약성을 확률적 방법으로 입증할 수 있는가?
• RQ3 두 번째 변수의 포함이 일변수 ±1 계수 다항식과 비교해 기약 가능성에 어떤 영향을 미치는가?
• RQ4 모듈로 감소는 홀수 계수를 가진 기약성 다항식의 수를 제한하는 데 어떤 역할을 하는가?
• RQ5 이변수 인수분해의 구조를 활용하여 거의 확실한 기약성을 증명할 수 있는가?

주요 결과

• 계수가 ±1이고 차수 r인 이변수 다항식 F(X,Y)가 기약일 확률은 r→∞일 때 0으로 수렴한다.
• 기약 가능성 확률에 대한 경계는 O(r³ / 2ʳ)이며, 이는 지수적으로 0으로 수렴한다.
• 주요 기술적 도구는 Rivin의 증명 기법의 개선된 형태로, 계수들이 [−(2N−1), 2N−1] 내의 홀수인 다항식에 대해 C·r(log N)² / N · (1 + 1/(2N))ʳ의 경계를 제공한다.
• F(2,Y)와 F(X,2)의 경우 계수 크기가 2ʳ만큼 증가하므로 N=2ʳ로 설정하면 감쇠율이 r³ / 2ʳ이 된다.
• F(X,Y)=f(X)g(Y)의 경우 기여가 무시할 만큼 작으며, 확률은 최대 2⁻ʳ²이며 점 渐진적으로 무시할 수 있다.
• 모든 경우의 기약 가능성 확률을 합하면 0으로 수렴하므로, 큰 r에 대해 이러한 다항식이 거의 확실히 기약임을 증명한다.