[논문 리뷰] Reducibility of polynomials $f(x,y)$ modulo $p$

Wolfgang M. Ruppert|ArXiv.org|1998. 08. 05.

Algebraic Geometry and Number Theory참고 문헌 3인용 수 18

한 줄 요약

이 논문은 이차도 $ (m,n) $ 와 높이 $ H $ 를 가진 절대 기약 다항식 $ f(x,y) \in \mathbb{Z}[x,y] $ 가 소수 모듈로 $ p $ 에서도 여전히 절대 기약임을 보장하는 $ p $ 의 날카운 한 경계를 확립한다. 만약 $ p > [m(n+1)n^2 + (m+1)(n-1)m^2]^{mn + \frac{n-1}{2}} \cdot H^{2mn + n - 1} $ 이라면, $ f \bmod p $ 는 절대 기약임을 증명한다. 더불어, Bouniakowsky 추측을 가정할 경우, 유한하지 않은 수의 다항식이 $ \mathbb{Q} $ 에서는 절대 기약이지만 소수 $ p \geq H^{2m} $ 에서는 기약 분해 가능하다는 것을 보이며, 이는 $ n=1 $ 인 경우에 지수 $ 2m $ 가 최적임을 시사한다. 결과적으로 이전의 추정치를 향상시키며, 미분 형식을 통한 기준을 제공하여 기약 분해 가능성을 탐지한다.

ABSTRACT

We consider absolutely irreducible polynomials $f \in Z[x,y]$ with $°_x(f)=m$, $°_y(f)=n$ and height $H$. We show that for any prime $p$ with $p>c_{mn} H^{2mn+n-1}$ the reduction $f \bmod p$ is also absolutely irreducible. Furthermore if the Bouniakowsky conjecture is true we show that there are infinitely many absolutely irreducible polynomials $f \in Z[x,y]$ which are reducible mod $p$ where $p$ is a prime with $p>H^{2m}$.

연구 동기 및 목표

• 절대 기약인 다항식 $ f \in \mathbb{Z}[x,y] $ 의 모듈로 $ p $ 에서의 축소 $ f \bmod p $ 가 여전히 절대 기약이 되도록 하는 소수 $ p $ 에 대한 충분 조건을 규명하는 것.
• 특히 이차도 $ (m,n) $ 다항식에 대해, 모듈로 $ p $ 에서 절대 기약성을 보장하는 데 필요한 $ p $ 의 기존 추정치를 향상시키는 것.
• 다항식의 높이 $ H $ 와 관련된 경계에서 지수의 날카움을 조사하는 것, 특히 $ n=1 $ 인 경우에 지수 $ 2m $ 가 최적임을 입증하는 것.
• Bouniakowsky 추측을 가정할 경우, $ \mathbb{Q} $ 에서는 절대 기약이지만 큰 소수 $ p \geq H^{2m} $ 에서는 기약 분해 가능한 다항식이 무한히 존재하는지 탐색하는 것.

제안 방법

• 닫힌 1형식 기반 기준을 사용: 다항식 $ f $ 가 소수 $ p $ 에서 기약 분해 가능할 조건은, 이차도가 제어된 다항식 $ r,s $ 가 존재하여 $ \partial_y(r/f) = \partial_x(s/f) $ 를 만족시키는 것이다.
• 해당 조건을 $ \overline{\mathbb{F}_p} $ 상의 선형 시스템으로 환원하며, 행렬 $ M(f) $ 의 계수가 $ (2mn + n - 1) \times (2mn + n - 1) $ 행렬의 모든 소수행렬이 0이 되는지 여부에 따라 비자명한 해의 존재 여부를 결정한다.
• 다항식 $ f $ 의 계수 크기와 $ r,s $ 의 차수를 고려하여, $ M(f) $ 가 항상 최대 질량을 가지며, 이는 소수 $ p $ 가 일정 이하일 경우 기약성을 보장함을 유도한다.
• 닫힌 1형식의 구조 정리와 비율 이론적 추론을 활용하여, 이러한 $ r,s $ 의 존재 여부를 $ f $ 의 대수적 구조로 특성화한다.
• 구체적인 다항식 가족 $ f_\ell(x,y) = (\ell x^m - 2x + 2) + (x^m - \ell)y^n $ 을 구성하여 경계를 시험하고, $ g_m(\ell) = (\ell^2 + 2)^m - 2^m \ell $ 가 소수일 경우 기약 분해 가능함을 보여준다.
• Bouniakowsky 추측을 이용해 $ g_m(\ell) $ 가 유한한 수의 $ \ell $ 에서 소수임을 보장하며, 이는 $ \mathbb{Q} $ 에서는 절대 기약이지만 모듈로 $ p \geq H(f)^{2m} $ 에서는 기약 분해 가능한 다항식을 유한한 수로 생성한다.

실험 결과

연구 질문

• RQ1 절대 기약인 다항식 $ f \in \mathbb{Z}[x,y] $ 의 모듈로 $ p $ 축소 $ f \bmod p $ 가 여전히 절대 기약이 되는 최소 소수 $ p $ 는 무엇인가?
• RQ2 다항식의 높이 $ H $ 에 대한 경계에서 지수를 개선할 수 있으며, $ n=1 $ 인 경우 지수 $ 2m $ 가 최적일 수 있는가?
• RQ3 다항식 $ f \in \mathbb{Z}[x,y] $ 가 어떤 조건에서 $ \mathbb{Q} $ 에서는 기약이지만 큰 소수 $ p $ 에서는 기약 분해 가능해지는가?
• RQ4 높이가 유계이고 $ p $ 가 증가하는 다항식의 무한한 가족이 존재하는가? 이 경우 $ p \geq H(f)^{2m} $ 를 만족한다.
• RQ5 미분 형식과 유한체 위에서의 선형 대수를 사용하여 $ p $ 의 경계를 유도할 수 있는가?

주요 결과

• 논문은 새로운 명시적 경계를 확립한다: 만약 $ p > [m(n+1)n^2 + (m+1)(n-1)m^2]^{mn + \frac{n-1}{2}} \cdot H(f)^{2mn + n - 1} $ 이라면, $ f \bmod p $ 는 절대 기약이다.
• 특히 $ n=1 $ 인 경우 경계는 $ p > (2m)^m \cdot H(f)^{2m} $ 로 단순화되며, 이 논문은 Bouniakowsky 추측 하에 지수 $ 2m $ 가 최적임을 증명한다.
• Bouniakowsky 추측을 가정할 경우, 이차도 $ (m,n) $ 를 가진 절대 기약인 다항식 $ f \in \mathbb{Z}[x,y] $ 가 무한히 존재하며, 이들은 소수 $ p \geq H(f)^{2m} $ 에서 기약 분해 가능하다. 이는 이 경우 지수 $ 2m $ 가 최적임을 입증한다.
• 다음과 같은 가족 $ f_\ell(x,y) = (\ell x^m - 2x + 2) + (x^m - \ell)y^n $ 을 구성함으로써, $ \mathbb{Q} $ 에서는 기약이지만 모듈로 $ p = g_m(\ell) $ 에서는 기약 분해 가능한 다항식을 도출하였다. 여기서 $ g_m(\ell) = (\ell^2 + 2)^m - 2^m \ell $ 이다.
• 다항식 $ g_m(t) = (t^2 + 2)^m - 2^m t $ 는 $ \mathbb{Q} $ 에서 기약이며, $ \gcd\{g_m(\ell) : \ell \in \mathbb{N}\} = 1 $ 을 만족한다. 이는 Bouniakowsky 추측이 적용 가능하며, 유한한 수의 소수를 생성함을 뒷받침한다.
• 논문은 $ n \geq 2 $ 인 경우, 높이 항의 지수 $ 2mn + n - 1 $ 는 향상 가능할 것으로 보이며, 실제로 알려진 사례들(예: $ m=2, n=2 $) 에서는 더 낮은 지수로도 충분히 작동함을 보여, 현재 경계가 타이트하지 않음을 입증한다.