Duffin--Schaeffer examples, real residue systems, and Bohr-set primes

Diese Arbeit verallgemeinert ein bekanntes Ergebnis von Duffin und Schaeffer, indem sie die Existenz von Funktionen nachweist, bei denen das Maß der inhomogen approximierbaren Zahlen je nach Parameter in $Y$ oder $Z$ null oder voll ist, wobei der Beweis auf analogen Restsystemen mit reellen Werten und der Verteilung von Primzahlen in Bohr-Mengen basiert.

Das Wesentliche

Hier ist eine einfache Erklärung dieses mathematischen Papiers, als würde man es einem Freund beim Kaffee erzählen. Wir nutzen dabei ein paar kreative Vergleiche, um die komplexen Ideen greifbar zu machen.

Das große Thema: Der "Zufalls-Test" für Zahlen

Stellen Sie sich vor, Sie haben einen riesigen, unendlichen Zahlenstrahl (die reellen Zahlen). Die Mathematiker in diesem Papier wollen herausfinden, wie gut man bestimmte Zahlen durch andere, einfachere Zahlen (Brüche) annähern kann.

Stellen Sie sich vor, Sie werfen unendlich viele kleine Netze (die durch die Funktion $\psi$ definiert sind) über den Zahlenstrahl.

• Die Frage: Fängt das Netz eine bestimmte Zahl $x$ oft genug?
• Das Ziel: Man möchte wissen, ob das Netz für fast alle Zahlen (100 % der Fläche) funktioniert oder für fast keine (0 % der Fläche).

Bisher gab es eine alte Regel (von Khintchine und Szüsz), die sagte: "Wenn die Netze groß genug sind (die Summe der Größen divergiert), fangen sie fast alle Zahlen." Aber es gab ein Problem: Diese Regel funktionierte nur, wenn die Netze in einer bestimmten, ordentlichen Reihenfolge kleiner wurden (monoton).

Das Problem: Duffin und Schaeffer zeigten schon lange, dass man diese "Ordnung" weglassen kann, aber dann passiert etwas Seltsames: Man kann Netze bauen, die riesig sind, aber trotzdem fast keine Zahlen fangen.

Was dieses Papier neu entdeckt hat

Die Autoren (Hesseling und Ramírez) haben nun einen neuen, noch stärkeren Beweis geliefert. Sie sagen im Wesentlichen:

"Wir können ein Netz (eine Funktion $\psi$) so konstruieren, dass es für eine beliebige Liste von 'schlechten' Zahlen (Menge Y) versagt (0 % Erfolg), aber für eine beliebige Liste von 'guten' Zahlen (Menge Z) perfekt funktioniert (100 % Erfolg)."

Das ist wie ein Zaubertrick: Man baut ein System, das für deine Freunde (die Menge Y) komplett blind ist, aber für deine Feinde (die Menge Z) alles sieht.

Wie machen sie das? Die drei Geheimwerkzeuge

Um diesen Zaubertrick zu vollführen, nutzen die Autoren drei spezielle Werkzeuge, die sie wie folgt erklären:

1. Die "Bohr-Set-Primes" (Die magischen Schlüssel)

Stellen Sie sich vor, Sie suchen nach bestimmten Schlüsseln (Primzahlen), die in ein sehr spezifisches Schloss passen. Ein "Bohr-Set" ist wie ein Schloss, das nicht nur eine Form hat, sondern sich nach einer komplexen rhythmischen Melodie (einer trigonometrischen Funktion) richtet.

Die Autoren mussten beweisen, dass es unendlich viele Primzahlen gibt, die genau in diese rhythmischen Muster passen. Das ist wie der Nachweis, dass es in einem riesigen Orchester unendlich viele Trommler gibt, die genau im Takt eines sehr komplizierten Liedes schlagen. Ohne diese Primzahlen würde ihr Netz nicht funktionieren.

2. Die "Real Residue Systems" (Die schwebenden Teppiche)

Normalerweise betrachtet man Reste bei der Teilung von ganzen Zahlen (z. B. was bleibt übrig, wenn man durch 7 teilt?). Das ist wie ein Teppich mit einem festen Muster.
Die Autoren haben dieses Konzept erweitert: Sie erlauben, dass die Muster nicht auf dem Boden liegen, sondern in der Luft schweben (reelle Werte statt ganzer Zahlen).

Sie haben einen alten Satz von Rogers bewiesen, der besagt: "Egal wie du die Teppiche in der Luft verschiebst, die Fläche, die sie bedecken, ist immer mindestens so groß wie wenn sie perfekt auf dem Boden liegen." Das gibt ihnen die Sicherheit, dass ihr Netz genug Fläche abdeckt, um die "guten" Zahlen zu fangen.

3. Die "Verteilung" (Der Tanz der Zahlen)

Sie mussten zeigen, dass sich die Primzahlen, die in diesen rhythmischen Mustern (Bohr-Sets) liegen, nicht willkürlich verhalten, sondern sich wie ein gut geölter Tanz verteilen. Wenn man eine Zahl $z$ hat, die nicht "rational" mit dem Muster verbunden ist, dann tanzen die Primzahlen so, dass sie jeden Teil des Raumes gleichmäßig abdecken. Das ist wie ein Tanz, bei dem jeder Tänzer genau den richtigen Platz einnimmt, damit am Ende niemand leer ausgeht.

Die Zusammenfassung der Geschichte

1. Das Ziel: Ein mathematisches Netz bauen, das für eine Liste von Zahlen versagt und für eine andere Liste perfekt funktioniert.
2. Das Hindernis: Frühere Versuche scheiterten, weil man nicht wusste, ob genug "Bausteine" (Primzahlen) in den richtigen Mustern existieren.
3. Die Lösung:
   • Sie bewiesen, dass es genug dieser speziellen Primzahlen gibt (wie unendlich viele Trommler im Takt).
   • Sie bewiesen, dass diese Primzahlen sich perfekt verteilen (wie Tänzer auf einer Bühne).
   • Sie nutzten eine neue Art von "Teppichen" (reelle Restsysteme), um die Flächen genau zu berechnen.
4. Das Ergebnis: Der Beweis ist fertig! Man kann das Netz so bauen, wie man will.

Ein kleiner Anhang (Die Antwort auf eine Nebenfrage)

Am Ende gibt es einen Anhang von Manuel Hauke, der eine Frage beantwortet: "Gibt es immer eine Teilmenge von Zahlen, deren Kehrwerte (1/1, 1/2, 1/3...) unendlich groß werden, aber die Zahlen selbst keine gemeinsamen Teiler haben?"
Die Antwort ist überraschend: Nein. Man kann eine Menge von Zahlen bauen, die so dicht ist wie die ganzen Zahlen, aber trotzdem keine solche "gute" Teilmenge enthält. Das ist wie ein Ozean, in dem es keine einzelnen Wassertropfen gibt, die man einzeln zählen könnte.

Fazit für den Laien

Dieses Papier ist ein Meisterwerk der "Diophantischen Approximation". Es zeigt, dass man die Regeln der Zahlennäherung viel flexibler gestalten kann als bisher gedacht. Die Autoren haben neue Werkzeuge entwickelt, um zu verstehen, wie Primzahlen in komplexen Mustern tanzen, und haben damit ein jahrzehntealtes Rätsel gelöst: Man kann die "Gerechtigkeit" eines mathematischen Netzes für jede beliebige Gruppe von Zahlen manipulieren.

Technische Zusammenfassung

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

Titel: Duffin–Schaeffer-Beispiele, reelle Restsysteme und Bohr-Mengen-Primzahlen

Autoren: Stefan M. Hesseling und Felipe A. Ramírez (mit einem Anhang von Manuel Hauke)

---

1. Problemstellung und Motivation

Das Paper adressiert ein fundamentales Problem in der diophantischen Approximation, speziell im Kontext des inhomogenen Duffin–Schaeffer-Problems.

• Hintergrund: Für eine Funktion $\psi: \mathbb{N} \to \mathbb{R}_{\ge 0}$ und einen Parameter $y \in \mathbb{R}$ betrachtet man die Menge der $\psi$-approximierbaren Zahlen:
  $$W(\psi, y) = \{x \in [0,1] : \|qx - y\| < \psi(q) \text{ unendlich oft}\}$$
  wobei $\|\cdot\|$ den Abstand zu $\mathbb{Z}$ bezeichnet.
• Klassische Ergebnisse: Der Satz von Szüsz (1958) besagt, dass das Lebesgue-Maß $\mu(W(\psi, y))$ gleich 0 ist, wenn die Reihe $\sum \psi(q)$ konvergiert, und gleich 1, wenn sie divergiert und $\psi$ monoton fallend ist.
• Das Problem: Duffin und Schaeffer (1941) zeigten durch Gegenbeispiele, dass die Monotoniebedingung für den Divergenzfall nicht weggelassen werden kann. Ramírez (2017) zeigte dies auch für den inhomogenen Fall ($y \neq 0$).
• Die spezifische Frage: Ramírez (2017) konstruierte unter einer dynamischen Vermutung (analog zu Erdős' Systemen überdeckender Systeme) eine Funktion $\psi$, für die $\sum \psi(q)$ divergiert, aber $\mu(W(\psi, y)) = 0$ für eine abzählbare Menge $Y$ und $\mu(W(\psi, z)) = 1$ für eine weitere abzählbare Menge $Z$ (unter der Bedingung $Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$).
• Ziel des Papers: Die Autoren beweisen dieses Ergebnis unbedingt (ohne Vermutungen) und verallgemeinern es. Sie konstruieren eine Funktion $\psi$, die für eine gegebene abzählbare Menge $Y$ das Maß 0 und für eine disjunkte Menge $Z$ (mit der oben genannten linearen Unabhängigkeitsbedingung) das Maß 1 liefert.

---

2. Methodik und Aufbau des Beweises

Der Beweis ist konstruktiv und stützt sich auf drei Hauptpfeiler, die jeweils eigene Verallgemeinerungen klassischer Sätze darstellen:

A. Konstruktion von $\psi$ mittels Bohr-Mengen

Die Funktion $\psi$ wird nicht auf allen natürlichen Zahlen definiert, sondern ist auf Blöcken ganzer Zahlen unterstützt, die Produkte von Elementen aus Bohr-Mengen sind. Eine Bohr-Menge ist definiert als:
$$N_v(y, \epsilon) = \{n \in \mathbb{N} : \|ny - v\| < \epsilon\}$$
wobei $y, v \in \mathbb{R}^\ell$ und $\epsilon > 0$.

• Strategie: Die Wahl der Bohr-Mengen führt dazu, dass die Approximationsmenge für Parameter $y \in Y$ eine kleine Maßzahl hat (da die Residuen "gut" verteilt sind).
• Herausforderung: Es muss gezeigt werden, dass die Approximationsmenge für $z \in Z$ ein großes Maß hat. Dies erfordert, dass die Träger von $\psi$ aus quadratfreien Zahlen bestehen, die aus Primzahlen in Bohr-Mengen gebildet werden.

B. Verallgemeinerung des Satzes von Rogers (Reelle Restsysteme)

Um die untere Schranke für das Maß zu erhalten, verwenden die Autoren ein Analogon zu Restsystemen, bei dem die Reste beliebige reelle Werte annehmen können.

• Reelles Restsystem: $R(\epsilon, a, n) = \bigcup_{i=1}^\ell ([a_i - \epsilon, a_i + \epsilon] + n_i \mathbb{Z})$.
• Satz 1.2 (Verallgemeinerter Rogers): Für $n \in \mathbb{N}^\ell$ und $\epsilon = 2^{-k}$ gilt:
  $$\mu(R(\epsilon, a, n) \cap [0, \text{lcm}(n)]) \ge \mu(R(\epsilon, 0, n) \cap [0, \text{lcm}(n)])$$
  für alle $a \in \mathbb{R}^\ell$.
  Dies zeigt, dass das Maß eines solchen Systems minimiert wird, wenn die Reste $a$ ganzzahlig sind (homogener Fall). Dies erlaubt einen Vergleich zwischen dem inhomogenen Fall ($z \in Z$) und dem homogenen Fall ($z=0$).

C. Verteilung von Primzahlen in Bohr-Mengen

Da die Konstruktion von $\psi$ Primzahlen in Bohr-Mengen erfordert, müssen zwei klassische Sätze über Primzahlen in arithmetischen Progressionen auf Bohr-Mengen verallgemeinert werden:

1. Satz 1.3 (Primzahlsatz für Bohr-Mengen):

   • Sei $H$ die abgeschlossene Hülle der Bahn $\{nw \mod 1 : n \in \mathbb{N}\}$ im Torus $\mathbb{T}^\ell$.
   • Wenn eine Kugel $B(v, \epsilon)$ den Teil $H^\times$ (entsprechend $\gcd(n, c)=1$) schneidet, dann gibt es unendlich viele Primzahlen in der Bohr-Menge $N_v(w, \epsilon)$.
   • Die Anzahl dieser Primzahlen bis $X$ wächst asymptotisch wie $\frac{X}{\log X} \cdot \mu_\times(B(v, \epsilon))$.
   • Dies verallgemeinert den Primzahlsatz für arithmetische Progressionen (Siegel–Walfisz).

2. Satz 1.4 (Gleichverteilung entlang Bohr-Mengen-Primzahlen):

   • Verallgemeinerung eines Satzes von Vinogradov.
   • Wenn $z$ rationally unabhängig von den Parametern der Bohr-Menge ist ($z \notin \text{span}_{\mathbb{Q}}\{1, y_1, \dots, y_k\}$), dann ist die Folge $(pz)_{p \in P \cap N_v(y, \epsilon)}$ gleichverteilt modulo 1.

---

3. Wichtige Ergebnisse

1. Hauptsatz (Theorem 1.1): Für beliebige abzählbare Mengen $Y, Z \subseteq \mathbb{R}$ mit $Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$ existiert eine Funktion $\psi$, sodass:

   • $\mu(W(\psi, y)) = 0$ für alle $y \in Y$.
   • $\mu(W(\psi, z)) = 1$ für alle $z \in Z$.
     Dies löst das Problem von Ramírez (2017) ohne zusätzliche dynamische Vermutungen.

2. Erweiterung des Rogers-Satzes (Theorem 1.2): Beweis der Minimierung des Maßes reeller Restsysteme im homogenen Fall. Dies ist ein eigenständiges Ergebnis der additiven Kombinatorik/Analyse.

3. Analytische Zahlentheorie:

   • Beweis des Primzahlsatzes für Primzahlen in Bohr-Mengen (Theorem 1.3).
   • Beweis der Gleichverteilung von $(pz)$ für Primzahlen in Bohr-Mengen (Theorem 1.4).
   • Verallgemeinerung eines Lemmas von Dirichlet über die Divergenz der Summe der Kehrwerte von Primzahlen in solchen Mengen (Lemma 4.4).

4. Anhang (Manuel Hauke):

   • Beantwortung einer kombinatorischen Frage (Problem 1.7): Existiert in jeder Menge $A$ mit positiver Dichte eine Teilmenge $B$ mit beschränktem $\gcd$-Verhalten und divergierender Kehrwertsumme?
   • Ergebnis: Die Antwort ist nein. Hauke zeigt, dass dies genau dann gilt, wenn $A$ eine Menge der Form $n_0 P$ enthält, wobei $P$ eine Menge von Primzahlen mit divergierender Kehrwertsumme ist. Es werden sogar Mengen mit Dichte 1 konstruiert, die keine solche Teilmenge enthalten.

---

4. Bedeutung und Implikationen

• Lösung eines offenen Problems: Das Paper liefert den ersten unbedingten Beweis für die Existenz von Duffin–Schaeffer-Beispielen mit vorgegebenem Verhalten für abzählbare Mengen von Parametern. Es schließt die Lücke, die durch die Notwendigkeit einer dynamischen Vermutung in früheren Arbeiten bestand.
• Verbindung von Disziplinen: Die Arbeit verbindet tiefgreifend die diophantische Approximation, die Theorie der dynamischen Systeme (Gleichverteilung), die analytische Zahlentheorie (Verteilung von Primzahlen) und die additive Kombinatorik (Restsysteme).
• Neue Techniken: Die Einführung und Analyse von "reellen Restsystemen" sowie die Verallgemeinerung des Primzahlsatzes auf Bohr-Mengen eröffnen neue Wege für die Untersuchung von Approximationsproblemen, die über klassische arithmetische Progressionen hinausgehen.
• Grenzen der Monotonie: Die Ergebnisse unterstreichen erneut, wie kritisch die Monotoniebedingung in Khintchine- und Duffin–Schaeffer-artigen Sätzen ist, und zeigen, dass ohne sie das Maßverhalten extrem empfindlich auf die Wahl des inhomogenen Parameters reagiert.

Zusammenfassend stellt dieses Paper einen bedeutenden Fortschritt in der Theorie der diophantischen Approximation dar, indem es tiefe strukturelle Eigenschaften von Primzahlen und Restsystemen nutzt, um pathologische Beispiele für Approximationsfunktionen zu konstruieren.