Beatty solutions of almost Golomb equations

✨

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

Each language version is independently generated for its own context, not a direct translation.

Stel je voor dat je een rij getallen moet maken, net als een rij auto's die in een file staan. De regel is heel simpel, maar ook heel raar: als je kijkt naar de som van twee auto's achter elkaar, moet dat getal precies aangeven op welke plek in de file die auto's staan.

Dit klinkt als een raadsel, en dat is het ook. Wiskundigen noemen dit een "Golomb-vergelijking". In dit artikel, geschreven door Benoît Cloitre, wordt een nieuw soort oplossing voor dit raadsel ontdekt.

Hier is de uitleg in gewone taal, met een paar creatieve vergelijkingen:

1. Het Raadsel: De "Bijna-Golomb" Regel

Stel je een rij getallen voor: $a(1), a(2), a(3), \dots$
De regel is: Als je de waarde van een getal ( $a(n)$ ) optelt bij de waarde van het getal er direct voor ( $a(n-1)$ ), dan moet je kijken op die som-positie in de rij. En daar moet het getal $n$ staan.

Voorbeeld: Als $a(5) = 4$ en $a(4) = 3$ , dan is de som $7$. Je kijkt dus naar de 7e plek in de rij. Daar moet het getal $5$ staan.

Dit is een "zelfreferentiële" regel. De positie waar je moet kijken, hangt af van de getallen die je net hebt gekozen. Het is alsof je een kaart tekent terwijl je erover loopt.

2. De Bekende Oplossing: De "Gierige" Manier

Tot nu toe kenden wiskundigen maar één manier om dit op te lossen: de gierige methode.
Stel je voor dat je een kind bent dat zo snel mogelijk de kleinste mogelijke getallen kiest, zolang het maar niet tegen de regels is.

Dit levert een rij op die een beetje "trilt" of "huilt". Het groeit, maar niet soepel. Het is als een trap die soms twee treden hoog is en soms drie, maar altijd een beetje onregelmatig.
Deze oplossing is "lokaal": het kind kijkt alleen naar wat er direct voor zijn neus ligt en kiest het kleinste getal.

3. De Nieuwe Ontdekking: De "Droomrij" (Beatty-rij)

Cloitre ontdekt dat er een tweede manier is om dit raadsel op te lossen. Deze manier is totaal anders.

In plaats van te kiezen wat het kleinst is, volgt deze rij een perfect, glad patroon gebaseerd op een irrationaal getal: $1/\sqrt{2}$ (ongeveer 0,707).
De Analogie: Stel je voor dat de gierige oplossing een wandeling is door een bos waar je elke keer de kortste weg kiest. De nieuwe oplossing is als een trein die rijdt op een spoor dat perfect recht is, maar met een schuine hoek die nooit precies in een heel getal uitkomt.
Deze rij ziet eruit als een Beatty-rij. Dat is een rij die je krijgt door een rechte lijn te tekenen en op elke hele stap de hoogte af te lezen. Het is een "Sturmisch woord": een patroon dat nooit precies herhaalt, maar wel een vaste ritme heeft.

Het verrassende: Beide rijen beginnen exact hetzelfde (1, 2, 2, 3, 4, 4...), maar op een zeker punt (bij nummer 12) splitsen ze zich. De gierige rij herhaalt een getal, terwijl de nieuwe rij doorgaat met een nieuw getal. Beiden zijn correct, maar ze "kijken" naar verschillende plekken in de toekomst.

4. Het Magische Interval: Een Familie van Oplossingen

Het artikel gaat nog een stap verder. De "droomrij" is niet de enige. Er is een continu interval van oplossingen.

Stel je voor dat de "droomrij" een trein is die op een spoor rijdt. Cloitre bewijst dat je die trein een beetje kunt verschuiven (een beetje naar links of rechts op het spoor) en hij blijft nog steeds werken, mits je binnen een bepaalde "veilige zone" blijft.
Deze zone is heel smal (ongeveer 0,12 eenheid breed). Als je buiten deze zone rijdt, crasht de trein (de regel klopt niet meer).
Binnen deze zone werkt de rij, maar hij voldoet dan aan een iets zwakkere versie van de regel (een "drievoudig ingepakte" vergelijking). Het is alsof je een brug hebt die alleen stabiel is als je precies in het midden loopt, maar als je een beetje schuurt, blijft hij toch staan zolang je niet te ver afwijkt.

5. Waarom is dit belangrijk?

Twee werelden: Het laat zien dat wiskundige raadsels vaak twee gezichten hebben. Eén kant is lokaal en "gierig" (automatisch, voorspelbaar), en de andere kant is globaal en gebaseerd op de oneindige, irrationele natuur van getallen (zoals de verhouding van de zijden van een vierkant).
De "Fouten" (Defect): Als je buiten de perfecte "droomrij" zit maar nog binnen het veilige interval, ontstaan er kleine foutjes. Cloitre laat zien dat deze foutjes een heel mooi, fractal-achtig patroon vormen, vergelijkbaar met de patronen in de natuur (zoals de rangschikking van zaden in een zonnebloem).
Meer dan alleen 2: Dit werkt niet alleen voor rijen van 2 getallen, maar ook voor rijen van 3, 5, en andere getallen (zolang het geen "perfecte kwadraten" zijn). Voor sommige getallen werkt het perfect, voor andere (zoals 4, 16, 36) faalt het.

Samenvatting in één zin

Het artikel toont aan dat er naast de "gierige" manier om een zelfreferentiële getallenrij te maken, ook een prachtige, gladde manier bestaat die gebaseerd is op de oneindige patronen van de wiskunde, en dat er een heel klein venster van variatie bestaat waarin deze patronen blijven werken.

Het is als het ontdekken dat er naast de kortste weg naar huis, ook een prachtige, lange wandelroute is die je net zo goed thuisbrengt, zolang je maar binnen de paden blijft.

Each language version is independently generated for its own context, not a direct translation.

Titel: Beatty-oplossingen van bijna-Golomb-vergelijkingen

Auteur: Benoît Cloitre
Datum: April 2026 (voorgesteld)
Vakgebied: Getaltheorie, Combinatoriek, Dynamische Systemen

1. Probleemstelling

Het artikel onderzoekt de bijna-Golomb-vergelijking van orde $r$ . Deze vergelijking zoekt naar een niet-dalende rij van positieve gehele getallen $a(n)$ die voldoet aan:
$a\left(\sum_{j=0}^{r-1} a(n-j)\right) = n$
voor $n \geq 1$ , met $a(k) = 0$ voor $k < 1$ .

In de klassieke Golomb-rij (waar $r$ oneindig is) verschijnt het getal $n$ precies $a(n)$ keer. Bij de "bijna"-variant wordt de cumulatieve som vervangen door een glijdend venster van grootte $r$ .

Bestaande kennis: Voor elke $r \geq 2$ bestaat er een unieke "greedy" (gierige) oplossing. Deze rij is $r$ -regulier (in de zin van Allouche en Shallit), toont een oscillatie in de verhouding $a(n)/n$ , en volgt een lokaal, dyadisch patroon.
De vraag: Bestaan er andere monotoon stijgende oplossingen die fundamenteel verschillen van de greedy-oplossing?

2. Methodologie

De auteur combineert verschillende wiskundige technieken om de structuur van de vergelijking te analyseren:

Asymptotische analyse: Het aannemen van een lineaire groei $a(n) \sim cn$ om de helling $c$ te bepalen.
Beatty-rijen: Het onderzoeken van oplossingen van de vorm $a(n) = \lfloor cn + d \rfloor$ , waarbij $c$ een irrationaal getal is.
Sturmian woorden: Het analyseren van de eerste verschillen $\Delta(n) = a(n+1) - a(n)$ als mechanische woorden gegenereerd door een rotatie op de eenheidscirkel.
Ostrowski-getalsysteem: Het gebruik van de representatie van getallen ten opzichte van de noemers van de convergenten van de continued fraction van $c$ (specifiek gerelateerd aan de Pell-getallen voor $c=1/\sqrt{2}$ ).
Formele bewijsvoering: Het gebruik van de Walnut-tool (een theorem-prover voor automatische rijen en Ostrowski-systemen) om identiteiten te verifiëren voor specifieke waarden van $r$ .

3. Belangrijkste Bijdragen en Resultaten

A. Bestaan van een tweede oplossing (Orde $r=2$ )

Voor $r=2$ bewijst de auteur dat er naast de bekende greedy-oplossing een tweede monotoon stijgende oplossing bestaat.

De Beatty-oplossing: De rij wordt gegeven door $a(n) = \lfloor \frac{n+1}{\sqrt{2}} \rfloor$ .
Eigenschappen:
- De helling is $c = 1/\sqrt{2}$ .
- De rij is een inhomogene Beatty-rij.
- De verhouding $a(n)/n$ convergeert naar $1/\sqrt{2}$ .
- De structuur is Sturmiaans (gerelateerd aan het $\sqrt{2}$ -Wythoff-spel).
Uniciteit: Binnen de klasse van Beatty-rijen is deze oplossing uniek voor de exacte vergelijking.

B. De "Triple-nested" familie en het continuüm

De auteur introduceert een zwakkere vergelijking: $a(a(a(n) + a(n-1))) = a(n)$ .

Voor de exacte vergelijking (orde 2) is de verschuiving $d = \sqrt{2}/2$ uniek.
Voor de zwakkere vergelijking bestaat er echter een continuüm van oplossingen voor $a(n) = \lfloor n/\sqrt{2} + d \rfloor$ , zolang $d$ binnen een specifiek interval $I = [\sqrt{2}/2, 2(\sqrt{2}-1)]$ ligt.
Buiten dit interval faalt de vergelijking voor oneindig veel $n$ .
De "defect" (het verschil tussen de linker- en rechterkant) wordt geabsorbeerd door de buitenste functie $a$ , mits $d$ binnen $I$ valt.

C. Algemenering naar andere venstergroottes ( $r$ )

De resultaten worden uitgebreid naar willekeurige $r \geq 2$ :

Helling: De Beatty-oplossing heeft een helling $c = 1/\sqrt{r}$ .
Perfecte kwadraten:
- Als $r = s^2$ en $s$ oneven is, geldt de identiteit exact: $a_r(S_r(n)) = n$ .
- Als $r = s^2$ en $s$ even is, faalt de identiteit systematisch (de rij geeft $n+1$ in plaats van $n$ ).
Niet-kwadraten: De identiteit geldt voor alle niet-kwadratische $r$ tot en met 30 (bewezen via Walnut). Er wordt een conjectuur geformuleerd dat dit geldt voor alle niet-kwadratische $r$ .

D. Structurele verschillen tussen oplossingen

De paper legt een scherp contrast bloot tussen de twee takken van oplossingen:

Greedy-oplossing: Lokaal, $r$ -regulier, dyadische structuur, oscillerende verhouding.
Beatty-oplossing: Globaal, irrationale helling, Sturmiaanse structuur, convergerende verhouding.

4. Significatie en Implicaties

Doorbraak in rijtheorie: Het artikel toont aan dat impliciete vergelijkingen met "self-referential addressing" (waar de index afhangt van de rij zelf) meerdere fundamenteel verschillende monotoon stijgende oplossingen kunnen hebben. Dit breekt met het idee dat dergelijke vergelijkingen vaak een unieke "natuurlijke" oplossing hebben.
Verbinding tussen domeinen: Het werk verbindt de theorie van automatische rijen (greedy) met de theorie van Sturmian woorden, Beatty-rijen en de theorie van begrenste restverzamelingen (bounded remainder sets) voor irrationale rotaties.
Wythoff-spel: De oplossingen worden gelinkt aan de P-posities van een veralgemeend Wythoff-spel met parameter $\sqrt{r}$ .
Open problemen:
- Bewijs de conjectuur voor alle niet-kwadratische $r$ (vooral voor grote $r$ ).
- Bepaal of de greedy- en Beatty-oplossingen de enige oneindige monotoon stijgende oplossingen zijn voor elke $r$ .
- Formaliseer de Ostrowski-digits-wissel-identiteit rigoureus.

Conclusie

Benoît Cloitre toont aan dat de bijna-Golomb-vergelijking een rijkere structuur heeft dan eerder gedacht. Naast de bekende gierige oplossing bestaat er een familie van "Beatty-oplossingen" met irrationale hellingen. Deze oplossingen vertonen een elegante wiskundige symmetrie, afhankelijk van de pariteit van de venstergrootte $r$ , en bieden nieuwe inzichten in de interactie tussen discrete dynamische systemen en getaltheoretische rijen.