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

要約

本論文は、すべての等差数列が無限個のカーマイケル数を含むか、あるいは1つも含まないかのいずれかであることを証明した。さらに、与えられた等差数列がどちらのクラスに属するかを判定する簡潔な判別基準を提供する。特に、 $(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$ 条件が破壊されるからである。

核心的貢献

完全な特性化：すべての等差数列が無限個のカーマイケル数を含むか、あるいは完全に含まないかのいずれかであることを証明し、完全な二分類を与えた。
判別基準：簡潔な「カーマイケル両立性」判別基準を提供し、3つの容易に検証可能な条件を含む。
存在定理： $(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方法の単一素数集合ではなく2つの素数集合を使用することである：

適切な整数 $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. 等分布制御

Property 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）