🔢 mathematics

The Dirichlet spectrum with respect to $L_1$ norm is $\left[\frac12,1\right]$

Diese Arbeit beweist, dass das eindimensionale Dirichlet-Spektrum bezüglich der $L_1$ -Norm das Intervall $[\frac{1}{2}, 1]$ ist, was äquivalent zum Minkowski-Spektrum $[\frac{1}{4}, \frac{1}{2}]$ ist, und stellt ferner fest, dass die Hausdorff-Dimension der Level-Sets der Minkowski-Konstante für Werte in $(\frac{1}{4}, \frac{1}{2}]$ strikt größer als $\frac{1}{2}$ ist, während sie am Rand gleich $\frac{1}{2}$ ist.

Ursprüngliche Autoren: Nikita Shulga

Veröffentlicht 2026-06-09

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Nikita Shulga

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, eine geheime Zahl (eine irrationale Zahl wie $\pi$ oder $\sqrt{2}$ ) durch einfache Brüche (wie $22/7$ oder $355/113$ ) zu erraten. Mathematiker sind fasziniert davon, wie „gut“ man diese Zahlen erraten kann.

Dieses Paper handelt von einem speziellen Spiel des Ratens, aber mit einer Wendung in den Regeln.

Das Spiel: Raten mit einem neuen Lineal

Normalerweise, wenn Mathematiker messen, wie nah ein Tipp liegt, verwenden sie ein Standardmaß (den euklidischen Abstand, also das Messen der geraden Linie zwischen zwei Punkten). Dieses Paper ändert dieses Lineal. Anstatt einer geraden Linie verwenden sie ein L1-Lineal, das dem Messen der Entfernung nach dem Prinzip der Stadtblock-Entfernung entspricht (Manhattan-Distanz). Man kann keine Diagonalen schneiden; man muss nur aufwärts/abwärts und links/rechts gehen.

Die Frage, die der Autor stellt, lautet: Was sind die möglichen „Bestnoten“, die man in diesem Stadtblock-Rate-Spiel erreichen kann?

In mathematischen Begriffen ist diese Menge aller möglichen Bestnoten das, was man das Dirichlet-Spektrum nennt.

Die große Entdeckung: Ein perfektes Intervall

Lange Zeit wussten Mathematiker, dass das Spektrum existiert, aber sie wussten nicht genau, welche Form es annimmt. War es eine verstreute Sammlung von Punkten? Eine seltsame, unterbrochene Linie?

Das Hauptergebnis dieses Papers ist einfach und schön:
Die Menge aller möglichen Bestnoten für dieses spezifische „Stadtblock“-Spiel ist ein perfektes, ununterbrochenes Intervall von 0,5 bis 1.

Man kann es sich wie einen Lautstärkeregler vorstellen. Wenn Sie am Regler drehen, können Sie jede beliebige Lautstärke zwischen 0,5 und 1 erreichen. Sie können nicht 0,4 erreichen, und Sie können nicht 1,1 erreichen, aber Sie können 0,5001, 0,9999 oder alles dazwischen erreichen. Dies ist das erste Mal, dass eine eindimensionale Version dieses Problems mit einer so klaren Antwort vollständig gelöst wurde.

Der Geheimcode: Die „Minkowski“-Verbindung

Um dies zu lösen, hat der Autor das Ratenspiel nicht direkt betrachtet. Er erkannte, dass das Spiel geheim mit einem speziellen Code namens Minkowski-Diagonaler Kettenbruch verbunden ist.

Stellen Sie sich eine Zahl vor, die als eine lange Folge von Ziffern geschrieben wird (ein Kettenbruch). Die meisten Zahlen haben zufällig aussehende Ziffern. Aber dieser spezielle Code filtert die Ziffern und behält nur diejenigen, die einer sehr spezifischen Regel folgen (die mit der „Stadtblock“-Distanz zusammenhängt).

Der Autor bewies, dass die „Bestnote“ im Rate-Spiel direkt mit dem Verhalten dieses speziellen Codes verknüpft ist. Konkret:

Das „Minkowski-Spektrum“ (die Noten dieses speziellen Codes) ist das Intervall von 0,25 bis 0,5.
Das „Dirichlet-Spektrum“ (das ursprüngliche Rate-Spiel) ist genau das Doppelte davon: 0,5 bis 1.

Es ist, als würde man herausfinden, dass zwei verschiedene Sprachen eigentlich dieselbe Geschichte erzählen, nur mit unterschiedlichen Lautstärkeeinstellungen.

Die „Level Sets“: Wie viele Zahlen haben eine bestimmte Note?

Das Paper stellt auch eine tiefere Frage: Wenn ich eine Zahl möchte, die eine spezifische Note erhält (sagen wir, genau 0,6), wie viele solcher Zahlen gibt es?

In der Mathematik messen wir „wie viele“ mit etwas, das man Hausdorff-Dimension nennt.

Ein einzelner Punkt hat die Dimension 0.
Eine Linie hat die Dimension 1.
Eine Fläche hat die Dimension 2.

Der Autor fand heraus, dass für fast jede Note zwischen 0,25 und 0,5 (in der Minkowski-Welt) die Menge der Zahlen, die diese Note erreichen, überraschend „groß“ ist.

Er bewies, dass die „Größe“ (Dimension) dieser Zahlenmengen strikt größer als 0,5 ist.
Das bedeutet, diese Gruppen sind „massiger“ als eine einfache Linie, obwohl sie immer noch „dünner“ als eine vollständige 2D-Fläche sind.

Es gibt jedoch einen Spezialfall am ganz unteren Ende der Skala (die Note 0,25). Hier bewies der Autor, dass die Größe genau 0,5 beträgt. Dies ist eine scharfe Grenze, an der die „Massigkeit“ der Gruppe sich ändert.

Der magische Trick: Das Bauen der Zahlen

Wie hat der Autor bewiesen, dass diese Zahlen existieren? Er nutzte eine clevere Konstruktionsmethode, ähnlich dem Bau eines Turms aus Blöcken.

Er nahm eine Zielnote, die er erreichen wollte.
Er nutzte einen speziellen Algorithmus, um eine Zahl in zwei Teile zu zerlegen.
Er baute eine riesige, unendliche Folge von Ziffern, indem er zwischen diesen beiden Teilen abwechselte, getrennt durch riesige „Separatoren“ (sehr große Zahlen).
Dieses spezifische Muster zwingt die „Note“ der Zahl dazu, sich exakt auf den Zielwert einzupendeln.

Zusammenfassung

In einfachem Deutsch sagt dieses Paper:

Wenn man ein bestimmtes Zahl-Rate-Spiel unter Verwendung der „Stadtblock“-Distanz spielt, füllen die besten möglichen Ergebnisse einen perfekten, ununterbrochenen Bereich von 0,5 bis 1 aus.
Dieser Bereich ist der größte Bereich, der durch die Gesetze der Mathematik für diese Art von Spiel erlaubt ist.
Für fast jede Note in diesem Bereich gibt es eine überraschend große (wenn auch nicht unendliche) Sammlung von Zahlen, die genau diese Note treffen.
Der Autor hat herausgefunden, wie man diese Zahlen mithilfe eines speziellen Musters von Ziffern konstruiert.

Dies ist ein grundlegendes Ergebnis der Zahlentheorie, das die Landschaft dessen kartografiert, wie gut wir Zahlen unter diesen spezifischen Regeln approximieren können.

Technische Zusammenfassung: Das Dirichlet-Spektrum bezüglich der $L^1$ -Norm

Problemstellung
Die vorliegende Arbeit untersucht das Dirichlet-Spektrum $D[F]$ , das mit einer Norm $F$ auf $\mathbb{R}^2$ assoziiert ist. Für eine irrationale Zahl $\alpha$ ist die Dirichlet-Konstante $d_F(\alpha)$ definiert über das erste successive Minimum des Gitters $\Lambda_\alpha(t) = \text{diag}(t^{-1}, t) \begin{pmatrix} 1 & 0 \\ -\alpha & 1 \end{pmatrix} \mathbb{Z}^2$ bezüglich der Einheitskugel von $F$ . Die normierte Dirichlet-Konstante ist gegeben durch $\delta_F(\alpha) = \Delta_F \cdot (d_F(\alpha))^2$ , wobei $\Delta_F$ die kritische Determinante der Einheitskugel ist. Das Dirichlet-Spektrum $D[F]$ ist die Menge aller solcher Werte $\delta_F(\alpha)$ für $\alpha \in \mathbb{R} \setminus \mathbb{Q}$ .

Während die Struktur des klassischen Dirichlet-Spektrums (assoziiert mit der Sup-Norm, $L^\infty$ ) als komplex bekannt ist – es enthält sowohl diskrete Punkte als auch einen kontinuierlichen „Hall’schen Strahl“ – bleibt die Struktur für andere Normen weniger verstanden. Diese Arbeit konzentriert sich spezifisch auf die $L^1$ -Norm, definiert durch $F^{[1]}(x, y) = |x| + |y|$ . Das zentrale Problem besteht darin, die exakte Menge $D[1] = \{ \delta_{F^{[1]}}(\alpha) : \alpha \in \mathbb{R} \setminus \mathbb{Q} \}$ zu bestimmen.

Methodik
Der Autor verwendet eine mehrstufige Strategie, die diophantische Approximation, Kettenbrüche und fraktale Geometrie verbindet:

Verbindung zum Minkowski-Spektrum: Die Arbeit stellt eine direkte Verbindung zwischen dem $L^1$ -Dirichlet-Spektrum und dem Minkowski-Spektrum $M$ her, welches mit dem Minkowski-diagonalen Kettenbruch (DCF) assoziiert ist. Es wird gezeigt, dass $\delta_{F^{[1]}}(\alpha) = 2m(\alpha)$ gilt, wobei $m(\alpha)$ die Minkowski-Konstante ist, die über den Limes superior von $t \mu_\alpha(t)$ definiert ist, wobei $\mu_\alpha(t)$ die lineare Interpolation des unteren konvexen Hüllkurven-Sets $\{(q, \|q\alpha\|)\}$ darstellt. Folglich ist $D[1] = 2M$ . Das Problem wird somit auf die Charakterisierung des Minkowski-Spektrums $M$ reduziert.
Funktionale Repräsentation: Unter Verwendung der Ergebnisse von Moshchevitin wird die Minkowski-Konstante $m(\alpha)$ als Limes superior von Werten ausgedrückt, die von zwei Funktionen $G(x,y)$ und $F(x,y)$ abgeleitet sind, welche von den Ausläufern der regulären Kettenbruch-Entwicklung von $\alpha$ abhängen. Die Funktion $F$ entspricht aufeinanderfolgenden Konvergenten, die die Legendre-Ungleichung erfüllen, während $G$ „übersprungenen“ Konvergenten entspricht. Um die Analyse zu erleichtern, führt der Autor eine Variablenänderung ein, die $F$ in eine Funktion $K(u,v)$ transformiert, die auf positiven reellen Zahlen definiert ist und die Schätzung von Schranken vereinfacht.
Summen-Dekompositions-Algorithmus: Ein entscheidendes Werkzeug ist ein kürzlich entdeckter Algorithmus (aus [27] und [4]), der jede irrationale Zahl $s \in (0,1)$ in eine Summe zweier Kettenbrüche zerlegt, $s = \beta + \gamma$ , wobei die Teilbrüche von $\beta$ und $\gamma$ gegen Unendlich streben. Diese Dekomposition ermöglicht die explizite Konstruktion von Zahlen mit spezifischen Eigenschaften.
Explizite Konstruktion von $\alpha$ : Um zu beweisen, dass ein spezifischer Wert $m \in (1/4, 1/2)$ im Spektrum liegt, konstruiert der Autor eine irrationale Zahl $\alpha$ durch Konkatenation von Blöcken, die aus der Dekomposition der Zielzahl $s = 4m-1$ abgeleitet sind. Die Konstruktion umfasst:
- Erstellung von Blöcken $W_N = (b_N, \dots, b_1, 1, c_1, \dots, c_N)$ basierend auf den Teilbrüchen von $\beta$ und $\gamma$ .
- Einfügen dieser Blöcke mit großen „Separator“-Teilbrüchen $d_j$ , um das Verhalten der zentralen Ziffer „1“ zu isolieren.
- Analyse des resultierenden Kettenbruchs, um zu zeigen, dass der Limes superior der Minkowski-Konstante exakt durch die zentralen „übersprungenen“ Terme (assoziiert mit der Ziffer 1) bestimmt wird, während alle anderen Schnitte strikt kleinere Werte liefern.
Analyse der Hausdorff-Dimension: Für die Level-Sets $\Theta_m = \{ \alpha : m(\alpha) = m \}$ verwendet die Arbeit die konstruierten Blöcke, um Mengen von Zahlen mit eingeschränkten Teilbrüchen einzubetten. Durch Anwendung von Verzerrungsargumenten und den Eigenschaften von Kettenbruch-Zylindern schätzt der Autor die Hausdorff-Dimension dieser Mengen.

Wesentliche Ergebnisse

Theorem 1.1 (Hauptresultat): Das Dirichlet-Spektrum für die $L^1$ -Norm ist das abgeschlossene Intervall:
$D[1] = \left[ \frac{1}{2}, 1 \right].$
Äquivalenterweise ist das Minkowski-Spektrum $M = [1/4, 1/2]$ . Dieses Ergebnis bestätigt, dass das Spektrum für die $L^1$ -Norm das gesamte theoretisch mögliche Intervall für symmetrische Normen einnimmt (da allgemein $1/2 \le \delta_F(\alpha) \le 1$ gilt).
Theorem 1.3 (Dimension der Level-Sets): Für jedes $m \in (1/4, 1/2)$ hat das Level-Set $\Theta_m$ eine Hausdorff-Dimension, die strikt größer als $1/2$ ist. Speziell gilt: Wenn $s = 4m-1$ und $A$ ausreichend groß ist, dann $\dim_H \Theta_m \ge \delta_A$ , wobei $\delta_A$ die Dimension der Menge der Zahlen mit Teilbrüchen $\ge A$ ist.
Theorem 7.3: Für jedes $m \in (1/4, 1/2)$ gilt $\dim_H \Theta_m < 1$ . Dies unterscheidet diese Level-Sets vom generischen Fall ( $m=1/2$ ), der das volle Lebesgue-Maß besitzt.
Theorem 7.6: Die Dimension des Endpunkt-Level-Sets ist exakt $\dim_H \Theta_{1/4} = 1/2$ .
Korollar 7.7: Der Grenzwert der Dimensionen, wenn $m$ von oben gegen $1/4$ strebt, ist $1/2$ .

Bedeutung und Ansprüche
Die Arbeit beansprucht, die erste vollständig beschriebene Struktur eines eindimensionalen diophantischen Spektrums zu liefern. Während mehrdimensionale Dirichlet-Spektren kürzlich als Intervalle nachgewiesen wurden, ist der eindimensionale Fall typischerweise komplexer. Durch den Beweis, dass $D[1]$ ein abgeschlossenes Intervall ist, löst die Arbeit die Struktur für die $L^1$ -Norm.

Darüber hinaus zeigt die Arbeit, dass die Level-Sets der Minkowski-Konstante im fraktalen Sinne „groß“ sind (Dimension $> 1/2$ ) für alle inneren Punkte des Spektrums, während die Endpunkte distinkte dimensionale Eigenschaften aufweisen. Die Methodik beruht auf der expliziten Konstruktion von Zahlen mittels Kettenbruch-Konkatenation und schlägt so die Brücke zwischen den algebraischen Eigenschaften der Minkowski-Konstante und den geometrischen Eigenschaften der assoziierten Mengen.

Der Autor merkt an, dass das Ergebnis auf den spezifischen Eigenschaften der $L^1$ -Norm und des Minkowski-diagonalen Kettenbruchs beruht und nicht behauptet, diese strukturellen Ergebnisse ohne weitere Untersuchung auf beliebige Normen zu generalisieren. Die Arbeit wird als Lösung eines von Moshchevitin aufgeworfenen Problems über das Minkowski-Spektrum präsentiert.