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

Technische Zusammenfassung: $(a, a)$-Carmichael-Zahlen und der größte gemeinsame Teiler von $P - a$

Problemstellung
Die Arbeit befasst sich mit der Verteilung und Konstruktion von $(a, a)$-Carmichael-Zahlen. Eine zusammengesetzte, quadratfreie ganze Zahl $n$ wird als $(a, a)$-Carmichael-Zahl definiert, wenn für jeden Primfaktor $p$ von $n$ die Bedingung $p - a \mid n - a$ gilt. Dies verallgemeinert die klassische Definition von Carmichael-Zahlen (wobei $a=1$), welche die Bedingung $p-1 \mid n-1$ erfüllen.

Die zentrale Untersuchung befasst sich mit der Frage, ob es unendlich viele solcher Zahlen gibt, die einen beschränkten größten gemeinsamen Teiler (ggT) der Terme $p - a$ besitzen. Konkret wird für eine gegebene $(a, a)$-Carmichael-Zahl $n$ mit den Primfaktoren $p_1, \dots, p_m$ der Wert $K = \gcd(p_1 - a, \dots, p_m - a)$ betrachtet. Die Arbeit sucht nach einer unteren Schranke für $C_\nu(X, a)$, die Anzahl der $(a, a)$-Carmichael-Zahlen bis $X$, bei denen $K = \nu$ gilt.

Diese Untersuchung ist als Zwischenschritt zu einer breiteren offenen Frage formuliert: ob es unendlich viele $(a, a)$-Carmichael-Zahlen gibt, die durch eine feste Primzahl $Q$ teilbar sind. Frühere Konstruktionen von Carmichael-Zahlen (z. B. Alford, Granville und Pomerance [1]) erforderten im Allgemeinen, dass der ggT $K$ mit steigendem $n$ wächst, was die Konstruktion unendlich vieler Zahlen, die durch eine feste Primzahl teilbar sind, verhinderte. Der Autor strebt aufzuzeigen, dass $K$ konstant gehalten werden kann (speziell $K=\nu$), während gleichzeitig eine große Menge solcher Zahlen erzeugt wird.

Methodik
Der Beweis stützt sich auf ein konditionales Konstruktionsverfahren, das den Standard-kombinatorischen Ansatz aus [1], [17] und [18] modifiziert. Die Methodik umfasst die folgenden Schlüsselkomponenten:

1. Konditionale Annahme: Die Ergebnisse sind abhängig von Konjektur 2, einer abgeschwächten Version einer Vermutung von Heath-Brown bezüglich der ersten Primzahl in einer arithmetischen Progression. Die Konjektur besagt, dass für jedes $A \ge 2$, falls $l$ hinreichend groß und $(b, l) = 1$ ist, eine Primzahl $p \equiv b \pmod l$ existiert, sodass $p < l(\log l)^A$. Dies gewährleistet die Existenz kleiner Multiplikatoren in arithmetischen Progressionen.

2. Duale Konstruktion von Primzahlmengen:

   • Der Autor konstruiert zwei disjunkte Mengen von Primzahlen, $Q_1$ und $Q_2$, die aus Produkten von Primzahlen $r$ im Bereich $[z/2, z]$ abgeleitet sind.
   • Diese Mengen werden verwendet, um große ganze Zahlen $L_1$ und $L_2$ zu bilden. Entscheidend ist, dass die Konstruktion sicherstellt, dass die Carmichael-Lambda-Funktion $\lambda(L_1 L_2)$ extrem klein im Verhältnis zu $L_1 L_2$ ist (speziell $\lambda(L_1 L_2) \le e^{4/5 z}$).
   • Zwei Mengen von Primzahlen, $P_{k_1}$ und $P_{k_2}$, werden basierend auf arithmetischen Progressionen modulo $L_1$ bzw. $L_2$ definiert. Die Parameter $k_1$ und $k_2$ werden als kleine ganze Zahlen gewählt, sodass die Primzahlen in $P_{k_1}$ der Form $d_1 k_1 \nu + a$ entsprechen und die Primzahlen in $P_{k_2}$ der Form $d_2 k_2 \nu + a$.

3. Kombinatorische Auswahl:

   • Unter Verwendung eines Theorems von van Emde Boas, Kruyswijk und Meshulam bezüglich Nullsummen-Teilmengen in $(\mathbb{Z}/M\mathbb{Z})^\times$, zeigt der Autor auf, dass Teilmengen von Primzahlen innerhalb von $P_{k_1}$ und $P_{k_2}$ existieren, deren Produkte $n_1$ und $n_2$ spezifische Kongruenzbedingungen erfüllen.
   • Konkret gilt $n_1 \equiv 1 \pmod{L_1 L_2 k_1 k_2 k_3 \nu}$ und $n_2 \equiv 1 \pmod{L_1 L_2 k_1 k_2 k_3 \nu}$, wobei $P = L_1 L_2 k_1 k_2 k_3 \nu + a$ eine spezifische Primzahl ist, die mittels der Konjektur gefunden wird.

4. Finale Konstruktion:

   • Die finale $(a, a)$-Carmichael-Zahl wird als $n = P n_1 n_2$ konstruiert.
   • Die Struktur stellt sicher, dass für jeden Primfaktor $p$ von $n$ die Bedingung $p - a \mid n - a$ erfüllt ist.
   • Ein kritisches Lemma beweist, dass für diese Konstruktion $\gcd(p_1 - a, p_2 - a) = \nu$ für Primzahlen aus den unterschiedlichen Mengen gilt, wodurch der globale ggT $K$ exakt $\nu$ ist.

Wesentliche Beiträge und Ergebnisse
Das primäre Ergebnis ist Theorem 1, welches eine untere Schranke für die Anzahl der $(a, a)$-Carmichael-Zahlen mit einem festen ggT $\nu$ festlegt.

• Theorem: Unter der Annahme, dass Konjektur 2 gilt, so dass für jede ganze Zahl $a$ und jede natürliche Zahl $\nu$ mit $(a, \nu) = 1$ und $a, \nu$ unterschiedliche Parität besitzen:
  $$C_\nu(X, a) \ge X^{1 - (2+o(1)) \frac{\log \log \log \log X}{\log \log \log X}}$$
• Bedeutung der Schranke: Diese untere Schranke ist identisch mit derjenigen, die der Autor zuvor in [17] für die Gesamtzahl der klassischen Carmichael-Zahlen ($C(X, 1)$) etabliert hat.
• Abweichung von der Tradition: Im Gegensatz zu traditionellen Konstruktionen, bei denen der ggT $K$ mit $n$ wachsen muss, um die Existenz genügend vieler Primzahlen zu gewährleisten, zeigt dieses Ergebnis, dass man $K = \nu$ fest halten kann und dennoch eine untere Schranke erreicht, die „nah am Bestmöglichen“ liegt.

Bedeutung und Behauptungen
Die Arbeit behauptet, dass dieses Ergebnis eine signifikante Abkehr von bisherigen Methoden in der Untersuchung von Carmichael-Zahlen darstellt.

• Beschränkter ggT: Es löst eine spezifische Zwischenfrage (Frage 5 in der Einleitung), indem es zeigt, dass die Anzahl der $(a, a)$-Carmichael-Zahlen mit einem beschränkten ggT $\nu$ nicht vernachlässigbar ist; vielmehr ist sie von der gleichen asymptotischen Ordnung wie die Gesamtheit der Carmichael-Zahlen.
• Implikationen für offene Fragen: Während das Paper anerkennt, dass die vollständige Frage, ob es unendlich viele $(a, a)$-Carmichael-Zahlen gibt, die durch eine feste Primzahl $Q$ teilbar sind, noch unerreichbar bleibt, legt dieses Ergebnis nahe, dass die Beschränkung auf einen endlichen ggT die Dichte solcher Zahlen nicht signifikant reduziert.
• Optimalität: Der Autor merkt an, dass die abgeleitete untere Schranke nahe an der vermuteten oberen Schranke für die Gesamtzahl der Carmichael-Zahlen (vorgeschlagen von Pomerance) liegt, was darauf hindeutet, dass die Menge der $(a, a)$-Carmichael-Zahlen mit beschränktem $K$ einen substanziellen Teil der Gesamtmenge ausmacht.

Das Paper behauptet nicht, die Unendlichkeit solcher Zahlen bedingungslos zu beweisen, noch löst es die Frage nach festen Primteiler-Faktoren $Q$ direkt. Stattdessen liefert es einen konditionalen Beweis dafür, dass die Einschränkung durch einen „beschränkten ggT“ mit der hohen Dichte von Carmichael-Zahlen vereinbar ist.