The Harrow-Hassidim-Lloyd algorithm with qutrits

Deze paper presenteert een uitbreiding van het HHL-algoritme naar qutrits, introduceert Weyl-Heisenberg-gadgets voor de implementatie, en toont aan dat deze qutrit-versie voor een vaste precisie minder qudits vereist dan de traditionele qubit-versie, met toepassing op berekeningen van de potentiële energiecurve van het waterstofmolecuul.

De kern

Stel je voor dat je een gigantische puzzel moet oplossen. Je hebt een enorme lijst met vergelijkingen (een systeem van lineaire vergelijkingen) en je moet de exacte oplossing vinden. In de echte wereld gebeurt dit bij alles, van het voorspellen van weerspatronen tot het ontwerpen van nieuwe medicijnen of het simuleren van hoe water stroomt.

Normaal gesproken doen computers dit met bits. Een bit is als een schakelaar die maar twee standen heeft: aan (1) of uit (0).

Dit artikel introduceert een nieuwere, slimmere manier om deze puzzels op te lossen met quantumcomputers. In plaats van alleen schakelaars (bits) te gebruiken, gebruiken ze qutrits.

Wat is een qutrit? (De "Drie-Kleuren" Lamp)

Stel je een gewone quantumcomputer voor als een kamer met lampen die alleen rood (0) of blauw (1) kunnen branden. Dat is een qubit.

De auteurs van dit artikel zeggen: "Wacht eens, wat als we lampen hebben die rood, groen én blauw kunnen branden?" Dat is een qutrit.

• Qubit: 2 opties (0 of 1).
• Qutrit: 3 opties (0, 1 of 2).

Door die extra optie te hebben, kun je meer informatie in één "lampje" stoppen. Het is alsof je in plaats van een tweezijdige munt (kop of munt), een driezijdige munt hebt. Je kunt met minder muntjes dezelfde hoeveelheid geld (informatie) voorstellen.

Het HHL-algoritme: De "Magische Rekenmachine"

De auteurs nemen een beroemde quantum-algoritme genaamd HHL (genoemd naar de drie wetenschappers die het bedachten). Dit algoritme is als een super-snelle rekenmachine die die enorme lijsten met vergelijkingen oplost.

Tot nu toe was deze rekenmachine alleen gebouwd voor de "twee-kleuren" lampen (qubits). De auteurs hebben deze machine nu volledig herbouwd voor de "drie-kleuren" lampen (qutrits). Ze noemen dit de Qutrit HHL.

Hoe hebben ze dit gedaan? (De "Gadgets")

Om deze nieuwe machine te laten werken, moesten ze nieuwe onderdelen ontwerpen.

• In de oude wereld gebruikten ze "Pauli-gadgets" (speciale gereedschappen om de bits te draaien).
• Voor de nieuwe wereld hebben ze "Weyl-Heisenberg-gadgets" ontworpen.

Je kunt deze gadgets zien als speciale sleutels. Als je een deur (een berekening) wilt openen met een gewone sleutel (qubit), heb je een bepaald profiel nodig. Maar als je de deur van de nieuwe qutrit-wereld wilt openen, heb je een sleutel met een ander, driehoekig profiel nodig. De auteurs hebben precies die nieuwe sleutels ontworpen en getest.

De Proef: De Waterstofmolecuul

Om te bewijzen dat hun nieuwe machine werkt, hebben ze een beroemd probleem opgelost: het simuleren van een Waterstofmolecuul (H2).

• Ze hebben berekend hoeveel energie nodig is om de atomen in het molecuul bij elkaar te houden op verschillende afstanden. Dit heet de "potentiële energiekromme".
• Ze hebben dit gedaan met hun nieuwe qutrit-methode en vergeleken met de oude qubit-methode.

Het resultaat?
De nieuwe qutrit-methode gaf bijna exact dezelfde, zeer nauwkeurige antwoorden als de oude methode, maar...

Waarom is dit geweldig? (De Vergelijking)

Hier komt het mooie deel. Stel je voor dat je een grote berg informatie moet vervoeren.

• Met qubits (oude methode) heb je een vrachtwagen nodig die 1000 kleine dozen (bits) vervoert.
• Met qutrits (nieuwe methode) heb je een vrachtwagen nodig die maar 630 grotere dozen (qutrits) vervoert.

Omdat elke qutrit meer informatie draagt, heb je minder hardware nodig (minder "lampjes" of qubits) om hetzelfde probleem op te lossen.

• Minder ruimte: Je hebt minder qutrits nodig voor dezelfde precisie.
• Gelijke snelheid: Het aantal bewegingen (gates) dat de computer moet maken om de berekening te doen, is ongeveer hetzelfde als bij de oude methode.

De Conclusie in Eenvoudige Taal

De auteurs zeggen eigenlijk: "Waarom blijven we vastzitten in de wereld van 'aan' en 'uit', als we ook 'tussenin' kunnen gebruiken?"

Door over te stappen van bits naar qutrits, kunnen we quantumcomputers efficiënter maken. Je hebt minder fysieke onderdelen nodig om dezelfde moeilijke problemen op te lossen, zoals het ontwerpen van nieuwe medicijnen of het begrijpen van chemische reacties. Het is alsof je van een fiets op een motor overstapt: je komt op dezelfde bestemming, maar je hebt minder pedaalbewegingen nodig en je kunt meer bagage meenemen.

Kortom: Ze hebben een nieuwe, slimmere versie van een beroemde quantum-rekenmachine gebouwd die minder ruimte inneemt en net zo goed werkt, speciaal voor de toekomstige quantumcomputers die al deze extra "kleuren" kunnen gebruiken.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het paper "The Harrow-Hassidim-Lloyd algorithm with qutrits" in het Nederlands.

Titel: Het Harrow-Hassidim-Lloyd-algoritme met qutrits

Auteurs: Tushti Patel en V. S. Prasannaa
Taal van origineel: Engels (Samenvatting in het Nederlands)

---

1. Probleemstelling

Het Harrow-Hassidim-Lloyd (HHL) algoritme is een van de meest beloftevolle quantumalgoritmen voor het oplossen van lineaire vergelijkingssystemen van de vorm $A\vec{x} = \vec{b}$. Hoewel het algoritme uitgebreid is bestudeerd in het kader van qubits (twee-niveau systemen), blijft er een relatief gebrek aan literatuur over de toepassing op hogere-dimensionale systemen, specifiek qutrits (drie-niveau systemen).

Hoewel er recente vooruitgang is geboekt in qutrit-hardware, is de implementatie van complexe algoritmen zoals HHL op deze platformen nog niet volledig uitgewerkt. De auteurs stellen dat het gebruik van qudits (waaronder qutrits) potentieel voordelen kan bieden ten opzichte van qubits, zoals een efficiëntere codering van informatie en mogelijk minder benodigde qubits voor dezelfde precisie. Het doel van dit werk is om het HHL-algoritme uit te breiden naar het qutrit-kader en de praktische implementatie, inclusief de benodigde schakelingen en gadgets, te ontwikkelen.

2. Methodologie

De auteurs hebben een complete implementatie van het "qutrit HHL" ontwikkeld, bestaande uit de volgende methodologische stappen:

• Uitbreiding van de logica: In plaats van de standaard Pauli-operatoren voor qubits, gebruiken de auteurs de Weyl-Heisenberg (WH) operatoren als basis voor qutrits. Dit omvat de identiteit en acht andere unitaire operatoren die een volledige basis vormen voor de ruimte van operatoren op qutrits.
• Ontwerp van WH-gadgets: Om unitaire transformaties van de vorm $e^{iAt}$ te implementeren (nodig voor Quantum Phase Estimation, QPE), hebben de auteurs "Weyl-Heisenberg gadgets" ontworpen. Deze zijn het qutrit-equivalent van de bekende Pauli-gadgets. Ze tonen aan hoe elke $3^n \times 3^n$ matrix kan worden uitgedrukt als een lineaire combinatie van tensorproducten van deze WH-operatoren.
• Circuitontwerp:
  • QPE Module: De Quantum Phase Estimation module is aangepast voor ternaire logica, inclusief de Quantum Fourier Transform (QFT) en inverse QFT voor qutrits.
  • Gereguleerde Rotatie: Voor de inversie van eigenwaarden wordt een module met gereguleerde rotaties gebruikt. De auteurs kiezen voor planaire rotaties tussen twee van de drie basisstaten ($|0\rangle, |1\rangle, |2\rangle$).
  • Efficiënte Controle: Een belangrijke bijdrage is een efficiënte methode om de "controlled-unitary" ($C e^{iAt}$) te implementeren. In plaats van elke poort in het gadget te controleren, gebruiken ze een algebraïsche decompositie waarbij de projectoren worden uitgedrukt als lineaire combinaties van diagonale WH-operatoren. Dit reduceert de complexiteit van de controle.
• Toepassing op Quantum Chemie: Het algoritme wordt toegepast op een probleem uit de quantumchemie: het berekenen van de correlatie-energie van het waterstofmolecuul ($H_2$) in een split-valentie basis. Dit wordt gedaan door het lineaire systeem van de gekoppelde cluster-vergelijkingen (LCCSD) op te lossen.
• Simulatie: De auteurs hebben hun code ontwikkeld met behulp van de Berkeley Quantum Synthesis Toolkit (BQSKit), wat hen in staat stelt om zowel qubit- als qutrit-implementaties op gelijke voet te simuleren en te vergelijken.

3. Belangrijkste Bijdragen

1. Qutrit HHL Algoritme: De eerste volledige uitwerking van het HHL-algoritme specifiek voor qutrits, inclusief de theoretische basis en circuit-implementatie.
2. Weyl-Heisenberg Gadgets: De introductie en afleiding van WH-gadgets, die het mogelijk maken om matrix-exponentiënten in het qutrit-kader efficiënt te decomponeren in 1- en 2-qutrit poorten.
3. Efficiënte Controlled-Unitary: Een nieuwe methode om de controlled-unitary poort te decomponeren, wat leidt tot een product van drie WH-gadgets in plaats van een complexere structuur.
4. Vergelijkende Analyse: Een grondige vergelijking tussen qubit- en qutrit-implementaties in termen van:
   • Het aantal benodigde qudits (registergrootte).
   • Het aantal 2-qudit poorten (gate count).
5. Fysieke Validatie: Succesvolle simulatie van de potentie-energiekromme van $H_2$ en berekening van de grondtoestandsenergie, met resultaten die zeer dicht bij klassieke LCCSD- en CISD-benchmarks liggen.

4. Resultaten

De auteurs hebben hun algoritme getest op zowel "toy" matrices als op het chemische $H_2$-probleem:

• Toy Matrices: Voor diagonale en niet-diagonale $3 \times 3$matrices leverde het qutrit HHL-algoritme resultaten op die overeenkwamen met klassieke oplossingen. De fout (Percentage Fraction Difference) nam af naarmate het aantal klokregister-qutrits ($n_r$) toenam.
• Quantum Chemie ($H_2$):
  • 1-qutrit input: Voor de $H_2$-molecule werd een potentie-energiekromme gegenereerd. De qutrit HHL-berekeningen (met $n_r=5$) kwamen binnen 0,02% van de klassieke LCCSD-waarden.
  • 2-qutrit input: Voor een grotere actieve ruimte (8 spin-orbitalen) werd de grondtoestandsenergie bij evenwichtsgeometrie berekend. De resultaten lagen binnen 0,01% van de klassieke LCCSD-referentiewaarde.
• Resource Vergelijking:
  • Aantal Qubits/Qutrits: Voor een vaste precisie $p$ is het aantal benodigde qutrits in het klokregister en het toestandsregister ongeveer $\log_2(3) \approx 1,58$ keer kleiner dan het aantal qubits. Concreet: $n_{qutrit} \approx 0,63 \times n_{qubit}$.
  • Gate Count:
    • Het aantal 2-qudit poorten in de QFT-module is ongeveer 39% van het aantal 2-qubit poorten in de qubit-versie.
    • Het aantal controlled-unitaries in de QPE-module is 50% van het qubit-aantal.
    • Het aantal multi-controlled rotatiepoorten is gelijk voor beide.
    • Totale Complexiteit: Wanneer men rekening houdt met de decompositie in basispoorten (2-qudit poorten), is het totale aantal poorten voor qutrit HHL vergelijkbaar met dat van qubit HHL, ondanks het kleinere aantal qudits.

5. Betekenis en Conclusie

Dit werk toont aan dat het uitbreiden van geavanceerde quantumalgoritmen naar hogere-dimensionale systemen (qutrits) niet alleen theoretisch mogelijk is, maar ook praktische voordelen biedt.

• Efficiëntie: Het gebruik van qutrits leidt tot een significante reductie in het aantal benodigde fysieke qubits (of qudits) voor een gegeven precisie, wat cruciaal is voor schaalbaarheid op toekomstige hardware.
• Hardware Onafhankelijkheid: De resultaten suggereren dat als hardware met hoge kwaliteit qutrits beschikbaar komt, een qutrit-implementatie van HHL "goedkoper" is in termen van het aantal benodigde qudits, terwijl de schakelcomplexiteit (gate count) vergelijkbaar blijft met qubit-systemen.
• Toekomstperspectief: De studie onderstreept de noodzaak van verdere ontwikkeling van klassieke simulatie-routines voor qudits en de implementatie van deze algoritmen op echte qutrit-hardware. Het opent de deur voor efficiëntere oplossingen voor complexe problemen in quantumchemie en andere domeinen waar lineaire algebra centraal staat.

Kortom, het paper levert een solide fundament voor het gebruik van qutrits in quantumalgoritmen en bewijst dat dit een veelbelovende route is om de beperkingen van qubit-gebaseerde systemen te overwinnen.