🔢 mathematics

Balanced rectangles over Sturmian words and minimal discrepancy intervals

Dit artikel karakteriseert de balans van $m \times n$ -rectangulaire matrices afgeleid van Sturmiaanse woorden met een willekeurige hellingshoek $\alpha$ volledig aan de hand van Ostrowski-representaties, waarbij een nieuwe aanpak wordt gebruikt die gebaseerd is op de verdeling van $n\alpha \bmod 1$ in plaats van alleen kwadratische irrationale hellingshoeken te beschouwen.

Oorspronkelijke auteurs: Ingrid Vukusic

Gepubliceerd 2026-04-20

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Ingrid Vukusic

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

Balanced Rechthoeken over Sturmiaanse Woorden: Een Reis door de Wiskunde van Patroon en Chaos

Stel je voor dat je een oneindig lang tapijt weeft. Dit tapijt is gemaakt van twee kleuren draden: zwart (0) en wit (1). De manier waarop je deze draden afwisselt, volgt een heel specifiek, maar niet-periodiek patroon. In de wiskunde noemen we zo'n rij een Sturmiaans woord. Een beroemd voorbeeld is het "Fibonacci-woord", dat ontstaat door een simpele regel toe te passen: "zet een witte draad, dan een zwarte, dan weer een witte..." maar dan op een manier die nooit precies hetzelfde herhaalt.

De vraag die de auteur, Ingrid Vukusic, in dit artikel onderzoekt, is als volgt:

Stel je voor dat je op dit oneindige tapijt een raamwerk legt. Dit raamwerk is een rechthoek van een bepaalde grootte, zeg $m$ rijen hoog en $n$ kolommen breed. Je telt nu hoeveel witte draden (1'en) er precies in dat raamwerk zitten.

De kernvraag is: Als ik mijn raamwerk een stukje opschuift (naar links of rechts), verandert het aantal witte draden dan heel veel, of blijft het ongeveer hetzelfde?

Als het aantal witte draden in elke mogelijke positie van je raamwerk altijd maar één van twee waarden kan aannemen (bijvoorbeeld altijd 10 of 11, maar nooit 9 of 12), dan noemen we deze rechthoek "in evenwicht" (balanced). Als het aantal wisselt tussen 10, 11 en 12, dan is het niet in evenwicht.

De Grote Ontdekking: Een Sleutel tot het Patroon

Vroeger wisten wiskundigen al dat dit "evenwicht" afhangt van de grootte van je raamwerk ( $m$ en $n$ ) en de "helling" ( $\alpha$ ) van het patroon. Maar ze konden dit alleen goed verklaren voor speciale, "makkelijke" hellingen (zoals de gulden snede).

Ingrid Vukusic heeft nu de oplossing gevonden voor alle mogelijke hellingen, zelfs de meest "moeilijke" en chaotische ones. Haar geheim? Ze gebruikt een wiskundige sleutel die Ostrowski-representatie heet.

De Analogie van de Trappen:
Stel je voor dat de helling $\alpha$ een heel speciale trap is. Deze trap heeft treden van verschillende groottes. De Ostrowski-representatie is als het beschrijven van een getal (zoals de breedte $n$ van je raamwerk) door te zeggen: "Ik gebruik 3 treden van grootte A, 2 treden van grootte B, en 1 trede van grootte C."

Vukusic ontdekt dat een rechthoek alleen in evenwicht is als de "trapbeschrijvingen" van de hoogte ( $m$ ) en de breedte ( $n$ ) op een heel specifieke manier met elkaar overeenkomen. Het is alsof de treden van de ene trap perfect moeten "sluiten" in de gaten van de andere trap.

De Twee Manieren om in Evenwicht te zijn

De paper beschrijft twee hoofdscenario's waarin je rechthoek perfect in evenwicht blijft:

De "Grote en Kleine" Strategie:
Stel je voor dat je $m$ (hoogte) alleen uit kleine treden bestaat, en $n$ (breedte) alleen uit grote treden. Of andersom. Als je raamwerk zo is samengesteld dat de "kleine" en "grote" delen van het patroon elkaar niet storen, blijft het evenwicht behouden. Het is alsof je een klein raamwerk legt op een deel van het tapijt dat heel rustig is, terwijl de breedte van je raamwerk over een deel gaat dat heel snel verandert, maar op een voorspelbare manier.
De "Perfecte Passende" Strategie:
Soms is je hoogte $m$ precies gelijk aan een van de hoofdtreden van de trap (een zogenaamde "convergent"). Dan moet je breedte $n$ op een heel specifieke manier gebouwd zijn, alsof het een spiegelbeeld is van de trap. Als je dit doet, vallen de witte draden in je raamwerk perfect in de gleuven van het patroon.

Waarom is dit belangrijk?

Dit klinkt misschien als abstracte puzzel, maar het gaat over voorspelbaarheid in chaos.

In de natuur en de techniek hebben we vaak te maken met systemen die bijna regelmatig zijn, maar net niet (zoals de beweging van planeten of de timing van hartslagen).
Het begrijpen van "balans" in deze systemen helpt ons te weten wanneer we een fout kunnen verwachten en wanneer alles soepel loopt.
De paper laat zien dat zelfs in de meest complexe, chaotische patronen, er diepe, strakke regels zijn die bepalen of iets "in evenwicht" is of niet.

Samenvattend in één zin:

De auteur heeft ontdekt dat je kunt voorspellen of een stukje van een complex, oneindig patroon altijd evenveel "wit" bevat, door te kijken naar hoe de afmetingen van dat stukje zijn opgebouwd uit de "fundamentele bouwstenen" van het patroon zelf. Het is als het vinden van de perfecte sleutel die altijd in het slot past, ongeacht hoe vreemd de vorm van het slot ook is.

Probleemstelling

Het artikel onderzoekt het evenwicht (balance) van rechthoekige submatrices die zijn afgeleid van Sturmian woorden. Een Sturmian woord $a = a_1a_2\dots$ met helling $\alpha$ (irrationaal) en intercept $\theta$ wordt gedefinieerd als $a_n = \lfloor(n+1)\alpha + \theta\rfloor - \lfloor n\alpha + \theta\rfloor$ .

De auteur definieert een oneindige Hankel-matrix $A$ waarbij $a_{k,\ell} = a_{k+\ell}$ . De kernvraag is of $m \times n$ rechthoeken in deze matrix "gebalanceerd" zijn. Een verzameling van $m \times n$ rechthoeken is gebalanceerd als het aantal enen (het gewicht) in elke dergelijke rechthoek slechts twee opeenvolgende gehele waarden kan aannemen (d.w.z. $\{c, c+1\}$ voor een zekere $c$ ).

Eerdere resultaten (Anselmo et al., Shallit en Vukusic) hadden dit probleem alleen opgelost voor het geval dat $\alpha$ een kwadratisch irrationaal getal is (zoals de gulden snede voor het Fibonacci-woord), waarbij gebruik werd gemaakt van de Zeckendorf-representatie en automatische bewijstechnieken (zoals Walnut). De beperking was dat deze methoden afhankelijk waren van de periodieke breukontwikkeling van kwadratische irrationaals.

Het doel van dit artikel is een volledige karakterisering te geven voor elk irrationaal getal $\alpha$ , zonder de beperking tot kwadratische irrationaals.

Methodologie

De auteur hanteert een benadering die gebaseerd is op de verdeling van de rij $n\alpha \pmod 1$ en de theorie van discrepantie, in plaats van automata of specifieke eigenschappen van kwadratische irrationaals.

Vermindering tot Intervallen:
De kern van de methode is het bewijzen van een equivalentie tussen het gebalanceerd zijn van $m \times n$ rechthoeken en het gebalanceerd zijn van intervallen van een bepaalde lengte.
- Het gewicht van een factor van lengte $n$ in een Sturmian woord hangt af van de positie van $\{n\alpha\}$ en $\{i\alpha\}$ in het interval $[0,1)$ .
- De som over een $m \times n$ rechthoek kan worden herschreven als het tellen van punten $\{k\alpha\}$ (voor $0 \le k < m$ ) die in een interval van lengte $\{n\alpha\}$ vallen.
- Stelling 3.1: De $m \times n$ rechthoeken zijn gebalanceerd dan en slechts dan als intervallen van lengte $\{n\alpha\}$ gebalanceerd zijn met betrekking tot de puntenverzameling $B = \{0, \alpha, \dots, (m-1)\alpha\}$ en het getal $\alpha$ .
Bijectiviteit van Afbeeldingen:
Om te bepalen of intervallen gebalanceerd zijn, introduceert de auteur twee functies, $f_{left}$ en $f_{right}$ , die voor elk punt in de verzameling $B$ het dichtstbijzijnde punt links en rechts van het einde van het interval bepalen.
- Lemma 4.3: Intervallen zijn gebalanceerd dan en slechts dan als deze functies bijectief zijn op de indexverzameling $\{0, \dots, m-1\}$ .
- Dit wordt vertaald naar een probleem over het minimaliseren van de afstand $\langle x\alpha \rangle$ (afstand tot het dichtstbijzijnde geheel getal) binnen specifieke intervallen van gehele getallen.
Ostrowski-Representaties:
De analyse maakt gebruik van de Ostrowski-representatie van gehele getallen ten opzichte van $\alpha$ . Elk positief geheel getal $n$ kan uniek worden geschreven als $n = \sum b_k q_k$ , waarbij $q_k$ de noemers zijn van de convergenten van de kettingbreuk van $\alpha$ .
- De auteur gebruikt eigenschappen van deze representaties om te analyseren hoe dicht $\{n\alpha\}$ bij 0 ligt en hoe de punten $\{k\alpha\}$ verdeeld zijn.
- Specifiek worden de relaties tussen de Ostrowski-representaties van $m$ , $n$ en $q_T - n$ (voor grote $T$ ) onderzocht om de bijectiviteit van de functies te bepalen.

Belangrijkste Resultaten

De hoofdstelling (Stelling 2.1) geeft een volledige karakterisering van wanneer $m \times n$ rechthoeken gebalanceerd zijn, uitgedrukt in de Ostrowski-representaties van $m$ en $n$ ten opzichte van $\alpha$ .

Laat $q_k$ de noemers van de convergenten van $\alpha$ zijn. De $m \times n$ rechthoeken zijn gebalanceerd dan en slechts dan als de Ostrowski-representaties van $m$ en $n$ (met $2 \le m \le n$ ) voldoen aan ten minste één van de volgende vier vormen:

Gescheiden representaties (Split):
- (i) $m$ gebruikt alleen kleine indices en $n$ alleen grote indices: $m = \sum_{k=0}^M b_k q_k$ en $n = \sum_{k=M+1}^N b_k q_k$ .
- (ii) $m$ heeft een niet-nul laatste cijfer, en $n$ begint met een specifieke term $q_M$ gevolgd door termen met even indices: $m = \sum_{k=0}^M b_k q_k$ ( $b_M \neq 0$ ) en $n = q_M + \sum_{k=M+1+2t}^N b_k q_k$ .
$m$ is een noemer van een convergent of semi-convergent:
- (iii) $m = q_M$ (een noemer van een convergent) en $n$ heeft een specifieke vorm waarbij de "grote" termen even indices hebben.
- (iv) $m = q_{M-1} + a q_M$ (een semi-convergent) en $n$ heeft een vergelijkbare specifieke vorm met pariteitsrestricties op de cijfers.

Voorbeeld: Voor $\alpha = \pi/4$ en $m=2, n=10$ , vallen de representaties onder geval (ii), wat betekent dat $2 \times 10$ rechthoeken gebalanceerd zijn. Voor $m=5, n=10$ voldoet de combinatie niet aan de voorwaarden, en zijn ze niet gebalanceerd.

Significantie en Bijdrage

Generalisatie: Dit werk generaliseert eerdere resultaten die beperkt waren tot kwadratische irrationaals (waarbij de Zeckendorf-representatie en automata zoals Walnut werden gebruikt). De nieuwe aanpak werkt voor elk irrationaal getal $\alpha$ .
Methodologische verschuiving: In plaats van te vertrouwen op de periodieke structuur van de kettingbreuk (die alleen geldt voor kwadratische irrationaals), gebruikt de auteur Diophantische benadering en de verdeling van $n\alpha \pmod 1$ . Dit verbindt het probleem van Sturmian woorden direct met de theorie van begrensde restverzamelingen (bounded remainder sets) en discrepantie.
Unificatie: De paper biedt een uniforme karakterisering die zowel de "extreme" gevallen (zeer korte of zeer lange intervallen) als de gevallen waar punten zeer gelijkmatig verdeeld zijn (convergenten/semi-convergenten) omvat.
Technische diepgang: De bewijzen introduceren nieuwe technische lemmata over de Ostrowski-representaties, specifiek gericht op het minimaliseren van afstanden in specifieke intervallen en de relatie tussen $n$ en $q_T - n$ .

Kortom, het artikel lost het tweedimensionale evenwichtsprobleem voor Sturmian woorden volledig op voor alle irrationale hellingen, en biedt een diepgaand inzicht in de wisselwerking tussen combinatoriek op woorden, getaltheorie (kettingbreuken) en dynamische systemen.