$(a,a)$-Carmichael numbers and greatest common divisors of $p-a$

기술 요약: $(a, a)$-카마이클 수와 $P - A$의 최대공약수

문제 정의
본 논문은 $(a, a)$-카마이클 수의 분포와 구성을 다룬다. 합성수이자 제곱 없는 정수 $n$이 모든 소인수 $p$에 대하여 $p - a \mid n - a$를 만족할 때, 이를 $(a, a)$-카마이클 수라고 정의한다. 이는 $p-1 \mid n-1$을 만족하는 고전적인 카마이클 수(여기서 $a=1$)의 정의를 일반화한 것이다.

핵심적인 연구 문제는 항 $p - a$들의 최대공약수(GCD)가 유계(bounded)인 $(a, a)$-카마이클 수가 무한히 존재하는지 여부이다. 구체적으로, 주어진 $(a, a)$-카마이클 수 $n$의 소인수를 $p_1, \dots, p_m$이라 할 때, $K = \gcd(p_1 - a, \dots, p_m - a)$라고 하자. 본 논문은 $K = \nu$인 $X$ 이하의 $(a, a)$-카마이클 수의 개수 $C_\nu(X, a)$에 대한 하한을 결정하고자 한다.

이 탐구는 더 넓은 미해결 문제, 즉 고정된 소수 $Q$를 약수로 갖는 $(a, a)$-카마이클 수가 무한히 존재하는가라는 문제로 나아가기 위한 중간 단계로서 프레임이 설정되었다. 기존의 카마이클 수 구성 방식(예: Alford, Granville, Pomerance [1])은 일반적으로 $n$이 증가함에 따라 GCD $K$가 성장해야 했으며, 이는 고정된 소수를 약수로 갖는 무한한 수의 구성을 방해했다. 저자는 $K$를 일정하게 유지하면서도($K=\nu$) 이러한 수들의 큰 집합을 생성할 수 있음을 보여주고자 한다.

방법론
증명은 [1], [17], [18]에서 사용된 표준적인 조합론적 접근 방식을 수정한 조건부 구성 프레임워크에 의존한다. 이 방법론은 다음과 같은 핵심 요소들을 포함한다:

1. 조건부 가정: 결과는 산술 급수 내의 첫 번째 소수에 관한 Heath-Brown의 추측을 약화시킨 버전인 Conjecture 2에 조건부로 성립한다. 이 추측은 임의의 $A \ge 2$에 대하여, $l$이 충분히 크고 $(b, l) = 1$일 때, $p < l(\log l)^A$를 만족하는 $p \equiv b \pmod l$인 소수 $p$가 존재함을 상정한다. 이는 산술 급수 내에서 작은 승수(multiplier)의 존재를 보장한다.

2. 소수 집합의 이중 구성:

   • 저자는 구간 $[z/2, z]$에 있는 소수 $r$들의 곱으로부터 유도된 두 개의 서로소인 소수 집합 $Q_1$과 $Q_2$를 구성한다.
   • 이 집합들은 큰 정수 $L_1$과 $L_2$를 형성하는 데 사용된다. 결정적으로, 이 구성은 카마이클 람다 함수 $\lambda(L_1 L_2)$가 $L_1 L_2$에 비해 매우 작음($\lambda(L_1 L_2) \le e^{4/5 z}$)을 보장한다.
   • 각각 $L_1$과 $L_2$에 대한 법(modulo) 산술 급수를 기반으로 두 소수 집합 $P_{k_1}$과 $P_{k_2}$를 정의한다. 매개변수 $k_1$과 $k_2$는 $P_{k_1}$의 소수들이 $d_1 k_1 \nu + a$ 형태이고 $P_{k_2}$의 소수들이 $d_2 k_2 \nu + a$ 형태가 되도록 작은 정수로 선택된다.

3. 조합론적 선택:

   • $(\mathbb{Z}/M\mathbb{Z})^\times$에서의 영합 부분 수열(zero-sum subsequences)에 관한 van Emde Boas, Kruyswijk, Meshulam의 정리를 사용하여, 저자는 특정 합동 조건을 만족하는 $P_{k_1}$과 $P_{k_2}$ 내의 소수들의 부분 집합(그 곱을 각각 $n_1, n_2$라 함)이 존재함을 입증한다.
   • 구체적으로, $n_1 \equiv 1 \pmod{L_1 L_2 k_1 k_2 k_3 \nu}$ 및 $n_2 \equiv 1 \pmod{L_1 L_2 k_1 k_2 k_3 \nu}$를 만족한다. 여기서 $P = L_1 L_2 k_1 k_2 k_3 \nu + a$는 추측을 통해 발견된 특정 소수이다.

4. 최종 구성:

   • 최종 $(a, a)$-카마이클 수는 $n = P n_1 n_2$로 구성된다.
   • 이 구조는 $n$의 임의의 소인수 $p$에 대하여 $p - a$가 $n - a$를 나눔을 보장한다.
   • 결정적인 보조정리는 이 구성을 통해 서로 다른 집합에서 온 소수들 $p_1, p_2$에 대해 $\gcd(p_1 - a, p_2 - a) = \nu$가 됨을 증명하며, 이를 통해 전역적 GCD $K$가 정확히 $\nu$임을 보장한다.

주요 기여 및 결과
본 논문의 주요 결과는 고정된 GCD $\nu$를 갖는 $(a, a)$-카마이클 수의 개수에 대한 하한을 설정하는 Theorem 1이다.

• 정리: Conjecture 2가 성립한다고 가정할 때, 임의의 정수 $a$와 $(a, \nu) = 1$이며 $a, \nu$의 기우성(parity)이 반대인 자연수 $\nu$에 대하여 다음이 성립한다:
  $$C_\nu(X, a) \ge X^{1 - (2+o(1)) \frac{\log \log \log \log X}{\log \log \log X}}$$
• 하한의 의의: 이 하한은 저자가 [17]에서 고전적인 카마이클 수의 총 개수($C(X, 1)$)에 대해 이미 확립했던 것과 동일하다.
• 전통적 방식으로부터의 탈피: $n$이 증가함에 따라 충분한 소수의 존재를 보장하기 위해 GCD $K$가 반드시 성장해야 했던 기존의 구성 방식과 달리, 이 결과는 $K = \nu$로 고정하면서도 "최선에 가까운" 하한을 달성할 수 있음을 보여준다.

의의 및 주장
본 논문은 이 결과가 카마이클 수 연구의 기존 방법론으로부터 유의미한 탈피임을 주장한다.

• 유계된 GCD: 이는 $K = \nu$인 $(a, a)$-카마이클 수의 개수가 무시할 만한 수준이 아니라, 전체 카마이클 수 집합과 동일한 점근적 차수를 가짐을 보여줌으로써 특정 질문(서론의 질문 5)을 해결한다.
• 미해결 문제에 대한 시사점: 비록 본 논문이 고정된 소수 $Q$를 약수로 갖는 $(a, a)$-카마이클 수가 무한히 존재하는지에 대한 완전한 질문은 여전히 미해결 상태임을 인정하지만, 이 결과는 유계된 GCD 제약이 그러한 수들의 밀도를 크게 감소시키지 않는다는 점을 시사한다.
• 최적성: 저자는 도출된 하한이 Pomerance가 제안한 전체 카마이클 수의 추측된 상한에 근접해 있음을 언급하며, 이는 유계된 $K$를 갖는 $(a, a)$-카마이클 수의 집합이 전체 집합의 상당 부분을 차지하고 있음을 시사한다.

본 논문은 이러한 수들의 무한성을 무조건적으로(unconditionally) 증명하거나 고정된 소수 $Q$에 대한 문제를 직접 해결한다고 주장하지 않는다. 대신, "유계된 GCD"라는 제약이 카마이클 수의 높은 밀도와 양립 가능하다는 것을 조건부 증명을 통해 제공한다.