Real 3-qubit gate decompositions via triality

Probleemstelling

Het fundamentele probleem in de kwantumcomputing is het decomponeren van willekeurige $n$-qubit kwantumgaten in een reeks van elementaire gaten: single-qubit gaten en twee-qubit gaten (meestal de CNOT-gaten). Hoewel het bestaan van dergelijke circuits bewezen is, is het bepalen van de minimale CNOT-kost (het aantal benodigde CNOT-gaten) voor een specifieke dimensie een open probleem.

Voor het specifieke geval van unimodulaire reële 3-qubit gaten (elementen van de groep $SO(8)$), hadden Wei en Di eerder aangetoond dat elk dergelijk gat geschreven kan worden als een product van maximaal 16 CNOT-gaten plus single-qubit gaten. De auteur stelt de vraag of deze bovengrens kan worden verlaagd en of er een efficiëntere methode bestaat dan de bestaande algoritmen.

Methodologie

De kern van de methode in dit artikel is het gebruik van een exotische symmetrie die uniek is voor de Lie-algebra $\mathfrak{so}(8)$: de trialiteit (triality).

1. Trialiteitssymmetrie ($T$):

   • De groep $PSO(8)$ (de projectieve speciale orthogonale groep) bezit een automorfisme $T: PSO(8) \to PSO(8)$ van orde 3. Dit is een "exotische" kaart die alleen voorkomt bij $\mathfrak{so}(8)$ en geen equivalent heeft bij andere klassieke Lie-groepen.
   • De auteur construeert deze kaart expliciet met behulp van Hurwitz-quaternionen en de structuur van de wortelsystemen van $\mathfrak{so}(8)$.
   • In tegenstelling tot de "magische basis" (magic basis) die nuttig is voor 2-qubit gaten (waarbij $SU(2) \otimes SU(2)$ wordt getransformeerd naar $SO(4)$), fungeert de trialiteit als een "reële 3-qubit versie" van deze transformatie. Het transformeert complexe tensor-product subgroepen naar eenvoudige blokmatrix-subgroepen, wat matrixfactorisatie aanzienlijk vereenvoudigt.

2. Cartan-decompositie:

   • De methode maakt gebruik van iteratieve Cartan-decomposities ($G = KAK$).
   • De auteur kiest twee commutatieve involuties $\psi_1$ en $\psi_2$ op $PSO(8)$ (geconjugueerd door specifieke diagonale matrices).
   • Door de trialiteit $T$ toe te passen, worden de corresponderende vaste-punt subgroepen ($K_{\chi}$) geïdentificeerd. Een cruciale ontdekking is dat een van deze subgroepen, $K_{\chi_1}$, isomorf is met $\mu P(Sp(2) \otimes SU(2))$, waarbij $Sp(2)$ de symplectische groep is.
   • Deze specifieke subgroepstructuur maakt het mogelijk om de decompositie van een willekeurig element in $PSO(8)$ te reduceren tot het vinden van elementen in kleinere, beter beheersbare subgroepen.

3. Constructie van het circuit:

   • Het algoritme volgt de structuur: $V = K_1 B_1 K_2 A K_3 B_2 K_4$.
   • Door de trialiteit toe te passen, worden de sets $A$ en $B$ (die de "kanonieke parameters" vertegenwoordigen) omgezet in circuits met een zeer specifieke en compacte vorm.
   • De auteur toont aan dat deze sets kunnen worden gegenereerd door circuits met een beperkt aantal CNOT-gaten.

Belangrijkste Bijdragen

• Verbetering van de bovengrens: De paper levert een bewijs dat elke unimodulaire reële 3-qubit gate ($SO(8)$) kan worden gerealiseerd met maximaal 14 CNOT-gaten, een verbetering ten opzichte van de eerdere bovengrens van 16.
• Introductie van Trialiteit in Kwantumcircuitontwerp: Voor het eerst wordt de trialiteitssymmetrie van $\mathfrak{so}(8)$ toegepast op het probleem van het decomponeren van 3-qubit gaten. Dit biedt een nieuwe wiskundige lens om de structuur van deze groepen te analyseren.
• Expliciete Circuitconstructie: De auteur geeft niet alleen een theoretische bovengrens, maar levert een expliciete circuitformule (Theorema 5.4) die de decompositie in detail beschrijft.
• Optimaliteit in parameters: Het gegenereerde circuit bevat 28 vrije parameters (16 hoeken + 4 elementen van $SU(2)$), wat overeenkomt met de dimensie van $SO(8)$. Dit betekent dat het circuit "optimaal" is in de zin dat geen enkele parameter overbodig is (hoewel het mogelijk is dat er nog kortere circuits bestaan met minder parameters, maar dat is een ander probleem).

Resultaten

Het centrale resultaat is Theorema 5.4:
Elk element $V \in SO(8)$ kan worden geschreven als een product van ten hoogste 14 CNOT-gaten en 35 single-qubit rotaties.

De specifieke structuur van het circuit is:
$$S_1 \cdot (\text{rotaties}) \cdot S_2 \cdot \tilde{Q} \cdot (\text{rotaties}) \cdot \tilde{Q}^\dagger \cdot U_1 \cdot (\text{rotaties}) \cdot U_2$$
Waarbij:

• $S_1, S_2$ en $U_1, U_2$ bestaan uit single-qubit gaten.
• $\tilde{Q}$ een specifiek subcircuit is dat slechts 2 CNOT-gaten bevat.
• De totale CNOT-telling komt uit op 14.

De decompositie is gebaseerd op de volgende keten:

1. Toepassing van de inverse van de magische basis-transformatie ($\mu^{-1}$).
2. Twee Cartan-decomposities met betrekking tot subgroepen die via trialiteit zijn gedefinieerd.
3. Expliciete realisatie van de kanonieke parameters als circuits met lage CNOT-kost.

Betekenis en Impact

• Efficiëntie: Hoewel de reductie van 16 naar 14 CNOT-gaten op het eerste gezicht klein lijkt, is het in de kwantumcomputing een significante verbetering, aangezien CNOT-gaten de meest foutgevoelige en tijdrovende operaties zijn.
• Wiskundige Diepgang: Het artikel demonstreert hoe diepe structuren uit de wiskunde (specifiek de uitzonderlijke symmetrieën van Lie-groepen) directe praktische toepassingen kunnen vinden in het optimaliseren van kwantumalgoritmen.
• Nieuwe Benadering: De methode biedt een alternatief voor de standaard dimension-counting argumenten of brute-force zoekalgoritmen. Het suggereert dat voor hogere $n$-qubit systemen, het zoeken naar vergelijkbare "exotische" symmetrieën of isomorfismen een weg kan zijn om betere decompositie-algoritmen te vinden.
• Realiteit: De focus op reële gaten is relevant voor bepaalde fysische implementaties van kwantumcomputers waar de dynamica beperkt is tot reële matrices, of als een tussenstap in de analyse van algemene unitaire gaten.

Samenvattend biedt dit werk een elegante oplossing voor een specifiek decompositieprobleem door gebruik te maken van de unieke algebraïsche eigenschappen van de groep $SO(8)$, wat resulteert in een efficiënter kwantumcircuit dan eerder bekend was.