Technisch Samenvatting: Geautomatiseerde Logische Clifford Gadgets voor Heterogene Architecturen via Kettingafbeeldingen

1. Probleemstelling

Huidige voorstellen voor grootschalige fouttolerante kwantumcomputers leunen steeds vaker op heterogene architecturen, waarbij specifieke Quantum Error Correcting Codes (QECC's) zijn afgestemd op specifieke taken (bijv. geheugen, Clifford-berekeningen of de voorbereiding van magic states). Hoewel transversale CNOT-poorten een natuurlijk mechanisme bieden voor het verstrengelen van logische qubits binnen identieke CSS-codeblokken, blijft het uitbreiden van deze operaties naar willekeurige paren van verschillende CSS-codes een aanzienlijke uitdaging.

Bestaande methoden voor inter-code logische operaties zijn grotendeels beperkt tot:

• Structureel verwante codefamilies (bijv. 2D naar 3D codes, of codes en hun gepuncteerde subcodes).
• Symmetrie-behoudende operaties tussen identieke blokken.
• Universele adapters, die gezamenlijke logische Pauli-metingen vereisen. Deze adapters brengen vaak aanzienlijke spacetime-overhead met zich mee, die schaalt als $\tilde{O}(td)$ ancilla-qubits en $O(d)$ meetrondes om fouttolerantie te bereiken.

Er is een gebrek aan een systematisch, geautomatiseerd framework voor het synthetiseren van laag-overhead logische CNOT-circuits tussen willekeurige CSS-codes die de product-codesruimte behouden en een goed gedefinieerde logische actie induceren.

2. Methodologie

De auteurs introduceren een lineair-algebraïsch framework gebaseerd op kettingafbeeldingen (chain maps) tussen de kettingcomplexen die CSS-codes representeren. De methodologie verloopt in drie fasen:

2.1 Formalisme: Kettingafbeeldingen en Hom-ruimtes

CSS-codes worden gerepresenteerd als kettingcomplexen van lengte 3 over $\mathbb{F}_2$. Een kettingafbeelding van graad 1 $\gamma_1: C^B_1 \to C^A_1$ specificeert een patroon van fysieke CNOT-poorten van code $B$ naar code $A$.

• Kettingafbeelding-condities: De afbeelding moet voldoen aan commutatieve diagram-condities met de randafbeeldingen (parity-check matrices), wat ervoor zorgt dat stabilisatoren naar stabilisatoren worden afgebeeld en de product-codesruimte behouden blijft.
• Hom-ruimte: De verzameling van alle geldige afbeeldingen van graad 1, aangeduid als $\text{Hom}_1(B, A)$, vormt een lineaire subruimte. De auteurs tonen aan dat deze ruimte isomorf is aan de kern van een expliciete binaire matrix geconstrueerd uit de parity-check matrices van de twee codes.

2.2 Logische Targeting als Affiene Constanten

Om een specifieke logische operatie te bereiken (bijv. een CNOT tussen specifieke logische qubits), leggen de auteurs beperkingen op aan de geïndeerde logische actie.

• Geïndeerde Actie: Een kettingafbeelding $\gamma_1$ induceert lineaire afbeeldingen op de homologiegroepen (logische operatoren), aangeduid als $\Gamma_Z(\gamma_1)$ en $\Gamma_X(\gamma_1)$.
• Affiene Subruimte: Het specificeren van een doel-logische actie (bijv. $\Gamma_Z = \Gamma_{\text{tgt}}$) beperkt de lineaire ruimte $\text{Hom}_1(B, A)$ tot een affiene subruimte. Dit transformeert het probleem van het vinden van elke geldige afbeelding naar het vinden van een specifiek representatief binnen een beperkte affiene familie.

2.3 Optimalisatie via CP-SAT

De zoektocht naar fysiek efficiënte gadgets (laag-diepte, ijle circuits) binnen deze affiene subruimte wordt geformuleerd als een discreet optimalisatieprobleem.

• Doelstelling: Minimaliseer de circuitdiepte (gedefinieerd door de maximale graad van de bipartiete interactiegraaf) en/of het aantal fysieke CNOT-poorten (gewicht).
• Solver: De auteurs maken gebruik van een CP-SAT (Constraint Programming - Satisfiability) solver.
• Heuristieken: Om de prestaties van de solver te verbeteren, introduceren zij een ijle basisvervanging-heuristiek (sparse basis replacement). Deze vervangt de dichte generatoren van de nulruimte door gestructureerde, ijle rank-1 matrices afgeleid van de parity-check structuur (bijv. het koppelen van een qubit aan de ondersteuning van een specifieke stabilizer), wat effectief de zoekruimte decomponereert.

2.4 Fouttolerantie en Flagging

Hoewel de kettingafbeelding-condities de logische correctheid garanderen, garanderen ze niet automatisch fouttolerantie (afstandbehoud).

• Gedeeltelijk Fouttolerante Oplossingen: De optimizer vindt vaak circuits die niet volledig afstand-behoudend zijn.
• Flagging: De auteurs demonstreren dat deze gedeeltelijk fouttolerante circuits kunnen worden gepromoveerd naar volledige fouttolerantie door een klein aantal flag-qubits en single-shot stabilizer-metingen toe te voegen. Deze aanpak herstelt de volledige code-afstand met minimale tijd-overhead vergeleken met algemene surgery-methoden.

3. Belangrijkste Bijdragen

1. Geautomatiseerd Synthese-framework: Een volledig geautomatiseerde pijplijn die de parity-check matrices van twee willekeurige CSS-codes en een gewenste logische CNOT-netwerk neemt, en een fysiek CNOT-circuit uitvoert.
2. Affiene Karakterisering: Een rigoureuze karakterisering van de ruimte van inter-code koppelingen als een affiene subruimte gedefinieerd door logische targeting-constanten.
3. Sparse Basis Heuristiek: Een nieuwe methode voor het her-parametriseren van de zoekruimte om de efficiëntie van discrete optimizers (CP-SAT) te verbeteren bij het vinden van laag-diepte oplossingen.
4. Flagged Circuit Constructie: Een praktische demonstratie dat "imperfecte" kettingafbeeldingen volledig fouttolerant kunnen worden gemaakt met een bescheiden aantal flags, wat de zware overhead van universele adapters vermijdt.

4. Resultaten en Benchmarks

Het framework werd getest op een reeks heterogene CSS-codeparen, waaronder surface codes, color codes, bivariate bicycle (BB) codes en many-hypercubes codes.

• Herstel van Bekende Constructies: De methode slaagt erin bekende transversale constructies te herstellen voor structureel verwante codes.
• Nieuwe Laag-Diepte Oplossingen: Voor willekeurige paren vindt de optimizer nieuwe circuits met gunstige spacetime-tradeoffs.
  • Magic State Injectie: De methode identificeert afbeeldingen voor magic state injectie die de dure universele adapters vermijden, wat significante overhead-reducties biedt.
  • Inter-Block CNOTs: Voor de [[16, 4, 4]] many-hypercubes code vindt de methode diepte-2 circuits voor gerichte inter-block CNOT's, vergeleken met diepte-6 voor het ConiQ AHA schema (een reductie van 4,5$\times$ in spacetime-overhead).
  • Pauli Product Metingen (PPMs): Het framework maakt efficiënte PPM's mogelijk voor qLDPC-codes. Bijvoorbeeld, het meten van seed-operatoren op een [[62, 10, 6]] GB-code met een color code ancilla vereist minder ancilla-qubits dan eerdere surgery-gebaseerde benaderingen.
  • Grid PPMs: Voor HGP-codes kunnen op maat gemaakte kettingafbeeldingen specifieke logische qubits meten met behulp van een enkele ancilla-block, waardoor de noodzaak voor secundaire ancilla's die vereist zijn door Grid Pauli Product Measurements (GPPM) vervalt, terwijl een diepte van 2 behouden blijft.
• Prestatie-simulaties: Numerieke simulaties met de Stim-simulator tonen aan dat de resulterende homomorfe CNOT-poorten logische foutpercentages hebben die vergelijkbaar zijn met de idling memory baselines en transversale CNOT's van de respectieve codes.
  • Flagged Circuits: Simulaties van flagged CNOT-poorten (bijv. tussen een afstand-7 surface code en een [[72, 12, 6]] BB code) laten zien dat het toevoegen van een klein aantal flags (bijv. 5) de volledige code-afstand herstelt, waarbij prestaties op hetzelfde niveau als transversale poorten worden bereikt.

5. Betekenis en Claims

Het artikel beweert dat dit framework een flexibele en systematische tool biedt voor het ontwerpen van logische operaties die zijn afgestemd op heterogene architecturen.

• Generaliteit: In tegenstelling tot eerdere methoden die beperkt zijn tot specifieke codefamilies, is deze aanpak toepasbaar op willekeurige CSS-codeparen.
• Efficiëntie: Het biedt een pad naar inter-code verstrengeling met spacetime-overheads die dichter bij transversale poorten liggen dan universele adapters, terwijl fouttolerantie wordt behouden via flagging.
• Schaalbaarheid: De methode is computationeel haalbaar voor matig grote codes die relevant zijn voor huidige architectuurvoorstellen (bijv. BB codes, surface codes).
• Uitbreidbaarheid: De auteurs merken op dat het framework zich natuurlijk uitbreidt naar andere logische poorten, zoals logische CZ-poorten, en kan worden aangepast voor andere primitieven zoals GHZ-toestandsvoorbereiding of multi-block Clifford gadgets.

De auteurs blijven bescheiden over de computationele complexiteit en erkennen dat de optimalisatie over de affiene ruimte een discreet probleem is zonder bekende polynomiale oplossing in het algemene geval, en dat de huidige resultaten dienen als bewijs van het principe voor schaalbare instanties van gemiddelde grootte. Zij benadrukken dat de affiene ruimte inherent veel gedeeltelijk fouttolerante kandidaten bevat die kunnen worden gepromoveerd naar volledige fouttolerantie, wat een praktisch pad biedt voor nabije-term heterogene architecturen.