2025-11-10T02:57:02.611382

Carmichael Numbers in All Possible Arithmetic Progressions

Larsen

We prove that every arithmetic progression either contains infinitely many Carmichael numbers or none at all. Furthermore, there is a simple criterion for determining which category a given arithmetic progression falls into. In particular, if $m$ is any integer such that $(m,2Ï(m))=1$ then there exist infinitely many Carmichael numbers divisible by $m$. As a consequence, we are able to prove that $\liminf_{n\text{ Carmichael}}\frac{Ï(n)}{n}=0$, resolving a question of Alford, Granville, and Pomerance.

academic

모든 가능한 등차수열에서의 카마이클 수

기본 정보

논문 ID: 2504.09056
제목: Carmichael Numbers in All Possible Arithmetic Progressions
저자: Daniel Larsen
분류: math.NT (정수론)
발표 시간: 2025년 4월 (arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2504.09056

초록

본 논문은 모든 등차수열이 무한히 많은 카마이클 수를 포함하거나 하나도 포함하지 않음을 증명한다. 더욱이, 주어진 등차수열이 어느 범주에 속하는지 결정하기 위한 간단한 판별 기준을 제시한다. 특히, $(m,2\phi(m))=1$ 을 만족하는 임의의 정수 $m$ 에 대해, $m$ 으로 나누어지는 무한히 많은 카마이클 수가 존재한다. 그 결과로, $\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n}=0$ 을 증명하여 Alford, Granville, Pomerance가 제시한 문제를 해결한다.

연구 배경 및 동기

문제 배경

카마이클 수는 모든 정수 $a$ 에 대해 $a^n \equiv a \pmod{n}$ 을 만족하는 특수한 합성수이다. Korselt 준칙에 따르면, 무제곱 합성수 $n$ 이 카마이클 수인 것은 $n$ 을 나누는 모든 소수 $p$ 에 대해 $p-1$ 이 $n-1$ 을 나누는 것과 동치이다.

연구 동기

분포 문제: 1994년 Alford, Granville, Pomerance가 카마이클 수가 무한히 많음을 증명했지만, 등차수열에서의 분포 문제는 완전히 해결되지 않았다.
고전적 문제: Banks는 "고정된 정수 $m>1$ 이 무한히 많은 카마이클 수를 나누는가"를 "고전적 문제"라고 명명했다.
이론 완성: 소수의 등차수열 분포 연구와 유사하게, 카마이클 수의 분포 연구는 정수론 이론의 완성에 중요한 의미를 갖는다.

기존 방법의 한계

고전적인 Alford-Granville-Pomerance (AGP) 방법은 고정된 정수로 나누어지는 카마이클 수 구성 문제를 직접 처리할 수 없다. 왜냐하면 $m$ 을 직접 곱하면 Korselt 준칙의 모듈로 $k$ 조건이 깨지기 때문이다.

핵심 기여

완전한 특성화: 모든 등차수열이 무한히 많은 카마이클 수를 포함하거나 완전히 포함하지 않음을 증명하여 완전한 이분류를 제시한다.
판별 기준: 검증하기 쉬운 세 가지 조건을 포함하는 간단한 "카마이클 호환성" 판별 기준을 제공한다.
존재성 정리: $(m,2\phi(m))=1$ 을 만족하는 임의의 정수 $m$ 에 대해, $m$ 으로 나누어지는 무한히 많은 카마이클 수가 존재함을 증명한다.
밀도 하한: 카마이클 호환 등차수열에 대해, $x$ 보다 작은 카마이클 수 중 최소 $x^{1/168-\epsilon}$ 개가 존재함을 증명한다.
극한 문제: AGP가 제시한 $\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n}=0$ 문제를 해결한다.

방법 상세 설명

작업 정의

주어진 등차수열 $r \pmod{m}$ 에 대해, 무한히 많은 카마이클 수를 포함하는지 판단하고, 포함하는 경우 밀도 하한을 제시한다.

카마이클 호환성 정의

$g = (r,m)$ , $h = (\lambda(g),m)$ 이라 하면, 등차수열 $r \pmod{m}$ 이 카마이클 비호환인 것은 다음 조건 중 하나를 만족하는 경우이다:

$(g, 2\phi(g)) > 1$
$h \nmid r - 1$
$36 | m$ , $r \equiv 3 \pmod{12}$ , 그리고 $r/g \equiv 5$ 또는 $7 \pmod{12}$

그 외의 경우는 카마이클 호환이라 한다.

핵심 방법 프레임워크

이중 소수 집합 구성

본 논문의 핵심 혁신은 AGP 방법의 단일 소수 집합 대신 두 개의 소수 집합을 사용하는 것이다:

적절한 정수 $k_1, k_2, L_1, L_2$ 에 대해 다음을 구성한다:

$P_1 := \{dk_1 + 1 : d \in D_1\}$
$P_2 := \{dk_2 + 1 : d \in D_2\}$

여기서 $D_1, D_2$ 는 각각 $L_1, L_2$ 의 약수에서 선택된다.

모듈로 제약 처리

다음 조건을 만족하는 $\Pi_1, \Pi_2$ 를 찾는다:

$\Pi_1 \equiv 1 \pmod{L_1}$ 이고 $\Pi_1 \equiv \frac{1}{m} \pmod{k_2L_2}$
$\Pi_2 \equiv 1 \pmod{L_2}$ 이고 $\Pi_2 \equiv \frac{1}{m} \pmod{k_1L_1}$
$\Pi_1, \Pi_2 \equiv 1 \pmod{\phi(m)}$

그러면 $m\Pi_1\Pi_2$ 는 Korselt 준칙을 만족한다.

기술적 혁신점

1. 부분군 탈출 방법

고정된 위수 문자를 처리하기 위해 개선된 큰 체 방법을 사용하여 소수 집합이 진부분군에 집중되는 것을 피한다:

명제 6 (개선된 큰 체 부등식): $M$ 을 $r$ 제곱 무관 양의 정수 집합, $Q$ 를 유한 양의 정수 집합이라 하면, $\sum_{q\in Q} \sum_{\chi \bmod q, \chi^r=\chi_0}^* \left|\sum_{m\in M} \chi(m)\right|^2 \ll Q^{1-\frac{1}{r}}M^4 + Q'|M|$

2. 등분포 제어

성질 7*을 통해 문자 작용 하에서 소수 집합의 등분포성을 보장한다: $Q_i$ 의 최대 $y^{\rho}$ 개 원소의 곱 $n$ 에 대해, 임의의 비주 문자 $\chi \bmod n$ 과 실수 $\beta$ 에 대해, 최소 $\frac{y^{\theta}}{y^{3\iota}}$ 개의 $q \in Q_{3-i}$ 가 $|\beta_q - \beta| \geq \frac{1}{2y^{\rho+\iota}}$ 를 만족한다.

3. 대수적 정수론 도구

$r$ 제곱 상호법칙과 이상 문자 이론을 사용하여 고차 문자의 분포 문제를 처리한다.

실험 설정

매개변수 선택

$y$ : 카마이클 수의 크기를 결정하는 큰 매개변수
$\iota$ : 오차항을 결정하는 매우 작은 양수
$\delta = \frac{1}{6}$ , $\theta = \frac{1}{6} - 2\iota$ , $\rho = \frac{1}{24} - 2\iota$
$\kappa, T$ : 큰 정수 상수 (예: 100)