⚛️ quantum physics

Maximally entangled states are not complete for pseudo-telepathy

Het artikel lost een langdurig openstaand probleem in de kwantum-niet-lokaliteit op door een tegenvoorbeeld te presenteren — een specifiek bipartiet niet-lokaal spel binnen een nieuwe klasse genaamd "inwendig product-spelen" — dat aantoont dat maximaal verstrengelde toestanden niet compleet zijn voor pseudo-telepathie, aangezien er spellen bestaan met perfecte verstrengelde strategieën die niet gewonnen kunnen worden met enkel maximaal verstrengelde toestanden.

Oorspronkelijke auteurs: Olivier Lalonde

Gepubliceerd 2026-08-07

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Olivier Lalonde

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

Stel je een universum voor waarin twee vrienden, Alice en Bob, gescheiden zijn door een enorme afstand, misschien zelfs aan de tegenovergestelde kanten van het sterrenstelsel. Ze kunnen niet met elkaar praten, geen tekstberichten sturen of via telepathie communiceren in de sciencefiction-zin. Toch spelen ze een spel waarbij ze hun antwoorden perfect moeten coördineren om te winnen. In de klassieke wereld, als ze niet kunnen communiceren, zijn er beperkingen aan hoe goed ze kunnen coördineren; ze zijn gebonden aan de regels van logica en waarschijnlijkheid. Maar in de kwantumwereld wordt het vreemd. Als Alice en Bob een speciale "kwantumverbinding" delen die verstrengeling wordt genoemd, kunnen ze soms hun antwoorden op manieren coördineren die onmogelijk lijken, alsof ze elkaars gedachten lezen. Dit spookachtige fenomeen wordt kwantum-pseudo-telepathie genoemd.

De grote vraag waar wetenschappers al een lange tijd naar vragen is: Hoe sterk moet deze kwantumverbinding zijn? Specifiek, hebben Alice en Bob de "sterkst mogelijke" verbinding nodig, bekend als een maximaal verstrengelde toestand, om deze onmogelijke spellen te winnen? Het is een beetje als vragen of je een Ferrari nodig hebt om een race te winnen, of dat een echt goede fiets ook volstaat. Voor vele jaren kon elke voorbeelden van deze breinbrekende spellen die wetenschappers vonden, gewonnen worden met die "Ferrari"-niveau van verstrengeling. Dit leidde tot een hoopvolle gok: misschien is de sterkste verbinding wel alles wat je nodig hebt. Maar is dat waar voor elke mogelijke game?

Een nieuw artikel van Olivier Lalonde van de University of Waterloo zegt: Nee, niet altijd.

Lalonde heeft een specifiek spel ontdekt waarbij de "Ferrari" (de maximaal verstrengelde toestand) er daadwerkelijk niet in slaagt te winnen, terwijl een andere, iets "wankelere" kwantumverbinding wel perfect kan winnen. Het is een tegenvoorbeeld dat het idee ontkracht dat de sterkste verbinding altijd het beste gereedschap voor de taak is.

Het Spel van de "Inwendige Product"

Om de ontdekking te begrijpen, moeten we naar het spel zelf kijken. Lalonde heeft een nieuw type spel uitgevonden: een "inner product game" (spel van het inwendig product). Stel je voor dat Alice en Bob elk een geheime code krijgen (een invoernummer). Op basis van hun code moeten ze een specifieke vector (een richting in de ruimte) kiezen uit een lijst met opties. Ze winnen als de vectoren die zij kiezen niet loodrecht op elkaar staan — denk aan twee pijlen die niet onder een perfecte hoek van 90 graden op elkaar staan.

De regels zijn lastig. Het spel is zo ontworpen dat als Alice en Bob klassieke logica gebruiken (gewoon gokken of een vooraf afgesproken plan volgen), ze zullen verliezen. Maar als ze een kwantumverbinding delen, kunnen ze elke keer winnen.

Lalonde creëerde een specifieke versie van dit spel met de volgende statistieken:

Inputs: Alice krijgt 4 mogelijke vragen; Bob krijgt er 3.
Outputs: Ze moeten elk één van 6 mogelijke antwoorden kiezen.
De Winnaars-toestand: Om perfect te winnen, hebben ze een kwantumtoestand nodig waarbij de "lokale dimensie" 6 is.

De Ferrari versus de Custom Fiets

Hier komt de wending. In dit specifieke spel vereist de "perfecte" kwantumstrategie een zeer specifieke, op maat gemaakte verstrengelde toestand. Deze ziet er als volgt uit:
$|\Phi\rangle = \frac{1}{\sqrt{18}} (|1\rangle|1\rangle + |2\rangle|2\rangle + 2|3\rangle|3\rangle + 2|4\rangle|4\rangle + 2|5\rangle|5\rangle + 2|6\rangle|6\rangle)$

Zie je de getallen? Sommige delen van de verbinding zijn gewogen met 1, en andere met 2. Dit is een niet-maximaal verstrengelde toestand. Het is niet perfect gebalanceerd; het is scheef.

Nu komt de uitsmijter: Een maximaal verstrengelde toestand kan dit spel niet winnen.

Een maximaal verstrengelde toestand is als een perfect gebalanceerde weegschaal waarbij elke optie een gelijke weging heeft (allemaal 1's). Lalonde heeft wiskundig bewezen dat als Alice en Bob deze perfect gebalanceerde "Ferrari" proberen te gebruiken voor dit specifieke spel, ze onvermijdelijk zullen falen. Ze kunnen simpelweg hun antwoorden niet perfect coördineren met dat type verbinding. Ze moeten de scheve, op maat gemaakte verbinding gebruiken die hierboven wordt beschreven.

Hoe hebben ze dit bewezen?

Je vraagt je misschien af: "Hoe kun je er zeker van zijn dat een perfecte strategie niet bestaat?" Je kunt het spel niet gewoon een miljoen keer spelen; je hebt een wiskundig bewijs nodig.

Lalonde gebruikte een krachtig hulpmiddel: de traciale NPA-hiërarchie. Denk aan dit als een zeer geavanceerde logische machine die controleert op elke mogelijke manier waarop Alice en Bob kunnen proberen hun antwoorden te coördineren. Het is also kind als je elke mogelijke zet in een schaakspel controleert om te zien of een schaakmat mogelijk is.

Het bewijs was zwaar werk. Het betrof een computer die een enorme puzzel oploste met 207.202 variabelen en 208.702 restricties. Het duurde 7 minuten op een laptop om op te lossen. De computer gokte niet alleen; het produceerde een "rationeel certificaat van onhaalbaarheid", een wiskundig bonnetje dat bewijst dat er geen oplossing bestaat. Om extra zeker te zijn, werd het hele bewijs dubbel gecontroleerd door een computerprogramma genaamd Lean, een bewijsassistent die wiskunde stap voor stap verifieert.

Het resultaat staat vast: Er bestaat geen perfecte strategie met een maximaal verstrengelde toestand voor dit spel.

Waarom dit belangrijk is

Deze ontdekking is een grote zaak omdat het een langlopende discussie beslecht. Jarenlang vroegen wetenschappers zich af of de "sterkste" kwantumverbinding de enige was die telde voor deze breinbrekende spellen. Dit papier laat zien dat de natuur subtieler is dan dat. Soms is het "perfecte" gereedschap niet het juiste gereedschap; je hebt een specifiek, licht imperfect gereedschap nodig om de klus te klaren.

Het roept ook nieuwe vragen op. Is dit spel een "self-test"? Dat wil zeggen: als iemand beweert dit spel te kunnen winnen, bewijst dat dan dat diegene die specifieke, scheve kwantumtoestand vasthoudt? De cijfers suggereren van wel, maar het analytisch bewijzen (zonder computer) is een uitdaging voor de toekomst.

Kortom, we weten nu dat in de kwantumwereld het hebben van de "beste" verstrengeling niet altijd genoeg is. Soms heb je de juiste soort verstrengeling nodig, zelfs als die niet de sterkste is.

Technische Samenvatting: "Maximaal verstrengde toestanden zijn niet compleet voor pseudo-telepathie"

Probleemstelling
Het artikel behandelt een langlopend open probleem in de kwantumniet-lokaliteit met betrekking tot de voldoendeheid van maximaal verstrengde toestanden voor pseudo-telepathische spellen. Een niet-lokaal spel wordt pseudo-telepathisch genoemd als het een perfect verstrengelde strategie toelaat (winnen met waarschijnlijkheid 1), maar geen perfect klassieke strategie. Hoewel bekend is dat voor veel specifieke families van bipartiete pseudo-telepathische spellen maximaal verstrengde toestanden volstaan om perfecte strategieën te bereiken, bleef het een open vraag of dit universeel geldt. Specifiek luidt de vraag: Admitteert elk niet-lokaal spel dat een perfecte verstrengelde strategie toelaat ook een perfecte strategie gebruikmakend van een maximaal verstrengelde toestand? Vorig werk heeft vastgesteld dat maximaal verstrengde toestanden niet noodzakelijk zijn (omdat sommige spellen gewonnen kunnen worden met niet-maximaal verstrengelde toestanden), maar de vraag of ze altijd voldoende zijn, bleef onopgelost.

Methodologie
De auteur introduceert een nieuwe klasse niet-lokale spellen, getiteld inner product games (inwendig product-spellen), om een tegenvoorbeeld te construeren.

Definitie van het spel: Een inner product game wordt gedefinieerd door collecties unitaire operatoren $\{U_x\}$ en $\{V_y\}$ van orde $m$ , en een positief semidefiniete matrix $S$ . Alice en Bob ontvangen inputs $x$ en $y$ en moeten outputs $a$ en $b$ produceren zodanig dat $\langle a| U_x^\dagger S V_y |b\rangle \neq 0$ .
Bestaan van een verstrengelde strategie: Het artikel bewijst (Propositie 3.1) dat elk inner product game een perfecte verstrengelde strategie toelaat met behulp van een specifieke verstrengelde toestand $|\psi\rangle = (S \otimes I)|\Omega\rangle$ , waarbij $|\Omega\rangle$ de standaard maximaal verstrengelde toestand is. Deze strategie gebruikt niet noodzakelijkerwijs een maximaal verstrengelde toestand als $S$ niet proportioneel is aan de identiteitsmatrix.
Constructie van het tegenvoorbeeld ( $G_{4,3,6,6}$ ): Met behulp van een computergestuurde heuristische zoektocht heeft de auteur een specifiek exemplaar geconstrueerd, $G_{4,3,6,6}$ $G_{4, 3, 6, 6}$ , met inputsets van omvang 4 en 3, en outputsets van omvang 6. De constructie omvatte:
- Het instellen van de lokale dimensie $m=6$ .
- Het selecteren van unitaire operatoren met componenten in $\{-1, 0, 1\}$ om een configuratie te vinden die klassiek onhaalbaar is.
- Het toepassen van een pruning-algoritme (snoeialgoritme) om de omvang van de inputsets te minimaliseren.
Bewijs van het niet-bestaan van een maximaal verstrengelde strategie: Om te bewijzen dat er geen perfecte strategie bestaat met een maximaal verstrengelde toestand voor $G_{4,3,6,6}$ $G_{4, 3, 6, 6}$ , heeft de auteur een variant van de traciale NPA-hiërarchie (een sum-of-squares hiërarchie) toegepast.
- Het probleem werd geformuleerd als het vinden van een traciale toestand op een specifieke $*$ -algebra gegenereerd door meetoperatoren.
- Een versterkte versie van het $n=4$ niveau van de hiërarchie werd gebruikt om de existentie van een dergelijke toestand te testen.
- De resulterende semidefiniete programmering (met ongeveer 207k variabelen en ongeveer 208k restricties) werd numeriek opgelost om onhaalbaarheid aan te tonen.
- Het bewijs werd geformaliseerd in de Lean proof assistant met behulp van een rationeel certificaat van onhaalbaarheid geëxtraheerd uit de solver.

Belangrijkste Resultaten
Het artikel stelt Theorem 1.1 vast, die stelt:

Er bestaat een bipartiet spel $G_{4,3,6,6}$ met inputgroottes 4 en 3, en outputgroottes 6 en 6.
Dit spel bezit een perfecte verstrengelde strategie gebruikmakend van een verstrengelde toestand met lokale dimensie 6 (specifiek, een niet-maximaal verstrengelde toestand afgeleid van de matrix $S$ ).
Cruciaal is dat dit spel geen perfecte verstrengelde strategie toelaat die gebruikmaakt van een maximaal verstrengelde toestand.

Betekenis en Claims
Het artikel claimt het open probleem in negatieve zin te hebben beslecht, door aan te tonen dat maximaal verstrengelde toestanden niet compleet zijn voor pseudo-telepathie. De betekenis van het werk ligt in:

Resolutie van een open probleem: Het levert het eerste tegenvoorbeeld dat aantoont dat de klasse van spellen die oplosbaar zijn met maximaal verstrengelde toestanden strikt kleiner is dan de klasse van spellen die oplosbaar zijn met algemene verstrengelde toestanden.
Nieuwe spelklasse: De introductie van "inner product games" biedt een nieuw kader voor het bestuderen van niet-lokaliteit, wat van onafhankelijk belang kan zijn.
Methodologische bijdrage: Het werk demonstreert het nut van het combineren van heuristische computerzoekopdrachten met formele verificatie (via Lean) en numerieke hiërarchieën (traciale NPA) om diepe vragen in de kwantuminformatietheorie op te lossen.

Beperkingen en Toekomstige Richtingen (zoals vermeld door de auteur)
De auteur merkt op dat het tegenvoorbeeld "gefabriceerd" is via een computerzoektocht in plaats van voort te komen uit een natuurlijk fysisch systeem, en dat het bewijs van de eigenschappen ervan zwaar leunt op numerieke semidefiniete programmering in plaats van analytisch inzicht. De auteur suggereert dat het vinden van een "natuurlijk" tegenvoorbeeld met een analytisch bewijs een openstaande uitdaging blijft. Daarnaast merkt de auteur op dat numerieke simulaties suggereren dat $G_{4,3,6,6}$ een self-test is voor de specifieke niet-maximaal verstrengelde toestand die wordt gebruikt, een eigenschap die nog formeel bewezen moet worden. Het werk wijst ook op potentiële implicaties voor de relatie tussen het verstrengelde chromatische getal en het kwantum chromatische getal in de zero-error informatietheorie.

Het Spel van de "Inwendige Product"

De Ferrari versus de Custom Fiets

Hoe hebben ze dit bewezen?

Waarom dit belangrijk is

Meer zoals dit