🔢 mathematics

Median-Extremes Alternation

Dit artikel introduceert de deterministische 'Median-Extremes Alternation'-permutatie, die ontstaat door een afwisselend proces van mediane en extreme elementenverwijdering, en bewijst dat deze permutatie een strikt alternerende structuur bezit met een exact berekenbaar aantal inversies en een volledig bepaald dalingspatroon afhankelijk van de pariteit van n.

Oorspronkelijke auteurs: David Carr

Gepubliceerd 2026-03-19

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: David Carr

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

🎭 Het Grote Wiskundige Theater: De MEA-Permutatie

Stel je voor dat je een rij mensen hebt staan, allemaal in volgorde van lengte, van de kleinste (1) tot de langste (n). Wiskundige David Carr heeft een heel specifieke manier bedacht om deze mensen uit de rij te halen en in een nieuwe volgorde neer te zetten. Hij noemt dit de MEA-permutatie (Median-Extremes Alternation).

Het klinkt als een saai spelletje, maar het resultaat is verrassend strak en voorspelbaar. Laten we kijken hoe het werkt.

1. Het Spel: "Midden, dan de Uitersten"

Stel je een rij van 7 mensen voor: [1, 2, 3, 4, 5, 6, 7].
Het spel gaat als volgt:

De Midden-Stap: Je pakt eerst de persoon die precies in het midden staat.
- Bij 7 mensen is dat nummer 4. Die komt als eerste in je nieuwe rij.
- Rij over: [1, 2, 3, 5, 6, 7]
De Uiterste-Stap: Nu pak je de kleinste en de grootste die nog over zijn.
- Dat zijn 1 en 7. Die komen als tweede en derde in je nieuwe rij.
- Rij over: [2, 3, 5, 6]
Terug naar Midden: Nu is de rij weer even groot, dus pak je de twee mensen in het midden.
- Dat zijn 3 en 5. Die komen als vierde en vijfde.
- Rij over: [2, 6]
Terug naar Uiterste: Pak de kleinste en grootste van de rest.
- Dat zijn 2 en 6.
De Rest: Er is nog één persoon over (die in het midden zat van de oorspronkelijke groep, maar nu alleen nog maar). Die pak je als laatste.

Het resultaat: [4, 1, 7, 3, 5, 2, 6].

Dit lijkt misschien willekeurig, maar wiskundigen hebben ontdekt dat dit spelletje een heel specifiek patroon oplevert.

2. Het Geheim: Het "Zwaaiende" Patroon

Het meest verbazingwekkende is dat het resultaat altijd een zwaaiend patroon heeft.
Stel je een slinger voor die heen en weer zwaait:

Hoge, lage, hoge, lage, hoge...
Of: Lage, hoge, lage, hoge, lage...

Afhankelijk van of je begint met een even of oneven aantal mensen, zwaait de rij precies op die manier.

Als je met een oneven aantal begint (zoals 7), begint de rij met een "hoog" getal, dan een "laag", dan weer "hoog". (Zoals een heuvel: hoog -> laag -> hoog).
Als je met een even aantal begint, begint het met een "laag" getal, dan "hoog".

Dit betekent dat je precies kunt voorspellen waar de "dalen" en "pieken" zitten, zonder zelfs maar te hoeven rekenen. Het is alsof je een danspasjesboekje hebt dat voor elke groepsgrootte perfect werkt.

3. De "Rij-Opbouw": Legostenen

Hoe bouwt David Carr dit precies op? Hij gebruikt een slimme truc met Legostenen.

Stel je voor dat je een grote toren wilt bouwen. In plaats van elke steen los te leggen, zegt hij:
"Neem een kleinere toren die we al hebben gebouwd (bijvoorbeeld voor 5 mensen), en plak daar een paar speciale blokken voor."

Bij oneven aantallen: Je plakt drie speciale blokken voorop: [Midden, Kleinste, Grootste]. De rest van de toren is precies een versie van de toren voor 2 mensen minder, maar dan met nummers die net iets zijn verschoven.
Bij even aantallen: Je plakt vier speciale blokken voorop: [Midden-links, Midden-rechts, Kleinste, Grootste]. De rest is een versie van de toren voor 4 mensen minder.

Dit maakt het heel makkelijk om te begrijpen hoe de rij eruitziet, zelfs voor heel grote aantallen mensen. Je hoeft alleen maar te weten hoe het werkt voor een kleinere groep, en dan voeg je een paar regels toe.

4. Het Tellen van de "Overtredingen" (Inversies)

In de wiskunde tellen ze vaak hoeveel mensen in de nieuwe rij "onjuist" staan ten opzichte van elkaar. Als iemand die kleiner is, toch vóór iemand groter staat, is dat een "overtreding" (een inversie).

David Carr heeft een prachtige formule gevonden om dit exact te tellen:

Het aantal overtredingen is altijd het kwadraat van (n-1) gedeeld door 4.

Dit klinkt als ingewikkelde wiskunde, maar het betekent simpelweg dat het aantal "foutjes" in de rij precies volgt op een bekend rijtje getallen: 0, 0, 1, 2, 4, 6, 9, 12...
Dit getallenrijtje staat bekend als de "kwart-vlakken" (quarter-squares). Het is alsof het spelletje een perfecte balans houdt; je kunt het aantal foutjes voorspellen alsof je een thermometer afleest.

5. Waarom is dit interessant?

Wiskundigen houden van dingen die simpel lijken, maar diep verborgen structuren hebben.

Het spelletje is makkelijk te spelen (kies midden, kies uitersten).
Maar het resultaat is niet willekeurig. Het is een perfect, rigide patroon.
Het helpt ons om te begrijpen hoe complexe patronen kunnen ontstaan uit simpele regels.

Kortom:
David Carr heeft een manier gevonden om mensen uit een rij te halen die altijd een perfecte "heuvel-dal" dans maakt. Of je nu met 5 of met 500 mensen begint, de regels zijn altijd hetzelfde, en je kunt precies voorspellen hoe de rij eruitziet en hoeveel "foutjes" erin zitten. Het is een mooi voorbeeld van hoe orde en schoonheid kunnen ontstaan uit een simpele, herhalende regel.

Titel en Context

Titel: Median-Extremes Alternation Permutations: Initial Structural Results
Auteur: David Carr
Datum: Maart 2026
Onderwerp: Combinatoriek, Permutatietheorie, Alternierende Permutaties

1. Probleemstelling en Doel

Het paper introduceert en analyseert een nieuwe deterministische familie van permutaties, genaamd Median-Extremes Alternation (MEA) permutaties. Het doel is om de fundamentele structurele eigenschappen van deze permutaties te formaliseren, die ontstaan uit een eenvoudig, maar verrassend rigide extractieproces op de geordende verzameling $[n] = \{1, 2, \dots, n\}$ .

Hoewel de constructieregel triviaal lijkt, vertonen de resulterende objecten een hoge mate van wiskundige structuur, waaronder een strikt alternerend patroon en exacte formules voor statistieken zoals het aantal inversies.

2. Methodologie: De MEA-Constructie

De MEA-permutatie $\pi_n$ wordt gegenereerd door een iteratief proces dat begint met de lijst $(1, 2, \dots, n)$ . Het proces wisselt twee soorten stappen af totdat de lijst leeg is:

Mediane-stap (Median step):
- Als de huidige lijst een oneven lengte $2k+1$ heeft: het unieke middelste element wordt verwijderd en aan de outputreeks toegevoegd.
- Als de huidige lijst een even lengte $2k$ heeft: de twee middelste elementen worden van links naar rechts verwijderd en aan de outputreeks toegevoegd.
Extremum-stap (Extreme step):
- Het kleinste en het grootste overgebleven element worden verwijderd en achtereenvolgens aan de outputreeks toegevoegd (eerst het minimum, dan het maximum).

Het proces start altijd met een mediane-stap. De volgorde van de verwijderde elementen vormt de permutatie $\pi_n$ in één-regelsnotatie.

3. Belangrijkste Bijdragen en Resultaten

Het paper levert zes kernresultaten die de structuur van de MEA-familie volledig karakteriseren:

A. Exacte Recursieve Structuur (Propositie 3.1)

De auteurs bewijzen dat elke MEA-permutatie kan worden opgebouwd uit een kort prefix (afhankelijk van de pariteit van $n$ ) gevolgd door een rang-verschoven kopie van een kleinere MEA-permutatie.

Voor oneven $n = 2m+1$ :
$\pi_{2m+1} = [m+1, 1, 2m+1] \parallel T_{2m+1}$
Waarbij $T_{2m+1}$ een herschreven versie is van $\pi_{2m-2}$ .
Voor even $n = 2m$ :
$\pi_{2m} = [m, m+1, 1, 2m] \parallel T_{2m}$
Waarbij $T_{2m}$ een herschreven versie is van $\pi_{2m-4}$ .

Deze recursie is de centrale bewijsmethode voor alle daaropvolgende resultaten.

B. Alternerende Structuur en Daalset (Stelling 4.1 & Corollarium 4.2)

Elke MEA-permutatie is een alternerende permutatie, maar het type alternatie hangt af van de pariteit van $n$ :

Oneven $n$ : $\pi_n$ is van het type down-up ( $\pi_n(1) > \pi_n(2) < \pi_n(3) > \dots$ ).
Even $n$ : $\pi_n$ is van het type up-down ( $\pi_n(1) < \pi_n(2) > \pi_n(3) < \dots$ ).

Hieruit volgt een exacte beschrijving van de daalset (descent set):

Voor oneven $n$ : $\text{Des}(\pi_n) = \{1, 3, 5, \dots, n-2\}$ .
Voor even $n$ : $\text{Des}(\pi_n) = \{2, 4, 6, \dots, n-2\}$ .

C. Aantal Inversies en Tekens (Stelling 5.1 & Corollarium 5.2)

Het paper levert een exacte formule voor het aantal inversies, $\text{inv}(\pi_n)$ :
$\text{inv}(\pi_n) = \left\lfloor \frac{(n-1)^2}{4} \right\rfloor$
Dit correspondeert met de rij van "kwart-vierkanten" (OEIS A002620).

Voor $n=2m+1$ : $\text{inv} = m^2$ .
Voor $n=2m$ : $\text{inv} = m(m-1)$ .

Gevolg voor het teken: De permutatie is oneven (sign = -1) dan en slechts dan als $n \equiv 3 \pmod 4$ . Anders is hij even.

D. Recursieve Beschrijving van de Inverse Permutatie (Propositie 6.1)

Op basis van de recursieve structuur van $\pi_n$ wordt ook een exacte recursieve formule afgeleid voor de inverse permutatie $\pi_n^{-1}$ . Dit maakt het mogelijk om de positie van elk element in de inverse permutatie efficiënt te berekenen zonder de volledige permutatie te genereren.

4. Significatie en Implicaties

Rigiditeit: Het paper toont aan dat een zeer eenvoudige, deterministische regel (wisselen tussen mediane en extremen) leidt tot een familie met uitzonderlijk rigide combinatorische eigenschappen.
Verbinding met Bestaande Reeksen: De gevonden inversiegetallen vallen samen met de bekende "quarter-squares" rij, wat een link legt met bestaande getaltheoretische sequenties.
Nieuw Onderzoeksveld: De MEA-familie biedt een nieuw, goed gedefinieerd voorbeeld binnen de klasse van alternerende permutaties. Het paper suggereert dat deze familie geschikt is voor verdere studie, zoals het vinden van niet-recursieve formules, het analyseren van cykelstructuren, en het bestuderen van de iteratieve orde van de permutaties.
Methodologische Waarde: Het paper demonstreert hoe recursieve decompositie (via pariteit) een krachtig hulpmiddel kan zijn om complexe permutatiestatsitieke exact te berekenen.

Conclusie

David Carr presenteert in dit paper een nieuwe, elegant gedefinieerde familie van permutaties. Door gebruik te maken van een recursieve decompositie gebaseerd op de pariteit van $n$ , bewijst hij dat deze permutaties altijd alternerend zijn, een voorspelbare daalset hebben, en een exacte kwadratische formule voor het aantal inversies volgen. Dit werk legt de basis voor verdere combinatorische exploratie van deze specifieke deterministische constructie.