Fixed Points of the Josephus Function via Fractional Base Expansions

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

Stel je voor dat je een grote groep mensen rond een ronde tafel hebt zitten, genummerd van 1 tot $n$ . Dit is het beroemde Josephus-probleem. De regels zijn simpel maar wreed: je telt rond, slaat twee mensen over en de derde wordt uit het spel gehaald. Dit gaat door totdat er maar één persoon overblijft. Die laatste winnaar is de "overlevende".

De wiskundige vraag is: Waar moet je zitten om te winnen? Als je $n$ mensen hebt, is de positie van de winnaar $J_3(n)$ .

De auteurs van dit paper (Yunier Bello-Cruz en Roy Quintero-Contreras) kijken niet naar elke willekeurige situatie, maar zoeken naar een heel speciaal soort getallen: de vaste punten. Dit zijn situaties waarbij het aantal mensen ( $n$ ) precies gelijk is aan de positie van de winnaar. Oftewel: als je op positie $n$ zit, en er zijn $n$ mensen, dan win jij. Het is alsof je een magische stoel hebt die je altijd laat winnen, ongeacht hoe groot de groep is (binnen een bepaalde reeks).

Hier is de kern van hun ontdekking, vertaald naar alledaags taal:

1. De Magische Ladder (De Vaste Punten)

De auteurs hebben ontdekt dat deze "magische stoelen" niet willekeurig verspreid liggen. Ze vormen een ladder. Als je weet waar de ene magische stoel zit, kun je precies voorspellen waar de volgende zit.

Ze hebben een manier gevonden om deze ladder te beklimmen zonder te tellen of te rekenen, maar door te kijken naar een heel vreemd soort telsysteem.

2. Het "Halve" Telsysteem (Basis 3/2)

In onze normale wereld tellen we in basis 10 (0-9) of computers in basis 2 (alleen 0 en 1).
De auteurs gebruiken hier een systeem dat ze basis 3/2 noemen.

De Analogie: Stel je voor dat je geld hebt, maar in plaats van munten van 1, 2, 4, 8 (zoals in het binaire systeem), heb je munten die de waarde hebben van $1, 1.5, 2.25, 3.375$, enzovoort.
In dit systeem mag je cijfers gebruiken die we normaal niet zien: 0, 1 en 2.
Het is alsof je een taal spreekt waarin je getallen schrijft met een "halve" stapgrootte.

3. Het Geheim van de Volgende Stoel

Het meest fascinerende wat ze hebben gevonden, is een patroon in hoe deze getallen eruitzien in dat 3/2-systeem.

Stel je voor dat je de "magische stoel" nummer 100 hebt gevonden. Als je dit getal schrijft in ons normale systeem, is het een lang getal. Maar als je het schrijft in het 3/2-systeem, zie je iets moois:

De schrijfwijze van de volgende magische stoel is bijna exact hetzelfde als de vorige.
Het enige verschil is dat er een paar extra cijfers aan het einde worden toegevoegd.

Het is alsof je een lange rij blokken hebt (de vorige winnaar). Om de volgende winnaar te vinden, hoef je de hele rij niet opnieuw te bouwen. Je hoeft alleen maar een klein stukje aan het einde toe te voegen.

Hoeveel moet je toevoegen?
Dat hangt af van een getal dat ze $m$ noemen (een soort "afstand" tussen de winnaars).

Als de afstand klein is, voeg je één cijfer toe (bijvoorbeeld een '1').
Als de afstand groter is, voeg je een speciaal patroon toe, zoals '02' of '0112'.

Het is als een reuzenladder waar elke sport (elke winnaar) de vorige sport bevat, maar dan net iets langer gemaakt met een specifiek patroon aan het uiteinde.

4. Waarom is dit belangrijk?

Vroeger was het vinden van deze winnaars als het zoeken naar een naald in een hooiberg. Je moest enorme berekeningen doen.
Met deze ontdekking kunnen wiskundigen nu:

Snel voorspellen: Als je de "code" (de cijfers in basis 3/2) van de huidige winnaar kent, kun je de code van de volgende winnaar direct opschrijven door alleen het einde aan te passen.
De structuur begrijpen: Het laat zien dat er een diepe, verborgen orde zit in wat eruitzag als een chaotisch spelletje.

Samenvattend

De auteurs hebben een geheime taal (basis 3/2) gevonden waarin het Josephus-spel heel logisch wordt. In plaats van te rekenen met enorme getallen, kunnen we nu kijken naar de "staart" van een getal in deze taal. Als je die staart kent, weet je precies hoe de volgende winnaar eruitziet.

Het is alsof ze een recept hebben gevonden voor het bakken van de perfecte taart: je hoeft niet elke keer opnieuw te beginnen; je neemt de vorige taart, doet er een specifieke laag bovenop, en je hebt de volgende taart.

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

Hier is een gedetailleerde technische samenvatting van het artikel "Fixed Points of the Josephus Function via Fractional Base Expansions" in het Nederlands.

Titel: Vaste Punten van de Josephus-functie via Expansies in Fractiële Bases

Auteurs: Yunier Bello-Cruz en Roy Quintero-Contreras (Northern Illinois University)

1. Probleemstelling

Het artikel onderzoekt de eigenschappen van de rij van vaste punten van de Josephus-functie $J_3$ . De klassieke Josephus-problematiek beschrijft een proces waarbij $n$ personen in een cirkel zitten; men telt vanaf positie 1, slaat twee personen over en elimineert de derde. Dit proces herhaalt zich tot er één overblijft. De functie $J_3(n)$ geeft de positie van deze overlevende aan.

Een specifiek aandachtspunt zijn de vaste punten ( $n_p^{(\ell)}$ ) van deze functie, gedefinieerd als de gehele getallen $n$ waarvoor $J_3(n) = n$ . Hoewel er expliciete formules bestaan voor de vaste punten van de variant $J_2$ (waarbij elke tweede persoon wordt geëlimineerd), is de structuur van de vaste punten voor $J_3$ complexer en minder goed begrepen. De auteurs willen een recursieve formule vinden voor de cijfers van opeenvolgende vaste punten van $J_3$ in een geschikte numerieke basis.

2. Methodologie

De auteurs combineren elementen uit de getaltheorie en niet-standaard numerieke systemen om de structuur van de vaste punten te analyseren:

Chinese Reststelling (CRT): Ze leggen eerst een verband tussen de vaste punten en een stelsel van lineaire congruenties. Door de recursieve definitie van de vaste punten te manipuleren, tonen ze aan dat opeenvolgende vaste punten voldoen aan congruenties met moduli die machten zijn van 2 en 3. Omdat $3^p $en$ 2^q$ onderling ondeelbaar zijn, kan de Chinese Reststelling worden toegepast om een unieke oplossing te vinden.
Fractiële Basis Expansie (Basis 3/2): In plaats van het standaard decimale of binaire systeem, introduceren de auteurs een niet-standaard numeriek systeem in basis 3/2.
- In dit systeem wordt een getal $N$ voorgesteld als: $N = \frac{1}{2} \sum d_i (\frac{3}{2})^i$ , waarbij de cijfers $d_i \in \{0, 1, 2\}$ .
- Dit verschilt van het standaard basis 3/2-systeem (dat alleen cijfers 0 en 1 toestaat) door het toestaan van het cijfer 2, wat essentieel is voor de unieke representatie van de vaste punten.
- Een specifiek algoritme (gebaseerd op herhaaldelijk delen door 3 en vermenigvuldigen met 2) wordt gebruikt om de cijfers van een getal in deze basis te bepalen.

3. Belangrijkste Bijdragen en Resultaten

A. Verbinding met de Chinese Reststelling

De auteurs bewijzen dat elke vaste punt $n_p^{(\ell+1)}$ voldoet aan een stelsel congruenties dat afhangt van het aantal "pure high extremal points" ( $m_\ell$ ) tussen twee opeenvolgende vaste punten. Dit leidt tot een unieke oplossing modulo $3^p \times 2^q$, waarbij de oplossing kan worden uitgedrukt via de Bézout-identiteit. Dit biedt een theoretisch raamwerk om de relatie tussen opeenvolgende vaste punten te begrijpen.

B. Patroonherkenning in Basis 3/2

Door de eerste 20 vaste punten van $J_3$ om te zetten naar basis 3/2, ontdekken de auteurs een opvallend patroon in de cijferreeksen:

De expansie van een vast punt $n_p^{(\ell)}$ vormt het voorste segment van de expansie van het volgende vaste punt $n_p^{(\ell+1)}$ .
Het aantal nieuwe cijfers dat wordt toegevoegd, hangt direct samen met $m_\ell$ (het aantal pure high extremal points tussen de twee vaste punten).

C. Hoofdstelling (Theorem 1)

De kern van het artikel is een recursieve regel voor het genereren van de cijfers van het volgende vaste punt op basis van het huidige, afhankelijk van de waarde van $m_\ell$ :

Als $m_\ell = 0$ : Het cijfer 1 wordt aan het einde van de expansie toegevoegd.
- Voorbeeld: $(...d_0)_{3/2} \rightarrow (...d_0 1)_{3/2}$
Als $m_\ell = 1$ : De cijferreeks 02 wordt toegevoegd.
- Voorbeeld: $(...d_0)_{3/2} \rightarrow (...d_0 0 2)_{3/2}$
Als $m_\ell \geq 2$ : De cijferreeks 0, gevolgd door $(m_\ell - 1)$ $(m_{ℓ} - 1)$ enen, en eindigend met een 2, wordt toegevoegd.
- Voorbeeld: $(...d_0)_{3/2} \rightarrow (...d_0 0 \underbrace{1...1}_{m_\ell-1} 2)_{3/2}$

Dit resulteert in een algoritme waarbij de totale lengte van de expansie toeneemt met precies $m_\ell + 1$ cijfers per stap.

4. Betekenis en Toekomstperspectief

Generalisatie van $J_2$ : Dit resultaat generaliseert de bekende expliciete formule voor de vaste punten van $J_2$ (waarbij de vaste punten $2^{\ell}-1 $zijn en in binair alleen uit enen bestaan). Voor$ J_3$ biedt de basis 3/2 een vergelijkbare elegante recursieve structuur.
Nieuwe Inzichten: De studie toont aan dat fractiële bases (zoals 3/2) een natuurlijke manier bieden om de discrete, stuksgewijs lineaire structuur van de Josephus-functie te analyseren.
Open Vragen:
- Kan deze methode worden gebruikt om $J_3(n)$ direct te berekenen voor elk $n$ (niet alleen vaste punten) via een cijfer-shift in basis 3/2?
- Geldt een vergelijkbaar patroon voor $J_4$ in basis 4/3? De auteurs merken op dat $J_4$ complexer is vanwege twee soorten extremale punten, wat mogelijk meerdere indices vereist.

Conclusie

Het artikel levert een doorbraak in het begrip van de vaste punten van de Josephus-functie $J_3$ door deze te vertalen naar een fractiële basis 3/2. Door een duidelijk numeriek patroon in de cijferexpansies te identificeren en te koppelen aan de Chinese Reststelling, stellen de auteurs een krachtige recursieve methode voor om de rij van vaste punten te genereren. Dit opent de deur voor verdere onderzoek naar de structurele eigenschappen van Josephus-varianten met hogere stapgroottes.