Minimal Subsystems for Characterizing Genuine Multipartite Entanglement

In de vreemde en contra-intuïtieve wereld van de kwantumfysica kunnen deeltjes op een manier met elkaar verbonden raken die ons alledaagse ervaring tart. Wanneer twee deeltjes verbonden zijn, of "verstrengeld" (entangled), beïnvloedt de toestand van het ene deeltje onmiddellijk de toestand van het andere, ongeacht hoe ver ze van elkaar verwijderd zijn. Dit fenomeen vormt de basis voor een nieuwe generatie technologieën, van ultra-beveiligde communicatienetwerken tot computers die problemen kunnen oplossen die onmogelijk zijn voor de machines van vandaag. Echter, een speciaal soort verbinding genaamd "echte multipartiete verstrengeling" (genuine multipartite entanglement) wordt beschouwd als de meest waardevolle hulpbron van allemaal. Dit treedt op wanneer drie of meer deeltjes samen verbonden zijn in één onscheidbaar web van correlatie. In tegenstelling tot eenvoudige paren, kunnen deze complexe groepen niet worden afgebroken tot kleinere, onafhankelijke paren; ze bestaan als een verenigd geheel. Wetenschappers moeten deze verbinding meten om te verifiëren dat hun kwantumapparaten correct werken, maar het doen hiervan is historisch gezien een ontmoedigende taak geweest.

Voor een lange tijd vereiste de standaardmethode voor het meten van deze complexe verbinding een onmogelijke hoeveelheid werk. Om zeker te zijn van het resultaat, geloofden onderzoekers dat ze elke mogelijke manier waarop de groep deeltjes in twee delen gesplitst kon worden, moesten onderzoeken. Naarmate het aantal deeltjes groeit, explodeert het aantal van deze mogelijke splitsingen exponentieel. Voor een systeem met slechts een paar dozijn deeltjes wordt het aantal combinaties zo groot dat het langer zou duren dan de leeftijd van het universum om ze allemaal te controleren. Bovendien vereist het controleren van elke splitsing vaak het uitvoeren van een gezamenlijke meting op een groot deel van het systeem tegelijkertijd, een technische prestatie die steeds moeilijker wordt naarmies de groepsgrootte toeneemt. Dit creëerde een flessenhals: hoewel we grote kwantumsystemen konden bouwen, misten we een praktische manier om hun belangrijkste eigenschap te bevestigen.

Een team van onderzoekers aan het Indian Institute of Technology Bombay en het Okinawa Institute of Science and Technology heeft nu aangetoond dat deze enorme moeilijkheid grotendeels een illusie is. Zij ontdekten dat voor het overgrote deel van de hoogverstrengelde kwantumtoestanden de complexe taak van het vinden van de zwakste schakel in de keten vervalt in een veel eenvoudiger proces. In plaats van grote groepen deeltjes te moeten meten of miljarden combinaties te moeten controleren, ontdekten zij dat men alleen naar de individuele deeltjes één voor één hoeft te kijken. Specifiek bewezen zij dat voor typische willekeurige kwantumtoestanden de volledige maatstaf van echte multipartiete verstrengeling kan worden bepaald door de zuiverheid (purity) van de individuele deeltjes te meten. In een systeem van N deeltjes betekent dit dat de experimentele inspanning daalt van een onmogelijke exponentiële schaal naar een beheersbare lineaire schaal, waarbij slechts N afzonderlijke metingen van individuele deeltjes nodig zijn.

De onderzoekers introduceerden twee nieuwe concepten om dit fenomeen te beschrijven: de "evaluatie-lengte" (evaluation length) en het "evaluatie-getal" (evaluation number). De evaluatie-lengte is de grootte van de grootste groep deeltjes die gezamenlijk gemeten moet worden om het antwoord te krijgen. Het evaluatie-getal is het aantal verschillende groepen dat gemeten moet worden. In het slechtste scenario, het enige scenario dat voorheen werd overwogen, zou de evaluatie-lengte de helft van het totaal aantal deeltjes zijn, en het evaluatie-getal zou het totaal aantal mogelijke splitsingen zijn. Echter, het team heeft aangetoond dat voor typische toestanden gegenereerd door willekeurige processen, de evaluatie-lengte krimpt tot slechts één deeltje, en het evaluatie-getal krimpt tot het totaal aantal deeltjes. Dit betekent dat in plaats van een massale, collectieve meting op de helft van het systeem uit te voeren, een experimentator simpelweg elk deeltje individueel kan meten en de resultaten kan combineren.

Om tot deze conclusie te komen, richtten de wetenschappers zich op een specifieke maatstaf voor verstrengeling die bekend staat als de "echte multipartiete concurrence" (genuine multipartite concurrence). Ze analyseerden hoe deze maatstaf zich gedraagt voor toestanden afkomstig uit een willekeurige distributie, wat een goed model is voor typische, hoogverstrengelde systemen. Hun wiskundige bewijs toonde aan dat met een overweldigende waarschijnlijkheid de "zwakste schakel" in de verstrengelingsketen altijd wordt gevonden bij de meest ongebalanceerde splitsing: een enkel deeltje versus de rest van de groep. Omdat de verstrengeling van het hele systeem wordt bepaald door deze zwakste schakel, en omdat de zwakste schakel altijd een enkel deeltje is, is er geen noodzaak om naar grotere groepen te kijken. De onderzoekers hebben ook numerieke simulaties uitgevoerd op toestanden gegenereerd door lokale willekeurige kwantumcircuits, die fysiek realistischer zijn dan puur willekeurige toestanden. Deze simulaties bevestigden dat naarmate het systeem evolueert en meer verstrengeld raakt (scrambled), de noodzaak voor complexe metingen verdwijnt en de metingen van enkelvoudige deeltjes voldoende worden.

Deze bevinding verandert de operationele kosten van het verifiëren van kwantumbronnen fundamenteel. Het suggereert dat de moeilijkheid van het meten van verstrengeling niet een inherente eigenschap is van de kwantumtoestand zelf, maar een gevolg is van het zoeken naar het slechtste scenario. In de echte wereld, waar kwantumtoestanden vaak worden bereid met specifieke dynamica of symmetrieën, domineert het "typische" gedrag. De onderzoekers stellen dat dit inzicht een nieuw perspectief biedt voor het begrijpen van kwantumcomplexiteit. Het stelt wetenschappers in staat om verschillende soorten kwantumtoestanden te classificeren op basis van hoe moeilijk ze te meten zijn, in plaats van alleen op basis van hoeveel verstrengeling ze bevatten. Bijvoorbeeld, een toestand die vereist dat een grote groep deeltjes wordt gemeten, is operationeel moeilijker te verifiëren dan een toestand die slechts individuele deeltjescontroles vereist.

De implicaties voor kwantumtechnologie zijn aanzienlijk. Terwijl onderzoekers grotere en complexere kwantumapparaten bouwen, is het vermogen om hun prestaties snel en efficiënt te certificeren cruciaal. Als de kosten van verificatie lineair schalen met de grootte van het systeem in plaats van exponentieel, verwijdert dit een belangrijke barrière voor het opschalen van kwantumcomputers en netwerken. Het werk vestigt dat de praktische kosten van het kwantificeren van echte multipartiete verstrengeling aanzienlijk lager kunnen zijn dan wat de formele definitie suggereert. Door te identificeren dat de benodigde informatie vaak aanwezig is in de kleinste mogelijke subsystemen, opent de studie de deur naar efficiëntere experimentele protocollen. Het verschuift de focus van brute-force controle van elke mogelijkheid naar een slimmere, gerichte aanpak die gebruikmaakt van de statistische eigenschappen van typische kwantumtoestanden.

Uiteindelijk verheldert dit onderzoek de relatie tussen de structuur van een kwantumtoestand en de middelen die nodig zijn om deze te observeren. Het laat zien dat de complexiteit van de meting niet vaststaat, maar afhangt van de familie van toestanden die wordt bestudeerd. Voor de brede klasse van typische, hoogverstrengelde toestanden is de ontmoedigende taak van het controleren van miljarden combinaties onnodig. Het antwoord ligt in de eenvoudigste mogelijke observatie: de individuele zuiverheid van de deeltjes. Dit inzicht transformeert een probleem dat onhandelbaar leek in een probleem dat recht door zee is, en biedt een duidelijk pad voorwaarts voor de experimentele verificatie van de volgende generatie kwantumtechnologieën.