On the natural density of integers $n$ for which $\sigma(kn+r_1) >\sigma(kn+r_2)$

Diese Arbeit erweitert ein Ergebnis von Kobayashi und Trudgian, indem sie für ganze Zahlen $k>r_1>r_2\geq 0$ eine Abschätzung der natürlichen Dichte positiver ganzer Zahlen $n$ liefert, für die $\sigma(kn+r_1) > \sigma(kn+r_2)$ gilt, und dabei sowohl allgemeine Schätzungen als auch explizite Berechnungen für spezielle Fälle vorstellt.

Das Wesentliche

Stellen Sie sich vor, Sie haben eine riesige, endlose Kette von Zahlen: 1, 2, 3, 4, 5 und so weiter bis ins Unendliche. Jede dieser Zahlen hat eine besondere Eigenschaft: Sie ist wie ein kleines Haus, und die „Teiler" dieser Zahl sind die Mieter, die in diesem Haus wohnen. Die Funktion σ(n) (gesprochen: Sigma von n) zählt einfach die Summe aller Mieter in diesem Haus.

Manchmal passiert etwas Interessantes: Wenn wir zwei Häuser nebeneinander betrachten, sagen wir das Haus mit der Nummer $A$ und das Haus mit der Nummer $B$, ist die Summe der Mieter in Haus $A$ größer als in Haus $B$.

Die Mathematiker Xin-Qi Luo und Chen-Kai Ren haben sich in diesem Papier genau mit dieser Frage beschäftigt: Wie oft passiert das?

Das große Spiel mit den Zahlen

Stellen Sie sich vor, Sie spielen ein Spiel mit einem Freund. Sie wählen eine Regel:

• Wir schauen uns immer zwei Zahlen an, die einen bestimmten Abstand haben.
• Zum Beispiel: Wir nehmen eine Zahl $n$, multiplizieren sie mit 3 und addieren 2 (das ist unser erstes Haus: $3n + 2$).
• Dann nehmen wir dieselbe Zahl $n$, multiplizieren sie mit 3 und addieren 0 (das ist unser zweites Haus: $3n + 0$).

Die Frage lautet: Wie oft ist die Summe der Mieter im ersten Haus ($3n+2$) größer als im zweiten Haus ($3n$)?

Früher haben andere Mathematiker (wie Kobayashi und Trudgian) bereits herausgefunden, dass dies bei bestimmten Regeln etwa 5,4 % der Zeit passiert. Das ist wie ein Münzwurf, bei dem Sie aber nicht 50/50 gewinnen, sondern nur etwa 5 von 100 Mal.

Was haben die neuen Forscher entdeckt?

Luo und Ren haben dieses Spiel erweitert. Sie haben nicht nur eine Regel untersucht, sondern eine ganze Familie von Regeln. Sie haben sich gefragt:

• Was passiert, wenn wir die Zahlen mit 3 multiplizieren?
• Was passiert, wenn wir sie mit 4 multiplizieren?
• Und was, wenn wir verschiedene Zahlen addieren?

Ihre Hauptentdeckungen sind:

1. Es gibt eine feste Wahrscheinlichkeit: Sie haben bewiesen, dass für fast jede Regel (z. B. $3n+2$vs.$3n$) die Wahrscheinlichkeit, dass das erste Haus mehr Mieter hat, eine feste Zahl ist. Es ist nicht chaotisch; es gibt ein Muster.
2. Konkrete Zahlen: Sie haben für zwei spezielle Fälle die Wahrscheinlichkeit berechnet:
   • Fall 1 (3er-Regel): Wenn wir $3n+2$mit$3n$vergleichen, liegt die Wahrscheinlichkeit, dass$3n+2$ gewinnt, irgendwo zwischen 5,9 % und 10,9 %. Das ist also etwas häufiger als der alte Rekord von 5,4 %.
   • Fall 2 (4er-Regel): Wenn wir $4n+1$mit$4n$ vergleichen, ist die Wahrscheinlichkeit viel kleiner, nämlich nur zwischen 0,8 % und 1,3 %. Hier gewinnt das zweite Haus fast immer.

Wie haben sie das herausgefunden? (Die Analogie der Filter)

Stellen Sie sich vor, Sie wollen herausfinden, wie viele rote Kugeln in einem riesigen Sack mit Millionen von Kugeln sind. Sie können nicht jede einzelne zählen. Also bauen Sie einen Filter.

Die Autoren haben einen sehr cleveren Filter gebaut, den sie „Partitionierung" nennen.

• Sie teilen alle Zahlen in Gruppen ein, basierend darauf, welche „kleinen Bausteine" (kleine Primzahlen) sie enthalten.
• Für jede Gruppe können sie dann mit Hilfe von Computerberechnungen und mathematischen Formeln abschätzen, wie oft die Regel „Haus A hat mehr Mieter als Haus B" zutrifft.
• Sie haben diese Abschätzungen für immer feinere Filter (immer mehr kleine Bausteine berücksichtigt) durchgeführt, um die Wahrscheinlichkeit immer genauer einzugrenzen.

Ein kleines Problem: Der „Unbekannte"

In der Mathematik gibt es immer Dinge, die man noch nicht vollständig versteht. Die Autoren erwähnen eine spezielle Situation, bei der die Summe der Mieter in beiden Häusern genau gleich ist ($\sigma(kn+r1) = \sigma(kn+r2)$).
Sie sagen: „Wir wissen fast alles, aber bei dieser einen, sehr seltenen Situation, bei der die Zahlen riesige, unbekannte Primfaktoren haben, stecken wir noch fest." Es ist, als ob sie den Sack fast komplett durchsucht hätten, aber eine winzige, versteckte Ecke noch nicht aufgedeckt haben.

Fazit für den Alltag

Dieses Papier ist wie eine detaillierte Landkarte für ein mathematisches Terrain.

• Früher: Man wusste nur grob, dass bei bestimmten Regeln das eine Haus öfter gewinnt.
• Jetzt: Luo und Ren haben die Landkarte verfeinert. Sie haben gezeigt, dass die Wahrscheinlichkeit, dass ein bestimmtes mathematisches Muster auftritt, berechenbar ist, und haben für zwei wichtige Fälle die genauen Grenzen dieser Wahrscheinlichkeit ermittelt.

Es ist ein Beweis dafür, dass selbst in der scheinbar zufälligen Welt der Zahlen und ihrer Teiler tiefgreifende, berechenbare Gesetzmäßigkeiten stecken – man muss nur den richtigen Filter finden, um sie zu sehen.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papers auf Deutsch:

Titel und Thema

Titel: Über die natürliche Dichte der ganzen Zahlen $n$, für die $\sigma(kn + r_1) > \sigma(kn + r_2)$ gilt.
Autoren: Xin-Qi Luo und Chen-Kai Ren.
Hauptthema: Die Untersuchung der natürlichen Dichte der Menge von positiven ganzen Zahlen $n$, bei denen die Summe der Teiler von $kn + r_1$ größer ist als die Summe der Teiler von $kn + r_2$.

---

1. Problemstellung und Hintergrund

Die Funktion $\sigma(n)$ bezeichnet die Summe aller positiven Teiler einer ganzen Zahl $n$. Das Paper baut auf früheren Ergebnissen der analytischen Zahlentheorie auf:

• Erdős (1936): Zeigte, dass die Dichte der Menge $\{n : \sigma(n+1) \ge \sigma(n)\}$ genau $1/2$ beträgt.
• Mattics (1987) & Laub (1987): Untersuchten die Dichte der Menge $B = \{n : \sigma(2n+1) \ge \sigma(2n)\}$. Es wurde gezeigt, dass diese Dichte existiert, aber schwer zu bestimmen ist.
• Kobayashi & Trudgian (2020): Verfeinerten die Schranken für die Dichte $d_B$ auf das Intervall $[0.0539171, 0.0549445]$.

Das Ziel dieses Papers ist es, das Ergebnis von Kobayashi und Trudgian zu verallgemeinern. Es wird die natürliche Dichte $d_A(k, r_1, r_2)$ der Menge
$$A(k, r_1, r_2) = \{n \in \mathbb{N} : \sigma(kn + r_1) > \sigma(kn + r_2)\}$$
für beliebige ganze Zahlen $k > r_1 > r_2 \ge 0$ untersucht und für spezifische Fälle numerisch abgeschätzt.

---

2. Methodik

Die Autoren verwenden eine Kombination aus analytischen Techniken und computergestützten Berechnungen.

A. Existenzbeweis der Dichte (Theorem 1.1)

Um zu zeigen, dass die Dichte existiert, definieren die Autoren eine Hilfsfunktion $h(n) = \sigma(n)/n$ und die Menge $B(k, r_1, r_2) = \{n : h(kn+r_1) \ge h(kn+r_2)\}$.

• Es wird gezeigt, dass die Differenzmenge $A(k, r_1, r_2) \setminus B(k, r_1, r_2)$ eine Dichte von Null hat.
• Dies geschieht durch die Anwendung des Satzes von Gronwall (über das asymptotische Verhalten von $\sigma(n)/n$) und eines Lemmas von [13], das besagt, dass für fast alle $n$ kleine Primteiler $\sigma(n)$ teilen.
• Ein Widerspruch wird hergeleitet, wenn man annimmt, dass die Differenz der Summen der Teiler klein ist, aber durch große $y$-glatte Zahlen teilbar sein muss.
• Da $B(k, r_1, r_2)$ bereits bekanntermaßen eine Dichte besitzt, folgt die Existenz der Dichte für $A(k, r_1, r_2)$.

B. Abschätzung der Dichte durch Partitionierung (Theorem 1.2 & 1.3)

Für die konkrete Berechnung der Schranken wird eine Partitionierungsmethode verwendet, die auf der $y$-glatten Struktur der Zahlen basiert:

1. Partitionierung: Die Menge der natürlichen Zahlen wird in disjunkte Mengen $S_y(a, b)$ unterteilt, basierend auf den größten $y$-glatten Teilern von $kn+r_1$ (bezeichnet als $a$) und $kn+r_2$ (bezeichnet als $b$).
2. Arithmetische Progressionen: Innerhalb dieser Mengen werden weitere Teilmengen definiert, die durch Kongruenzbedingungen modulo $P(y)$ (dem Produkt aller Primzahlen $\le y$) charakterisiert sind. Diese bilden arithmetische Progressionen, deren Dichte explizit berechenbar ist (Lemma 3.1).
3. Schranken für $\sigma(n)/n$:
   • Es wird eine Funktion $g(n) = (\sigma(n)/n)^s$ eingeführt.
   • Unter Verwendung von Ergebnissen von Deléglise und anderen werden obere und untere Schranken für die Summe von $g(n)$ über arithmetische Progressionen bestimmt.
   • Durch Vergleich der Summen $\sum h^s(kn+r_1)$ und $\sum h^s(kn+r_2)$ innerhalb der Partitionen werden nicht-triviale obere und untere Schranken für die Dichte der Teilmengen $B(k, r_1, r_2) \cap S_y(a, b)$ abgeleitet.
4. Numerische Berechnung: Die Gesamtdichte wird durch Summation über alle relevanten Paare $(a, b)$ aus der Menge der $y$-glatten Zahlen $S(y)$ approximiert. Die Parameter $y$ (Glattheitsgrenze), $z$ (Obergrenze für $a, b$) und $s_{max}$ (maximale Potenz für die Hilfsfunktion) werden variiert, um die Genauigkeit zu erhöhen.

C. Offene Probleme (Remark 1.1)

Die Autoren weisen darauf hin, dass die Bestimmung der Dichte für den Fall der Gleichheit $\sigma(kn+r_1) = \sigma(kn+r_2)$ weiterhin schwierig ist. Sie identifizieren eine spezifische Konstellation von Bedingungen (bezüglich der größten Primfaktoren und der "restlichen" Teile der Zahlen), die sie mit aktuellen Methoden nicht vollständig ausschließen können.

---

3. Wichtige Ergebnisse

Das Paper liefert folgende konkrete Theoreme und numerische Schranken:

• Theorem 1.1: Die natürliche Dichte $d_A(k, r_1, r_2)$ existiert für alle $k > r_1 > r_2 \ge 0$.
• Theorem 1.2: Für den Fall $(k, r_1, r_2) = (3, 2, 0)$, d.h. $\sigma(3n+2) > \sigma(3n)$, liegt die Dichte im Intervall:
  $$0.0591 \le d_A(3, 2, 0) \le 0.109$$
  (Dies ist eine Erweiterung des bekannten Falls $k=2, r_1=1, r_2=0$, bei dem die Dichte ca. 0,054 beträgt.)
• Theorem 1.3: Für den Fall $(k, r_1, r_2) = (4, 1, 0)$, d.h. $\sigma(4n+1) > \sigma(4n)$, liegt die Dichte im Intervall:
  $$0.00842 \le d_A(4, 1, 0) \le 0.0129$$

Die Berechnungen wurden mit dem Computer-System Mathematica durchgeführt. Die Unsicherheit in den Schranken resultiert hauptsächlich aus der Abschätzung der Funktion $\Lambda_{P(y)}(s)$ und der Notwendigkeit, $a$ und $b$ auf eine endliche Menge $y$-glatter Zahlen zu beschränken.

---

4. Bedeutung und Fazit

• Verallgemeinerung: Das Paper erweitert die bekannten Ergebnisse von Kobayashi und Trudgian von einem spezifischen Fall ($k=2$) auf allgemeine lineare Formen $kn+r$.
• Methodischer Fortschritt: Die Kombination aus der Theorie der $y$-glatten Zahlen, der Analyse arithmetischer Progressionen und computergestützter Optimierung der Parameter $y, z, s$ bietet einen robusten Rahmen zur Schätzung solcher Dichten.
• Erkenntnisse: Die Ergebnisse zeigen, dass die Dichte stark von den Parametern $k, r_1, r_2$ abhängt. Während sie für $(3,2,0)$ ähnlich wie im klassischen Fall ist, fällt sie für $(4,1,0)$ signifikant ab (unter 1,3 %).
• Zukunftsaussichten: Die Arbeit hinterlässt eine offene Frage bezüglich der exakten Dichte bei Gleichheit der Teilersummen, was ein aktives Forschungsgebiet bleibt.

Zusammenfassend liefert das Paper einen wichtigen Beitrag zur asymptotischen Zahlentheorie, indem es die Existenz der Dichte für eine breite Klasse von Ungleichungen beweist und erste präzise numerische Schranken für spezifische Instanzen bereitstellt.