A counterexample to a conjecture of Thakur on Carlitz-Wieferich primes

기술 요약: Thakur의 Carlitz–Wieferich 소수에 관한 추측에 대한 반례

문제 정의
본 논문은 홀수 표수를 가진 유한체 상의 함수체 맥락에서 Carlitz–Wieferich 소수에 관한 추측을 다룬다. $p$를 홀수 소수, $q = p^k$, $A = \mathbb{F}_q[T]$라고 하자. 단조 소수(monic prime) $P \in A$는 $\rho_P(1) \equiv 1 \pmod{P^2}$를 만족할 때 (기저 1에 대한) c-Wieferich 소수로 정의된다 (여기서 $\rho$는 Carlitz 모듈이다). 이 조건은 고전적인 Wieferich 소수 조건 $2^{p-1} \equiv 1 \pmod{p^2}$의 함수체 대응물이다.

2015년, Dinesh Thakur는 차수가 2와 3인 경우에 대한 증명과 제한된 수치 데이터를 바탕으로, 홀수 표수에서는 모든 c-Wieferich 소수가 $p$로 나누어지는 차수 $d$를 가져야 한다는 것을 추측했다. 이 추측은 2024년에 미해결 문제로 재진술되었으며, 이후 Bamunoba와 Bergström의 광범위한 계산 작업은 홀수 표수에서 이 명제가 참이라는 믿음을 뒷받침했다. 본 논문은 이 추측의 타당성을 검증하는 것을 목표로 한다.

방법론
독립 연구자인 저자는 반례를 찾기 위해 동반 논문 [4]에서 개발된 체계적인 계산 방법을 채택하였다. 방법론은 다음과 같다:

1. 유한 계산으로의 환원: 주어진 홀수 표수에서 주어진 차수 $d$를 갖는 c-Wieferich 소수의 존재 여부를 확장체 내의 trace-zero 원소들을 포함하는 유한하고 효과적인 계산으로 환원한다.
2. 정밀 산술: 모든 계산은 표준 공개 컴퓨터 대수 시스템(SageMath, PARI/GP, FLINT, 및 galois Python 라이브 library)을 사용하여 정밀 산술(floating-point 근사치를 사용하지 않음)로 수행되었다.
3. 검증: 결과는 독립적인 엔진에서 재현되었으며, 알려진 c-Wieferich 소수(예: $\mathbb{F}_3[T]$ 및 $\mathbb{F}_5[T]$의 소수) 및 일반 소수와 비교하여 교정되었다.
4. 협업 워크플로우: 연구 방향과 구조적 해석은 저자가 제공하였으며, AI 어시스턴트(Claude Opus 4.8)는 수학적 도메인 지식, 공식화, 초안 작성 및 계산 실행을 담당하였다.

주요 기여 및 결과

1. 추측의 반증:
   본 논문은 홀수 표수에서 Thakur의 추측에 대한 결정적인 반례를 제시한다. 저자들은 $\mathbb{F}_{19^3} = \mathbb{F}_{19}[c]$ (여기서 $c^3 = 8c^2 + 4c + 11$) 위에서 차수가 5인 기약 c-Wieferich 소수 $P(T)$를 구성하였다.
   해당 다항식은 다음과 같다:
   $$P(T) = T^5 + (11 + 17c + 9c^2)T^4 + (3 + 7c + 18c^2)T^3 + (2 + 5c + 6c^2)T^2 + (3 + 3c + 11c^2)T + (6 + 17c + 5c^2)$$
   결정적으로, 차수 $d=5$는 표수 $p=19$로 나누어지지 않는다 ($19 \nmid 5$). 이는 추측에 직접적으로 반한다.

2. 공통 인자에 대한 폐쇄형(Closed Form):
   본 논문은 $[5]$ (차수가 5를 나누는 모든 단조 소수의 곱)와 $M_5$ ($c$-Wieferich 조건과 관련된 특정 다항식)의 최대 공약수에 대한 폐쇄형을 도출한다.
   $q = 19^3$일 때, $\mu(X) = X^5 + 5X^3 + 3X^2 - 4X - 9 \in \mathbb{F}_{19}[X]$인 다항식 $G = \mu(T^q - T)$는 다음과 같은 성질을 갖는다:

• 차수가 $5 \cdot 19^3 = 34,295$인 squarefree 다항식이다.
• 정확히 6,859개의 서로 다른 차수 5의 c-Wieferich 소수($P(T)$의 translation class)의 곱이다.
• $\mathbb{F}_{19^3}[T]$에서 $\gcd([5], M_5)$와 같다.

3. 차수의 최소성:
   본 논문은 홀수 표수에서 이러한 반례가 가질 수 있는 최소 차수가 5임을 입증한다:

• 차수 1, 2, 3은 기존 결과(Thakur [6])에 의해 제외된다.
• 차수 4는 모든 홀수 표수에서 c-Wieferich 소수가 존재하지 않음이 증명되었다 (동반 논문 [4]에서 증명된 정리 5.1).

4. 소수체(Prime Fields)에서의 부존재 (상당한 범위 내):
   저자들은 $q=p$인 소수체 $\mathbb{F}_p$ 위에서 반례가 존재하는지 확인하기 위해 철저한 계산을 수행하였다. 명제 5.2는 상당한 범위의 차수와 표수(예: $p \in \{3, 7, 11, \dots, 37\}$에 대해 차수 5) 내에서 $p \nmid d$인 $\mathbb{F}_p$ 위의 c-Wieferich 소수가 존재하지 않음을 보고한다. 알려진 반례는 소수체가 아닌 3차 확장체($q=19^3$)를 필요로 한다.

의의 및 주장
본 논문은 홀수 설정에서 c-Wieferich 소수의 차수가 표수로 나누어진다는 것에 관한 열린 문제를 해결한다고 주장한다. 이는 해당 현상이 표수 2에 국한되지 않음을 보여주며, 홀수 표수에서도 Thakur의 추측이 거짓임을 입증한다.

결과의 의의는 두 가지이다:

1. 더 강한 기대에 대한 반박: 이 반례는 "비고정적(non-fixed)"이다. 즉, 가법적 평행이동에 대해 불변이 아니다 ($P(T) \neq P(T+\gamma)$). 이전의 홀수 표수 계산 탐색은 "고정된(fixed)" 예시만을 찾아냈는데, 이들은 반드시 $p$로 나누어지는 차수를 갖는다. 이 결과는 홀수 표수에서 비고정적 c-Wieferich 소수가 존재하지 않을 것이라는 더 강한 기대에 대해 부정적인 답을 준다.
2. 구조적 통찰: 공통 인자 $\gcd([5], M_5)$에 대한 폐쇄형 표현의 발견은 이 소수들의 분포에 대한 더 깊은 구조적 이해를 제공하며, 이들이 소수체 $\mathbb{F}_{19}$의 계수를 가진 다항식에 의해 생성되는 완전한 translation class를 형성함을 보여준다.

본 논문은 이 예시가 $\approx 2.2 \times 10^{15}$개의 후보를 가진 방대한 탐색 공간을 무차별 대입(brute-force)으로 찾은 것이 아니라, 문제를 유한한 계산으로 환원하는 체계적인 방법을 통해 발견되었음을 명시한다. 저자들은 소수체 위에서 이러한 반례가 존재할 가능성이 현재의 계산적 한계를 넘어서는 영역에서 여전히 열린 문제로 남아 있음을 언급하였다.