🔢 mathematics

Optimality of Wouter van Doorn's Upper Bound for the Mayer-Erd\H{o}s Farey Problem

Diese Arbeit beweist, dass die minimale Anzahl an Farey-Brüchen, die strikt zwischen zwei „schlecht geordneten“ Brüchen in der Farey-Folge der Ordnung $n$ liegen, asymptotisch $n/4$ beträgt, wodurch die Optimalität von Wouter van Doorns zuvor bekannter oberer Schranke für das Mayer-Erdős-Farey-Problem etabliert wird.

Ursprüngliche Autoren: Ricky Cipollini

Veröffentlicht 2026-07-28

📖 3 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Ricky Cipollini

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.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 riesige, geordnete Bibliothek vor, in der jedes Buch einen Bruch repräsentiert, wie 1/2, 3/7 oder 99/100. In der Welt der Mathematik gibt es eine besondere Art, diese Bücher anzuordnen, die man „Farey-Folge“ nennt. Stellen Sie sich dies als ein perfekt sortiertes Regal vor, in dem Sie nur Bücher mit kleinen Seitenzahlen (Nennern) bis zu einem bestimmten Limit, sagen wir $n$ , behalten. Auf diesem Regal sind die Bücher von der kleinsten zum größten Wert aufgereiht. Normalerweise gilt: Wenn man sich nach rechts bewegt, tendiert die „Seitenzahl“ der Bücher dazu, größer zu werden, so wie eine Geschichte komplexer werden kann.

Doch was passiert, wenn Sie zwei Bücher finden, die „schlecht geordnet“ sind? Das ist ein lustiger Begriff, den Mathematiker für ein Paar von Brüchen verwenden, bei dem das Buch auf der rechten Seite eine kleinere Seitenzahl hat als das Buch auf der linken Seite, obwohl sein Wert höher ist. Es ist, als fände man einen dicken Roman neben einer dünnen Broschüre, wobei die Broschüre jedoch eine „größere“ Geschichte erzählt. Die große Frage, die Mathematiker seit Jahrzehnten rätseln lässt, laodet: Wie viele andere Bücher müssen zwischen ihnen hineingequetscht werden? Gibt es eine garantierte Mindestanzahl an „Füllbüchern“, die existieren müssen, um die Ordnung korrekt aufrechtzuerhalten? Dies ist nicht nur eine Frage von Zahlen; es geht darum, den verborgenen Rhythmus und den Abstand zu verstehen, mit dem Zahlen zusammenpassen – ein Rätsel, das tiefe Fragen darüber verbindet, wie Primzahlen und Brüche umeinander tanzen.

Dieses Papier, geschrieben von Ricky Cipollini, widmet sich genau diesem Rätsel. Es konzentriert sich auf ein spezifisches Problem, bekannt als Erdős-Problem 1005, das nach dem „Worst-Case-Szenario“ fragt: Was ist die absolut kleinste Anzahl an Brüchen, die man zwischen zwei schlecht geordneten Brüchen finden kann, während das Regal unendlich groß wird? Ein Mathematiker namens Wouter van Doorn hatte zuvor herausgefunden, dass man niemals mehr als etwa ein Viertel der Gesamtgröße des Regals ( $n/4$ ) in dieser Lücke finden würde. Er vermutete, dass dieses Limit die wahre Antwort war, aber er konnte nicht beweisen, dass man nicht auch weniger als das finden könnte.

Cipolppinis Arbeit beweist, dass van Doorn recht hatte. Der Autor zeigt, dass man die Lücke zwischen zwei schlecht geordneten Brüchen, egal wie man versucht sie anzuordnen, niemals kleiner als etwa $n/4$ machen kann. Mit anderen Worten: Die „schlecht geordneten“ Paare sind wie zwei Magnete, die einander immer so weit abstoßen, dass genau ein bestimmtes Maß an leerem Raum bleibt, und dieser Raum ist genau ein Viertel der Gesamtskala. Das Papier rät nicht nur; es liefert einen strengen mathematischen Beweis unter Verwendung geschickter Zählertricks und Schätzungen, um zu zeigen, dass die untere Grenze der oberen Grenze perfekt entspricht. So ist das Geheimnis gelöst: Die Konstante ist exakt $1/4$ . Das Papier bestätigt, dass van Doorns obere Schranke die optimale, unumstößliche Regel für dieses mathematische Spiel ist.

Technisches Resümee: Optimalität von Wouter van Doorns obere Schranke für das Mayer–Erdős Farey-Problem

Problemstellung
Die Arbeit befasst sich mit einer spezifischen Frage zur Farey-Folge der Ordnung $n$ , bezeichnet als $F_n$ , welche alle reduzierten Brüche $a/b \in [0, 1]$ mit $b \le n$ umfasst, angeordnet in aufsteigender Reihenfolge. Das zentrale Untersuchungsobjekt ist das Konzept „schlecht geordneter“ Paare. Zwei Farey-Brüche $a/b < c/d$ in $F_n$ werden als schlecht geordnet definiert, wenn ihre Zähler zunehmen, während ihre Nenner abnehmen (d. h. $a < c$ und $b > d$ ).

Die Arbeit untersucht die Größe $f(n)$ , definiert als die minimale Anzahl von Farey-Brüchen streng zwischen zwei schlecht geordneten Brüchen in $F_n$ . Dieses Problem ist äquivalent zu Erdős Problem 1005, welches nach der asymptotischen Konstante $c$ fragt, sodass der größte garantierte Bereich ähnlich geordneter Farey-Brüche asymptotisch zu $cn$ verläuft. Während Mayer die Frage initiierte und Erdős eine lineare untere Schranke etablierte, blieb die präzise asymptotische Konstante offen. Jüngste Arbeiten von Wouter van Doorn etablierten die obere Schranke $f(n) \le n/4 + O(1)$ und vermuteten, dass diese Schranke optimal sei.

Methodik
Der Beweis ist elementar, jedoch delikat und stützt sich auf eine Kombination aus analytischer Zahlentheorie und kombinatorischen Abschätzungen. Die Strategie gliedert sich in die Etablierung einer passenden unteren Schranke und die Überprüfung der bestehenden oberen Schranke.

Reduktion auf elementare Intervalle:
Die Autoren zeigen zunächst, dass jedes schlecht geordnete Paar $a/b < c/d$ ein spezifisches „elementares Intervall“ $I_{a,b} = (a/b, (a+1)/(b-1))$ enthält. Folglich reduziert sich der Beweis der unteren Schranke für $f(n)$ auf den Nachweis, dass für alle gültigen $a, b$ die Anzahl der Farey-Brüche in $I_{a,b}$ mindestens $n/4 - o(n)$ beträgt.
Hilfsabschätzungen:
Der Beweis nutzt mehrere Schlüssel-Lemmata:

Primitive Progressionen: Eine Abschätzung für die Anzahl der koprimen Lösungen linearer Diophantengleichungen innerhalb eines Bereichs.
Einheitliche Farey-Zählung: Eine Standardabschätzung für die Anzahl der Farey-Brüche in einem beliebigen Intervall $J$ , gegeben durch $\frac{3}{\pi^2}|J|n^2 + O(n \log n)$ .
Farey-Lücken: Eigenschaften aufeinanderfolgender Brüche in $F_Q$ , insbesondere dass die Längenlänge $1/ss'$ ist und die Summe der Nenner $Q$ übersteigt.
Totient-Inkremente (Der Kernmechanismus): Ein kritisches Lemma (Lemma 5) bezüglich der Funktion $S(x) = \sum_{1 \le e < x} (1 - e/x)\frac{\phi(e)}{e}$ . Die Autoren beweisen, dass $S(x+y) - S(x) \ge y/4$ für $x \ge 0, y \ge 2$ gilt. Diese Ungleichung ist die Quelle der Konstante $1/4$ .

Fallunterscheidung für die untere Schranke:
Um die einheitliche untere Schranke für $N_n(a, b)$ (die Anzahl der Brüche in $I_{a,b}$ ) zu beweisen, unterteilen die Autoren die Analyse basierend auf dem Nenner $b$ und dem Vorhandensein „kleiner“ Rationaler innerhalb des Intervalls:

Kleine Nenner: Wenn $b$ klein ist ( $b \le n/\log^2 n$ ), genügt die Standard-Farey-Zählung.
Große Nenner: Wenn $b$ $b$ groß ist, wird das Intervall relativ zur Farey-Folge einer niedrigeren Ordnung $Q = \lfloor b^{2/3} \rfloor$ $Q = ⌊ b^{2/3} ⌋$ analysiert.
- Fall A (Kleiner Rational im Intervall): Wenn $I_{a,b}$ einen reduzierten Rationalen $h/s$ mit $s \le Q$ enthält, wird die Anzahl mittels einer gewichteten Summe von Totientfunktionen nach unten abgeschätzt, wobei Lemma 5 genutzt wird, um zu zeigen, dass die Summe mindestens $s/4$ beträgt.
- Fall B (Kein kleiner Rational im Intervall): Wenn kein solcher Rational existiert, liegt $I_{a,b}$ innerhalb einer Lücke von $F_Q$ . Die Autoren analysieren die Endpunkte dieser Lücke und zeigen, dass der „kleine“ Endpunkt (mit Nenner $O(b^{1/3})$ ) eine ähnliche Totient-Summen-Abschätzung ermöglicht, was wiederum die $n/4$ -Schranke liefert.

Obere Schranke:
Das Paper enthält die Konstruktion von van Doorn, um die obere Schranke zu demonstrieren. Durch die Wahl spezifischer Brüche $L = (2m-1)/4m$ und $R = 2m/(4m-1)$ (wobei $m \approx n/4$ ), zeigen die Autoren, dass die Anzahl der Brüche zwischen ihnen genau $m + O(1) \approx n/4$ beträgt.

Wesentliche Beiträge und Ergebnisse

Haupttheorem: Das Paper beweist, dass $f(n) = (1/4 + o(1))n$ .
Optimalität: Dieses Ergebnis bestätigt die Vermutung von Wouter van Doorn, dass seine obere Schranke $f(n) \le n/4 + O(1)$ hinsichtlich der asymptotischen Konstante optimal ist.
Lösung von Erdős Problem 1005: Die Arbeit bestimmt die gesuchte asymptotische Konstante für Erdős Problem 1005 exakt als $c = 1/4$ .
Technische Innovation: Der Beweis führt eine robuste eindimensionale Inkrement-Abschätzung für eine gewichtete Totient-Summe (Lemma 5) ein, die als Motor für die Ableitung der $1/4$ -Konstante dient.

Bedeutung
Das Paper löst eine langjährige Frage in der Theorie der Farey-Folgen, indem es das exakte asymptotische Verhalten der minimalen Lücke zwischen schlecht geordneten Brüchen festlegt. Durch das Zusammenführen der oberen Schranke mit einer rigorosen unteren Schranke schließen die Autoren die Lücke für die Konstante $c$ und etablieren diese als $1/4$ . Die Arbeit wird als elementar in ihren Werkzeugen (Vermeidung schwerer Maschinerie) beschrieben, aber delikat in ihrer Ausführung, insbesondere bei der einheitlichen Handhabung der Totient-Summen über verschiedene Nennerbereiche hinweg. Das Ergebnis wird zudem durch eine Formalisierung in Lean 4 validiert, was die Korrektheit der Beweisstrategie sicherstellt.

Technisches Resümee: Optimalität von Wouter van Doorns obere Schranke für das Mayer–Erdős Farey-Problem

Mehr davon