Tensors, entanglement, separability, and their complexity

In de kwantumwereld kunnen de kleinste bouwstenen van de natuur zich in een vreemde staat van verbondenheid bevinden die bekend staat als verstrengeling. Stel je twee deeltjes voor die zo diep met elkaar verbonden zijn dat het meten van het ene deeltje onmiddellijk de toestand van het andere onthult, ongeacht hoe ver ze van elkaar verwijderd zijn. Dit fenomeen is niet slechts een curiositeit; het is de motor achter het opkomende veld van quantumcomputing, waarbij informatie wordt verwerkt op manieren die klassieke computers niet kunnen. Echter, niet alle kwantumtoestanden zijn even nuttig. Sommige zijn "scheidbaar", wat betekent dat de deeltjes onafhankelijk van elkaar opereren, terwijl andere "verstrengeld" zijn en een complexe, gedeelde realiteit vormen. Wetenschappers zoeken al lang naar een betrouwbare manier om precies te meten hoeveel verstrengeling er in een systeem bestaat en om te bepalen of een bepaalde toestand scheidbaar of verstrengeld is. Deze taak is berucht moeilijk omdat de wiskundige objecten die worden gebruikt om deze toestanden te beschrijven ongelooflijk complex worden naarmate er meer deeltjes worden toegevoegd, wat het lastig maakt om te zien of een systeem werkelijk verbonden is of slechts een verzameling onafhankelijke onderdelen.

Een nieuw artikel door Shmuel Friedland pakt deze uitdagingen aan door moderne wiskundige hulpmiddelen genaand tensors toe te passen op de studie van kwantumtoestanden. Tensors zijn in essentie meerdimensionale arrays van getallen die de ingewikkelde relaties tussen veel deeltjes tegelijkertijd kunnen beschrijven. De auteur gebruikt deze structuren om twee specifieke manieren te definiëren om verstrengeling te meten. De eerste is een geometrische maatstaf, die de afstand berekent tussen een kwantumtoestand en de dichtstbijzijnde toestand waarin de deeltjes niet verbonden zijn. De tweede is een maatstaf van "energie", die kwantificeert hoeveel inspanning het zou kosten om een complexe toestand te bouwen uit eenvoudige, niet-verbonden stukken. Het artikel laat zien dat deze twee metingen diep met elkaar verbonden zijn: de toestanden die het meest verstrengeld zijn volgens de geometrische afstand, zijn ook de toestanden die de meeste energie vereisen om te construeren.

Het onderzoek maakt een belangrijk onderscheid tussen verschillende soorten deeltjes. In de natuur staan deeltjes zoals elektronen bekend als fermionen en moeten zij strikte regels naleven die voorkomen dat zij dezelfde ruimte innemen, terwijl deeltjes zoals fotonen bosonen zijn en op elkaar kunnen stapelen. Het artikel laat zien dat voor algemene kwantumsystemen het bepalen van of een toestand scheidbaar of verstrengeld is een probleem is dat zo moeilijk is dat het computationeel onmogelijk wordt geacht om snel op te lossen naarmate het systeem groter wordt. Dit is een bekende barrière in het vakgebied, vaak omschreven als een "hard" probleem. De auteur bewijst echter dat voor een specifieke en belangrijke klasse van systemen bestaande uit bosonen, de regels veranderen. Wanneer de deeltjes bosonen zijn en het aantal mogelijke toestanden voor elk individueel deeltje vaststaat, worden de complexe berekeningen die nodig zijn om verstrengeling te meten en scheidbaarheid te controleren beheersbaar. Het artikel biedt een methode om deze problemen in een redelijke tijd op te lossen, zelfs wanneer het aantal deeltjes toeneemt.

Verder introduceert de studie een nieuwe manier om naar de "energie" van deze kwantumtoestanden te kijken. Het toont aan dat voor bosonen de meest verstrengelde toestanden een specifieke wiskundige signatuur hebben: zij bezitten de laagst mogelijke waarde voor het ene type meting en de hoogste voor het andere. Deze bevinding stelt wetenschappers in staat om de meest verstrengelde toestanden te identificeren zonder dat zij elke enkele mogelijkheid hoeven te controleren. Het artikel bevestigt ook dat voor deze bosonische systemen een toestand scheidbaar is indien en slechts indien deze gebouwd kan worden uit een eenvoudige combinatie van basis, niet-verstrengelde stukken. Dit resultaat vereenvoudigt de criteria voor het controleren van scheidbaarheid in deze specifieke systemen, waardoor een bijna onmogelijke taak wordt omgezet in een taak die efficiënt kan worden opgelost.

Het werk claimt niet het probleem voor alle kwantumsystemen op te lossen. Het erkent expliciet dat voor algemene systemen en voor fermionen de moeilijkheid blijft bestaan, en dat de berekeningen nog steeds te complex zijn om snel uitgevoerd te worden. De doorbraak is strikt beperkt tot het geval van bosonen met een vast aantal interne toestanden. Door zich te concentreren op deze specifieke groep, biedt de auteur een duidelijk pad voor het begrijpen en benutten van verstrengeling in kwantumtechnologieën die afhankelijk zijn van deze deeltjes. De bevindingen bieden een concreet pakket aan instrumenten voor onderzoekers om verstrengeling te kwantificeren en scheidbaarheid te verifiëren in een domein waar dit voorheen buiten bereik lag, wat helderheid brengt in het complexe landschap van kwantuminformatie.