🔢 mathematics

A Note on Diophantine Approximation with Restricted Denominators

Dieses Papier führt einen spezifischen Dichtebegriff für Teilmengen der natürlichen Zahlen ein, um eine eingeschränkte Analogie zu Dirichlets Satz über rationale Approximationen an irrationale Zahlen zu etablieren, bei der die Nenner auf diese Teilmengen beschränkt sind.

Ursprüngliche Autoren: Chance Sanford

Veröffentlicht 2026-06-03

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Chance Sanford

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, das Zentrum einer Zielscheibe zu treffen, die eine irrationale Zahl darstellt (eine Zahl wie $\pi$ oder $\sqrt{2}$ , die unendlich fortlaufend und nicht periodisch ist). Sie wollen einen Dartpfeil werfen (einen Bruch, wie $3/1$ oder $22/7$ ), der so nah wie möglich am Zentrum landet.

In der Welt der Mathematik gibt es eine berühmte Regel eines Mathematikers namens Dirichlet. Sie besagt: „Egal wie seltsam Ihre Zielzahl auch ist, man kann immer einen Bruch finden, der ihr unglaublich nahe kommt. Tatsächlich gilt: Je näher man herankommt, desto besser sind die Chancen, einen noch näher liegenden Bruch zu finden, vorausgesetzt, man darf jede beliebige natürliche Zahl als Nenner Ihres Bruchs verwenden.“

Das Problem: Die „eingeschränkte“ Zielscheibe

Der Autor dieser Arbeit, Chance Sanford, stellt eine neue Frage: Was ist, wenn man nicht jede beliebige Zahl für den Nenner verwenden darf?

Stellen Sie sich vor, jemand errichtet einen Zaun um Ihre Zielscheibe und sagt: „Sie dürfen nur Dartpfeile auf Zahlen werfen, die in dieser speziellen Liste stehen.“

Vielleicht enthält die Liste nur Primzahlen (2, 3, 5, 7...).
Vielleicht sind es Quadratzahlen (1, 4, 9, 16...).
Vielleicht ist es eine seltsame, maßgeschneiderte Liste.

Wenn die Liste zu „dünn“ (zu leer) ist, erreichen Sie das Zentrum vielleicht nie eng genug. Aber wenn die Liste „dicht“ genug ist (voller von Zahlen), sollten Sie immer noch in der Lage sein, das Ziel zu treffen, selbst wenn die Regeln strenger sind.

Die Lösung: Das Messen der „Gedrängtheit“

Sanford führt eine neue Art ein, wie „gedrängt“ eine Liste von Zahlen ist. Er nennt dies diophantische Dichte.

Denken Sie an eine Party:

Hohe Dichte: Die Party ist vollgestopft. Wenn man in einen kleinen Abschnitt des Raumes blickt, sind dort massenhaft Leute.
Niedrige Dichte: Die Party ist leer. Man muss vielleicht ein langes Stück laufen, um den nächsten Menschen zu finden.

Sanford beweist eine einfache, aber kraftvolle Regel: Wenn Ihre Liste der erlaubten Zahlen „gedrängt genug“ ist (eine ausreichend hohe Dichte aufweist), können Sie immer noch Brüche finden, die Ihrer irrationalen Zielzahl sehr nahe kommen.

„Wie nah“ man herankommt, hängt davon ab, wie gedrängt die Liste ist.

Wenn die Liste super gedrängt ist (wie alle natürlichen Zahlen), erzielen Sie das bestmögliche Ergebnis (Dirichlets ursprüngliche Regel).
Wenn die Liste weniger gedrängt ist, erzielen Sie immer noch ein gutes Ergebnis, aber die Mathematik besagt, dass der Bruch nicht ganz so perfekt sein wird wie in der uneingeschränkten Version.

Der „Komplement“-Trick

Die Arbeit liefert auch einen cleveren Trick, um diese Listen zu erstellen. Anstatt zu versuchen, eine „gute“ Liste von Grund auf neu zu bauen, kann man mit einer „schlechten“ Liste (einer, die zu dünn ist) beginnen und alles nehmen, was nicht in ihr enthalten ist.

Ein Beispiel:

Stellen Sie sich eine Liste von „Piatetski-Shapiro-Zahlen“ vor. Dies sind Zahlen, die durch eine spezifische, etwas seltsame Formel erzeugt werden (wie das Abrunden von $n^{1.5}$ ).
Diese spezifische Liste ist tatsächlich recht „dünn“ (es existieren nicht viele von ihnen).
Sanford zeigt, dass wenn man alle natürlichen Zahlen nimmt und diese dünne Liste entfernt, die verbleibenden Zahlen „dick“ genug sind, um eine großartige Liste zum Treffen des Zentrums zu sein.

Der „Primzahlen“-Realitätscheck

Die Arbeit endet mit einem Realitätscheck über Primzahlen.
Viele Menschen fragen sich: „Können wir das Zentrum treffen, indem wir nur Primzahlen als unsere Nenner verwenden?“

Sanford nutzt seinen neuen „Gedrängtheits-Messwert“, um die Primzahlen zu prüfen. Er stellt fest, dass es zwar viele Primzahlen gibt, diese aber tatsächlich zu dünn sind, um seine spezifische Definition von „gedrängt genug“ zu erfüllen.

Der Haken: Das bedeutet nicht, dass es unmöglich ist, Primzahlen zu verwenden (andere Mathematiker haben bewiesen, dass es möglich ist, aber sie nutzten sehr andere, viel schwierigere Werkzeuge).
Die Grenze: Es bedeutet nur, dass Sanfords spezifische, einfachere Methode der „Gedrängtheit“ nicht stark genug ist, um dies für Primzahlen zu beweisen. Seine Methode funktioniert am besten für Listen, die „dick“ sind, aber nicht so dünn wie die Primzahlen.

Zusammenfassung

Kurz gesagt, diese Arbeit besagt:

Wenn man seine mathematischen Probleme auf eine spezifische Liste von Zahlen einschränkt, kann man immer noch sehr gute Antworten erhalten.
Die Qualität der Antwort hängt davon ab, wie „voll“ diese Liste ist.
Wir können vorhersagen, wie gut die Antwort sein wird, indem wir die „Gedrängtheit“ der Liste messen.
Diese Methode funktioniert gut für viele Listen (wie Zahlen, die keine Quadratzahlen sind), ist aber zu einfach, um die schwierigsten Rätsel zu lösen (wie die Verwendung von ausschließlich Primzahlen).

Problemstellung
Diese Notiz befasst sich mit dem Problem der diophantischen Approximation, wenn die Nenner der approximierenden rationalen Zahlen auf eine bestimmte Teilmenge $A$ der natürlichen Zahlen $\mathbb{N}$ beschränkt sind. Während das Dirichlet’sche Approximations-Theorem garantiert, dass für jedes irrationale $\xi$ unendlich viele teilerfremde Paare $(p, q)$ existieren, die $|\xi - p/q| < 1/q^2$ erfüllen, untersucht der Autor, ob eine ähnliche Schranke erreicht werden kann, wenn $q$ innerhalb einer Teilmenge $A \subseteq \mathbb{N}$ beschränkt ist. Die vorangegangene Forschung auf diesem Gebiet, wie etwa Matomäkis Arbeit über auf Primzahlen beschränkte Nenner, stützte sich stark auf die analytische Zahlentheorie. Diese Arbeit versucht, das Problem durch eine kombinatorische Perspektive durch die Einführung eines spezifischen Begriffs der Dichte zu untersuchen.

Methodik
Der Autor führt eine kombinatorische Definition der „diophantischen Dichte“ für Teilmengen von $\mathbb{N}$ ein und nutzt die elementare Zahlentheorie sowie Eigenschaften der Kettenbrüche, um Ergebnisse zu etablieren.

Definition der diophantischen Dichte: Eine Menge $A \subseteq \mathbb{N}$ wird als eine Menge mit der diophantischen Dichte $\delta \in [0, 1]$ definiert, wenn es eine Konstante $C > 0$ gibt, so dass für jedes hinreichend große teilerfremde Paar $(p, q)$ der minimale Abstand von $vp/q$ zur nächsten ganzen Zahl, minimiert über $v \in A$ mit $v \le q$ , durch $C/q^\delta$ beschränkt ist.
- Bemerkung: Der Autor beweist, dass jede Menge mit positiver diophantischer Dichte unendlich sein muss.
Kombinatorische Konstruktion (Theorem 4): Die Arbeit etabliert eine Methode, um Mengen mit spezifischen diophantischen Dichten zu konstruieren, indem sie das Komplement von Mengen mit kontrolliertem Wachstum analysiert. Konkret gilt: Wenn eine Menge $A$ eine Zählfunktion $A(n) \ll n^\delta$ besitzt, dann besitzt ihr Komplement $\mathbb{N} \setminus A$ eine diophantische Dichte von $1 - \delta$ . Dies wird durch die Analyse der Verteilung der Multimenge $\{ \|kp/q\| : 1 \le k \le q \}$ bewiesen, wobei gezeigt wird, dass das Entfernen der Elemente, die zu $A$ gehören, ein minimales Element hinterlässt, das durch die Dichte der entfernten Menge beschränkt ist.
Anwendung auf die Approximation (Theorem 3): Unter Verwendung der Definition der Dichte leitet der Autor ein eingeschränktes Analogon des Dirichlet-Theorems ab. Wenn eine Menge $A$ eine diophantische Dichte $\delta > 0$ hat, dann existieren für jedes irrationale $\xi$ und $\epsilon > 0$ unendlich viele teilerfremde Paare $(u, v) \in \mathbb{Z} \times A$ , sodass $|\xi - u/v| < 1/v^{1+\delta-\epsilon}$ . Der Beweis stützt sich auf die Kettenbrüche von $\xi$ und die Dreiecksungleichung, wobei gezeigt wird, dass die Dichtebedingung die Existenz unendlich vieler distinkter teilerfremder Paare sicherstellt.

Wesentliche Ergebnisse

Theorem 3 (Eingeschränktes Dirichlet): Wenn eine Teilmenge $A \subseteq \mathbb{N}$ eine diophantische Dichte $\delta > 0$ besitzt, dann gibt es für jedes irrationale $\xi$ unendlich viele Approximationen mit Nennern in $A$ , die $|\xi - u/v| < v^{-(1+\delta-\epsilon)}$ erfüllen.
Theorem 4 (Dichte von Komplementen): Wenn eine Menge $A$ die Eigenschaft $A(n) \ll n^\delta$ erfüllt, dann hat ihr Komplement $\mathbb{N} \setminus A$ eine diophantische Dichte von $1 - \delta$ .
Theorem 5 (Piatetski-Schapiro-Folgen): Durch Anwendung der vorangegangenen Theoreme auf Piatetski-Schapiro-Folgen $PSc = \{\lfloor n^c \rfloor\}_{n \ge 1}$ $P S c = {⌊ n^{c} ⌋}_{n \geq 1}$ (wobei $c > 1$ $c > 1$ ), zeigt der Autor, dass die Menge der ganzen Zahlen, die diese Folgen vermeidet, Approximationen mit einer Fehlerschranke von $|\xi - p/q| < q^{-(2 - 1/c - \epsilon)}$ $∣ ξ - p / q ∣ < q^{- (2 - 1/ c - ϵ)}$ erlaubt.
- Beispiel: Für $c=2$ (Vermeidung perfekter Quadrate) ist die Schranke $q^{-(3/2 - \epsilon)}$ .

Bedeutung und Grenzen
Die Arbeit beansprucht für sich, einen „kombinatorischen Ansatz“ zur eingeschränkten diophantischen Approximation zu liefern, im Gegensatz zu den Methoden der „analytischen Zahlentheorie“, die in früheren Arbeiten (z. B. Vinogradov, Matomäki) verwendet wurden. Sie stellt eine direkte Verbindung zwischen der Wachstumsrate der Zählfunktion einer Menge und der Qualität der möglichen diophantischen Approximationen unter Verwendung ihres Komplements her.

Der Autor ist jedoch bescheiden hinsichtlich des Umfangs dieser Ergebnisse. Die Arbeit stellt explizit fest, dass die Methoden „zu grob“ sind, um stärkere Ergebnisse zu rekonstruieren, die für spezifische dünne Mengen bekannt sind, wie etwa die Menge der Primzahlen. Durch die Anwendung von Theorem 4 stellt der Autor fest, dass die Menge der Primzahlen eine diophantische Dichte von 0 hat (da die Menge der zusammengesetzten Zahlen die Dichte 1 besitzt), wodurch Theorem 3 für Primzahlen nicht anwendbar ist. Somit wird die Arbeit als allgemeiner Rahmen für „hinreichend dichte“ Teilmengen präsentiert und nicht als Lösung für die schwierigsten Fälle dünner Mengen.

Das Problem: Die „eingeschränkte“ Zielscheibe

Die Lösung: Das Messen der „Gedrängtheit“

Der „Komplement“-Trick

Der „Primzahlen“-Realitätscheck

Zusammenfassung

Mehr davon