2025-11-17T01:52:13.567677

Quantum circuit synthesis with SQiSW

Tang, Zhang, Sun
The primary objective of quantum circuit synthesis is to efficiently and accurately realize specific quantum algorithms or operations utilizing a predefined set of quantum gates, while also optimizing the circuit size. It holds a pivotal position in Noisy Intermediate-Scale Quantum (NISQ) computation. Historically, most synthesis efforts have predominantly utilized CNOT or CZ gates as the 2-qubit gates. However, the SQiSW gate, also known as the square root of iSWAP gate, has garnered considerable attention due to its outstanding experimental performance with low error rates and high efficiency in 2-qubit gate synthesis. In this paper, we investigate the potential of the SQiSW gate in various synthesis problems by utilizing only the SQiSW gate along with arbitrary single-qubit gates, while optimizing the overall circuit size. For exact synthesis, the upper bound of SQiSW gates to synthesize arbitrary 3-qubit and $n$-qubit gates are 24 and $\frac{139}{192}4^n(1+o(1))$ respectively, which relies on the properties of SQiSW gate in Lie theory and Quantum Shannon Decomposition. We also introduce an exact synthesis scheme for Toffoli gate using only 8 SQiSW gates, which is grounded in numerical observation. More generally, with respect to numerical approximations, we provide a theoretical analysis of a pruning algorithm to reduce the size of the searching space in numerical experiment to $\frac{1}{12}+o(1)$ of previous size, helping us reach the result that 11 SQiSW gates are enough in arbitrary 3-qubit gates synthesis up to an acceptable numerical error.
academic

Quantenschaltkreissynthese mit SQiSW

Grundlegende Informationen

  • Papier-ID: 2412.14828
  • Titel: Quantum circuit synthesis with SQiSW
  • Autoren: Jialiang Tang, Jialin Zhang, Xiaoming Sun (Institut für Computertechnik, Chinesische Akademie der Wissenschaften)
  • Klassifizierung: quant-ph
  • Veröffentlichtes Journal: Quantum (2025)
  • Papierlink: https://arxiv.org/abs/2412.14828

Zusammenfassung

Das Hauptziel der Quantenschaltkreissynthese besteht darin, spezifische Quantenalgorithmen oder -operationen unter Verwendung vordefinierter Quantengatesätze effizient und genau zu implementieren, während gleichzeitig die Schaltkreisgröße optimiert wird. Dies nimmt eine Schlüsselposition in der verrauschten mittelskaligen Quantenberechnung (NISQ) ein. Historisch gesehen konzentrierten sich die meisten Synthesearbeiten hauptsächlich auf CNOT- oder CZ-Gates als Zwei-Qubit-Gates. Das SQiSW-Gate (Quadratwurzel des iSWAP-Gates) hat jedoch aufgrund seiner überlegenen experimentellen Leistung, niedriger Fehlerrate und Effizienz bei der Zwei-Qubit-Gate-Synthese große Aufmerksamkeit erhalten. Dieses Papier untersucht das Potenzial des SQiSW-Gates in verschiedenen Syntheseproblemen unter ausschließlicher Verwendung von SQiSW-Gates und beliebigen Ein-Qubit-Gates, während die Gesamtschaltkreisgröße optimiert wird. Für exakte Synthese betragen die oberen Schranken für SQiSW-Gates bei der Synthese beliebiger 3-Qubit- und n-Qubit-Gates jeweils 24 und 1391924n(1+o(1))\frac{139}{192}4^n(1+o(1)), was auf den Eigenschaften des SQiSW-Gates in der Lie-Theorie und der Quantums-Shannon-Zerlegung beruht. Das Papier stellt auch ein exaktes Syntheseschema für das Toffoli-Gate unter Verwendung von nur 8 SQiSW-Gates basierend auf numerischen Beobachtungen vor.

Forschungshintergrund und Motivation

Problemhintergrund

  1. Bedeutung der Quantenschaltkreissynthese: Die Quantenschaltkreissynthese ist eine Schlüsseltechnologie zur Implementierung von Quantenalgorithmen auf physischen Geräten. Sie erfordert die Konstruktion des Zielunitäroperators als Quantenschaltkreis, während gleichzeitig die Schaltkreisgröße oder -tiefe optimiert wird.
  2. Einschränkungen traditioneller Methoden:
    • Historisch konzentrierten sich die Methoden hauptsächlich auf CNOT-Gates als Zwei-Qubit-Gates
    • CNOT-Gates weisen experimentelle Fehlerraten auf, die die Leistung der Quantenberechnung einschränken
    • Bestehende Synthesemethoden sind hauptsächlich für CNOT-Gates optimiert, mit weniger Forschung zu anderen Arten von Zwei-Qubit-Gates
  3. Vorteile des SQiSW-Gates:
    • Zeigt kürzere Gate-Zeiten und niedrigere Fehlerraten auf supraleitenden Quantenprozessoren
    • Die Treue eines einzelnen SQiSW-Gates kann 99,72% erreichen, durchschnittlich 99,31%
    • Durchschnittliche Treue von 96,38% bei beliebigen Zwei-Qubit-Gate-Syntheseproblemen
    • Im Vergleich zu CNOT-Gates können etwa 79% der Zwei-Qubit-Gates mit höchstens 2 SQiSW-Gates synthetisiert werden

Forschungsmotivation

Erforschung des Potenzials des SQiSW-Gates in der Quantenschaltkreissynthese, um effizientere Quantenschaltkreisimplementierungslösungen für supraleitende Quantencomputer bereitzustellen.

Kernbeiträge

  1. Theoretische Schranken: Nachweis, dass beliebige 3-Qubit-Gates mit höchstens 24 SQiSW-Gates synthetisiert werden können, und beliebige n-Qubit-Gates mit 1391924n(1+o(1))\frac{139}{192}4^n(1+o(1)) SQiSW-Gates
  2. Exakte Toffoli-Gate-Synthese: Vorschlag eines Schemas zur exakten Synthese des Toffoli-Gates unter Verwendung von nur 8 SQiSW-Gates
  3. Pruning-Algorithmus: Bereitstellung einer theoretischen Analyse des Pruning-Algorithmus für den Suchraum bei numerischer Optimierung, wodurch der Suchraum auf 112+o(1)\frac{1}{12}+o(1) des ursprünglichen Raums reduziert wird
  4. Numerische Optimierungsergebnisse: Nachweis, dass 11 SQiSW-Gates ausreichen, um beliebige 3-Qubit-Gates mit akzeptablem numerischem Fehler zu synthetisieren

Methodische Erklärung

Aufgabendefinition

Gegeben ein Zielunitäroperator U, konstruieren Sie einen Quantenschaltkreis unter Verwendung von SQiSW-Gates und beliebigen Ein-Qubit-Gates zur Implementierung von U, mit dem Ziel, die Anzahl der erforderlichen SQiSW-Gates zu minimieren.

Kernmethodische Techniken

1. Analyse basierend auf Lie-Theorie

  • KAK-Zerlegung: Verwendung der KAK-Zerlegung zur Darstellung beliebiger Zwei-Qubit-Gates als lokale Äquivalenzklassen
  • Weyl-Kammer: Verwendung der Weyl-Kammer zur Beschreibung der Wechselwirkungskoeffizienten von Zwei-Qubit-Gates
  • Mathematische Eigenschaften des SQiSW-Gates:
    • Kommutiert mit Z⊗Z
    • Qubit-Symmetrie
    • SQiSW† und SQiSW sind lokal äquivalent

2. Quantums-Shannon-Zerlegung

Verwendung der rekursiven Quantums-Shannon-Zerlegung zur Zerlegung von n-Qubit-Gates in kleinere Gates:

Any n-qubit gate = Multiplexor-Rz + Multiplexor-Ry + Multiplexor-Rz

3. Schaltkreisoptimierungstechniken

  • Diagonale Gate-Absorption: Verschieben und Absorbieren diagonaler Gates in benachbarte Multiplexer
  • Gate-Ersatzoptimierung: Ersetzen von CNOT-Gates durch CZ-Gates zur Reduzierung der Gate-Anzahl

Technische Innovationspunkte

  1. Vollständige Nutzung der SQiSW-Gate-Eigenschaften: Entwurf spezialisierter Zerlegungsschemata basierend auf den mathematischen Eigenschaften des SQiSW-Gates
  2. Numerisch unterstützte exakte Synthese: Ableitung eines exakten Syntheseschemas für das Toffoli-Gate durch numerische Optimierungsbeobachtungen von Parametermustern
  3. Theoretisierte Pruning-Analyse: Erste strenge theoretische Analyse von Pruning-Techniken in der Quantenschaltkreissynthese

Experimentelle Einrichtung

Numerisches Optimierungsframework

  • Zielfunktion: Verwendung der Standardabstandsmetrik E(U,V)=1−∣tr(U†V)∣2nE(U,V) = 1 - \frac{|tr(U^\dagger V)|}{2^n}
  • Stoppenschwelle: 10−610^{-6}
  • Optimierungswerkzeug: Verwendung des qfactor-Pakets von Python für Parameterlernvorgänge
  • Suchstrategie: Anwendung einer zweischichtigen Suchraum-Strategie (Schaltkreisstrukturraum + Parameterraum)

Bewertungsindikatoren

  • Exakte Synthese: Theoretische obere Schranke der erforderlichen SQiSW-Gates
  • Numerische Synthese: Minimale Anzahl von SQiSW-Gates zur Erreichung des Zielfehllers
  • Pruning-Effizienz: Vielfaches der Suchraum-Reduktion

Vergleichsmaßstäbe

  • Syntheseergebnisse von CNOT-Gates
  • Theoretische untere Schranke
  • Bestehende optimale Methoden

Experimentelle Ergebnisse

Haupttheoretische Ergebnisse

Spezifische Inhalte der Theoreme 1-4:

Theorem 1: Beliebige 3-Qubit-Gates können mit höchstens 24 SQiSW-Gates synthetisiert werden

  • Im Vergleich zu 20 Gates bei CNOT-Gates nur 4 Gates mehr
  • 40% Einsparung gegenüber einfachen Ersatzschemas (40 Gates)

Theorem 2: Beliebige n-Qubit-Gates können mit höchstens 1391924n−3⋅2n+53\frac{139}{192}4^n - 3 \cdot 2^n + \frac{5}{3} SQiSW-Gates synthetisiert werden

  • Im Vergleich zu 23484n(1+o(1))\frac{23}{48}4^n(1+o(1)) bei CNOT-Gates, 24% Einsparung

Theorem 3: Der Pruning-Algorithmus reduziert den Suchraum auf 1123N(1+o(1))\frac{1}{12}3^N(1+o(1))

Theorem 4: Das Toffoli-Gate kann mit 8 SQiSW-Gates exakt synthetisiert werden

Numerische Optimierungsergebnisse

![Beschreibung der Ergebnisgrafiken]

  • Toffoli-Gate: 8 SQiSW-Gates erreichen Fehler auf Niveau von 10−1210^{-12}
  • Beliebige 3-Qubit-Gates: 11 SQiSW-Gates erreichen durchschnittliche Fehler auf Niveau von 10−610^{-6}

Vergleich mit CNOT-Gates

  • 3-Qubit-Gate-Synthese: SQiSW benötigt 11 Gates, CNOT benötigt 14 Gates
  • Toffoli-Gate-Synthese: SQiSW benötigt 8 Gates, CNOT benötigt 6 Gates, aber SQiSW hat niedrigere experimentelle Fehlerraten

Verwandte Arbeiten

Traditionelle CNOT-Gate-Synthese

  • Barenco et al. (1995): Erster Synthesealgorithmus mit CNOT und beliebigen Ein-Qubit-Gates
  • Quantums-Shannon-Zerlegung: Aktuelle optimale obere Schranke von 23484n\frac{23}{48}4^n
  • Toffoli-Gate: CNOT-Kosten von 6, bereits enge Ergebnisse

Andere Quantengate-Forschung

  • MS-Gate: Spezielle Struktur für numerische Synthese
  • Universelles Syntheseframework: Synthetiq, BQSKit und andere Werkzeuge

Entwicklung des SQiSW-Gates

  • Experimentelle Implementierung: Überlegene Leistung auf supraleitenden Quantenprozessoren
  • Theoretische Grundlagen: Analyse basierend auf KAK-Zerlegung und Weyl-Kammer

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Das SQiSW-Gate zeigt bessere theoretische und experimentelle Leistung als CNOT-Gates in der Quantenschaltkreissynthese
  2. Die vorgeschlagenen Syntheseschemas nutzen die niedrige Fehlerrate des SQiSW-Gates, während sie eine relativ niedrige Gate-Anzahl beibehalten
  3. Numerisch unterstützte Methoden können effektiv exakte Syntheseschemas entdecken

Einschränkungen

  1. Untere Schranke des Toffoli-Gates unbekannt: Es wurde noch nicht nachgewiesen, ob 8 SQiSW-Gates die enge Schranke darstellen
  2. Einschränkungen numerischer Methoden: Die Anwendbarkeit numerischer Beobachtungsmethoden auf komplexere Syntheseaufgaben ist begrenzt
  3. Unzureichende experimentelle Validierung: Mangel an Validierung auf echten Quantengeräten

Zukünftige Richtungen

  1. Erforschung der engen Schranken der SQiSW-Gate-Synthese
  2. Erweiterung numerisch unterstützter Methoden auf komplexere Syntheseaufgaben
  3. Entdeckung weiterer Zerlegungsschemata mit speziellen Strukturen unter Verwendung der Weyl-Kammer
  4. Validierung der vorgeschlagenen Syntheseschemas auf echten Quantengeräten

Tiefgreifende Bewertung

Stärken

  1. Signifikante theoretische Beiträge: Erste systematische Untersuchung der Synthesefähigkeiten des SQiSW-Gates mit vollständigem theoretischem Rahmen
  2. Methodische Innovation: Geschickliche Kombination von Lie-Theorie, Quantums-Shannon-Zerlegung und numerischer Optimierung
  3. Hoher praktischer Wert: Bietet praktische Quantenschaltkreis-Syntheselösungen für supraleitende Quantencomputer
  4. Strenge Analyse: Strenge theoretische Analyse des Pruning-Algorithmus

Mängel

  1. Unzureichende experimentelle Validierung: Hauptsächlich theoretische Analyse mit mangelnder Validierung auf echten Quantengeräten
  2. Begrenzte Anwendungsreichweite: Hauptsächlich auf SQiSW-Gates ausgerichtet, mit unklar Verallgemeinerbarkeit auf andere Quantengate-Typen
  3. Abhängigkeit von numerischen Methoden: Die exakte Synthese des Toffoli-Gates hängt von numerischen Beobachtungen ab, mit mangelndem konstruktivem Beweis

Einflussfaktor

  1. Akademischer Wert: Bietet neue Forschungsrichtungen und Methoden für das Gebiet der Quantenschaltkreissynthese
  2. Praktische Bedeutung: Von großer Bedeutung für die Quantenberechnungsimplementierung in der NISQ-Ära
  3. Reproduzierbarkeit: Theoretische Ergebnisse sind gut reproduzierbar, numerische Experimente bieten detaillierte Parametereinstellungen

Anwendungsszenarien

  1. Supraleitende Quantenberechnung: Besonders geeignet für supraleitende Quantenprozessoren, die SQiSW-Gates unterstützen
  2. NISQ-Anwendungen: Szenarien, die hochfidelity Quantengate-Operationen in verrauschter Umgebung erfordern
  3. Quantenalgorithmus-Implementierung: Quantenalgorithmus-Implementierungen, die effiziente Schaltkreissynthese erfordern

Referenzen

Das Papier zitiert 17 Kernreferenzen, die klassische Arbeiten zur Quantenschaltkreissynthese, KAK-Zerlegungstheorie und neueste experimentelle Ergebnisse zum SQiSW-Gate abdecken und eine solide theoretische Grundlage für die Forschung bieten.

Dieses Papier leistet wichtige Beiträge zum Gebiet der Quantenschaltkreissynthese. Es bietet nicht nur theoretische obere Schranken für die SQiSW-Gate-Synthese, sondern entdeckt auch durch numerische Methoden praktische exakte Syntheseschemas. Obwohl die experimentelle Validierung noch gestärkt werden muss, legen sein theoretischer Rahmen und seine methodischen Innovationen eine wichtige Grundlage für zukünftige Quantenschaltkreisoptimierungsforschung.