🔢 mathematics

Sets of unit fractions without two members whose average is a unit fraction

Diese Arbeit widerlegt eine von Erdős und Graham aufgeworfene Frage, indem sie die Existenz einer Konstante $c>0$ beweist, sodass für alle hinreichend großen $N$ eine Teilmenge von $\{1,\dots,N\}$ mit der Größe größer als $cN$ existiert, deren Mittelwert zweier verschiedener Kehrwerte keine Un fraktion ist, wodurch die bisher besten bekannten unteren Schranken für Mengen von Un fraktionen ohne nicht-triviale dreigliedrige arithmetische Progressionen etabliert werden.

Ursprüngliche Autoren: Will Sawin

Veröffentlicht 2026-07-20

📖 6 Min. Lesezeit🧠 Tiefgang

CC0 1.0

Ursprüngliche Autoren: Will Sawin

Originalarbeit unter CC0 1.0 der Gemeinfreiheit gewidmet (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich eine Welt vor, die vollständig aus Brüchen besteht, aber mit einer sehr strengen Regel: Jedes Stück muss ein „Einheitsbruch“ sein. Das bedeutet, die obere Zahl ist immer 1, wie 1/2, 1/3 oder 1/100. Mathematiker beschäftigen sich seit Jahrzehnten mit diesen Zahlen und stellen Fragen wie: „Wie viele dieser können wir hintereinanderschalten, bevor wir versehentlich ein Muster erzeugen?“ Ein berühmtes Muster, nach dem sie suchen, ist eine arithmetische Progression, bei der drei Zahlen gleichmäßig verteilt liegen, wie 1/2, 1/3 und 1/6 (da 1/3 genau in der Mitte zwischen 1/2 und 1/6 liegt).

Das spezifische Rätsel, das diese Arbeit behandelt, gleicht einem Spiel namens „Keine Durchschnitte“. Wenn man zwei verschiedene Einheitsbrüche wählt, sagen 1/a und 1/b, und deren Durchschnitt berechnet (die Zahl, die genau in der Mitte von ihnen liegt), fragt das Spiel: Können wir eine riesige Sammlung dieser Brüche zusammenstellen, bei der keines der Paare einen Durchschnitt hat, der ebenfalls ein Einheitsbruch ist? Lange Zeit fragten sich zwei legendäre Mathematiker, Erdős und Graham, ob eine solche Sammlung wirklich massiv sein könnte. Sie vermuteten, dass, wenn man die Sammlung groß genug machen würde, man unweigerlich gezwungen wäre, ein Paar einzuschließen, dessen Durchschnitt auch ein Einheitsbruch ist. Mit anderen Worten: Sie dachten, dass die „Kein-Durchschnitt“-Regel die Sammlung im Vergleich zur Gesamtzahl der verfügbaren Brüche winzig halten würde.

Diese Arbeit von Will Sawin tritt in dieses Arena ein und liefert eine überraschende Wendung. Der Autor beweist, dass Erdős und Graham unrecht hatten. Es ist möglich, eine Sammlung von Einheitsbrüchen zu erstellen, die überraschend groß ist – so groß, dass sie einen konstanten Prozentsatz aller verfügbaren Zahlen bis zu einem gewissen Punkt enthält, ohne jemals versehentlich ein Paar zu erzeugen, dessen Durchschnitt ein Einheitsbruch ist. Die Arbeit rät nicht nur, sie liefert eine rigorose mathematische Konstruktion, ein spezifisches Rezept zum Aufbau dieses riesigen Satzes, und beweist, dass es für jede hinreichend große Zahl funktioniert. Obwohl der Autor zugibt, dass das Rezept nicht das absolut effizienteste mögliche ist, reicht es aus, um den alten Glauben zu zertrümmern, dass ein solcher Satz klein sein muss.

Der große „Kein-Durchschnitt“-Raubüberfall

Stellen Sie sich die Zahlen von 1 bis zu einer riesigen Zahl $N$ als eine massive Menschenmenge vor. Jeder Mensch hält ein Schild mit einer Zahl darauf. Wenn Sie zwei Personen auswählen, sagen Person $a$ und Person $b$ , repräsentieren sie die Einheitsbrüche 1/a und 1/b. Der „Durchschnitt“ ihrer Brüche ist eine spezielle Zahl. Wenn dieser Durchschnitt ein Einheitsbruch ist (wie 1/c), dann sind $a$ und $b$ „verbannt“, nicht gemeinsam in unserem speziellen Club sein zu dürfen. Das Ziel ist es, den größtmöglichen Club zu bilden, in dem keine zwei Mitglieder verbannt sind.

Lange Zeit dachte die mathematische Gemeinschaft, dass dieser Club winzig sein müsste. Sie glaubten, dass mit wachsender Menge die Regeln so streng werden würden, dass man nur einen verschwindend geringen Prozentsatz der Leute behalten könnte. Aber Will Sawin sagt: „Nicht so schnell!“ Er zeigt, dass man tatsächlich einen massiven Teil der Menge behalten kann – speziell mehr als einen festen Prozentsatz $c$ von allen, egal wie groß die Menge auch wird.

Wie der Zaubertrick funktioniert

Um diesen Raubüberfall zu vollziehen, greift der Autor nicht einfach wahllos Leute aus der Menge. Er verwendet einen sehr spezifischen Filter, ein Regelwerk, das wie ein Türsteher eines exklusiven Clubs fungt.

Zuerst wirft der Türsteher jeden raus, der „zu viele kleine Primfaktoren“ hat. Stellen Sie sich Primzahlen als die Grundbausteine aller Zahlen vor (wie 2, 3, 5, 7). Der Türsteher sagt: „Wenn deine Zahl aus winzigen Ziegeln wie 2 oder 3 gebaut ist, darfst du nicht rein.“ Dies entfernt einen Großteil der Menge, lässt aber eine gesunde Anzahl von Menschen übrig, die aus größeren, komplexeren Bausteinen bestehen.

Zweitens prüft der Türsteher die „Komplexität“ der Zahlen. Er zählt, wie viele Primfaktoren eine Zahl hat (wobei Wiederholungen mitgezählt werden, also hat $12 = 2 \times 2 \times 3$ drei Faktoren). Die Regel lautet, dass man nicht zu viele Faktoren im Vergleich zu dem haben darf, was statistisch gesehen für eine Zahl deiner Größe zu erwarten wäre. Es ist wie die Aussage: „Wenn du eine mittelgroße Zahl bist, darfst du nicht aus einem absurd großen Haufen von Ziegeln bestehen.“

Die Genialität der Arbeit liegt darin, zu beweisen, dass, wenn man sich an diese gefilterte Gruppe hält, die „schlechten Paare“ (diejenigen, deren Durchschnitt ein Einheitsbruch ist) unglaublich selten werden. Der Autor nutzt einen klugen mathematischen Trick unter Verwendung einer Variablenänderung – im Wesentlichen das Umbenennen der Zahlen, um das Muster leichter erkennbar zu machen –, um zu zeigen, dass die durchschnittliche Anzahl der „schlechten Paare“ für jede einzelne Person in dieser Gruppe sehr gering ist.

Tatsächlich zeigt die Mathematik, dass für die überwiegende Mehrheit der Menschen in dieser gefilterten Gruppe fast keine Partner existieren, mit denen sie nicht kombiniert werden können. Durch das geschickte Zählen dieser Interaktionen beweist der Autor, dass selbst nachdem man die wenigen Leute entfernt hat, die einen verbotenen Partner haben, die verbleibende Gruppe immer noch riesig ist. Sie ist immer noch größer als ein konstanter Bruchteil der gesamten Menge.

Warum dies wichtig ist

Dieses Ergebnis ist eine große Sache, weil es eine Frage beantwortet, die lange Zeit offen stand. Es zeigt uns, dass das Universum der Einheitsbrüche flexibler ist, als wir dachten. Man kann eine massive, strukturierte Menge aufbauen, die dieser spezifischen arithmetischen Falle ausweicht.

Darüber hinaus hat diese Entdeckung eine Nebenwirkung. Wenn Sie einen Satz von Einheitsbrüchen haben, bei dem kein Paar einen Durchschnitt hat, der ein Einheitsbruch ist, dann haben Sie automatisch einen Satz, der keine „dreier-arithmetischen Progressionen“ besitzt (keine drei Zahlen, die gleichmäßig verteilt liegen). Dies verbessert die bisherigen Rekorde dafür, wie groß ein solcher Satz sein kann.

Der Autor merkt vorsichtig an, dass während diese Konstruktion funktioniert und beweist, dass der Satz groß sein kann, sie vielleicht nicht der größte mögliche Satz ist. Es könnte ein noch besseres, komplizierteres Rezept geben, das darauf wartet, gefunden zu werden. Aber für den Moment ist dieser Beweis die definitive Antwort auf die Frage: Nein, der Satz muss nicht klein sein. Er kann so groß sein wie ein bedeutender Teil der gesamten Zahlenlinie. Der „Kein-Durchschnitt“-Club ist eröffnet, und die Mitgliedschaft ist überraschend groß.

Technisches Resümee: Mengen von Einheitsbrüchen, deren zwei Mitglieder keinen Mittelwert als Einheitsbruch besitzen

Problemstellung
Die Arbeit befasst sich mit einer Frage von Erdős und Graham bezüglich der maximalen Größe einer Teilmenge $A \subseteq \{1, \dots, N\}$ , die eine spezifische Teilbarkeitsbedingung erfüllt. Die Bedingung besteht darin, dass für alle distinkten $a, b \in A$ die Summe $a+b$ nicht $2ab$ teilt. Im Kontext von Einheitsbrüchen ist dies äquivalent zu der Aussage, dass das Mittel der beiden distinkten Einheitsbrüche $1/a$ und $1/b$ nicht selbst ein Einheitsbruch ist. Erdős und Graham fragten, ob eine solche Menge $A$ notwendigerweise die Größe $o(N)$ haben muss (d. h. ob die Dichte solcher Mengen gegen Null gehen muss, wenn $N \to \infty$ ).

Darüber hinaus stellt die Arbeit fest, dass dieses Problem eng mit der Existenz großer Mengen von Einheitsbrüchen ohne nicht-triviale dreierlementige arithmetische Progressionen zusammenhängt, eine Frage, die kürzlich von Korsky aufgeworfen wurde.

Methodik und Konstruktion
Der Autor konstruiert eine Teilmenge $A_N \subseteq \{1, \dots, N\}$ , die die $o(N)$ -Vermutung widerlegt und somit eine negative Antwort auf die Erdős-Graham-Frage liefert. Die Konstruktion stützt sich auf die Funktion $\Omega(n)$ , welche die Gesamtzahl der Primfaktoren von $n$ unter Berücksichtigung der Multiplizität zählt.

Die Menge $A_N$ ist definiert als die Menge der ganzen Zahlen $a \in \{1, \dots, N\}$ , für die für alle $b \in \{1, \dots, N\}$ mit $a \neq b$ und $\Omega(b) \le \Omega(a)$ die Bedingung $a+b \nmid 2ab$ gilt.

Das Beweisverfahren umfasst die folgenden Schritte:

Reduktion auf Teilbarkeit: Durch eine Variablenänderung $u = a/\gcd(a,b)$ und $v = b/\gcd(a,b)$ wird gezeigt, dass die Bedingung $a+b \mid 2ab$ äquivalent zur Existenz koprimer ganzer Zahlen $u, v$ ist, sodass $u(u+v) \mid 2a$ und $b = av/u$.
Einschränkung auf eine „gute“ Menge $S$ : Um die Existenz einer großen Teilmenge zu gewährleisten, beschränkt der Autor die Aufmerksamkeit auf eine Menge $S$ $S$ von ganzen Zahlen $a$ $a$ , die drei Bedingungen erfüllen:
- $a$ hat keine kleinen Primfaktoren (speziell keine Primfaktoren kleiner als ein großer Parameter $L$ ).
- $a$ ist nicht durch 4 teilbar.
- Die Anzahl der Primfaktoren von $a$ bis $x$ , bezeichnet als $\Omega(a, x)$ , übersteigt den erwarteten Durchschnitt $(1+\epsilon)\log \log x$ für kein $x$ signifikant.
Zählen und Mitteln: Der Kern des Arguments besteht darin, zu zeigen, dass die „schlechten“ Elemente in $S$ $S$ (jene $a \in S$ $a \in S$ , für die es ein $b$ $b$ mit $\Omega(b) \le \Omega(a)$ $Ω (b) \leq Ω (a)$ gibt, so dass $a+b \mid 2ab$ $a + b ∣ 2 ab$ gilt) einen geringen Anteil von $S$ $S$ ausmachen.
- Der Autor beschränkt die Anzahl der Paare $(u, v)$ , so dass $u(u+v)$ ein Teiler von $2a$ für $a \in S$ ist.
- Dies beinhaltet die Schätzung von Summen multiplikativer Funktionen über dyadische Intervalle. Der Autor nutzt ein Resultat von de la Bretèche und Tenenbaum über Summen nicht-negativer multiplikativer Funktionen, um den Durchschnitt der Anzahl solcher Paare zu begrenzen.
Zentraler analytischer Einblick: Die Bedingung $\Omega(b) \le \Omega(a)$ (was in der Variablenänderung zu $\Omega(v) \le \Omega(u)$ führt) ist entscheidend. Ohne diese Einschränkung würde die durchschnittliche Anzahl der Paare wie eine Potenz von $\log \log N$ wachsen (ähnlich wie Hooleys $\Delta$ -Funktion). Mit dieser Einschränkung und dem Ausschluss kleiner Primfaktoren ist die durchschnittliche Anzahl der Paare für ein gegebenes $a$ beschränkt, wodurch gezeigt werden kann, dass die „schlechte“ Menge einen kleinen Bruchteil von $S$ darstellt.

Wichtigste Ergebnisse

Theorem 1: Es existiert eine Konstante $c > 0$ , so dass für alle hinreichend großen $N$ die oben definierte Menge $A_N$ die Größe $|A_N| > cN$ besitzt.
Eigenschaft von $A_N$ : Für alle distinkten $a, b \in A_N$ gilt $a+b \nmid 2ab$ .
Implikation für Einheitsbrüche: Die Menge $\{1/a : a \in A_N\}$ ist eine Menge von Einheitsbrüchen mit linearer Dichte ($> cN$), für die kein Paar zweier distinkter Mitglieder einen Mittelwert als Einheitsbruch besitzt.
Implikation für arithmetische Progressionen: Folglich enthält diese Menge keine nicht-trivialen dreierlementigen arithmetischen Progressionen von Einheitsbrüchen.

Bedeutung und Behauptungen
Das Paper behauptet explizit, eine negative Antwort auf die Frage von Erdős und Graham zu liefern, indem es zeigt, dass Mengen von Einheitsbrüchen mit der spezifizierten Eigenschaft eine positive untere Dichte haben können, im Gegensatz zu der Vermutung, dass sie $o(N)$ sein müssen.

Der Autor merkt an, dass die Konstruktion zwar eine lineare untere Schranke liefert, die Konstante $c$ jedoch nicht optimiert ist. Das Paper legt nahe, dass die optimale untere Schranke wahrscheinlich aus einer komplexeren Bedingung als der hier verwendeten resultiert. Die Arbeit verbessert zudem eine Konstruktion von Korsky bezüglich dreierlementiger arithmetischer Progressionen in Einheitsbrüchen.

Der Autor räumt ein, dass die Beweisstrategie durch eine Berechnung von Stijn Cambie für kleine $N$ inspiriert wurde und KI-Werkzeuge (ChatGPT) für Mustererkennung, Recherche und Korrekturlesen genutzt wurden, während die rigorosen mathematischen Argumente und die spezifische Anpassung der Strategie an die $\Omega(b) \le \Omega(a)$ -Bedingung zum Beitrag des Autors zählen. Die Methode liefert auch eine untere Schranke für das verwandte Problem von Mengen, bei denen $a+b \nmid ab$ (Summen sind keine Einheitsbrüche), wenngleich diese Schranke schwächer ist als die triviale Schranke, die durch die Menge der ungeraden Zahlen gegeben ist.

Der große „Kein-Durchschnitt“-Raubüberfall

Wie der Zaubertrick funktioniert

Warum dies wichtig ist

Mehr davon