Benchmarking non-Clifford gates using only Pauli twirling group

Technische Samenvatting: Benchmarking van Non-Clifford Gates met uitsluitend de Pauli Twirling Groep

Probleemstelling
Nauwkeurige benchmarking van kwantumprocessen is essentieel voor de ontwikkeling van fouttolerante kwantumcomputatie. Echter, standaardtechnieken zoals Randomized Benchmarking (RB) worden vaak bemoeilijkt door State Preparation and Measurement (SPAM)-fouten. Hoewel RB dit aanpakt door middel van groep-twirling om ruiskanalen te regulariseren, geven praktische implementaties vaak de voorkeur aan "lokale" twirling-gates (bijv. Pauli- of enkelvoudige qubit-Clifford-gates) vanwege hun hoge fideliteit en experimentele haalbaarheid. Er bestaat een aanzienlijke kloof in dit kader: terwijl lokale twirling effectief Clifford-gates benchmarkt, staat het fundamentele beperkingen aan het aantal niet-Clifford multi-qubit gates. Bestaande methoden voor non-Clifford gates vereisen doorgaans complexe multi-qubit twirling-groepen, wat de gate-onafhankelijke ruisveronderstelling schendt en aanzienlijke compilatie-overhead veroorzaakt. Bovendien is aangetoond dat lokale twirling-gates bepaalde multi-qubit controlled-phase gates niet effectief kunnen twirlen. Bijgevolg is er een gebrek aan een robuust, SPAM-foutvrij protocol voor het karakteriseren van non-Clifford gates met uitsluitend lokale operaties.

Methodologie: Pauli Transfer Character Benchmarking (PTCB)
Om dit aan te pakken, stellen de auteurs het Pauli Transfer Character Benchmarking (PTCB) protocol voor. De kerninnovatie ligt in het schatten van het product van twee symmetrische elementen van de Pauli Transfer Matrix (PTM), specifiek $\tilde{U}_{PQ} \tilde{U}_{QP}$, voor een ruiskanaal $\tilde{U}$, met uitsluitend de Pauli twirling-groep en Pauli-basis SPAM.

Het protocol werkt volgens de volgende principes:

1. Virtuele Conjuguatie: In plaats van het ruiskanaal direct te twirlen, construeert het protocol een "getwirled" kanaal door de doelgate $U$ te combineren met een Clifford-gate $C$. Door $C$ te selecteren zodanig dat $C P C^\dagger = \pm Q$ (waarbij $P$ en $Q$ Pauli-operatoren zijn), wordt het off-diagonaal PTM-element $\tilde{U}_{PQ}$ effectief naar een diagonale positie verplaatst.
2. Virtueel Clifford-paar: Om te garanderen dat alle operaties lokaal blijven (Pauli), maakt het protocol gebruik van een virtueel geconjugeerd Clifford-paar ($C$ en $C^\dagger$). In de circuitimplementatie bestaat de sequentie uit de doelgate $\tilde{U}$, gevolgd door $C^\dagger$, een Pauli-operatie, en $C$. Cruciaal is dat de auteurs aantonen dat de sequentie $C^\dagger P_2 P_1^\dagger C$ kan worden gecompileerd naar een enkele Pauli-gate. Dit stelt het protocol in staat om off-diagonaal PTM-elementen te benaderen zonder de Clifford-gates fysiek te implementeren, waardoor de ruis en overhead van multi-qubit Clifford-compilatie worden vermeden.
3. SPAM-robuustheid: Het protocol maakt gebruik van groep-twirling over de Pauli-groep. Door te middelen over willekeurige Pauli-sequenties en specifieke projectoren toe te passen (gewogen sommen van Pauli-gates), isoleert de methode de term $(\tilde{U}_{PQ} \tilde{U}_{QP})^m$. De overlevingskans wordt vervolgens exponentieel gefit om het product van de PTM-elementen te extraheren, wat de schatting robuust maakt tegen SPAM-fouten.
4. Fideliteitschatting: Voor unitaire gates die voldoen aan $U^2 = I$ (zelf-adjuunct), schat het protocol de procesfideliteit. De auteurs leiden een ondergrens af voor de fideliteit op basis van het geometrisch gemiddelde van de geschatte PTM-producten. Zij merken op dat deze ondergrens een nauwe benadering is voor ruiskanalen die voldoende dicht bij de identiteit liggen. Het protocol wordt ook uitgebreid naar niet-zelf-adjuunct gates door de inverse gate $U^\dagger$ in de circuitstructuur op te nemen.

Belangrijkste Bijdragen

• PTCB Protocol: Introductie van een nieuwe benchmarking-methode die de producten van PTM-elementen schat met uitsluitend lokale Pauli-operaties, waardoor de noodzaak voor multi-qubit twirling-groepen wordt omzeild.
• Non-Clifford Benchmarking: Ontwikkeling van een specifiek fideliteits-benchmarking schema voor non-Clifford gates (specifiek die voldoen aan $U^2=I$) dat robuust is tegen SPAM-fouten.
• Virtuele Implementatie: Het gebruik van een virtueel geconjugeerd Clifford-paar om off-diagonaal PTM-elementen te benaderen terwijl de lokaliteit van alle fysieke operaties behouden blijft.
• Theoretisch Kader: Een demonstratie dat lokale twirling kan worden uitgebreid om non-Clifford gates te karakteriseren door het getwirled kanaal te construeren als een combinatie van de doelgate en een Clifford-gate, in plaats van de ruis direct te twirlen.

Resultaten
De auteurs valideren het protocol via numerieke simulaties met de Toffoli-gate als concreet voorbeeld. Het ruismodel bevat lokale dephasering, lokale amplitude damping en unitaire ruis (gemodelleerd als controlled-rotation fouten op CNOT-gates), met infideliteiten variërend van 0,01 tot 0,04.

• Nauwkeurigheid: De discrepantie tussen de werkelijke proces-infideliteit en de geschatte infideliteit (met behulp van de afgeleide ondergrens) bleek verwaarloosbaar, niet groter dan $1 \times 10^{-4}$ over alle gesimuleerde ruiskanalen.
• SPAM-robuustheid: Simulaties bevestigden dat het protocol robuust blijft tegen SPAM-fouten, waarbij de schatting convergeert naar de werkelijke waarde, ongeacht de SPAM-foutmarge.
• Sampling Efficiëntie: De studie analyseerde de vereiste steekproefgroottes voor "outer sampling" (het selecteren van $(P,Q)$-paren) en "inner sampling" (het selecteren van Pauli-sequenties). Er werd vastgesteld dat een matig aantal outer samples ($M=30$) en inner samples ($M'$) volstaat voor convergentie, en dat het aantal herhalingen van het circuit minimale impact heeft op de nauwkeurigheid van de schatting.

Betekenis en Claims
Het artikel claimt een theoretisch pad te bieden voor het benchmarken van non-Clifford gates met uitsluitend lokale operaties. Dit wordt gepresenteerd als een belangrijke stap richting fouttolerante kwantumcomputatie, aangezien non-Clifford gates onmisbaar zijn voor universele kwantumcomputatie maar moeilijk te karakteriseren zijn met huidige lokale twirling-methoden. De auteurs benadrukken dat hun methode de uitdaging oplost om multi-qubit non-Clifford gates te karakteriseren zonder de overhead van multi-qubit twirling-groepen.

De auteurs blijven bescheiden over de directe schaalbaarheid en variantie van de methode. Zij erkennen dat voor multi-qubit gates met exponentieel afnemende PTM-termen (zoals de controlled-X gate), het huidige kader mogelijk grote sampling-aantallen vereist om convergentie te bereiken. Daarnaast merken zij op dat het huidige protocol een niet-verwaarloosbare variantie vertoont in de fideliteitschatting voor Toffoli-gates, wat wijst op ruimte voor optimalisatie in toepassingen voor nabije termijn. Er wordt voorgesteld om toekomstig werk te richten op het verkennen van alternatieve twirling-groepen (zoals de lokale Clifford-groep) of alternatieve fideliteitsmetrieken om de sampling-overhead verder te verminderen.