Bosonische kwantumcode: foutcorrectie met golven van licht en trilling
Een kwantumcomputer rekent met qubits, de kwantumversie van de bit. Het probleem is dat qubits extreem gevoelig zijn: de kleinste trilling, warmte of straling uit de omgeving kan de informatie erin vernietigen. Een bosonische kwantumcode is een manier om die informatie niet in één kwetsbaar deeltje op te slaan, maar te verspreiden over de vele toestanden van één enkele trillende "golf" — bijvoorbeeld licht in een holte of de trilling van een gevangen atoom. Door die spreiding wordt het makkelijker om fouten op te merken en te herstellen vóór ze de berekening verpesten.
Een vergelijking maakt het concreter. Stel je wilt een boodschap doorgeven die niet verloren mag gaan, ook al fluistert iemand af en toe verkeerd mee. Je kunt de boodschap één keer op een briefje schrijven (kwetsbaar: raakt het kwijt, dan ben je alles kwijt), of je schrijft dezelfde boodschap in een uitgebreid patroon van golven op zee, waarbij alleen heel specifieke golfvormen geldig zijn. Als het water een beetje verstoord raakt, kun je aan de afwijking van het patroon precies zien wat er fout ging en het herstellen, zonder de oorspronkelijke boodschap te hoeven kennen. Bosonische codes doen iets vergelijkbaars met de golfeigenschappen van licht of trillende deeltjes, ook wel bosonen genoemd.
Wat is het precies?
Bosonen zijn deeltjes zoals lichtdeeltjes (fotonen) die, anders dan elektronen, in willekeurige aantallen dezelfde toestand kunnen delen en zich als golven gedragen. Een bosonisch systeem — bijvoorbeeld microgolfstraling opgesloten in een supergeleidende metalen holte, of de mechanische trilling van een gevangen ion — heeft daardoor oneindig veel mogelijke energietoestanden, vergelijkbaar met de boventonen van een gitaarsnaar. Een gewone qubit gebruikt maar twee van die toestanden; een bosonische code gebruikt er veel meer om één robuuste logische qubit te bouwen.
De truc zit in de keuze van welke combinaties van toestanden "geldig" zijn. Bij de zogeheten cat-code (genoemd naar de gedachte-experiment-kat van Schrödinger) wordt informatie opgeslagen in superposities van toestanden met tegenovergestelde golffase. Kleine verstoringen, zoals het per ongeluk verliezen van één lichtdeeltje, veranderen de toestand op een voorspelbare manier die je kunt detecteren zonder de opgeslagen informatie zelf te verstoren. Bij de GKP-code (genoemd naar de bedenkers Gottesman, Kitaev en Preskill, uit 2001) wordt informatie verstopt in een regelmatig rooster van golfposities, vergelijkbaar met de exacte lijnen op millimeterpapier; kleine verschuivingen door ruis vallen dan op als afwijkingen van het rooster en kunnen worden teruggeduwd naar de dichtstbijzijnde geldige lijn. Een derde familie, de binomiale codes, kiest specifieke combinaties van foton-aantallen die wiskundig zo zijn opgebouwd dat het verlies van een foton nooit tot verwarring tussen twee logische toestanden leidt.
Het grote verschil met klassieke kwantumfoutcorrectie is dat je normaal gesproken tientallen fysieke qubits nodig hebt (bijvoorbeeld in de bekende "oppervlaktecode") om er één goed beschermde logische qubit van te maken. Bij een bosonische code kan in principe één enkele trillende holte al een groot deel van die bescherming leveren, omdat de code als het ware al "ingebakken" zit in de vele energieniveaus van dat ene systeem.
Wat wil men ermee bereiken?
Het uiteindelijke doel is een kwantumcomputer die lang genoeg foutvrij kan rekenen om nuttige problemen op te lossen — denk aan het simuleren van moleculen voor medicijnontwikkeling of het kraken en juist beveiligen van cryptografie. Daarvoor is kwantumfoutcorrectie nodig: fouten detecteren en herstellen zonder de kwetsbare kwantuminformatie zelf af te lezen (wat de informatie zou vernietigen).
Het probleem met traditionele aanpakken is de enorme "overhead": schattingen lopen uiteen van honderden tot duizenden fysieke qubits per betrouwbare logische qubit. Dat maakt machines duur, complex en foutgevoelig door hun eigen omvang. Bosonische codes beloven hardware-efficiënte foutcorrectie: minder fysieke componenten, minder bekabeling en besturingselektronica, en dus sneller op te schalen systemen. Een tweede belofte is dat sommige foutsoorten — met name het omslaan van een bit (bitflip) — bij cat-codes exponentieel kunnen worden onderdrukt naarmate de golftoestand groter wordt, waardoor er nog maar één resterend foutkanaal overblijft (het verlies van fase-informatie) dat met eenvoudigere, klassieke technieken is te bestrijden.
Voorbeelden uit de praktijk
Een aantal onderzoeksgroepen heeft de theorie inmiddels in echte apparaten laten werken:
- Yale University (2016): de groep van Michel Devoret en Robert Schoelkopf toonde met een cat-code in een supergeleidende microgolfholte voor het eerst een "break-even" aan: de levensduur van de beschermde logische qubit werd langer dan die van de onbeschermde bouwstenen waaruit hij was opgebouwd.
- ETH Zürich (2019): de groep van Jonathan Home realiseerde de eerste GKP-code niet in licht, maar in de mechanische trilling van een enkel gevangen atoomion — een mijlpaal voor continu-variabele kwantumcodes buiten de optica.
- Yale / Google Quantum AI (2023): onderzoekers publiceerden een GKP-qubit in een supergeleidende microgolfholte die met actieve, real-time foutcorrectie voor het eerst duidelijk boven het break-even-punt bleef presteren.
- Alice&Bob (Frankrijk, opgericht 2020): dit start-up bouwt processors rond cat-qubits, met als doel het aantal benodigde fysieke componenten per logische qubit drastisch te verlagen ten opzichte van gangbare oppervlaktecodes.
- AWS Center for Quantum Computing: onderzoekers van Amazon lieten zien dat bitflip-fouten in cat-qubits inderdaad exponentieel afnemen naarmate de opslagcapaciteit van de holte toeneemt, een belangrijke experimentele bevestiging van de theorie.
Hoe ver is de techniek?
Bosonische codes zijn de afgelopen tien jaar gegroeid van een theoretisch idee naar werkende laboratoriumdemonstraties die de belangrijkste voorspelling — langere levensduur dan de onderliggende bouwstenen — hebben waargemaakt. Dat is een reële mijlpaal, maar geen doorbraak naar praktisch nut: de gedemonstreerde logische qubits zijn nog enkelvoudig, de winst in levensduur is nog bescheiden (doorgaans een factor twee tot enkele tientallen, niet de vele ordes van grootte die uiteindelijk nodig zijn), en het combineren van meerdere van deze logische qubits tot rekenende, foutgecorrigeerde circuits staat nog in de kinderschoenen.
Belangrijke openstaande obstakels zijn: het uitvoeren van betrouwbare kwantumpoorten (rekenoperaties) tussen bosonische qubits zonder dat de code zijn bescherming verliest, het opschalen naar meerdere gekoppelde holtes of ionen, en het combineren van bosonische codes met traditionele codes (zogeheten "concatenatie") om ook de resterende foutkanalen af te dekken. Onafhankelijke experts binnen het veld benadrukken dat resultaten tot nu toe indrukwekkend zijn, maar dat het nog te vroeg is om te zeggen welke aanpak — bosonisch, oppervlaktecode, of een hybride — uiteindelijk zal domineren in een volwaardige kwantumcomputer.
Wie werken eraan?
Het onderzoek is geconcentreerd bij een beperkt aantal groepen met sterke banden onderling. In de Verenigde Staten lopen Yale University (waar veel van de grondleggende experimenten vandaan komen) en Google Quantum AI voorop, evenals het AWS Center for Quantum Computing (een samenwerking van Amazon met het California Institute of Technology). In Europa is de groep van Jonathan Home aan de ETH Zürich toonaangevend voor de ionenval-variant, en richt het Franse start-up Alice&Bob zich volledig op een commercieel te bouwen cat-qubit-processor. Ook onderzoeksinstituten als QuTech in Delft volgen en dragen bij aan de theoretische onderbouwing van bosonische en andere continu-variabele kwantumcodes. Financiering komt zowel van nationale onderzoeksprogramma's (in de VS onder meer via het Department of Energy en de National Science Foundation, in Europa via nationale en EU-programma's) als van private investeerders in quantum-start-ups.