Entanglement-assisted circuit knitting: Distributed quantum computing using limited entanglement resources

Probleemstelling

Distributieve kwantumcomputing (DQC) is een veelbelovende aanpak om schaalbare kwantumcomputing te realiseren door meerdere lokale kwantumverwerkingseenheden (QPUs) te verbinden. Er bestaan momenteel twee hoofdparadigma's, maar beide hebben aanzienlijke beperkingen:

1. Entanglement-assisted LOCC (Local Operations and Classical Communication): Deze methode kan niet-lokale operaties deterministisch uitvoeren, maar vereist een groot aantal hoogwaardige verstrengelde paren (Bell-paren). In praktische scenario's met beperkte verstrengelingsbronnen of ruis in het distributienetwerk is dit vaak niet haalbaar.
2. Circuit Knitting (Quasi-probabilistische Decompositie - QPD): Deze methode vereist geen verstrengeling en simuleert grote circuits met kleinere subcircuits via klassieke post-processing. Het nadeel is echter een exponentiële "sampling overhead" (het aantal keer dat het circuit moet worden uitgevoerd om dezelfde nauwkeurigheid te bereiken), wat de totale runtime onpraktisch maakt.

Er bestaat een fundamentele afweging (trade-off) tussen het verbruik van verstrengeling en de uitvoeringstijd. Het doel van dit werk is om een hybride raamwerk te creëren dat deze twee extremen overbrugt, zodat DQC efficiënt kan worden uitgevoerd met een beperkte hoeveelheid verstrengeling.

Methodologie

De auteurs introduceren een unificerend theoretisch raamwerk genaamd Entanglement-assisted Circuit Knitting, gebaseerd op Resource-assisted Quasi-Probability Decomposition (QPD).

• Theoretisch Fundament:

  • Ze definiëren "vrije operaties" (zoals lokale operaties en klassieke communicatie, LOCC) en behandelen verstrengelingsvoorbereiding als een hulpbron.
  • Het doel is om een globale unitaire operatie $U$ te decomponeren in een kwasi-kansverdeling van vrije operaties, waarbij een beperkte hoeveelheid verstrengeling (de hulpbron) wordt gebruikt om de sampling overhead te verlagen.
  • Ze gebruiken vectorisatie in de Liouville-ruimte en Choi-toestanden om de transformaties en overheads wiskundig te analyseren.

• Belangrijke Concepten:

  • Choi-stretchable unitaries: Een klasse van unitaire operaties waarbij de Choi-toestand lokaal kan worden "gerekt" naar de unitaire operatie zelf zonder extra overhead.
  • Black-box setting: De methode wordt uitgebreid naar situaties waar de interne structuur van de tussengeplaatste kwantumkanalen (bijv. variabele single-qubit poorten) onbekend is. Dit wordt gemodelleerd als een "quantum comb".
  • Dynamische verdeling: Het model houdt rekening met probabilistische verstrengelingsdistributie (waarbij verstrengeling met een bepaalde kans $p_{ENT}$ succesvol wordt gegenereerd).

Belangrijkste Bijdragen en Resultaten

1. Hybride Raamwerk:
   De auteurs stellen een raamwerk voor dat LOCC en QPD combineert. In plaats van eerst virtuele verstrengeling te distilleren (wat inefficiënt is), wordt de beschikbare fysieke verstrengeling direct gebruikt om de sampling overhead van de QPD te verlagen.

2. Optimale Overhead voor Choi-stretchable Unitaries:
   Voor unitaire operaties die "Choi-stretchable" zijn, bewijzen ze dat de optimale sampling overhead exact gelijk is aan de overhead voor het voorbereiden van de corresponderende Choi-toestand.

   • De overhead wordt bepaald door de volledig verstrengelde fractie ($F_d$) van de beschikbare hulpbron.
   • Dit leidt tot een exponentiële reductie in overhead wanneer meer Bell-paren worden gebruikt (Corollarium 10).

3. Bounds voor General Unitaries (één Bell-paar):
   Voor algemene unitaire operaties met slechts één gedeeld Bell-paar ($|\Phi_2\rangle$):

   • Ondergrens: Afgeleid van de Schmidt-rank robustheid van de Choi-toestand (Stelling 12).
   • Bovengrens: Een constructieve protocol wordt gepresenteerd (Stelling 13) dat de overhead beperkt tot het kwadraat van de $L_1$-norm van de Local Unitary Decomposition (LUD) coëfficiënten ($\|\lambda\|_1^2$).
   • Er wordt aangetoond dat deze bovengrens overeenkomt met de geregulariseerde overhead van standaard entanglement-free circuit knitting, wat aangeeft dat één Bell-paar de overhead met ongeveer een factor twee kan verlagen.

4. Black-box Circuit Knitting:
   Het raamwerk wordt uitgebreid naar black-box scenario's (Stelling 19 en 21).

   • Dit elimineert de noodzaak om de globale unitaire operator expliciet te kennen.
   • Het stelt een efficiënte inbeddingsstructuur in die toestaat dat verstrengelings-assisted blokken genest worden.
   • Voor Choi-stretchable unitaries in een black-box setting is de optimale overhead weer bepaald door de volledig verstrengelde fractie van de hulpbron.

5. Trade-off en Optimalisatie-algoritme:
   In Sectie V analyseren de auteurs de trade-off tussen verstrengelingskosten en sampling overhead onder probabilistische distributie.

   • Ze ontwikkelen een mixing-strategie (Algorithm 22) die verschillende QPD-configuraties combineert:
     • LO (geen verstrengeling, geen klassieke communicatie).
     • $\Phi_2$-LO (één Bell-paar, geen klassieke communicatie).
     • $\Phi_2$-LOCC (één Bell-paar, met klassieke communicatie).
     • $\Phi_2$-Telegate (volledig verstrengelings-assisted).
   • Het algoritme bepaalt de optimale mengverhoudingen op basis van de succeskans van verstrengelingsdistributie ($p_{ENT}$) om de totale overhead te minimaliseren.

6. Numerieke Validatie:
   Simulaties tonen aan dat de hybride aanpak een significante reductie in sampling overhead biedt ten opzichte van puur entanglement-free circuit knitting, zelfs met slechts één Bell-paar. De resultaten tonen een gladde overgang tussen de twee extremen (geen verstrengeling vs. volledige verstrengeling).

Significantie

Dit werk biedt een cruciale stap voorwaarts voor de praktische realisatie van distributieve kwantumcomputing in de nabije toekomst:

• Resource-efficiëntie: Het maakt DQC haalbaar op hardware met beperkte verstrengelingsbronnen, wat realistisch is voor huidige en toekomstige kwantumnetwerken.
• Flexibiliteit: De "black-box" aanpak maakt de methode toepasbaar op geavanceerde algoritmen en geparametriseerde circuits zonder dat de volledige circuitstructuur vooraf bekend hoeft te zijn.
• Balans: Het biedt een systematische manier om de afweging tussen verstrengelingskosten (die duur en moeilijk te distribueren zijn) en sampling overhead (die rekentijd kost) te optimaliseren.
• Hybride Computatie: Het positioneert entanglement-assisted circuit knitting als een vorm van hybride klassiek-kwantumcomputing, waarbij klassieke post-processing en beperkte kwantumresources worden geoptimaliseerd om het kwantumvoordeel te behouden.

Kortom, de auteurs bieden een theoretisch en praktisch raamwerk dat de kloof overbrugt tussen de ideale, maar onhaalbare, volledig verstrengelde DQC en de onpraktisch trage, volledig entanglement-free simulatie.