Borrowed Identities: Malleable Distillation Factories and a Unified Numerical Search

Technische Samenvatting: Borrowed Identities en Unified Numerieke Zoektocht voor Magic-State Distillatie

Probleemstelling
Magic-state distillatie (MSD) is een primaire overhead in fouttolerante kwantumcomputatie (FTQC), vereist voor de implementatie van non-Clifford gates via gate-teleportatie. Bestaande methoden voor het ontwerpen van distillatiefabrieken steunen op het "Heisenberg-beeld", waarbij wordt geëist dat een transversale gate correct werkt op de gehele codespace. Deze beperking, vaak geformaliseerd als tri-orthogonaliteit of quasi-transversaliteit, beperkt de algemeenheid en efficiëntie van de zoektocht, waardoor het ontwerpprobleem verandert in niet-lineaire matrixvergelijkingen. Bovendien behandelen huidige frameworks fabrieken voor verschillende magic states (bijv. $|T\rangle$, $|CS\rangle$, $|CCZ\rangle$) doorgaans als afzonderlijke problemen, wat een verenigde zoektocht over de Clifford-hiërarchie verhindert.

Methodologie: Het Borrowed-Identity Framework
De auteurs introduceren een strikt zwakkere voorwaarde genaamd de "borrowed identity", geformuleerd in het Schrödinger-beeld. In plaats van te eisen dat een circuit als de identiteit werkt op de volledige codespace, vereist het framework alleen dat een circuit $C$ werkt als de identiteit (op een globale fase na) op een specifieke inputtoestand:
$$C |+\rangle^{\otimes n} = e^{i\phi} |+\rangle^{\otimes n}$$
De "identiteit" wordt effectief geleend van de inputtoestand. Een distillatiefabriek wordt geconstrueerd door een dergelijk borrowed identity-circuit op $n$ qubits te nemen en alle gates te verwijderen die uitsluitend werken op een subset van $k$ output-qubits. De resterende $n-k$ qubits worden gemeten in de $X$-basis voor foutdetectie, terwijl de $k$ output-qubits een gedestilleerde magic state $|\theta\rangle$ achterlaten.

Het framework maakt gebruik van parity phase gates $Z^{\otimes w}(\theta)$ waarbij $\theta = \pi/2^l$, overeenkomend met het $l$-de niveau van de Clifford-hiërarchie. De auteurs leiden algebraïsche voorwaarden af waaraan deze circuits moeten voldoen om als fabrieken te fungeren, geparametriseerd door $\theta$, die uniform standhouden over alle niveaus $l$ zonder modificatie.

De zoektocht wordt uitgevoerd in drie settings:

1. Symmetrische Circuits: Invariant onder de volledige symmetrische groep $S_n$. Dit levert gesloten vorm mastervergelijkingen op (Theorem 3) die bekende families zoals de kwantum Reed–Muller codes terugbrengen.
2. Two-Group Symmetric Circuits: Qubits worden gepartitioneerd in $k$ output- en $n-k$ check-qubits, met symmetrie binnen elke groep ($S_k \times S_{n-k}$). Dit maakt een brute-force zoektocht mogelijk waarbij de geldigheid van tekentoewijzingen in polynomiale tijd $O(k(n-k))$ kan worden geverifieerd via een lineaire conditie over $\mathbb{Z}_{2^{l+1}}$ (Theorem 5).
3. Malleable Circuits: Een sequentiële constructie waarbij een enkele parent borrowed identity meerdere fabrieken codeert. Door gates sequentieel te verwijderen, kan het type output magic state (bijv. $|T\rangle$, $|CS\rangle$, $|CCZ\rangle$) worden gekozen tijdens de compilatie in plaats van vast te staan door het hardwareontwerp.

Belangrijkste Bijdragen en Resultaten

• Unified Search Space: Het framework verenigt de zoektocht naar fabrieken die verschillende magic states distilleren (unentangled $T$, entangled $CS$, en $CCZ$) binnen één enkele numerieke zoektocht. Het herstelt bekende fabrieken uit uiteenlopende benaderingen, waaronder de Bravyi–Haah, H-code, gegeneraliseerde triorthogonale, en synthillation families.
• Herstel van Bekende en Nieuwe Fabrieken: Een brute-force zoektocht over two-group asymmetrische circuits (op een standaard laptop) herstelde alle bekende afstand-2 fabrieken binnen het gescande bereik ($l \in \{2,3,4\}$, $k \le 7$, $n \le 11$) in ongeveer 9 seconden. Dit omvat:
  • De $[[2^{l+1}-1, 1, 3]]$ kwantum Reed–Muller familie (afstand 3).
  • De $[[2^l, l, 2]]$ hypercube kwantum code familie.
  • De $[[12, 2, 2]]$ T-to-CS fabriek en $[[24, 6, 2]]$ T-to-CCZ fabriek, die overeenkomen met constructies afgeleid van algebraïsche-geometrie (AG) codes.
  • Voorheen niet-verbonden families zoals de Campbell–Howard synthillation circuits, die de two-group symmetrie doorbreken.
• Malleability: De auteurs demonstreren dat een enkele parent circuit meerdere distinctieve fabrieken kan coderen. Bijvoorbeeld, een vier-qubit parent circuit kan $[[8, 3, 2]]$ ($|CCZ\rangle$), $[[12, 2, 2]]$ ($|CS\rangle$), en $[[14, 1, 2]]$ ($|T\rangle$) opleveren door simpelweg verschillende sets gates te verwijderen. Dit maakt het mogelijk om het type output te delegeren naar de compilatietijd.
• Extensie voorbij CSS: Het framework breidt zich op natuurlijke wijze uit naar non-CSS constructies, inclus inclusief katalytische fabrieken (bijv. $[[11, 1, 2]]$ en $[[10, 2, 2]]$) die Clifford gates gebruiken naast de borrowed identity componenten.

Betekenis
Het artikel stelt dat de borrowed-identity voorwaarde een "strikt zwakkere" en meer algemene alternatief biedt voor transversale gate-beperkingen, wat een verenigde, efficiënte en uitputtende zoektocht naar distillatiefabrieken mogelijk maakt. Door te verschuiven van het Heisenberg-beeld (het volgen van operator-transversaliteit) naar het Schrödinger-beeld (het volgen van de evolutie van toestanden), bereiken de auteurs een lineaire, niveau- uniforme algebraïsche structuur. Deze unificatie onthult dat veel voorheen onderscheiden fabrieksconstructies eindpunten zijn van één enkele parent circuit, wat een nieuwe vrijheidsgraad biedt voor fouttolerante compilatie: de mogelijkheid om het specifieke magic state resource te selecteren tijdens de compilatie in plaats van het hard-coden in het circuitontwerp. Het werk vestigt een enkel algebraïsch fundament voor distillatie over alle Clifford-niveaus en output-types, en overbrugt de kloof tussen code-gebaseerde constructies en circuit-gebaseerde zoektochten.