A Mechanism for the Rényi Hierarchy of Decoherence-Induced Phase Transitions

Kwantumcomputers beloven problemen op te lossen die er voor klassieke machines millennia aan zouden kosten, maar ze worden geconfronteerd met een meedogenloze vijand: ruis. In de kwantumwereld wordt informatie opgeslagen in fragiele toestanden die gemakkelijk instorten wanneer ze interageren met hun omgeving, een proces dat bekend staat als decoherentie. Deze ruis verstoort de delicate correlaties die de kwantumdata bij elkaar houden, waardoor een krachtige computer verandert in een nutteloze verzameling statische ruis. Om dit te bestrijden, gebruiken wetenschappers kwantumfoutcorrectie, een methode waarbij informatie over veel fysieke deeltjes wordt verspreid, zodat als er één faalt, het hele systeem nog steeds kan herstellen. Er is echter een limiet aan hoeveel ruis een systeem kan tolereren voordat het volledig uit elkaar valt. Het begrijpen van waar dat breekpunt precies ligt, is cruciaal voor het bouwen van echte machines. Recentelijk hebben onderzoekers ontdekt dat dit breekpunt geen enkele, vaste waarde is, maar afhangt van hoe je de gezondheid van het systeem meet.

Een team van natuurkundigen van Cornell University en Google Quantum AI heeft een fundamentele regel ontdekt die deze breekpunten beheerst, waarmee ze een verborgen hiërarchie in hoe kwantumsystemen falen, hebben blootgelegd. Ze bestudeerden een fenomeen genaamd decoherentie-geïnduceerde faseovergangen, wat het moment beschrijft waarop een kwantumsysteem zijn vermogen verliest om informatie op te slaan naarmate de ruis toeneemt. De onderzoekers ontdekten dat de sterkte van de ruis die nodig is om het systeem te breken, verandigt afhankelijk van welk wiskundig instrument wordt gebruikt om het falen te detecteren. Specifiek bewezen ze dat naarmate de complexiteit van het meetinstrument toeneemt, het systeem robuuster wordt, waardoor er zelfs meer ruis nodig is om het te breken. Dit betekent dat een kwantumcode onder een eenvoudige test als gefaald kan worden beschouwd, terwijl deze onder een meer geavanceerde test nog perfect functioneel kan zijn. Het team toonde aan dat deze ordening geen toeval is, maar een universeel kenmerk dat wordt gedreven door diepe wiskundige ongelijkheden die bepalen hoe correlaties zich gedragen in deze ruisige omgevingen.

Om de betekenis van deze ontdekking te begrijpen, moet men eerst begrijpen hoe kwantuminformatie wordt beschermd. In veel geavanceerde kwantumcodes wordt data gecodeerd op een manier die lijkt op een topologische structuur, waarbij de informatie wordt opgeslagen in de globale vorm van het systeem in plaats van in individuele delen. Wanneer ruis toeslaat, creëert dit defecten of "syndromen" die gedetecteerd kunnen worden. Als de ruis zwak is, zijn deze defecten schaars en kunnen ze worden gecorrigeerd. Als de ruis te sterk is, worden de defecten zo talrijk dat ze een verbonden web vormen dat de globale structuur vernietigt, waardoor de informatie onherstelbaar wordt. Het punt waar deze transitie plaatsvindt, is de foutdrempel. Jarenlang wisten wetenschappers al dat verschillende manieren om de entropie van het systeem te meten — een grootheid die de wanorde of de informatiewaard beschrijft — verschillende drempels opleveren. Het nieuwe werk legt uit waarom dit gebeurt en bewijst dat deze drempels een strikte, voorspelbare volgorde volgen.

De onderzoekers richtten zich op twee specifieke soorten kwantumsystemen om deze regel te vinden. De eerste was een klasse codes bekend als stabilizer-codes, die breed worden gebruikt in kwantumfoutcorrectie en kunnen worden afgebeeld op een model van interagerende magneten. De tweede was een model bestaande uit roterende deeltjes die een specifiek type lading behouden, wat relevant is voor een ander soort kwantumsymmetrie. In beide gevallen vertaalde het team het probleem van een ruisig kwantumsysteem naar een probleem van statistische mechanica, een tak van de natuurkunde die bestudeert hoe grote groepen deeltjes gemiddeld gedrag vertonen. Door het systeem te bekijken door de lens van "replica's", of meerdere kopieën van hetzelfde systeem die met elkaar interageren, waren ze in staat om krachtige wiskundige instrumenten toe te passen die bekend staan als correlatie-ongelijkheden. Deze instrumenten stellen natuurkundigen in staat om het gedrag van een systeem met één kopie te vergelijken met een systeem met vele kopieën.

De kern van hun ontdekking is een bewijs dat de correlaties tussen verschillende delen van het systeem sterker worden of gelijk blijven naarmate het aantal kopieën toeneemt. In de taal van de studie: als je het systeem meet met een instrument dat overeenkomt met een hoger niveau van complexiteit, lijkt het systeem meer geordend en resistent tegen ruis. Dit impliceert dat de kritieke hoeveelheid ruis die nodig is om het systeem te breken, nooit afneemt naarmate het meetinstrument complexer wordt. Voor de specifieke codes die zij analyseerden, betekent dit dat de drempel voor falen naar hogere ruisniveaus verschuift naarmate de complexiteit van het diagnostische instrument toeneemt. Het team toonde aan dat deze regel standhoudt voor onafhankelijke ruisgebeurtenissen, waarbij elk deeltje willekeurig wordt beïnvloed, en ook voor bepaalde soorten gecorreleerde ruis waarbij fouten de neiging hebben om te clusteren.

De onderzoekers waren echter voorzichtig met de grenzen van hun bevindingen. Het bewijs steunt op specifieke wiskundige voorwaarden die worden vervuld wanneer de ruis niet te sterk is en de fouten niet bepaalde anti-gecorreleerde patronen vertonen. In gevallen waarin fouten actief elkaar vermijden, breken de wiskundige voorwaarden voor hun bewijs en houdt de hiërarchie mogelijk niet stand. Het team heeft niet bewezen dat de hiërarchie in deze gevallen faalt, alleen dat hun huidige methode dat niet kan bevestigen. Ze merkten ook op dat hun rigoureuze bewijs van toepassing is op gehele niveaus van complexiteit, en hoewel ze verwachten dat de regel zich uitstrekt tot het meest fundamentele niveau van meting, vereist die specifieke uitbreiding verder onderzoek.

Dit werk biedt een algemeen mechanisme voor een fenomeen dat voorheen alleen in specifieke voorbeelden was waargenomen. Door de onderliggende wiskundige structuur te identificeren, hebben de onderzoekers aangetoond dat de hiërarchie van foutdrempels een robuust kenmerk is van veel kwantumsystemen, en niet slechts een eigenaardigheid van een bepaald model. Dit inzicht is essentieel voor de toekomst van kwantumcomputing omdat het de relatie tussen verschillende foutcorrectieprotocollen verheldert. Het suggereert dat door gebruik te maken van meer geavanceerde decoderingstrategieën die gebruikmaken van meerdere kopieën van de data, ingenieurs de grenzen kunnen verleggen van hoeveel ruis een kwantumcomputer kan weerstaan. De studie bevestigt dat de weg naar het bouwen van een fouttolerante kwantumcomputer niet alleen bestaat uit het bestrijden van ruis, maar ook uit het begrijpen van de ingewikkelde manieren waarop onze observatiemethoden de realiteit van de stabiliteit van het systeem vormgeven.