Duality Between Prime Factors and The Prime Number Theorem For Arithmetic Progressions -- Higher Order Dualities

Titel und Autoren

Titel: Dualität zwischen Primfaktoren und der Primzahlsatz für arithmetische Progressionen – Dualitäten höherer Ordnung
Autoren: Krishnaswami Alladi und Sroyon Sengupta
Datum: April 2026 (ArXiv)

---

1. Problemstellung und Hintergrund

Das Papier baut auf einer fundamentalen Beobachtung von Krishnaswami Alladi aus dem Jahr 1977 auf. Damals wurde eine Dualität zwischen dem kleinsten Primfaktor $p_1(n)$ und dem größten Primfaktor $P_1(n)$ einer ganzen Zahl $n$ entdeckt. Diese Dualität wird durch Identitäten vermittelt, die die Möbius-Funktion $\mu(n)$ und eine beliebige Funktion $f$ auf den Primzahlen verbinden.

Ein bekanntes Ergebnis aus dieser Arbeit ist, dass für eine beschränkte Funktion $f$ auf den Primzahlen, deren Durchschnittswert über die Folge der größten Primfaktoren $P_1(n)$ gegen eine Konstante $c$ konvergiert, der gewichtete Dirichlet-Reihenwert über die kleinsten Primfaktoren $p_1(n)$ genau $-c$ ist.

Das zentrale Problem:
Während die Dualität erster Ordnung ($k=1$) und zweiter Ordnung ($k=2$, untersucht von Alladi und Johnson 2024) etabliert waren, fehlte eine Verallgemeinerung auf höhere Ordnungen $k \ge 3$.
Die Autoren untersuchen die Verteilung der $k$-ten größten Primfaktoren $P_k(n)$ und deren Beziehung zu den kleinsten Primfaktoren $p_1(n)$ unter Verwendung der Möbius-Funktion und der Anzahl der verschiedenen Primfaktoren $\omega(n)$.

Spezifisch zielt das Papier darauf ab, quantitative Ergebnisse zu beweisen, die besagen, dass bestimmte gewichtete Summen über $\mu(n)$ und $\omega(n)^{k-1}$, eingeschränkt auf Zahlen, deren kleinster Primfaktor in einer bestimmten arithmetischen Progression liegt, gegen Null konvergieren.

---

2. Methodik

Die Beweistechnik kombiniert analytische Zahlentheorie mit kombinatorischen Identitäten. Die wichtigsten methodischen Säulen sind:

1. Dualitätsidentitäten höherer Ordnung:
   Die Autoren nutzen die von Alladi (1977) eingeführten Identitäten, die $\mu(d)$, $\omega(d)$ und Primfaktoren verknüpfen. Für ein festes $k$ gilt beispielsweise:
   $$\sum_{1<d|n} \mu(d) \binom{\omega(d)-1}{k-1} f(p_1(d)) = (-1)^k f(P_k(n))$$
   Durch Möbius-Inversion werden diese Identitäten genutzt, um Summen über $p_1(n)$ in Summen über $P_k(n)$ umzuwandeln.

2. Analyse der Verteilung von $P_k(n)$:
   Ein entscheidender Schritt ist der Beweis, dass die Folge der $k$-ten größten Primfaktoren $\{P_k(n)\}$ in den reduzierten Restklassen modulo $\ell$ gleichverteilt ist. Das bedeutet, dass für jede Restklasse $j$ mit $(j, \ell)=1$ die Anzahl der $n \le x$ mit $P_k(n) \equiv j \pmod \ell$ asymptotisch $x/\phi(\ell)$ beträgt.

   • Dies erfordert eine sorgfältige Behandlung von Zahlen, bei denen Primfaktoren wiederholt auftreten (z.B. $p^2 | n$), was durch Lemma 3.2 und Lemma 5.1 als vernachlässigbar ($o(x)$) gezeigt wird.
   • Die Schätzung der Anzahl solcher Zahlen stützt sich auf Ergebnisse von Tenenbaum und de Bruijn über die Funktion $\Psi_k(x, T)$ (Anzahl der $n \le x$ mit $P_k(n) \le T$).

3. Die Hyperbelmethode (Hyperbola Method):
   Um die Summen $\sum_{n \le x} \mu(n) \omega(n)^{k-1} f(p_1(n))$ zu schätzen, wird die Hyperbelmethode angewendet. Dabei wird die Summe in zwei Teile zerlegt (basierend auf einem Parameter $T$), wobei die eine Hälfte über die Möbius-Funktion $\mu(m)$ und die andere über die Verteilung der Primfaktoren $P_k(d)$ läuft.

4. Starke Formen des Primzahlsatzes (PNT) und PNT für arithmetische Progressionen (PNTAP):
   Die Beweise nutzen starke Fehlerterme des Primzahlsatzes (z.B. $O(x e^{-c\sqrt{\log x}})$), um die Fehler bei der Approximation von Summen durch Integrale zu kontrollieren. Die Gleichverteilung von $P_k(n)$ in Restklassen wird durch den PNTAP mit einem Faktor $1/\phi(\ell)$ sichergestellt.

5. Stirling-Zahlen zweiter Art:
   Um die Potenzen $\omega(n)^k$ in Terme umzuwandeln, die mit den Dualitätsidentitäten kompatibel sind, werden Stirling-Zahlen zweiter Art verwendet. Dies ermöglicht eine Zerlegung von $\omega(n)^k$ in fallende Faktorielle, die direkt mit den Binomialkoeffizienten in den Dualitätsformeln korrespondieren.

---

3. Wichtige Beiträge und Ergebnisse

Das Papier liefert mehrere quantitative Hauptsätze, die die Ergebnisse von Alladi (1977) und Alladi-Johnson (2024) auf alle $k \ge 3$ verallgemeinern.

A. Summen über alle $n$ (ohne Restklassenbedingung)

Für jedes $k \ge 2$ gilt:
$$\sum_{n=2}^{\infty} \frac{\mu(n) \omega(n)^k}{n} = 0$$
Dies wird in quantitativer Form bewiesen, indem eine asymptotische Entwicklung für die Partialsummen $M_{\omega^k}(x) = \sum_{n \le x} \mu(n)\omega(n)^k$ in absteigenden Potenzen von $\log x$ und $\log \log x$ hergeleitet wird (Theorem 2.1-k).

B. Summen mit Bedingung auf den kleinsten Primfaktor (Hauptergebnis)

Für feste ganze Zahlen $j, \ell$ mit $1 \le j \le \ell$ und $(j, \ell) = 1$ und für jedes $k \ge 3$ gilt:
$$\sum_{\substack{n=2 \\ p_1(n) \equiv j \pmod \ell}}^{\infty} \frac{\mu(n) \omega(n)^{k-1}}{n} = 0$$
Dies verallgemeinert das Ergebnis für $k=1$ (Alladi 1977) und $k=2$ (Alladi-Johnson 2024). Der Beweis nutzt die Gleichverteilung von $P_k(n)$ und die Dualitätsidentität, um die Hauptterme der Summen über $P_k(n)$ zu eliminieren, was zu einer Summe von $o(x)$ führt, die nach Division durch $x$ und Grenzübergang $x \to \infty$ verschwindet.

C. Dichte-Typ Ergebnisse (Arithmetische Dichte)

Ein weiteres zentrales Ergebnis ist eine Formel für die gewichtete Dichte unter Verwendung des Binomialkoeffizienten $\binom{\omega(n)-1}{k-1}$:
$$(-1)^k \sum_{\substack{n=2 \\ p_1(n) \equiv j \pmod \ell}}^{\infty} \frac{\mu(n) \binom{\omega(n)-1}{k-1}}{n} = \frac{1}{\phi(\ell)}$$
Dies zeigt, dass die "Dichte" dieser speziellen gewichteten Summe exakt dem Anteil der Restklasse $j$ an den Einheiten modulo $\ell$ entspricht.

D. Quantitative Fehlerabschätzungen

Alle Ergebnisse werden in starker quantitativer Form geliefert. Beispielsweise wird für die Partialsumme gezeigt:
$$\sum_{\substack{n \le x \\ p_1(n) \equiv j \pmod \ell}} \frac{\mu(n) \omega(n)^{k-1}}{n} \ll \frac{(\log \log x)^{k+1/2}}{\sqrt{\log x}}$$
Dies verdeutlicht, wie schnell die Summen gegen den Grenzwert konvergieren.

---

4. Signifikanz und Bedeutung

1. Vervollständigung der Theorie höherer Ordnungen: Das Papier schließt eine Lücke in der Theorie der Dualität zwischen Primfaktoren, indem es die Ergebnisse von $k=1$ und $k=2$ auf beliebige $k \ge 3$ verallgemeinert. Es zeigt, dass die Struktur der Gleichverteilung und die daraus resultierenden Nullsummen für alle Ordnungen gelten.
2. Verbindung von Kombinatorik und Analytik: Die Arbeit demonstriert meisterhaft, wie kombinatorische Identitäten (Möbius-Inversion, Stirling-Zahlen) mit tiefen analytischen Ergebnissen (PNT, Gleichverteilung von Primfaktoren) kombiniert werden können, um nicht-triviale Identitäten über Dirichlet-Reihen zu beweisen.
3. Grundlage für algebraische Verallgemeinerungen: Die Ergebnisse dienen als Fundament für weitere Forschungen in algebraischen Zahlkörpern und Funktionenkörpern. Im Abschnitt 7.2 wird diskutiert, wie diese Ergebnisse bereits auf Galois-Erweiterungen und Funktionenkörper übertragen wurden. Die hier bewiesenen quantitativen Schätzungen sind essenziell für die Fehlerkontrolle in diesen komplexeren algebraischen Settings.
4. Neue Einsichten in die Verteilung von $P_k(n)$: Der Beweis der Gleichverteilung der $k$-ten größten Primfaktoren in Restklassen (Theorem 5.3) ist ein eigenständiges, bedeutendes Ergebnis der analytischen Zahlentheorie, das zeigt, dass diese Verteilung unabhängig von $k$ ist (immer $1/\phi(\ell)$).

Zusammenfassend stellt dieses Papier einen Meilenstein in der Untersuchung der feinen Struktur der Primfaktorzerlegung ganzer Zahlen dar und liefert die notwendigen Werkzeuge, um die Dualität zwischen kleinsten und größten Primfaktoren in einem allgemeinen und quantitativen Rahmen zu verstehen.