[논문 리뷰] On Gaps Between Primitive Roots in the Hamming Metric

Rainer Dietmann, Christian Elsholtz외 1명|arXiv (Cornell University)|2012. 07. 03.

Analytic Number Theory Research참고 문헌 22인용 수 4

한 줄 요약

이 논문은 소수 $p$ 모듈로 정수와 원시 근 사이의 해밍 거리를 연구하여, 임의의 정수 $n \in [1,p]$ 가 최대 $0.11002786\ldots r$ 비트를 뒤집음으로써 원시 근으로 변환될 수 있음을 보이며, 여기서 $r$ 은 $p$ 의 비트 수이다. 이는 고전적인 버거스 추정을 개선하고 해밍 거리 체계에서 원시 근과 이차 비잔승의 희박성 및 분포에 대해 더 강한 추정을 수립한다.

ABSTRACT

We consider a modification of the classical number theoretic question about the gaps between consecutive primitive roots modulo a prime $p$, which by the well-known result of Burgess are known to be at most $p^{1/4+o(1)}$. Here we measure the distance in the Hamming metric and show that if $p$ is a sufficiently large $r$-bit prime, then for any integer $n \in [1,p]$ one can obtain a primitive root modulo $p$ by changing at most $0.11002786...r$ binary digits of $n$. This is stronger than what can be deduced from the Burgess result. Experimentally, the number of necessary bit changes is very small. We also show that each Hilbert cube contained in the complement of the primitive roots modulo $p$ has dimension at most $O(p^{1/5+ε})$, improving on previous results of this kind.

연구 동기 및 목표

• 해밍 거리 체계 하에서 소수 $p$ 모듈로 임의의 정수를 원시 근으로 변환하기 위해 필요한 최소 비트 뒤집기 수를 조사한다.
• 해석적 거리가 아닌 해밍 거리 체계를 사용하여 원시 근 간격에 대한 고전적 버거스 추정 $p^{1/4+o(1)}$ 을 개선한다.
• 최소 해밍 무게를 제약함으로써 원시 근과 이차 비잔승의 희박성을 분석한다.
• 소수 $p$ 모듈로 원시 근 또는 이차 비잔승의 여집합에 완전히 포함된 힐버트 큐브의 최대 차원을 연구한다.
• 이러한 추정이 이진 공간 내 수론적 집합의 분포 및 조밀도에 미치는 영향을 탐구한다.

제안 방법

• 주어진 $n$ 을 중심으로 반경 $s$ 인 해밍 볼 내 정수에서의 캐릭터 합 추정을 사용하여 원시 근의 조밀도를 분석한다.
• [22] 및 [1] 의 결과를 적용하여 해밍 이웃에서의 지수 합을 제약하며, 이진 엔트로피 함수 $H(\gamma)$ 를 활용한다.
• $H(\rho) = 1/2$ 를 만족하는 $[0, 1/2]$ 내의 유일한 해를 $\rho_0$ 로 정의하여 원시 근에 도달하기 위한 최적의 비트 뒤집기 임계값을 결정한다.
• 해밍 볼의 크기를 모델링하기 위해 이진 엔트로피 함수 $H(\gamma) = \frac{-\gamma\log\gamma - (1-\gamma)\log(1-\gamma)}{\log 2}$ 를 사용한다.
• [2] 의 최근 결과를 적용하여 이차 비잔승의 최소 해밍 무게 $w_p$ 에 대한 추정을 정밀화한다.
• $\mathbb{F}_p$ 내의 힐버트 큐브 $\mathcal{H}(a_0; a_1, \dots, a_d)$ 를 분석하여 원시 근을 피하는 큐브의 최대 차원 $F(p)$ 를 제약한다.

실험 결과

연구 질문

• RQ1 일반화된 리만 가설 하에서 $\Delta_p \leq (\rho_0 + o(1))r$ 의 추정을 더 개선할 수 있는가?
• RQ2 $x \to \infty$ 일 때, 점차적 조밀도 $f_i(x) = \frac{1}{\pi(x)}\#\{p \leq x : \Delta_p = i\}$ 가 수렴하는가?
• RQ3 $\Delta_p$ 는 모든 소수 $p$ 에 대해 유계인지, 아니면 $p$ 와 함께 증가하는가?
• RQ4 $w_p \leq 2$ 가 대부분의 소수에서 성립하는가? 즉, $\lim_{x\to\infty} \frac{1}{\pi(x)} \sum_{p\leq x} w_p = \frac{3}{2}$ 인가?

주요 결과

• 논문은 $p \to \infty$ 일 때 $\Delta_p \leq (\rho_0 + o(1))r$ 를 증명하며, 여기서 $\rho_0 \approx 0.11002786$ 는 $H(\rho) = 1/2$ 의 유일한 근이며, 고전적 버거스 추정 $p^{1/4+o(1)}$ 보다 크게 개선된다.
• 이차 비잔승의 최소 해밍 무게 $w_p$ 에 대해 $w_p \leq (\vartheta_0 + o(1))r$ 를 확립하며, 여기서 $\vartheta_0 = \frac{1}{8\sqrt{e}} \approx 0.07581633$ 이다.
• 원시 근을 피하는 힐버트 큐브의 최대 차원 $F(p)$ 는 $F(p) \leq p^{1/5 + o(1)}$ 를 만족하며, 이는 이전의 $12p^{1/4}$ 추정보다 개선된 것이다.
• 계산적 증거에 따르면, $p \leq 10^6$ 인 대부분의 소수에서 $\Delta_p = 2$ 이며, $3 \times 10^6$ 이하에서 $\Delta_p = 3$ 인 소수는 24개뿐이며, $\Delta_p \geq 4$ 인 소수는 전혀 없다.
• 최소 해밍 무게 $w_p = 1$ 인 소수의 비율은 약 $1/2$ 이며, $W_p = 1$ (즉, $2$ 가 원시 근임) 인 소수의 비율은 예상되는 아르틴 상수 $A \approx 0.3739558$ 과 약간 유사하여 이론적 기대를 확인한다.
• 일반화된 리만 가설 하에서 $w_p$ 의 추정은 $O(\log r)$ 으로 개선될 수 있으며, $W_p$ 도 $O(\log r)$ 로 제약될 수 있어 원시 근을 보장하는 집합의 효율적 구성 가능성을 시사한다.