🔢 mathematics

On the graph of the dimension function of the Lagrange and Markov spectra

Dit artikel onderzoekt de grafiek van de dimensiefunctie $d(t)$ van de Lagrange- en Markov-spectra door twaalf niet-triviale plateaus te identificeren via de daling van de Hausdorff-dimensie bij het verwijderen van elementen uit Markov-partities en door rigoureuze numerieke methoden te gebruiken om de grafiek tussen deze plateaus te benaderen, waarbij wordt bewezen dat de tien langste niet-triviale plateaus allemaal een lengte groter dan 0,005 hebben.

Oorspronkelijke auteurs: Carlos Matheus, Carlos Gustavo Moreira, Polina Vytnova

Gepubliceerd 2026-04-24

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Carlos Matheus, Carlos Gustavo Moreira, Polina Vytnova

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

De Reis door het "Lagrange- en Markov-landschap"

Stel je voor dat je een gigantisch, oneindig berglandschap bekijkt. Dit landschap heet de Lagrange- en Markov-spectra. Het is een verzameling van speciale getallen die ontstaan uit de manier waarop we irrationale getallen (zoals $\pi$ of $\sqrt{2}$ ) benaderen met breuken.

In dit artikel kijken de auteurs niet naar de toppen van de bergen, maar naar een heel specifiek aspect: hoe "vol" of "dicht" dit landschap is naarmate je verder naar rechts loopt.

1. De "Dichtheidsmeter" (De functie $d(t)$ )

De auteurs gebruiken een meetinstrument, een soort dichtheidsmeter, genaamd $d(t)$ .

Als je op een punt $t$ in het landschap staat, meet deze meter hoeveel "ruimte" er is voor getallen kleiner dan $t$ .
In de wiskunde noemen we dit de Hausdorff-dimensie. Klinkt ingewikkeld? Denk er gewoon aan als een maatstaf voor complexiteit of dichtheid.
- Een waarde van 0 betekent dat er bijna niets is (een lege weg).
- Een waarde van 1 betekent dat het landschap volledig vol zit (een dichte stad).

2. De Plateaus (De "Vlakte van Stilte")

Het meest fascinerende aan dit landschap is dat de meter niet altijd rustig omhoog kruipt. Soms stopt hij plotseling en blijft hij op één niveau hangen, terwijl je verder loopt.

Dit noemen de auteurs plateaus.
De Metafoor: Stel je voor dat je een trap beklimt. Meestal stap je elke keer een beetje hoger. Maar soms loop je over een lange, vlakke brug. Je loopt wel verder (je $t$ -waarde wordt groter), maar je hoogte (de dichtheid $d(t)$ ) verandert niet.
In dit berglandschap zijn er gaten (leplekken in het spectrum). Zolang je in zo'n gat loopt, verandert de dichtheid niet. De meter blijft stilstaan.

3. Het Grote Ontdekking: De "Top 10" Plateaus

De auteurs hebben een enorme puzzel opgelost. Ze wilden weten: Welke van deze vlakke bruggen (plateaus) zijn het langst?

Ze hebben twaalf belangrijke plateaus geïdentificeerd. Hun belangrijkste conclusie is verrassend simpel:

De tien langste plateaus zijn precies die bruggen die langer zijn dan 0,005.

Het is alsof ze een kaart hebben getekend en gezegd: "Kijk, hier zijn de tien langste vlakke stukken. Alles wat korter is dan 0,005, is te klein om op deze lijst te staan."

4. Hoe hebben ze dit gedaan? (De "Wiskundige Schaar")

Hoe kun je de lengte van zo'n onzichtbare brug meten? De auteurs gebruiken een slimme techniek die lijkt op het knippen van een touw.

Het idee: Ze kijken naar de structuur van de getallen (die zijn opgebouwd uit cijfers 1 en 2, net als een code).
De techniek: Ze zeggen: "Laten we alle getallen verwijderen die een bepaald patroon bevatten, bijvoorbeeld '121'."
Het effect: Als je een stuk van het landschap verwijdert (een patroon verbiedt), wordt het landschap minder complex. De dichtheidsmeter daalt.
Door precies te berekenen hoeveel de meter daalt als ze bepaalde patronen verbieden, kunnen ze de exacte lengte van de plateaus bepalen. Het is alsof ze met een schaar stukjes uit het landschap knippen om te zien hoe de vorm verandert.

5. De Digitale Reis (De "Computer-Expeditie")

Omdat de getallen zo complex zijn, konden ze dit niet alleen met pen en papier doen. Ze gebruikten krachtige computers om een 3D-kaart van dit landschap te tekenen.

Ze hebben een algoritme (een computerprogramma) geschreven dat oneindig veel patronen controleert.
Ze hebben de "dichtheidsmeter" op duizenden punten gemeten.
Het resultaat is een prachtige grafiek (zie Figuur 1 in het artikel) die laat zien hoe de dichtheid omhoog kruipt, stilstaat op de plateaus, en weer omhoog gaat.

Samenvatting in één zin

De auteurs hebben met behulp van slimme wiskunde en krachtige computers een kaart getekend van een mysterieus getallenlandschap en bewezen dat de tien langste "vlakke stukken" (waar de complexiteit stilstaat) precies die zijn die langer zijn dan een bepaalde kleine maatstaf.

Waarom is dit belangrijk?
Het helpt ons begrijpen hoe de wereld van getallen is opgebouwd. Het laat zien dat er in de chaos van wiskundige getallen toch een heel specifieke, voorspelbare structuur zit, met lange vlakke stukken die we nu precies kunnen meten en benoemen. Het is alsof ze de "geheime wegen" in een doolhof hebben gevonden en gemeten.

Titel: Over de grafiek van de dimensiefunctie van de Lagrange- en Markov-spectra

Auteurs: Carlos Matheus, Carlos Gustavo Moreira en Polina Vytnova.

1. Probleemstelling en Achtergrond

Het artikel onderzoekt de structuur van de Lagrange- ( $L$ ) en Markov-spectra ( $M$ ), twee klassieke verzamelingen van reële getallen die voortkomen uit de Diophantische benadering van irrationale getallen en indefinite binaire kwadratische vormen.

Definitie: $L$ en $M$ zijn gesloten deelverzamelingen van $\mathbb{R}$ . Het Markov-spectrum bevat het Lagrange-spectrum ( $L \subset M$ ).
De Dimensiefunctie: De auteurs bestuderen de functie $d(t) = \dim_H(L \cap (-\infty, t)) = \dim_H(M \cap (-\infty, t))$ , waarbij $\dim_H$ de Hausdorff-dimensie aanduidt.
Karakteristieken: Het is bekend dat $d(t)$ een continue, niet-dalende functie is die lokaal constant is op de "gaten" (intervallen) van het Markov-spectrum. Deze constanten delen worden plateaus genoemd. De functie stijgt van 0 (bij $t=3$ ) naar 1 (bij $t_1 \approx 3.334384$ ).
De Vraag: Hoewel de asymptotisch gedrag van $d(t)$ bij $t=3$ bekend is en de waarde van $t_1$ recent is bepaald, ontbrak er een rigoureuze beschrijving van de grafiek van $d(t)$ in het interval $(3, t_1)$ . Specifiek was het onduidelijk welke plateaus de grootste lengtes hebben en hoe de dimensie varieert tussen deze plateaus.

2. Methodologie

De auteurs combineren diepe theoretische inzichten uit de dynamische systemen met rigoureuze numerieke methoden om de grafiek van $d(t)$ te reconstrueren.

A. Theoretische Kader: Gauss-Cantor Mengen en Markov Partities

Dynamische Karakterisering: Gebruikmakend van de karakterisering van Perron, worden de spectra geassocieerd met continue breuken en Bernoulli-shifts op de ruimte van bi-oneindige sequenties van $\{1, 2\}$ .
Verwijdering van Elementen: Een cruciaal theoretisch hulpmiddel is Lemma 2.3. Dit lemma stelt dat het verwijderen van een element uit de Markov-partitie van een dynamische Cantor-set de Hausdorff-dimensie strikt verlaagt.
Toepassing: De auteurs identificeren specifieke "verboden" eindige woorden (substrings) in de continue breuk-ontwikkelingen. Als een woord verboden is, correspondeert dit met een gat in het spectrum. Door te analyseren wanneer bepaalde woorden voor het eerst verschijnen, kunnen ze de grenzen van plateaus bepalen.
Gauss-Cantor Mengen: Ze definiëren verzamelingen $K_i$ van continue breuken die bepaalde verboden substrings $FW_i$ niet bevatten. De dimensie $D_i = \dim_H(K_i)$ wordt gebruikt om de hoogte van de plateaus te berekenen ( $d(t) = 2D_i$ op de plateaus).

B. Numerieke Methode

Rigoureuze Benadering: Om de dimensie tussen de plateaus te berekenen, gebruiken ze een recursieve algoritme (beschreven in Algorithm 1) gebaseerd op de methode uit eerdere werken (o.a. Moreira en Pollicott).
Werking van het Algoritme:
1. Voor een gegeven drempelwaarde $s$ wordt een verzameling "verboden" eindige strings geconstrueerd.
2. Als een string zodanig is dat alle oneindige voortzettingen een Markov-waarde $> s$ hebben, wordt deze string als verboden gemarkeerd.
3. Dit resulteert in een Cantor-set $K$ . De bovenste box-dimensie (die gelijk is aan de Hausdorff-dimensie voor deze sets) geeft een bovengrens voor $d(s)$ .
4. Door de procedure te herhalen voor verschillende $s$ en gebruik te maken van monotoniciteit, worden nauwkeurige boven- en ondergrenzen voor de dimensiefunctie verkregen.
Validatie: De auteurs gebruiken een "checkpoints"-methode waarbij ze de dimensie berekenen op intervallen van grootte $\approx 0.0024$ tussen de geïdentificeerde plateaus om te bewijzen dat er geen andere plateaus met lengte $> 0.005$ bestaan.

3. Belangrijkste Bijdragen en Resultaten

A. Identificatie van Plateaus

De auteurs identificeren twaalf niet-triviale plateaus ( $P_2$ tot $P_{13}$ ) tussen $3$ en $t_1$ . Ze bepalen de exacte grenzen (links en rechts) van deze plateaus, die vaak corresponderen met de eerste verschijning van specifieke patronen in continue breuken (bijv. $121$, $212$, $1212$, etc.).

De tien grootste plateaus (geordend op lengte) zijn precies de plateaus met een lengte groter dan 0.005.

De grootste plateau is $P_2$ (lengte $\approx 0.0367$ ), geassocieerd met de eerste verschijning van het patroon $121$.
De tweede grootste is $P_3$ (lengte $\approx 0.0326$ ), geassocieerd met $212$.
De auteurs tonen aan dat plateaus niet noodzakelijk in de volgorde van hun verschijning op de reële lijn voorkomen; de volgorde op de $t$ -as is anders dan de volgorde op basis van lengte.

B. Constructie van de Grafiek

Ze leveren een rigoureuze beschrijving van de grafiek van $d(t)$ door de twaalf plateaus te plaatsen en de functie te benaderen in de intervallen ertussen.
Ze bewijzen dat de tien grootste plateaus exact die zijn met lengte $> 0.005$ .
Ze identificeren twee extra plateaus ( $P_{12}$ en $P_{13}$ ) met lengtes respectievelijk $0.004185$ en $0.004003$, wat helpt om de numerieke berekeningen te beperken tot het bewijzen dat er geen andere plateaus groter dan $0.005$ zijn.

C. Specifieke Structuur van Gaten

De paper onthult dat de structuur van de gaten binnen de plateaus complex is:

Sommige plateaus zijn de afsluiting van de unie van twee gaten (bijv. $P_2$ is de unie van het grootste gat $G_1$ en een ander gat $J_1$ , gescheiden door een geïsoleerd punt).
Andere plateaus corresponderen met slechts één enkel gat (bijv. $P_8$ ).
Dit illustreert de intrigerende relatie tussen de topologie van het spectrum en de dimensiefunctie.

4. Significatie

Rigoureuze Visualisatie: De paper biedt de eerste volledig onderbouwde, numeriek gevalideerde tekening van de dimensiefunctie $d(t)$ voor de Lagrange- en Markov-spectra. Figuren 1 en 2 in het artikel (en Appendix B) tonen deze grafiek met de plateaus en de variatie ertussen.
Methodologische Vooruitgang: Het werk demonstreert hoe theoretische eigenschappen van Cantor-sets (dimensievermindering bij verwijdering) kunnen worden gecombineerd met geavanceerde numerieke algoritmen om complexe fractale structuren te analyseren.
Klassificatie van Spectra: Door de exacte lengtes en posities van de grootste plateaus te bepalen, krijgen onderzoekers een dieper inzicht in de "gaten" van het Markov-spectrum en de overgang van fractale naar volledige dimensie (dimensie 1).
Openbare Beschikbaarheid: De auteurs maken hun code openbaar, wat reproduceerbaarheid en verdere onderzoek in dit domein faciliteert.

Conclusie

Dit artikel sluit een belangrijke kennislacune in de theorie van Diophantische benaderingen. Door een combinatie van diepe wiskundige analyse en krachtige numerieke methoden, hebben de auteurs de grafiek van de dimensiefunctie van de Lagrange- en Markov-spectra rigoureus vastgesteld, met name door de tien grootste plateaus te identificeren en hun exacte locaties en dimensies te specificeren.