[논문 리뷰] Some experiments on Bateman-Horn

Igor Rivin|arXiv (Cornell University)|2015. 08. 31.

Analytic Number Theory Research참고 문헌 7인용 수 6

한 줄 요약

이 논문은 계수를 $[-1000, 1000]$ 범위에서 추출한 무작위 모닉 기약 다항식 $ f \in \mathbb{Z}[x] $에 대해 Bateman-Horn 상수 $ C(f) $ 를 실험적으로 조사한다. 기약 다항식들 간 평균 $ C(f) $ 는 1에 매우 가까운 반면, Bunyakovsky 조건을 만족하는 다항식들은 $ \log C(f) $ 가 로그정규분포를 이룬다. 이는 국소적 요소들 간의 거의 독립성을 시사하며, 극단치는 차수 6일 때 6.8를 초월한다. 이는 매우 소수 풍부한 다항식이 존재할 가능성을 시사한다.

ABSTRACT

We describe some studies related to the frequency of prime values of integer polynomials.

연구 동기 및 목표

• 무작위 모닉 기약 다항식 $ f \in \mathbb{Z}[x] $ 에서 Bateman-Horn 상수 $ C(f) $ 의 통계적 행동을 조사하는 것.
• $ C(f) $ 가 일반적으로 1에 가까운지, 아니면 다항식 간에 상당한 변동성을 보이는지 확인하는 것.
• Bunyakovsky 조건을 만족하는 다항식들(즉, 어떤 소수 모듈로에서도 식이 항상 0이 되지 않는 다항식)에서 $ C(f) $ 의 분포를 탐색하는 것.
• 특히 높은 $ C(f) $ 값을 갖는 다항식의 구조적 또는 산술적 성질을 규명하여 소수 풍부한 행동을 유도하는 원인을 밝혀내는 것.
• 고정된 차수에서 $ C(f) $ 가 상한선을 가질지 여부를 평가하고, 극단치를 체계적으로 구성할 수 있는지 여부를 조사하는 것.

제안 방법

• 계수를 $[-1000, 1000]$ 에서 균일하게 추출한 차수 2에서 8까지의 모닉 다항식을 샘플링하는 것.
• 첫 3000개의 소수에 대해 $ C(f) = \prod_p \frac{1 - n_p(f)/p}{1 - 1/p} $ 를 계산하는 것. 여기서 $ n_p(f) $ 는 $ f $ 가 소수 $ p $ 모듈로에서 갖는 근의 수이다.
• 모든 소수 $ p $ 에 대해 식이 항상 0이 되지 않는 조건(즉, Bunyakovsky 조건)을 만족하는 다항식만 걸러내는 것.
• 히스토GRAM과 Q-Q 플롯을 이용해 $ \log C(f) $ 의 분포를 분석하여 로그정규분포 여부를 검증하는 것.
• Chinese Remainder Theorem 기법을 사용해 첫 $ k $ 개의 소수 모듈로에서 근이 없는 다항식을 구성하여 $ C(f) $ 의 상한선을 탐색하는 것.
• 다양한 차수 간 결과를 비교하고 극단치 다항식을 분석하여 계수와 상수항에 대한 패턴을 규명하는 것.

실험 결과

연구 질문

• RQ1 무작위 모닉 기약 다항식에 대해 $ C(f) $ 의 평균값이 渐近적으로 1에 매우 가까운가? 이 현상에 대한 이론적 설명은 가능한가?
• RQ2 Bunyakovsky 조건을 만족하는 다항식들 간의 $ \log C(f) $ 분포는 약간의 로그정규분포에 가깝고, 이는 서로 다른 소수에서의 국소적 요소들 간의 거의 독립성을 의미하는가?
• RQ3 고정된 차수에서 $ C(f) $ 는 임의로 클 수 있는가, 아니면 상한선이 존재하는가? 그리고 $ C(f) $ 를 최대화하는 다항식 $ f $ 의 구조적 특징은 무엇인가?
• RQ4 높은 $ C(f) $ 를 갖는 소수 풍부 다항식들은 일반적으로 같은 산술적 또는 계수 패턴을 공유하는가? 예를 들어 소수 상수항 또는 작은 소수 모듈로에서의 특정 근 분포 등.
• RQ5 C(f) 의 오일러 곱에 대한 균일 수렴 추정치를 사용해 $ C(f) $ 의 상한선을 확립할 수 있는가? 이러한 상한선은 계수 크기 $ N $ 과 어떻게 척도화되는가?

주요 결과

• 차수 2에서 8까지의 모든 기약 모닉 다항식에 대해 $ C(f) $ 의 평균값은 매우 1에 가까우며, 차수 4일 때 0.971798에서부터 차수 7일 때 1.02448까지 변동한다.
• Bunyakovsky 조건을 만족하는 다항식들에 대해 $ C(f) $ 의 평균은 상당히 높으며, 차수 2일 때 1.33525에서부터 차수 7일 때 1.41654까지 변동한다. 이는 Bunyakovsky 조건이 기대되는 소수 발생 빈도를 높임을 시사한다.
• Bunyakovsky 다항식들의 $ \log C(f) $ 분포는 히스토GRAM과 Q-Q 플롯을 통해 차수 2에서 8까지 일관되게 로그정규분포를 띤다. 이는 국소적 요소들이 거의 상호독립적임을 시사한다.
• 실험에서 발견된 가장 소수 풍부한 다항식은 $ C(f) \approx 6.86439 $ 를 가지며, 이는 계수의 크기가 큰 양수 및 음수 계수를 가진 차수 6 다항식이다.
• 높은 $ C(f) $ 를 갖는 다항식들은 일반적으로 소수이거나 큰 소수의 곱인 상수항을 가지며, 이는 전역적 나눗셈 가능성을 낮추고 국소적 소수 발생 확률을 높임을 지지한다.
• 수치 실험 결과, $ P_{30,2}(x) = 1 + x^2 \prod_{i=1}^{30} p_i $ 라는 구성된 다항식의 경우 $ C(f) $ 가 9.5를 초월할 수 있음을 보여, 고정된 차수에서 $ C(f) $ 가 상한선이 없음을 시사한다. 다만 균일한 상한선은 증명되지 않았다.