🔢 mathematics

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

Dit artikel bewijst dat het eendimensionale Dirichlet-spectrum met betrekking tot de $L_1$ -norm het interval $[\frac{1}{2}, 1]$ is, wat equivalent is aan het Minkowski-spectrum dat $[\frac{1}{4}, \frac{1}{2}]$ is, en stelt verder vast dat de Hausdorff-dimensie van de niveausets van de Minkowski-constante strikt groter is dan $\frac{1}{2}$ voor waarden in $(\frac{1}{4}, \frac{1}{2}]$ terwijl deze gelijk is aan $\frac{1}{2}$ op de grens.

Oorspronkelijke auteurs: Nikita Shulga

Gepubliceerd 2026-06-09

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Nikita Shulga

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je probeert een geheim getal te raden (een irrationaal getal zoals $\pi$ of $\sqrt{2}$ ) met behulp van eenvoudige breuken (zoals $22/7$ of $355/113$ ). Wiskundigen zijn al lang gefascineerd door hoe "goed" je deze getallen kunt raden.

Dit artikel gaat over een specifiek spel van raden, maar dan met een draai aan de regels.

Het Spel: Raden met een Nieuwe Liniaal

Normaal gesproken, wanneer wiskundigen meten hoe dicht een gok in de buurt komt, gebruiken ze een standaard "liniaal" (de Euclidische afstand, zoals het meten van de rechte lijn tussen twee punten). Deze paper verandert de liniaal. In plaats van een rechte lijn, gebruiken ze een L1-liniaal, die de afstand meet zoals je door stadswijken loopt (de Manhattan-afstand). Je kunt niet diagonaal snijden; je moet omhoog/omlaag en links/rechts gaan.

De vraag die de auteur stelt, is: Wat zijn de mogelijke "beste scores" die je kunt halen in dit stadswijk-raadspel?

In wiskundige termen is deze verzameling van alle mogelijke beste scores de Dirichlet-spectrum.

De Grote Ontdekking: Een Perfect Interval

Lange tijd wisten wiskundigen dat het spectrum bestond, maar ze wisten niet precies welke vorm het had. Was het een verspreide verzameling stippen? Een vreemde, gebroken lijn?

Het belangrijkste resultaat van dit artikel is eenvoudig en mooi:
De verzameling van alle mogelijke beste scores voor dit specifieke "stadswijk"-spel is een perfect, ononderbroken interval van 0,5 tot 1.

Denk aan het als een volumeknop. Als je aan de knop draait, kun je elk volumeniveau krijgen tussen 0,5 en 1. Je kunt geen 0,4 krijgen, en je kunt geen 1,1 krijgen, maar je kunt wel 0,5001, 0,9999 of alles daartussenin krijgen. Dit is de eerste keer dat een eendimensionale versie van dit probleem volledig is opgelost met zo'n helder antwoord.

De Geheime Code: De "Minkowski"-verbinding

Om dit op te lossen, keek de auteur niet alleen direct naar het raadspel. Ze realiseerden zich dat het spel stiekem verbonden is met een speciale code genaamd de Minkowski Diagonale Voortgekoste Breuk.

Stel je een getal voor dat geschreven wordt als een lange reeks cijfers (een voortgekoste breuk). De meeste getallen hebben willekeurig uitziende cijfers. Maar deze speciale code filtert de cijfers en houdt alleen de cijfers over die een zeer specifieke regel volgen (gerelateerd aan de "stadswijk"-afstand).

De auteur bewees dat de "beste score" in het raadspel direct verbonden is met het gedrag van deze speciale code. Specifiek:

De "Minkowski-spectrum" (de scores van deze speciale code) is het interval 0,25 tot 0,5.
De "Dirichlet-spectrum" (de scores van het oorspronkelijke raadspel) is exact twee keer dat: 0,5 tot 1.

Het is alsof je ontdekt dat twee verschillende talen eigenlijk hetzelfde verhaal vertellen, alleen met een andere volumestelling.

De "Niveau-verzamelingen": Hoeveel Getallen Hebben een Specifieke Score?

Het artikel stelt ook een diepere vraag: Als ik een getal wil dat een specifieke score krijgt (bijvoorbeeld precies 0,6), hoeveel van zulke getallen zijn er dan?

In de wiskunde meten we "hoeveel" met iets dat de Hausdorff-dimensie wordt genoemd.

Een enkel punt heeft dimensie 0.
Een lijn heeft dimensie 1.
Een oppervlak heeft dimensie 2.

De auteur ontdekte dat voor bijna elk score tussen 0,25 en 0,5 (in de Minkowski-wereld), de verzameling getallen die die score bereiken verrassend "groot" is.

Ze bewezen dat de "omvang" (dimensie) van deze groepen getallen strikt groter is dan 0,5.
Dit betekent dat deze groepen getallen "dikker" zijn dan een eenvoudige lijn, ook al zijn ze nog steeds "dunner" dan een volledig 2D-oppervlak.

Er is echter een speciaal geval aan de onderkant van de schaal (de score 0,25). Hier bewees de auteur dat de omvang exact 0,5 is. Het is een scherpe grens waar de "dikheid" van de groep verandert.

De Magische Truc: De Getallen Bouwen

Hoe heeft de auteur bewezen dat deze getallen bestaan? Ze gebruikten een slimme constructiemethode, zoals het bouwen van een toren met blokken.

Ze namen een doelscore die ze wilden bereiken.
Ze gebruikten een speciaal algoritme om een getal in twee delen te splitsen.
Ze bouwden een enorme, oneindige reeks cijfers door tussen deze twee delen af te wisselen, gescheiden door enorme "scheiders" (zeer grote getallen).
Dit specifieke patroon dwingt de "score" van het getal om zich exact op de doelwaarde te vestigen.

Samenvatting

In gewone taal zegt dit artikel:

Als je een specifiek getal-raadspel speelt met behulp van "stadswijk"-afstand, dan vullen je beste mogelijke scores een perfect, ononderbroken bereik van 0,5 tot 1.
Dit bereik is het grootste mogelijke bereik dat de wetten van de wiskunde toestaan voor dit type spel.
Voor bijna elke score in dat bereik is er een verrassend grote (hoewel niet oneindige) collectie getallen die die score exact bereikt.
De auteur heeft uitgezocht hoe je deze getallen kunt bouwen met behulp van een speciaal patroon van cijfers.

Dit is een fundamenteel resultaat in de getaltheorie, dat de landkaart tekent van hoe goed we getallen kunnen benaderen onder deze specifieke regels.

Technische Samenvatting: Het Dirichlet-spectrum met betrekking tot de $L^1$ -norm

Probleemstelling
Het artikel onderzoekt het Dirichlet-spectrum $D[F]$ geassocieerd met een norm $F$ op $\mathbb{R}^2$ . Voor een irrationaal getal $\alpha$ is de Dirichlet-constante $d_F(\alpha)$ gedefinieerd via de eerste succesieve minimum van het rooster $\Lambda_\alpha(t) = \text{diag}(t^{-1}, t) \begin{pmatrix} 1 & 0 \\ -\alpha & 1 \end{pmatrix} \mathbb{Z}^2$ met betrekking tot de eenheidsbal van $F$ . De genormaliseerde Dirichlet-constante wordt gegeven door $\delta_F(\alpha) = \Delta_F \cdot (d_F(\alpha))^2$ , waarbij $\Delta_F$ de kritische determinant van de eenheidsbal is. Het Dirichlet-spectrum $D[F]$ is de verzameling van al deze waarden $\delta_F(\alpha)$ voor $\alpha \in \mathbb{R} \setminus \mathbb{Q}$ .

Hoewel de structuur van het klassieke Dirichlet-spectrum (geassocieerd met de sup-norm, $L^\infty$ ) bekend is als complex, bevattende zowel discrete punten als een continue "Hall's ray", blijft de structuur voor andere normen minder goed begrepen. Dit artikel richt zich specifiek op de $L^1$ -norm, gedefinieerd door $F^{[1]}(x, y) = |x| + |y|$ . Het centrale probleem is het bepalen van de exacte verzameling $D[1] = \{ \delta_{F^{[1]}}(\alpha) : \alpha \in \mathbb{R} \setminus \mathbb{Q} \}$ .

Methodologie
De auteur hanteert een meerstapsstrategie die Diophantische benadering, getallen van de vorm van de voortgezette breuken en fractale meetkunde verbindt:

Verbinding met het Minkowski-spectrum: Het artikel legt een directe link tussen het $L^1$ Dirichlet-spectrum en het Minkowski-spectrum $M$ , geassocieerd met de Minkowski diagonale voortgezette breuk (DCF). Er wordt aangetoond dat $\delta_{F^{[1]}}(\alpha) = 2m(\alpha)$ , waarbij $m(\alpha)$ de Minkowski-constante is, gedefinieerd via de limsup van $t \mu_\alpha(t)$ , waarbij $\mu_\alpha(t)$ de lineaire interpolatie is van de onderste convexe omhullende van de verzameling $\{(q, \|q\alpha\|)\}$ . Bijgevolg is $D[1] = 2M$ . Het probleem wordt hiermee gereduceerd tot het karakteriseren van het Minkowski-spectrum $M$ .
Functionele representatie: Gebruikmakend van de resultaten van Moshchevitin, wordt de Minkowski-constante $m(\alpha)$ uitgedrukt als de limsup van waarden afgeleid van twee functies, $G(x,y)$ en $F(x,y)$ , die afhangen van de staarten van de reguliere voortgezette breukexpansie van $\alpha$ . De functie $F$ komt overeen met opeenvolgende convergenten die de ongelijkheid van Legendre bevredigen, terwijl $G$ overeenkomt met "overgeslagen" convergenten. Om de analyse te vergemakkelend, introduceert de auteur een verandering van variabelen die $F$ transformeert naar een functie $K(u,v)$ , gedefinieerd op positieve reële getallen, wat de schatting van grenzen vereenvoudigt.
Somdecompositie-algoritme: Een cruciaal instrument is een recent ontdekt algoritme (uit [27] en [4]) dat elk irrationaal getal $s \in (0,1)$ kan decomponeren in een som van twee voortgezette breuken, $s = \beta + \gamma$ , waarbij de partiële breuken van $\beta$ en $\gamma$ naar oneindig tenderen. Deze decompositie maakt de expliciete constructie van getallen met specifieke eigenschappen mogelijk.
Expliciete constructie van $\alpha$ : Om te bewijzen dat een specifieke waarde $m \in (1/4, 1/2)$ in het spectrum ligt, construeert de auteur een irrationaal getal $\alpha$ door blokken te concateneren die afgeleid zijn van de decompositie van een doelgetal $s = 4m-1$ . De constructie omvat:
- Het creëren van blokken $W_N = (b_N, \dots, b_1, 1, c_1, \dots, c_N)$ gebaseerd op de partiële breuken van $\beta$ en $\gamma$ .
- Het invoegen van deze blokken met grote "scheidings"-partiële breuken $d_j$ om het gedrag van de centrale cijfer '1' te isoleren.
- Het analyseren van de resulterende voortgezette breuk om aan te tonen dat de limsup van de Minkowski-constante exact wordt bepaald door de centrale "overgeslagen" termen (geassocieerd met het cijfer 1), terwijl alle andere sneden strikt kleinere waarden opleveren.
Hausdorff-dimensie analyse: Voor de niveausets $\Theta_m = \{ \alpha : m(\alpha) = m \}$ , gebruikt het artikel de geconstrueerde blokken om verzamelingen van getallen met beperkte partiële breuken in te bedden. Door middel van vervormingsargumenten en eigenschappen van de cilinders van voortgezette breuken, schat de auteur de Hausdorff-dimensie van deze verzamelingen.

Belangrijkste Resultaten

Stelling 1.1 (Hoofdvraag): Het Dirichlet-spectrum voor de $L^1$ -norm is het gesloten interval:
$D[1] = \left[ \frac{1}{2}, 1 \right].$
Equivalenter: het Minkowski-spectrum is $M = [1/4, 1/2]$ . Dit resultaat bevestigt dat voor de $L^1$ -norm het spectrum het volledige theoretisch mogelijke bereik inneemt voor symmetrische normen (aangezien $1/2 \le \delta_F(\alpha) \le 1$ over het algemeen geldt).
Stelling 1.3 (Dimensie van niveausets): Voor elk $m \in (1/4, 1/2)$ heeft de niveauset $\Theta_m$ een Hausdorff-dimensie die strikt groter is dan $1/2$ . Specifiek, als $s = 4m-1$ en $A$ voldoende groot is, dan is $\dim_H \Theta_m \ge \delta_A$ , waarbij $\delta_A$ de dimensie is van de verzameling getallen met partiële breuken $\ge A$ .
Stelling 7.3: Voor elk $m \in (1/4, 1/2)$ geldt $\dim_H \Theta_m < 1$ . Dit onderscheidt deze niveausets van het generieke geval ( $m=1/2$ ), dat een volledige Lebesgue-maat heeft.
Stelling 7.6: De dimensie van de eindpunt-niveauset is exact $\dim_H \Theta_{1/4} = 1/2$ .
Corollary 7.7: De limiet van de dimensies wanneer $m$ van bovenaf $1/4$ nadert, is $1/2$ .

Betekenis en Claims
Het artikel claimt de eerste volledig beschreven structuur van een eendimensionaal Diophantisch spectrum te bieden. Hoewel meerdimensionale Dirichlet-spectra recentelijk als intervallen zijn aangetoond, is het eendimensionale geval doorgaans complexer. Door te bewijzen dat $D[1]$ een gesloten interval is, lost dit werk de structuur voor de $L^1$ -norm op.

Verder demonstreert het werk dat de niveausets van de Minkowski-constante "groot" zijn in een fractale zin (dimensie $> 1/2$ ) voor alle inwendige punten van het spectrum, terwijl de eindpunten afwijkende dimensionale eigenschappen hebben. De methodologie steunt op de expliciete constructie van getallen via de concatenatie van voortgezilde breuken, waarmee de brug wordt geslagen tussen de algebraïsche eigenschappen van de Minkowski-constante en de geometrische eigenschappen van de bijbehorende verzamelingen.

De auteur merkt op dat het resultaat rust op de specifieke eigenschappen van de $L^1$ -norm en de Minkowski diagonale voortgezilde breuk, en claimt niet dat deze structurele resultaten zonder verder onderzoek kunnen worden gegeneraliseerd naar willekeurige normen. Het werk wordt gepresenteerd als een oplossing voor een probleem dat door Moshchevitin werd gesteld betreffende het Minkowski-spectrum.