Polynomial-time local-unitary equivalence of graph states

In de vreemde en contra-intuïtieve wereld van de kwantumfysica wordt informatie vaak niet opgeslagen in individuele deeltjes, maar in de ingewikkelde relaties tussen vele van hen. Stel je een groep kleine magneten voor, of qubits, die zo diep met elkaar verbonden zijn dat de toestand van de één de anderen onmiddellijk beïnvloedt, ongeacht hoe ver ze van elkaar verwijderd zijn. Dit fenomeen wordt verstrengeling genoemd. Een van de meest nuttige manieren waarop wetenschappers deze complexe groepen organiseren en bestuderen, is door een eenvoudige kaart te tekenen: een graaf. In deze kaart stelt elke stip een deeltje voor, en elke lijn die twee stippen verbindt, vertegenwoordigt een specifieke interactie die tussen hen is uitgevoerd. Deze "graaftoestanden" zijn de werkpaarden van de moderne kwantumtechnologie; ze dienen als de grondstof voor kwantumcomputers, veilige communicatienetwerken en foutcorrectiecodes die fragiele gegevens beschermen.

Omdat deze systemen zo delicaat zijn, moeten onderzoekers vaak weten of twee verschillend uitziende kaarten eigenlijk dezelfde onderliggende fysieke realiteit beschrijven. Specifiek vragen zij: kunnen we één kwantumtoestand in een andere transformeren door slechts elk deeltje individueel aan te passen, zonder ooit de verbindingen tussen hen aan te raken? Deze vraag, bekend als lokale-unitaire equivalentie, is al meer dan een decennium een hardnekkig raadsel. Hoewel wetenschappers wisten hoe ze een eenvoudigere versie van het probleem konden oplossen met een beperkte set hulpmiddelen, bleef de volledige versie een mysterie. Als twee toestanden equivalent zijn, betekent dit dat ze fundamenteel dezelfde bron zijn, slechts bekeken door een andere lens. Als ze dat niet zijn, zijn ze werkelijk verschillend. Al meer dan tien jaar wist niemand of er een snelle, betrouwbare manier bestond om dit voor elke twee kaarten te beslissen, of dat het probleem zo complex was dat het langer zou duren dan het huidige universum bestaat.

Een onderzoeker heeft nu dit langlopende probleem opgelost. Hij heeft een nauwkeurige, stapsgewijze methode ontwikkeld die in een redelijke tijd kan bepalen of twee graaftoestanden equivalent zijn. Zijn aanpak is geen gok of een simulatie; het is een deterministisch algoritme dat een gegarandeerd antwoord geeft. Als de toestanden equivalent zijn, zegt de methode niet alleen "ja"; het construeert ook de exacte sequentie van aanpassingen die nodig is om de ene toestand in de andere te veranderen. Dit is een belangrijke sprong voorwaarts omdat het het vakgebied verplaatst van een gebied van onzekerheid en traag, uitputtend zoeken naar een gebied van zekerheid en efficiëntie. De onderzoeker bewees dat deze beslissing genomen kan worden met een aantal computationele stappen dat, hoewel groot, op een beheersbare manier groeit naarmate de omvang van het kwantumsysteem toeneemt. Dit betekent dat voor elk praktisch kwantumapparaat dat vandaag of in de nabije toekomst wordt gebouwd, wetenschappers nu onmiddellijk kunnen verifiëren of twee verschillende ontwerpen eigenlijk hetzelfde zijn.

De reis naar deze oplossing begon bij het erkennen van een eerder, gedeeltelijk succes. Wetenschappers hadden al een manier gevonden om het probleem op te lossen als ze beperkt waren tot een specifieke, rigide set operaties genaamd "lokale Clifford"-poorten. Deze poorten zijn als een basisgereedschap waarmee men deeltjes op een zeer specifieke manier kan flippen of roteren. Het was ooit de hoop dat dit basisgereedschap voldoende zou zijn om het hele probleem op te lossen, maar een beroemd tegenvoorbeeld met twintig-zeven deeltjes toonde aan dat dit niet waar was. Er zijn gevallen waarin twee toestanden equivalent zijn, maar de basistool niet in staat is om de ene in de andere te transformeren; een flexibelere, continue set aanpassingen is vereist. De moeilijkheid lag in het uitzoeken wanneer precies deze extra, flexibele aanpassingen nodig waren en hoe men ze kon vinden zonder verdwaald te raken in een oneindige zee van mogelijkheden.

De nieuwe methode werkt door eerst de twee kaarten te vereenvoudigen tot een standaard, canonieke vorm. Denk hierbij aan het recht trekken van een warrige knoop totdat deze in een nette, herkenbare vorm zit. Als de twee kaarten niet in dezelfde vorm kunnen worden rechtgetrokken, zijn ze onmiddellijk als verschillend bekend. Als ze in deze vereenvoudigde vorm wel overeenkomen, zoekt de onderzoeker vervolgens naar een specifiek type verborgen symmetrie. Hij vertaalt het probleem van het vinden van de juiste aanpassingen naar een stelsel van lineaire vergelijkingen, vergelijkbaar met het oplossen van een puzzel waarbij je de juiste combinatie van getallen moet vinden om een weegschaal in evenwicht te brengen. Door de enorme hoeveelheid potentiële combinaties te comprimeren tot een veel kleinere, beheersbare set regels, kan hij deze vergelijkingen snel oplossen. Het cruciale inzicht was het besef dat de complexe, continue aanpassingen die nodig zijn voor de volledige equivalentie, konden worden opgedeeld in een hiërarchie van eenvoudigere stappen, en dat het moeilijkste deel van de berekening kon worden teruggebracht tot een eindige set beperkingen.

Het resultaat is een krachtig instrument dat meer doet dan alleen "ja" of "nee" zeggen. Het onthult de structuur van de relatie tussen deze kwantumtoestanden. De onderzoeker ontdekte dat binnen elke groep van equivalente toestanden, de toestanden kunnen worden gesorteerd in kleinere subgroepen op basis van hoe gemakkelijk ze kunnen worden getransformeerd met de basistool. Hij bewees dat het aantal van deze subgroepen altijd een macht van twee is, en zijn algoritme kan ze exact tellen. Dit is cruciaal voor het begrijpen van de middelen die beschikbaar zijn voor kwantumcomputing. Als een onderzoeker een specifieke kwantumtoestand heeft en wil weten of hij elke andere toestand in zijn familie kan bereiken met alleen de basistool, biedt deze methode het antwoord. Als het antwoord nee is, levert het algoritme een concreet voorbeeld van een toestand die alleen bereikbaar is met de meer geavanceerde, flexibele aanpassingen, samen met de exacte instructies voor het uitvoeren van die transformatie.

Buiten de graaftoestanden strekt deze methode zich uit tot andere belangrijke gebieden van de kwantuminformatie. Het kan bepalen of twee kwantumfoutcorrigerende codes, die zijn ontworpen om gegevens te beschermen tegen ruis, essentieel hetzelfde zijn. Het kan ook beslissen of twee zuivere kwantumtoestanden equivalent zijn onder een bredere klasse van operaties die bekend staan als stochastische lokale operaties, die relevant zijn voor hoe kwantuminformatie kan worden gemanipuleerd in de echte wereld met ruis. Door het probleem van de graaftoestanden op te lossen, heeft de onderzoeker effectief de mogelijkheid ontsloten om een breed scala aan kwantumbronnen te classificeren en te vergelijken met wiskundige zekerheid.

De implicaties voor de toekomst van de kwantumtechnologie zijn aanzienlijk. Terwijl wetenschappers grotere en complexere kwantumnetwerken bouwen, wordt het vermogen om snel te verifiëren dat twee verschillende ontwerpen functioneel identiek zijn, essentieel. Het stelt ingenieurs in staat om componenten te vervangen zonder zich zorgen te maken dat ze onbedoeld de fundamentele aard van het systeem hebben veranderd. Het helpt ook bij het ontwerp van nieuwe protocollen voor kwantumcommunicatie, waarbij weten wat de exacte relatie is tussen verschillende toestanden kan leiden tot efficiëntere manieren om informatie te verzenden. De methode is niet slechts een theoretische curiositeit; het is een praktisch algoritme dat op klassieke computers draait en de complexiteit van systemen met honderden deeltjes aan kan.

Uiteindelijk sluit dit werk een hoofdstuk dat al meer dan een decennium openstaat. Het vervangt een decennium van onzekerheid door een helder, efficiënt pad vooruit. De onderzoeker heeft aangetoont dat de vraag of twee kwantumkaarten hetzelfde zijn, geen onmogelijke raadsel is, maar een oplosbare puzzel. Door een complex, continu probleem om te zetten in een gestructureerd, discreet probleem, heeft hij de kwantumgemeenschap een definitieve manier geboden om door het landschap van verstrengelde toestanden te navigeren. Deze helderheid zal de ontwikkeling van kwantumtechnologieën waarschijnlijk versnellen, waardoor wordt gewaarborgd dat, terwijl we deze krachtige nieuwe machines bouwen, we dat kunnen doen met een precieze kennis van de middelen die we gebruiken. Het mysterie van lokale-unitaire equivalentie is niet langer een mysterie; het is een opgelost probleem, klaar om aan het werk te worden gezet.