Consecutive non-square nom-primitive pairs in as finite field

1. 연구 배경 및 문제 제기 (Problem Statement)

• 주제: 유한체 $F_q$ ($q$ 는 홀수 소수 거듭제곱) 에서 연속된 두 원소가 동시에 비제곱 (non-square) 이자 비원시 (non-primitive) 인 존재성을 연구합니다.
• 정의:
  • NSNP (Non-Square Non-Primitive): $F_q$ 의 영이 아닌 원소 중 제곱수가 아니며, 동시에 $F_q^*$ 의 생성원 (primitive element) 이 아닌 원소.
  • NSNP 쌍: $x, x+1$ 형태인 연속된 두 원소가 모두 NSNP 인 경우.
• 배경:
  • 1985 년대부터 연속된 원시 수 (primitive elements) 쌍의 존재성에 대한 연구가 활발했으나, 그 보완 문제인 '연속된 비원시 수 쌍'의 존재성은 덜 연구되었습니다.
  • $q$ 가 홀수일 때, $F_q^*$ 의 절반은 이미 제곱수이므로 비원시입니다. 따라서 "비제곱이면서 동시에 비원시인 연속 쌍"의 존재 여부가 핵심 질문입니다.
• 제약 조건:
  • $\theta_q := \frac{\phi(q-1)}{q-1}$를 정의합니다 (이는 $F_q$ 내 원소 중 원소 수의 비율).
  • 만약 $\theta_q = 1/2$ (Fermat 소수 또는 $q=9$) 라면 모든 비제곱은 원소이므로 NSNP 쌍은 존재하지 않습니다. 따라서 $\theta_q$ 에 대한 제한이 필요합니다.
• 기존 연구:
  • Gun et al. [8]: $\theta_p < 1/6$일 때 존재성 증명.
  • Jarso and Trudgian [9]: $\theta_p \le 1/4$로 조건 완화 (소수체 $F_p$ 에 대해).
  • 본 논문은 이를 $\theta_q \le 1/3$ 으로 대폭 확장하고, 소수체가 아닌 일반 유한체 $F_q$ 로 일반화합니다.

2. 주요 방법론 (Methodology)

저자는 다음과 같은 수학적 도구를 활용하여 문제를 접근합니다.

1. 캐릭터 합 (Character Sums) 및 야코비 합 (Jacobi Sums):

   • $F_q$ 의 비제곱이자 $\ell$ 차 거듭제곱 (여기서 $\ell$은 $q-1$ 의 홀수 소인수) 인 원소 쌍의 개수 $N_\ell(q)$ 를 하한 (lower bound) 으로 추정합니다.
   • 특성 함수 $f_\ell(\alpha)$ 를 정의하고, 이를 야코비 합 $J(\chi_1, \chi_2)$ 로 전개하여 $N_\ell(q)$ 의 하한식을 유도합니다 (Theorem 2.1).
   • 야코비 합의 절댓값이 $\sqrt{q}$ 임을 이용하여 오차항을 통제합니다.

2. 소인수 분해 및 $\theta_q$ 분석:

   • $q-1$ 의 최소 홀수 소인수를 $\ell$로 둡니다.
   • $\ell \ge 7$인 경우와 $\ell = 3, 5$인 경우로 나누어 분석합니다.
   • $\ell \ge 7$일 때는 $q$가 충분히 크다는 것을 보여 하한식이 양수가 됨을 증명합니다.

3. 순환 수 (Cyclotomic Numbers) 및 명시적 계산:

   • $\ell = 3$ 및 $\ell = 5$인 작은 $q$ 값에 대해서는 야코비 합 기법의 하한이 부족할 수 있으므로, 6 차 및 10 차 순환 수 (Cyclotomic numbers) 의 기존 표 (Gauss, Jacobi, Whiteman 등) 를 활용합니다.
   • 특히 $\ell=3$인 경우, $N_3(q) = (3, 3)_{2\ell}$임을 보이고, $q$의 값에 따라 명시적인 공식을 적용하여 $N_3(q)$ 의 정확한 값을 계산합니다.
   • Pari/GP 를 이용한 컴퓨터 계산을 통해 소수 $q$와 소수 거듭제곱 $q$에 대한 실제 NSNP 쌍의 존재를 검증합니다.

3. 주요 결과 (Key Results)

주요 정리 (Theorem 1.1)

$q$ 를 홀수 소수 거듭제곱이라 하고 $\theta_q = \frac{\phi(q-1)}{q-1}$라 할 때:

1. $\theta_q < 1/3$인 경우: $F_q$ 는 항상 연속된 비제곱 비원수 (NSNP) 쌍을 포함합니다.
2. $\theta_q = 1/3$인 경우: $q \in \{7, 13, 19, 25, 37\}$를 제외한 모든 $q$에 대해 NSNP 쌍이 존재합니다.
   • 참고: $q=43$은 $\theta_q=1/3$이지만, $(7, 8)$이 NSNP 쌍이므로 예외가 아닙니다.

일반화된 정리 (Theorem 1.2)

$\ell$을 $q-1$의 최소 홀수 소인수라 할 때, $\theta_q \le 1/3$이면 $F_q$ 는 연속된 비제곱이자 $\ell$ 차 거듭제곱 (NS$\ell$) 쌍을 포함합니다.

• 예외: $\ell=3$이고 $q \in \{7, 13, 19, 25, 37, 43\}$인 경우.

구체적 발견:

• $\ell \ge 7$인 경우: Corollary 2.2 와 Lemma 3.3 을 통해 $q > 16\ell^4$임을 보였으며, 이는 $\theta_q \le 1/3$ 조건 하에서 항상 성립함을 증명하여 NS$\ell$ 쌍의 존재성을 보장합니다.
• $\ell = 3$인 경우: $q < 269$인 29 개의 소수 거듭제곱에 대해 직접 계산을 수행했습니다. 그 결과, 예외 집합 $\{7, 13, 19, 25, 37, 43\}$을 제외한 모든 $q$에서 NS3 쌍이 존재함을 확인했습니다 (Table 2, Table 3 참조).
• $\ell = 5$인 경우: $q \equiv 11 \pmod{30}$인 작은 $q$ 값들 ($911, 1331, 2381, 3221, 3851$) 에 대해 Pari/GP 계산을 통해 NS5 쌍이 존재함을 확인했습니다.

4. 의의 및 기여 (Significance)

1. 조건 완화: 기존 연구 (Jarso & Trudgian) 의 $\theta_p \le 1/4$ 조건을 $\theta_q \le 1/3$ 으로 완화하여, 원소 중 비제곱 비원수 쌍이 존재할 수 있는 범위를 크게 넓혔습니다.
   • 해석: $\theta_q \le 1/3$은 NSNP 원소의 개수가 원소 개수의 적어도 $1/6$ (즉, 원소 수의 절반의 $1/3$) 이상임을 의미하며, 이는 연속 쌍 존재성을 보장하기에 충분한 밀도입니다.
2. 일반화: 소수체 ($F_p$) 에 국한되었던 결과를 일반 유한체 ($F_q$) 로 확장했습니다.
3. 정밀한 분류: $\theta_q = 1/3$인 임계값에서 정확히 어떤 $q$ 값들이 예외인지 (예외 집합) 를 명시적으로 규명했습니다.
4. 방법론적 통합: 야코비 합에 의한 하한 추정 (점근적 결과) 과 순환 수를 이용한 명시적 계산 (유한한 경우) 을 결합하여 문제를 완전히 해결했습니다.

5. 결론 및 향후 과제

• 결론: $\theta_q \le 1/3$ 조건 하에서 (일부 소수 $q$ 제외), 유한체 $F_q$ 에는 항상 연속된 비제곱 비원수 쌍이 존재합니다.
• 향후 질문 (Question 7.1 - 7.3):
  • $q$ 가 2 의 거듭제곱 (짝수) 인 경우의 조건은 무엇인가?
  • $\ell \ge 7$인 경우 $\theta_q \le 1/3$ 조건이 너무 엄격하지는 않은가? (예: $\theta_q < \frac{\ell-1}{2\ell}$ 등 더 약한 조건 가능 여부).
  • 3 개의 연속된 NSNP 원소 존재성을 보장하는 조건은 무엇인가?

이 논문은 유한체 내의 원소 분포와 연속성 문제에 대한 이해를 심화시키는 중요한 기여를 했으며, 수론적 조합론 및 유한체 이론 분야에서 중요한 기준을 제시했습니다.