Complete Factorization of Entangled Quantum States PART 1: Factorizing the Bell States using Semi-Structured Complex Numbers

In de vreemde en contra-intuïtieve wereld van de kwantumfysica kunnen deeltjes verbonden raken op een manier die onze alledaagse ervaring van ruimte en afstand tart. Wanneer twee deeltjes "verstrengeld" zijn, verliezen ze hun individuele identiteit en gedragen ze zich als één enkel, verenigd systeem, ongeacht hoe ver ze van elkaar verwijderd zijn. Dit fenomeen is de motor achter de krachtigste toekomstige technologieën, van ultra-veilige communicatie tot computers die problemen kunnen oplossen die onmogelijk zijn voor de machines van vandaag. Deze verbinding creëert echter ook een enorme hindernis voor wetenschappers die deze systemen proberen te simuleren of te ontwerpen. Omdat de deeltjes onscheidbaar zijn, dwingt de standaard wiskunde onderzoekers om de hele groep als één gigantische, verstrengelde blok te volgen. Naarmate het aantal deeltjes groeit, explodeert de complexiteit van deze berekeningen, waardoor het bijna onmogelijk wordt om het gedrag van een enkel deeltje te volgen zonder verloren te raken in de ruis van het geheel.

Een team onderzoekers van Maynooth University in Ierland en de University of the West Indies heeft een nieuwe manier voorgesteld om deze knoop te ontwarren, niet door de fysica te veranderen, maar door de wiskundige lens waardoor het bekeken wordt te veranderen. In hun recente werk introduceerden zij een methode die de regels van de algebra tijdelijk uitbreidt om verstrengelde toestanden op te splitsen in onafhankelijke delen. Door de "nul"-waarden die deze berekeningen gewoonlijk blokkeren te behandelen als placeholders voor een speciale, tijdelijke variabele, slaagden zij erin om de meest beroemde voorbeelheden van verstrengelde toestanden, de zogenaamde Bell-toestanden, te factoriseren in eenvoudige, afzonderlijke stukken. Deze aanpak verandert de uiteindelijke fysieke realiteit niet; het biedt eerder een wiskundige steiger waardoor wetenschappers door de complexiteit van verstrengeling kunnen lopen alsof het een eenvoudig product van individuele delen is, voordat de structuur met perfecte nauwkeurigheid weer wordt samengevouwen naar de echte wereld.

De kern van de moeilijkheid die de onderzoekers aanpakten, komt voort uit een fundamentele regel in de standaard kwantummechanica: een verstrengelde toestand kan niet worden geschreven als een eenvoudige combinatie van twee afzonderlijke toestanden. In de normale wiskunde, als je probeert zo'n toestand te splitsen, stuit je onvermijdelijk op een muur waar een noodzakelijk getal nul wordt, waardoor de vergelijking vastloopt. Deze nul fungeert als een doodlopende weg, die voorkomt dat de toestand wordt gescheiden in zijn constituerende delen. De oplossing van het team was om buiten de standaardregels van complexe getallen te stappen en een bredere, "semi-gestructureerde" wiskundige ruimte te betreden. In deze nieuwe ruimte is het getal nul geen lege leegte, maar wordt het in kaart gebracht als een specifieke, niet-nul vorm bestaande uit een speciale eenheid en een hulpvariabele. Deze kleine verschuiving zorgt ervoor dat de wiskundige kruistermen die gewoon zouden verdwijnen, zichtbaar blijven, waardoor de deur voor de factorisatie van de toestand effectief open blijft staan.

Met behulp van dit nieuwe kader slaagden de onderzoekers erin om de vier standaard Bell-toestanden — paren deeltjes die maximaal verstrengeld zijn — te herschrijven alsof het twee onafhankelijke deeltjes zijn die naast elkaar liggen. Zij demonstreerden dat deze toestanden binnen deze tijdelijke wiskundige ruimte behandeld kunnen worden als eenvoudige producten van enkelvoudige deeltelstoestanden. Om te garanderen dat deze truc de fundamentele wetten van de waarschijnlijkheid niet schendt of onmogelijke fysieke scenario's creëert, onderwierpen zij de gefactoriseerde toestanden aan een strenge test die bekend staat als de CHSH-ongelijkheid. Deze test meet hoe sterk twee deeltjes gecorreleerd zijn. In de standaard kwantummechanica schenden verstrengelde deeltjes een klassieke limiet van twee, waarbij ze een waarde van ongeveer 2,828 bereiken. Echter, omdat de methode van de onderzoekers de deeltjes succesvol had gescheiden in onafhankelijke lokale toestanden binnen hun hulpruimte, volgden de resulterende correlaties strikt de klassieke limiet van twee. Dit bevestigde dat de wiskundige scheiding consistent was en dat de deeltjes, hoewel ze tijdelijk als onafhankelijk werden behandeld, nog steeds de regels van lokale realiteit respecteerden binnen die specifieke algebraïsche context.

Het proces berust op een slimme sequentie van stappen die begint met de aanname dat de verstrengelde toestand gesplitst kan worden, en vervolgens gebruikmaakt van de speciale eigenschappen van hun nieuwe getallensysteem om de ontbrekende stukken op te lossen. Wanneer de vergelijkingen leiden tot een deling door nul — een situatie die normaal gesproken ongedefinieerd zou zijn — passen de onderzoekers een "trigger-transformatie" toe. Deze regel behandelt het resultaat van nul gedeeld door nul niet als een fout, maar als een specifiek, reëel getal dat wordt bepaald door de randvoorwaarden van het systeem. Dit is vergelijkbaar met hoe een natuurkundige een specifiek coördinatensysteem zou kiezen om een berekening te vereenvoudigen, wetende dat het uiteindelijke antwoord niet van die keuze afhankelijk zal zijn. Zodra de toestand volledig is gefactoriseerd en de hulpvariabelen zijn opgelost, passen de onderzoekers een inverse transformatie toe. Deze stap verwijdert de tijdelijke steiger, de speciale eenheden en de hulpparameters netjes, en projecteert het systeem terug naar de standaard fysieke wereld. Het resultaat is exact de oorspronkelijke verstrengelde toestand, herwonnen zonder verlies van fysieke data, maar na een fase waarin deze als een eenvoudig, scheidbaar product werd behandeld.

Deze methode biedt een veelbelovend nieuw instrument voor de toekomst van quantum computing, met name voor de software die quantumcircuits ontwerpt en optimaliseert. Momenteel vereist het simuleren van een quantumcomputer met veel verstrengelde qubits het bijhouden van een enorme hoeveelheid gegevens die exponentieel groeit, wat zelfs de krachtigste supercomputers snel overbelast. Door onderzoekers in staat te stellen om verstrengelde toestanden tijdens de tussenliggende fasen van de berekening te behandelen als afzonderlijke, lokale componenten, zou dit framework het conceptueel mogelijk maken om de algebraïsche evolutie van een enkele qubit te volgen zonder het hele globale systeem tegelijkertijd te hoeven beheren. Ten tweede besteden moderne quantumcompilers een aanzienlijk deel van hun rekenkracht aan het optimaliseren van gates over verstrengelde toestanden. Een framework dat alle toestanden uniform als scheidbare producttoestanden behandelt binnen een intermediaire algebraïsche laag, zou compilers in staat stellen om quantumcircuits te comprimeren, te herschikken of te optimaliseren met behulp van eenvoudigere, lokale lineaire transformaties. De onderzoekers benadrukken dat dit een wiskundige techniek is voor analyse en optimalisatie, en geen verandering in de onderliggende fysica van de natuur. De verstrengeling blijft echt en onbreekbaar in de fysieke wereld; de methode biedt simpelweg een manier om de complexiteit van die verstrengeling op papier te navigeren door de structurele beperkingen die het normaal gesproken zo moeilijk maken om te hanteren, tijdelijk te versoepelen.

Hoewel het artikel succesvol aantoont dat deze factorisatie mogelijk is voor de fundamentele Bell-toestanden, erkennen de auteurs dat dit werk een startpunt is. Zij hebben een constructief bewijs geleverd dat deze algebraïsche expansie werkt voor deze specifieke gevallen, maar een algemeen algoritme dat in staat is om elke willekeurige, zeer complexe verstrengelde toestand te factoriseren, blijft een doel voor toekomstig onderzoek. De methode laat ook vragen open over de fysieke betekenis van een "lokale meting" binnen de intermediaire semi-gestructureerde ruimte voordat de uiteindelijke projectie naar de realiteit plaatsvindt. Desalniettemin vestigt het werk een basis dat de barrière van niet-scheidbaarheid algebraïsch kan worden omzeild. Door een laag van wiskundige vrijheid te introduceren die verdwijnt bij voltooiing, hebben de onderzoekers aangetoond dat de hardnekkige knoop van quantumverstrengeling algebraïsch kan worden ontward voor het doel van berekening, wat een nieuw perspectief biedt op hoe de complexiteit van de kwantumwereld te beheersen.