Finding diagonal logical gates in CSS codes and circuits

Technische Samenvatting: Het vinden van diagonale logische poorten in CSS-codes en circuits

Probleemstelling
De realisatie van grootschalige, fouttolerante universele kwantumcomputers vereist de efficiënte implementatie van niet-Clifford logische poorten. Clifford-operaties zijn relatief eenvoudig binnen het stabilizer-formalisme, maar niet-Clifford poorten vormen aanzienlijke uitdagingen. Huidige benaderingen vertrouwen vaak op magic state distillation, transversale niet-Clifford poorten (soms gecombineerd met code switching), of "ruimtetijd" logische poorten die in syndroomextractie-circuits worden ingevoegd. Een centrale uitdaging is het identificeren van welke CSS-codes (Calderbank-Shor-Steane) of circuits efficiënte, lokaliteit-behoudende diagonale niet-Clifford logische poorten (zoals $T$, $CS$, of $CCZ$) toelaten, samengesteld uit een voorgeschreven set fysieke ansatz-poorten. Bestaande methoden, zoals de triorthogonaliteitsconditie, zijn vaak beperkt tot specifieke typen poorten of missen algemeenheid voor willekeurige lokaliteit-behoudende circuits.

Methodologie
Het artikel stelt een efficiënt algoritme voor om alle logische poorten van een gegeven CSS-code (of circuit) te vinden die zijn samengesteld uit een voorgeschreven set diagonale ansatz-poorten. Het kerninzicht van de theoretische basis is dat een diagonale logische poort de coderuimte behoudt dan en slechts dan als deze dezelfde fase toekent aan elke $Z$-basis configuratie binnen een gegeven cohomologieklasse.

1. Wiskundige Formulering:

   • De werking van een diagonale poort $V_c$ op een computationele basis-toestand $|a\rangle$ wordt gedefinieerd door een fasefunctie $S_c(a)$. Voor poorten in het derde niveau van de Clifford-hiërarchie is $S_c(a)$ een "derde-orde" functie bestaande uit termen zoals $a_i a_j a_k$ (voor $CCZ$),$a_i a_j$ (voor $CS$), en $a_i$ (voor $T$).
   • De conditie voor het behoud van de coderuimte is dat $S_c(a)$ constant moet zijn voor alle $a$ in dezelfde cohomologieklasse. Dit reduceert tot de vereiste dat $S_c(a + A e_j) = S_c(a)$ voor alle $X$-stabilizer generatoren $A e_j$, waarbij $A$ de $X$-check matrix is.
   • Deze conditie is equivalent aan het vereisen dat de "pullback" van de fasefunctie door de $X$-check matrix, aangeduid als $S_c \circ A$, een triviale fasefunctie oplevert.

2. De Pullback Homomorfisme ($A^*$):

   • De auteurs definiëren een groepshomomorfisme $A^*$ dat de coëfficiënten van de fysieke ansatz-poorten ($c \in G_{phys}$) mapt naar de coëfficiënten van de geïnduceerde fasefunctie op de $X$-checks.
   • $G_{phys}$ is een product van eindige abelse 2-groepen (bijv. $\mathbb{Z}_2, \mathbb{Z}_4, \mathbb{Z}_8$) die overeenkomen met de verschillende niveaus van de Clifford-hiërarchie.
   • De verzameling geldige logische poorten komt exact overeen met de kern (kernel) van dit homomorfisme: $A^* c = 0$.

3. Algoritmische Implementatie (Filtratie):

   • Om de kern van $A^*$ efficiënt te berekenen, introduceren de auteurs een "filtratie"-methode. In plaats van Smith normal form (wat complexe integer-aritmetiek vereist), decomponeert de methode het probleem in een sequentie van kern-berekeningen over binaire velden ($\mathbb{Z}_2$).
   • Het algoritme berekent iteratief de kernen van $X \pmod 2$, $X \pmod 4$, enzovoort, door oplossingen van lagere-orde groepen naar hogere-orde groepen te tillen (lifting). Dit maakt gebruik van het feit dat $\ker(X) \subset \ker(X \pmod 4) \subset \ker(X \pmod 2)$.
   • De subroutines vertrouwen op standaard binaire lineaire algebra (Gauss-eliminatie/RREF), die kan worden versneld met bit-packing.

4. Generalisaties:

   • Ruimtetijd Poorten: De methode breidt uit naar "ruimtetijd lokale logische poorten", waarbij diagonale poorten in syndroomextractie-circuits worden ingevoegd. Dit wordt gemodelleerd door het circuit te behandelen als een tensornetwerk (of padintegraal) en de zelfde pullback-logica toe te passen op de $Z$-decoding graaf.
   • Hogere Niveaus & Willekeurige Poorten: Het framework generaliseert naar hogere niveaus van de Clifford-hiërarchie en willekeurige diagonale poorten (niet-hiërarchie) door de definitie van de fasefuncties en de coëfficiëntgroepen aan te passen.
   • Qudits: De methode wordt gegeneraliseerd naar priem en samengestelde dimensie-qudits door passende hogere-orde functies over $\mathbb{Z}_{d_i}$ te definiëren.

Belangrijkste Bijdragen

• Verenigd Framework: Het artikel biedt een algemeen formalisme dat de zoektocht naar transversale poorten, lokaliteit-behoudende logische circuits en ruimtetijd logische poorten verenigt onder één algebraïsche conditie: het vinden van de kern van een specifieke groepshomomorfisme $A^*$.
• Efficiënt Algoritme: Het presenteert een snel algoritme met een naïeve looptijd van $O(n^3)$ voor een systeem met $O(n)$ qubits (of poorten), gebruikmakend van een filtratietechniek die het probleem reduceert tot binaire matrixoperaties.
• Flexibiliteit: De aanpak stelt gebruikers in staat om willekeurige sets ansatz-poorten (inclusclusief niet-lokale of gevouwen poorten) voor te schrijven en alle resulterende logische poorten te vinden zonder translatie-invariantie op te leggen.
• Implementatie: Er is een Python-implementatie beschikbaar, inclusief een gespecialiseerde package (twogroup-linalg) voor lineaire algebra over abelse 2-groepen.

Resultaten en Voorbeelden

• Het algoritme herstelt succesvol bekende logische poorten voor 2D en 3D toric codes, color codes, fracton codes en bivariate bicycle codes.
• Het ontdekt een voorheen onbekende derde-orde diagonale poort in de "duale 3D color code", die een logische $T$-poort implementeert.
• De methode wordt aangetoond om translatie-invariante logische poorten te vinden in $O(1)$ tijd ten opzichte van de systeemgrootte (schaalt enkel met de parameters van de eenheidscel).
• De looptijd voor een 2D color code met 800 qubits is ongeveer 30 seconden op een standaard laptop voor het niet-translatie-invariante geval.

Betekenis en Claims
Het artikel claimt dat de methode een systematische en efficiënte manier biedt om de ruimte van fouttolerante logische poorten voor CSS-codes en circuits te verkennen. Door het probleem te herformuleren als een kern-berekening, generaliseert het de triorthogonaliteitsconditie naar willekeurige producten van Clifford-hiërarchie poorten en lokaliteit-behoudende circuits.

De auteurs merken op dat hoewel de methode willekeurige diagonale poorten kan vinden, de fysieke realiseerbaarheid in fouttolerante settings waarschijnlijk deze poorten beperkt tot de Clifford-hiërarchie (consistent met Bravyi-Koenig-achtige argumenten). Het werk suggereert dat deze benadering gebruikt kan worden om nieuwe qLDPC-codes met gewenste logische poorteigenschappen te ontdekken of om de extensie van logische poorten naar codegrenzen en domeinwanden te optimaliseren. Het artikel hanteert een bescheiden toon met betrekking tot toekomstige versnellingen, waarbij wordt erkend dat de periodiciteit in qLDPC-codes potentieel voor verdere optimalisatie biedt (bijv. via het Wiedemann-algoritme of lokale kern-decompositie), maar dat de huidige $O(n^3)$ dichte implementatie al concurrerend is met het vinden van de logische basis van de code zelf.