Thirty-six quantum officers are entangled

Hoewel het probleem van Euler's 36 officieren klassiek geen oplossing heeft voor orde zes, tonen de auteurs aan dat er wel een oplossing bestaat met verstrengelde kwantumsystemen, maar dat er geen oplossing is zonder verstrengeling.

De kern

Hier is een uitleg van het onderzoek in eenvoudig Nederlands, met behulp van creatieve vergelijkingen.

De Dilemma van de 36 Officieren: Een Quantum-Detectieverhaal

Stel je voor dat je een heel oude puzzel hebt, bedacht door de beroemde wiskundige Leonhard Euler in de 18e eeuw. Het probleem heet "De 36 Officieren".

De Klassieke Puzzel
Je hebt 36 officieren. Ze komen uit 6 verschillende regimenten (denk aan 6 kleuren) en hebben elk een van 6 verschillende rangen (denk aan 6 symbolen).
Je moet ze in een vierkant van 6 bij 6 plaatsen. De regels zijn streng:

1. In elke rij moet elke rang precies één keer voorkomen.
2. In elke kolom moet elke rang precies één keer voorkomen.
3. En het moeilijkste: Als je twee vierkanten naast elkaar legt (één voor rang, één voor regiment), mag er geen enkele combinatie van rang en regiment twee keer voorkomen.

In de gewone wereld (de "klassieke" wereld) is dit onmogelijk. In 1900 bewees een man genaamd Tarry dat er simpelweg geen oplossing is voor 6 bij 6. Het is als proberen een Sudoku te maken die wiskundig niet kan bestaan.

De Quantum-Wending
Maar wat als we de regels van de quantummechanica toepassen? In de quantumwereld kunnen deeltjes "verstrengeld" (entangled) zijn. Dit betekent dat ze niet meer onafhankelijk van elkaar bestaan, maar als één groot, samengesmolten geheel.

In 2022 ontdekten onderzoekers dat als je deze officieren als quantum-objecten behandelt (waarbij ze in een superpositie van rangen en regimenten kunnen zijn), de puzzel wel opgelost kan worden. Ze noemden dit een "quantum oplossing". Het is alsof je de officieren laat dansen in een wolk van mogelijkheden, waardoor ze toch in het vierkant passen zonder de regels te breken.

Het Nieuwe Onderzoek: De Vraag
De auteurs van dit paper, Simeon Ball en Robin Simoens, stelden zich een nieuwe vraag:
"Is die quantum-oplossing alleen mogelijk omdat de officieren verstrengeld zijn? Of kunnen we de puzzel ook oplossen als we de officieren 'gewoon' laten zijn, maar dan met quantum-eigenschappen?"

Met andere woorden: Kunnen we twee niet-verstrengelde quantum-Latin-vierkanten van 6 bij 6 maken die perfect naast elkaar passen?

Het Antwoord: Nee.
Het paper bewijst dat dit onmogelijk is.

De Analogie: De Dansende Klokken

Om dit te begrijpen, laten we een analogie gebruiken:

1. De Klassieke Officieren: Stel je voor dat elke officier een klok is die altijd op één specifiek tijdstip staat (bijvoorbeeld 12:00). Je probeert 36 klokken in een vierkant te zetten. Het lukt niet om ze zo te rangschikken dat er geen dubbele combinaties zijn.
2. De Verstrengelde Quantum-Officieren: Nu laten we de klokken "wazig" worden. Ze kunnen op 12:00 én 1:00 tegelijk zijn, en ze zijn met elkaar verbonden. Als je de ene klok draait, draait de andere mee. Met deze magische, verstrengelde klokken lukt het wel om het vierkant te vullen.
3. De Vraag van dit Paper: Kunnen we het vierkant vullen met klokken die niet met elkaar verbonden zijn, maar wel een beetje "wazig" zijn (quantum-eigenschappen hebben, maar los van elkaar)?

De Conclusie van de Onderzoekers:
Ball en Simoens hebben bewezen dat het antwoord nee is. Als je de "magische kabeltjes" (verstrengeling) weghaalt, valt de oplossing in duigen. Zelfs met de slimste quantum-trucs, zonder verstrengeling, is het onmogelijk om deze 36 quantum-officieren in een 6x6 vierkant te krijgen zonder dat ze in de weg lopen.

Hoe hebben ze dit bewezen? (De "Receptuur")

Ze hebben dit niet zomaar geraden, maar het stap voor stap bewezen met een slimme aanpak:

1. De "Patroon"-Analyse: Ze keken niet naar de ingewikkelde quantum-getallen, maar naar de "schaduw" die de officieren werpen. Ze keken naar welke plekken bezet zijn (de "patroon"). Het is alsof je kijkt naar de silhouetten van de dansers in het donker.
2. Het "Klassieke" Aannemen: Ze bewezen eerst dat als er een oplossing zou zijn, er minstens één van de twee vierkanten eruit moet zien als een klassiek vierkant (alleen met quantum-kleuren eroverheen).
3. De "Subvierkanten" (De valstrik): Ze ontdekten dat als je een klassiek vierkant gebruikt, er een klein blokje van 3 bij 3 in moet zitten dat een bepaald patroon volgt.
4. De Computer als Rechter: Voor de meeste gevallen (12 verschillende manieren om het klassieke vierkant in te vullen) hebben ze een computerprogramma laten rekenen. Het programma zocht naar een "orthogonaal representatie" (een manier om de quantum-klokken zo te plaatsen dat ze niet botsen).
   • In 10 van de 12 gevallen gaf de computer direct "Nee".
   • In de laatste 2 gevallen (waar een klein 3x3 blokje in zat), deden ze het handmatig. Ze bewezen dat de quantum-regels in dat kleine blokje zo strikt waren, dat het onmogelijk was om de rest van het vierkant in te vullen zonder dat er een botsing ontstond.

Waarom is dit belangrijk?

Dit paper is een belangrijke mijlpaal in de quantum-informatiewetenschap:

• Het bevestigt dat verstrengeling (entanglement) echt nodig is om deze specifieke quantum-puzzel op te lossen. Zonder die diepe verbinding tussen de deeltjes, faalt het plan.
• Het lost een open vraag op die al jaren speelde: "Zijn er quantum-oplossingen die niet verstrengeld zijn?" Het antwoord is voor 6x6 een definitief nee.
• Het laat zien dat de quantumwereld soms strakker is dan we denken. Je kunt niet zomaar "een beetje quantum" doen en verwachten dat het werkt; je hebt de volle kracht van de quantum-verstrengeling nodig.

Kort samengevat:
Euler had gelijk dat 36 officieren niet in een vierkant passen. Later vonden we dat ze dat wel kunnen als ze als één quantum-geest verstrengeld zijn. Dit paper zegt nu: "En als je die verstrengeling weghaalt? Dan zijn ze weer vastgeplakt aan de oude regels. Het lukt niet."

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Thirty-six quantum officers are entangled" van Simeon Ball en Robin Simoens, geschreven in het Nederlands.

Titel: Dertig-en-six quantum officieren zijn verstrengeld

Auteurs: Simeon Ball en Robin Simoens
Publicatie: arXiv:2603.02334v1 [quant-ph] (2026)

---

1. Probleemstelling en Achtergrond

Het artikel behandelt een fundamenteel probleem in de combinatoriek en kwantummechanica: het bestaan van wederzijds orthogonale kwantumlatainse vierkanten (Mutually Orthogonal Quantum Latin Squares, MOQLS) van orde 6.

• Klassiek probleem: Het beroemde probleem van Euler's 36 officieren stelt dat er geen paar orthogonale Latijnse vierkanten van orde 6 bestaan. Dit werd bewezen door Tarry in 1900.
• Kwantumversie: In 2022 toonden Rather et al. aan dat er wel een oplossing bestaat voor het "36 verstrengelde officieren"-probleem. Dit betekent dat er een paar verstrengelde kwantumlatainse vierkanten van orde 6 bestaat (equivalent met de existentie van een Absolutely Maximally Entangled (AME) toestand AME(4,6)).
• De open vraag: De vraag bleef echter open of er ook een paar niet-verstrengelde (d.w.z. klassiek of "genuïne kwantum" zonder verstrengeling tussen de vierkanten) orthogonale kwantumlatainse vierkanten van orde 6 bestaat. Met andere woorden: kan het probleem van Euler worden opgelost als we toestaan dat de cellen kwantumtoestanden zijn, maar zonder dat de twee vierkanten onderling verstrengeld zijn?

Het doel van dit artikel is om te bewijzen dat een dergelijke oplossing niet bestaat.

---

2. Methodologie en Technisch Kader

De auteurs gebruiken een combinatie van kwantum-informatietheorie, lineaire algebra en grafentheorie om het bewijs te leveren.

A. Definities en Patronen

• Kwantumlatainse vierkanten (QLS): Een $n \times n$ matrix met vectoren in $\mathbb{C}^n$ waarbij elke rij en kolom een orthonormale basis vormt.
• Orthogonaliteit: Twee QLS's zijn orthogonaal als de tensorproducten van hun corresponderende cellen een orthonormale basis vormen van $\mathbb{C}^n \otimes \mathbb{C}^n$.
• Patronen (Patterns): De auteurs introduceren het concept van een "patroon", een binaire matrix die ontstaat door niet-nul elementen in een vector te vervangen door 1. Dit helpt bij het analyseren van de steun (support) van de vectoren.
• Gewicht: Het aantal niet-nul elementen in een vector (het aantal enen in het patroon). Een gewicht van 1 impliceert een klassieke toestand (basisvector).

B. Reductie naar Klassieke Gevallen

Een cruciale stap in de methodologie is het bewijzen dat als er twee MOQLS(6) bestaan, er er ook twee moeten bestaan waarbij een van de vierkanten klassiek is.

• Lemma 13: Als een kwantumlatainse vierkant geen ingangen heeft met gewicht $\ge 3$, kan het worden getransformeerd naar een klassiek Latijns vierkant dat orthogonaal blijft met het andere vierkant.
• Lemma 18 & 19: Door analyse van patronen met gewicht 3 en 4, tonen de auteurs aan dat de aanwezigheid van zware patronen (gewicht $\ge 3$) in het ene vierkant strikte beperkingen oplegt aan het andere, wat uiteindelijk leidt tot een situatie waarin één vierkant als klassiek kan worden beschouwd.

C. Grafentheorie en Orthonormale Representaties

Zodra één vierkant ($\Psi$) als klassiek wordt aangenomen, wordt het probleem vertaald naar grafentheorie:

• Het bestaan van een orthogonaal kwantumvierkant $\Phi$ is equivalent met het bestaan van een orthonormale representatie van het complement van het Latijns-vierkant-graf van $\Psi$ in $\mathbb{C}^6$.
• Er zijn precies 12 klassieke Latijnse vierkanten van orde 6 (tot op paratopie). De auteurs moeten dus controleren of het complement van het graf van elk van deze 12 vierkanten een orthonormale representatie in 6 dimensies toelaat.

D. Algoritme en Computergestuurde Verificatie

• De auteurs ontwikkelen een algoritme (Algorithm 1) dat probeert een orthonormale representatie te vinden door randen toe te voegen aan het graf op basis van orthogonaliteitsvoorwaarden (projectieve lijnen).
• Het algoritme controleert op cliques van grootte 7 (onmogelijk in 6 dimensies) en op afhankelijke verzamelingen van vectoren.
• Voor 10 van de 12 gevallen levert het algoritme direct een tegenspraak op (False).
• Voor de overige 2 gevallen (die een subsquare van orde 3 bevatten) is een handmatige analyse nodig.

E. Analyse van Subsquares van orde 3

Voor de twee gevallen met een subsquare van orde 3:

• Lemma 23 & 24: Als het klassieke vierkant een subsquare van orde 3 heeft, moeten de corresponderende blokken in het kwantumvierkant een specifieke structuur hebben met beperkte gewichten.
• Lemma 25: Door een gedetailleerde analyse van de orthogonaliteitsvoorwaarden binnen deze blokken, bewijzen de auteurs dat alle ingangen in deze blokken gewicht $\le 2$ moeten hebben.
• Tegenspraak: Als alle ingangen gewicht $\le 2$ hebben, impliceert dit (via Lemma 13) dat het kwantumvierkant eigenlijk klassiek is. Dit zou betekenen dat er twee klassieke orthogonale Latijnse vierkanten van orde 6 bestaan, wat in strijd is met het bewijs van Tarry (Theorem 4).

---

3. Belangrijkste Resultaten

1. Hoofdstelling (Theorem 6): Er bestaat geen paar orthogonale kwantumlatainse vierkanten van orde 6.
   • Dit betekent dat het probleem van Euler's 36 officieren niet opgelost kan worden door alleen de cellen kwantumtoestanden te maken, tenzij de twee vierkanten onderling verstrengeld zijn (zoals eerder bewezen door Rather et al.).
2. Classicaliteit voor n=4 en n=5: De auteurs bewijzen dat voor $n=4$ en $n=5$, elk paar van 2 MOQLS klassiek is (Theorem 11 en 12). Er bestaan dus geen "genuïne" kwantumoplossingen voor deze groottes.
3. Beperking op het aantal MOQLS: Het artikel bevestigt dat er maximaal $n-1$ MOQLS van orde $n$ kunnen bestaan. Als dit maximum wordt bereikt, moeten ze klassiek zijn (equivalent met een projectief vlak).

---

4. Betekenis en Conclusie

• Oplossing van een open probleem: Het artikel sluit definitief de vraag af of er een "niet-verstrengelde" kwantumoplossing is voor het 36-officieren-probleem. Het antwoord is ontkennend. De enige mogelijke oplossing vereist verstrengeling tussen de twee vierkanten.
• Verband met AME-toestanden: Het resultaat bevestigt dat AME(4,6)-toestanden bestaan (zoals eerder gevonden), maar dat deze noodzakelijkerwijs verstrengeld zijn. Er is geen "semi-klassieke" variant.
• Open probleem voor n=7: De auteurs laten zien dat hun methode de gevallen $n=4, 5, 6$ afdekt. Het enige resterende open probleem voor de existentie van niet-klassieke 2 MOQLS(n) is nu $n=7$.
• Methodologische bijdrage: Het artikel introduceert een krachtige techniek die kwantumcombinatoriek combineert met grafentheorie en patroonanalyse (unitary patterns) om existentieproblemen op te lossen die te complex zijn voor pure algebraïsche methoden.

Samenvattend: Ball en Simoens bewijzen dat de "kwantum" oplossing voor Euler's 36 officieren-probleem fundamenteel afhankelijk is van verstrengeling. Zonder verstrengeling blijft het probleem onoplosbaar, wat de grenzen van kwantumberekening in combinatorische ontwerpen verder verduidelijkt.