🔢 mathematics

On the Diophantine Inequality $\lvert x^{2} - 2^{a}\cdot 3^{b}\rvert < 3\max\{a,b\}$

Diese Arbeit bestimmt und listet explizit alle 57 nichtnegativen ganzzahligen Lösungen der diophantischen Ungleichung $|x^2 - 2^a \cdot 3^b| < 3\max\{a,b\}$ , indem sie das Problem in eine rationale Approximation von $\sqrt{2}$ , $\sqrt{3}$ oder $\sqrt{6}$ transformiert, den Satz von Worley sowie $p$ -adische lineare Formen in Logarithmen anwendet, um eine obere Schranke zu etablieren, und schließlich diese Schranke mittels des LLL-Algorithmus reduziert.

Ursprüngliche Autoren: Banu İrez Aydın, Herbert Batte, İlker İnam, Florian Luca, Zeynep Demirkol Özkaya

Veröffentlicht 2026-06-18

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Banu İrez Aydın, Herbert Batte, İlker İnam, Florian Luca, Zeynep Demirkol Özkaya

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 vor, Sie versuchen, ein perfektes Quadrat aus Lego-Steinen zu bauen. In dieser mathematischen Geschichte sind die „Steine“ Zahlen, die nur durch das Multiplizieren von 2ern und 3ern entstehen (wie 2, 3, 4, 6, 8, 9, 12 usw.). Mathematiker nennen dies „3-glatte“ Zahlen.

Die zentrale Frage dieser Arbeit ist: Wie nah kann ein perfektes Quadrat an eine dieser „2-und-3“-Zahlen herankommen, ohne tatsächlich mit ihr identisch zu sein?

Es ist, als würde man versuchen, einen quadratischen Stift in ein rundes Loch zu stecken, oder umgekehrt. Manchmal passen sie perfekt zusammen (wie $4 = 2^2$ ), aber die Autoren interessieren sich für die „Beinahe-Treffer“ – Fälle, in denen das Quadrat fast dieselbe Größe hat wie die 2-und-3-Zahl, aber eben nur ganz leicht abweicht.

Die Spielregel

Die Autoren haben eine spezifische Regel festgelegt, was als „Beinahe-Treffer“ gilt. Sie sagen, dass der Unterschied zwischen dem Quadrat ( $x^2$ ) und der 2-und-3-Zahl ( $2^a \cdot 3^b$ ) Folgendes erfüllen muss:

Mindestens 1 (damit es kein perfekter Treffer ist).
Kleiner als ein spezifisches Limit, das langsam basierend auf der Größe der Exponenten $a$ und $b$ wächst.

Es ist, als würde man sagen: „Wenn du versuchst, einen riesigen Turm aus 3ern und 2ern zu matchen, darf dein quadratischer Stift ein kleines bisschen daneben liegen, aber nicht zu viel. Je größer der Turm, desto mehr Spielraum bekommst du, aber nur ein winziges Stück mehr.“

Die große Entdeckung

Das Mathematikerteam (Banu İreç Aydın, Herbert Batte, İlker İnam, Florian Luca und Zeynep Demirkol Özkaya) wollte wissen: Wie viele dieser „Beinahe-Treffer“ existieren?

Sie fanden die Antwort: Genau 57.

Sie haben nicht einfach nur geraten; sie haben jeden einzelnen gefunden und in einer Tabelle in der Arbeit aufgelistet. Wenn Sie die spezifischen Zahlen wissen wollen, liefert die Arbeit eine vollständige Liste dieser 57 Lösungen.

Wie sie es gelöst haben (Die Detektivarbeit)

Die Lösung war nicht so einfach, als dass man nur jede Zahl nacheinander überprüft hätte, da die Zahlen sehr schnell astronomisch groß werden. Stattdessen nutzten sie eine mehrstufige Detektivstrategie:

Der „kleine Fall“-Durchlauf:
Zuerst nutzten sie einen Computer (SageMath), um alle Möglichkeiten zu prüfen, bei denen die Zahlen nicht zu groß waren (bis zu einem gewissen Limit). Dies fand sofort 57 Lösungen. Aber sie mussten auch beweisen, dass nicht noch weitere in dem „Riesenzahlen-Territorium“ lauern.
Der „Approximations“-Trick:
Für die riesigen Zahlen erkannten sie: Wenn ein Quadrat sehr nah an einer 2-und-3-Zahl liegt, bedeutet das, dass die Quadratwurzel dieser Zahl sehr genau durch einen Bruch approximiert wird. Das ist so, als würde man versuchen, den Wert von $\sqrt{2}$ oder $\sqrt{3}$ mithilfe einfacher Brüche zu erraten.
Sie verwendeten ein berühmtes mathematisches Werkzeug namens Worleys Theorem (was wie eine Landkarte für das Finden der besten Bruchergebnisse ist), um die Suche einzugrenzen.
Die „p-adische“ Lupe:
Danach nutzten sie eine leistungsstarke Technik unter Verwendung von „p-adischen Valuations“ (eine Methode, um zu messen, wie oft eine Zahl durch 2 oder 3 teilbar ist). Dies ist wie die Verwendung einer Hochleistungslupe, um die verborgene Struktur der Zahlen zu sehen. Sie wandten ein Theorem von Bugeaud und Laurent an, um zu zeigen, dass, falls eine Lösung mit riesigen Zahlen existierte, die „Lücke“ zwischen dem Quadrat und der 2-und-3-Zahl unmöglich klein sein müsste.
Der „LLL“-Schrumpfstrahl:
Die Mathematik deutete zunächst darauf hin, dass Lösungen mit Zahlen bis zu 70 Millionen existieren könnten. Das ist zu groß, um es von Hand oder selbst mit einem Standardcomputer zu überprüfen.
Deshalb verwendeten sie einen Algorithmus namens LLL (benannt nach seinen Erfindern). Denken Sie an LLL als einen „Schrumpfstrahl“ für mathematische Grenzen. Er nahm dieses massive „70 Millionen“-Limit und komprimierte es auf eine handhabbare Größe (unter 2.200).

Das Faziment

Soblich sie das Limit zusammengestaucht hatten, erkannten sie, dass jede „riesige“ Lösung, vor der sie besorgt waren, tatsächlich in den Bereich fiel, den sie in Schritt 1 bereits mit ihrem Computer überprüft hatten.

Das Ergebnis: Es gibt keine riesigen, verborgenen Lösungen. Die 57 Lösungen, die sie mit dem Computer gefunden haben, sind die einzigen, die im gesamten Universum der Zahlen existieren.

Zusammenfassung

Kurz gesagt: Die Arbeit beweist, dass perfekte Quadrate und Zahlen aus 2ern und 3ern zwar sehr nah beieinander liegen können, dies aber nur in 57 spezifischen Instanzen geschieht. Die Autoren nutzten eine Mischung aus Computerleistung, alter Bruchentheorie und modernen „Schrumpfstrahl“-Algorithmen, um zu beweisen, dass die Liste vollständig ist und keine weiteren Lösungen existieren.

Technische Zusammenfassung von „On the Diophantine Inequality $|x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$ “

Problemstellung
Die Arbeit untersucht die diophantische Ungleichung:
$1 \le |x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$
für nichtnegative ganze Zahlen $x, a, b$ . Die Autoren suchen nach der Menge aller Lösungen $(a, b, x)$ . Das Problem liegt an der Schnittstelle zwischen additiver und multiplikativer Zahlentheorie und untersucht spezifisch, wie eng eine Quadratzahl eine 3-glatte Zahl (eine Zahl der Form $2^a 3^b$ ) approximieren kann, wenn der Fehlerterm durch die Exponenten linear begrenzt ist, während der Term $2^a 3^b$ selbst exponentiell wächst. Dies steht im Gegensatz zur klassischen Gleichung $x^2 = 2^a 3^b$ , die eine unendliche Familie trivialer Lösungen besitzt, bei denen $a$ und $b$ gerade sind. Die Ungleichung beschränkt die Suche auf „Beinahe-Treffer“ (Near-Misses), bei denen die Differenz zwar ungleich Null, aber relativ klein ist.

Methodik
Die Beweisstrategie ist basierend auf der Größenordnung von $A := \max\{a, b\}$ zweigeteilt und verwendet eine Kombination aus computergestützter Verifizierung, analytischer Zahlentheorie und Transzendenzmethoden.

Kleine Fälle ( $A \le 2200$ ):
Die Autoren führen eine erschöpfende computergestützte Suche mittels SageMath durch. Für Paare $(a, b)$ innerhalb des Bereichs $[0, 2200]$ identifizieren sie die dem Wert $\sqrt{2^a 3^b}$ am nächsten liegenden ganzen Zahlen $x$ (speziell $\lfloor \sqrt{2^a 3^b} \rfloor$ und $\lfloor \sqrt{2^a 3^b} \rfloor + 1$ ) und verifizieren die Ungleichung direkt. Dies liefert eine endliche Liste von Lösungen.
Große Fälle ( $A > 2200$ ):
Für größere Exponenten reduzieren die Autoren das Problem auf ein Problem der rationalen Approximation involierender irrationaler Zahlen $\sqrt{d}$ , wobei $d \in \{2, 3, 6\}$ .
- Reduktion auf Kettenbrüche: Durch Analyse der Parität von $a$ und $b$ wird der Term $2^a 3^b$ als $2^{2\alpha} 3^{2\beta} d$ umgeschrieben. Die Ungleichung impliziert, dass eine rationale Zahl $x_0/y_0$ die Zahl $\sqrt{d}$ mit einem Fehler approximiert, der durch $K/y_0^2$ beschränkt ist, wobei $K$ von $A$ abhängt.
- Worleys Theorem: Die Autoren wenden Worleys Theorem an, um solche rationalen Approximationen zu charakterisieren. Dies stellt fest, dass $x_0/y_0$ entweder ein Konvergent des Kettenbruchs von $\sqrt{d}$ oder eine spezifische Linearkombination aufeinanderfolgender Konvergenten sein muss. Dies führt zu einer vereinheitlichten exponentiellen diophantischen Gleichung der Form:
  $2\sqrt{d} y_0 = C\gamma^n + D\delta^n$
  wobei $\gamma$ das fundamentale Einheitsglied des quadratischen Körpers $\mathbb{Q}(\sqrt{d})$ ist und $C, D$ algebraische Zahlen sind, die durch spezifische Familien parametrisiert werden.
- p-adische Lineare Formen in Logarithmen: Um den Exponenten $n$ (und folglich $A$ ) zu beschränken, wenden die Autoren $p$ -adische Valuations ( $p \in \{2, 3\}$ ) auf die vereinheitlichte Gleichung an. Sie nutzen einen unteren Schranken-Satz für $p$ -adische lineare Formen in zwei Logarithmen von Bugeaud und Laurent. Dieser Schritt liefert eine erste, wenn auch sehr große, obere Schranke für $A$ (etwa $3,57 \times 10^7$ ).
- LLL-Algorithmus-Reduktion: Die initiale Schranke ist zu groß für eine direkte Berechnung. Die Autoren setzen den LLL-Algorithmus (Lenstra–Lenstra–Lovász) zur Gitterreduktion ein, um die Schranke signifikant zu verschärfen. Durch Konstruktion eines Gitters basierend auf der linearen Form der logarithmischen Gleichung reduzieren sie die obere Schranke für $A$ auf $2200$.
Behandlung von Sonderfällen:
Die Autoren behandeln potenzielle Grenzfälle, in denen die algebraischen Zahlen der linearen Formen multiplikativ abhängig sind. Sie zeigen, dass in diesen Szenarien die Schranke für $A$ sogar noch kleiner wird ( $A < 180$ ), wodurch sichergestellt ist, dass diese Fälle bereits durch die initiale computergestützte Suche abgedeckt sind.

Zentrale Beiträge und Ergebnisse

Vollständige Klassifizierung: Die Arbeit stellt fest, dass es genau 57 nichtnegative ganzzahlige Lösungen $(a, b, x)$ für die Ungleichung gibt.
Explizite Liste: Alle 57 Lösungen sind explizit in Tabelle 1.1 der Arbeit aufgeführt. Die Autoren merken an, dass es genau 28 Lösungen gibt, wenn man die Suche auf positive ganze Zahlen $x, a, b$ einschränkt.
Methodische Synthese: Die Arbeit demonstriert die Effektivität der Kombination klassischer Werkzeuge der diophantischen Approximation (Worleys Theorem, Kettenbrüche) mit modernen Transzendenzmethoden (Bugeaud–Laurent-Schranken) und computergestützter Gitterreduktion (LLL), um spezifische diophantische Ungleichungen vollständig zu lösen.

Bedeutung
Die Arbeit trägt zum breiteren Programm des Verständnisses von diophantischen Ungleichungen bei, bei denen polynomielle Ausdrücke mit multiplikativ strukturierten Mengen (glatten Zahlen) approximiert werden. Sie erweitert die Untersuchung von „Beinahe-Gleichungen“ über den Bereich exakter diophantischer Gleichungen (wie etwa Pillai-Typ-Gleichungen) hinaus auf Fälle mit kontrollierten Fehlertermen. Die Autoren heben hervor, dass das Vorhandensein eines Fehlerterms, der linear in den Exponenten wächst (statt konstant zu sein), ein hochgradig eingeschränktes Regime schafft, das nur endlich viele Lösungen zulässt. Die erfolgreiche Lösung dieser spezifischen Ungleichung dient als Demonstration der Leistungsfähigkeit aktueller Transzendenzmethoden bei der vollständigen Lösung solcher Probleme.

Die Spielregel

Die große Entdeckung

Wie sie es gelöst haben (Die Detektivarbeit)

Das Faziment

Zusammenfassung

Mehr davon