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

Synthèse de circuits quantiques avec SQiSW

Informations fondamentales

  • ID de l'article: 2412.14828
  • Titre: Quantum circuit synthesis with SQiSW
  • Auteurs: Jialiang Tang, Jialin Zhang, Xiaoming Sun (Institut de technologie informatique, Académie chinoise des sciences)
  • Classification: quant-ph
  • Journal de publication: Quantum (2025)
  • Lien de l'article: https://arxiv.org/abs/2412.14828

Résumé

L'objectif principal de la synthèse de circuits quantiques est de mettre en œuvre efficacement et précisément des algorithmes ou opérations quantiques spécifiques en utilisant un ensemble prédéfini de portes quantiques, tout en optimisant la taille du circuit. Ceci occupe une position clé dans le calcul quantique de taille intermédiaire bruyant (NISQ). Historiquement, la plupart des travaux de synthèse ont principalement utilisé les portes CNOT ou CZ comme portes à deux qubits. Cependant, la porte SQiSW (racine carrée de la porte iSWAP) a attiré une attention considérable en raison de ses excellentes performances expérimentales, de son faible taux d'erreur et de son efficacité dans la synthèse de portes à deux qubits. Cet article étudie le potentiel de la porte SQiSW dans divers problèmes de synthèse en utilisant uniquement les portes SQiSW et des portes arbitraires à un qubit, tout en optimisant la taille globale du circuit. Pour la synthèse exacte, les bornes supérieures des portes SQiSW pour synthétiser des portes arbitraires à 3 qubits et n qubits sont respectivement 24 et 1391924n(1+o(1))\frac{139}{192}4^n(1+o(1)), ce qui dépend des propriétés de la porte SQiSW dans la théorie de Lie et la décomposition de Shannon quantique. L'article présente également un schéma de synthèse exacte de la porte Toffoli utilisant seulement 8 portes SQiSW basé sur des observations numériques.

Contexte et motivation de la recherche

Contexte du problème

  1. Importance de la synthèse de circuits quantiques: La synthèse de circuits quantiques est une technologie clé pour mettre en œuvre des algorithmes quantiques sur des dispositifs physiques, nécessitant de construire l'opérateur unitaire cible en tant que circuit quantique, tout en optimisant la taille ou la profondeur du circuit.
  2. Limitations des méthodes traditionnelles:
    • Historiquement, la porte CNOT a été principalement utilisée comme porte à deux qubits
    • Le taux d'erreur expérimental de la porte CNOT est relativement élevé, limitant les performances du calcul quantique
    • Les méthodes de synthèse existantes sont principalement optimisées pour la porte CNOT, avec peu de recherches sur d'autres types de portes à deux qubits
  3. Avantages de la porte SQiSW:
    • Démontre un temps de porte plus court et un taux d'erreur plus faible sur les processeurs quantiques supraconducteurs
    • La fidélité d'une seule porte SQiSW peut atteindre 99,72%, avec une moyenne de 99,31%
    • La fidélité moyenne pour la synthèse de portes arbitraires à deux qubits atteint 96,38%
    • Par rapport à la porte CNOT, environ 79% des portes à deux qubits peuvent être synthétisées avec au maximum 2 portes SQiSW

Motivation de la recherche

Explorer le potentiel de la porte SQiSW dans la synthèse de circuits quantiques, afin de fournir des schémas de mise en œuvre de circuits quantiques plus efficaces pour les ordinateurs quantiques supraconducteurs.

Contributions principales

  1. Bornes théoriques: Preuve que toute porte à 3 qubits peut être synthétisée avec au maximum 24 portes SQiSW, et toute porte à n qubits avec 1391924n(1+o(1))\frac{139}{192}4^n(1+o(1)) portes SQiSW
  2. Synthèse exacte de la porte Toffoli: Proposition d'un schéma de synthèse exacte de la porte Toffoli utilisant seulement 8 portes SQiSW
  3. Algorithme d'élagage: Fourniture d'une analyse théorique de l'algorithme d'élagage de l'espace de recherche en optimisation numérique, réduisant l'espace de recherche à 112+o(1)\frac{1}{12}+o(1) de l'original
  4. Résultats d'optimisation numérique: Preuve que 11 portes SQiSW suffisent pour synthétiser toute porte à 3 qubits avec une erreur numérique acceptable

Détails des méthodes

Définition de la tâche

Étant donné un opérateur unitaire cible U, construire un circuit quantique utilisant des portes SQiSW et des portes arbitraires à un qubit pour mettre en œuvre U, l'objectif étant de minimiser le nombre de portes SQiSW requises.

Méthodes techniques fondamentales

1. Analyse basée sur la théorie de Lie

  • Décomposition KAK: Utilisation de la décomposition KAK pour représenter toute porte à deux qubits comme classe d'équivalence locale
  • Chambre de Weyl: Utilisation de la chambre de Weyl pour décrire les coefficients d'interaction des portes à deux qubits
  • Propriétés mathématiques de la porte SQiSW:
    • Commute avec Z⊗Z
    • Symétrie des qubits
    • SQiSW† et SQiSW sont localement équivalents

2. Décomposition de Shannon quantique

Utilisation de la décomposition récursive de Shannon quantique pour décomposer les portes à n qubits en portes plus petites:

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

3. Techniques d'optimisation de circuits

  • Absorption de portes diagonales: Déplacement et absorption des portes diagonales dans les multiplexeurs adjacents
  • Optimisation par substitution de portes: Remplacement des portes CNOT par des portes CZ pour réduire le nombre de portes

Points d'innovation technique

  1. Exploitation complète des caractéristiques de la porte SQiSW: Conception de schémas de décomposition spécialisés basés sur les propriétés mathématiques de la porte SQiSW
  2. Synthèse exacte assistée par des méthodes numériques: Déduction de schémas de synthèse exacte de la porte Toffoli par observation de modèles de paramètres via optimisation numérique
  3. Analyse théorisée de l'élagage: Première analyse rigoureuse des techniques d'élagage en synthèse de circuits quantiques

Configuration expérimentale

Cadre d'optimisation numérique

  • Fonction objectif: Utilisation de la métrique de distance standard E(U,V)=1−∣tr(U†V)∣2nE(U,V) = 1 - \frac{|tr(U^\dagger V)|}{2^n}
  • Seuil d'arrêt: 10−610^{-6}
  • Outils d'optimisation: Utilisation du package qfactor de Python pour l'apprentissage des paramètres
  • Stratégie de recherche: Adoption d'une recherche à deux niveaux (espace de structure de circuit + espace de paramètres)

Indicateurs d'évaluation

  • Synthèse exacte: Borne supérieure théorique du nombre de portes SQiSW requises
  • Synthèse numérique: Nombre minimum de portes SQiSW requises pour atteindre l'erreur cible
  • Efficacité de l'élagage: Facteur de réduction de l'espace de recherche

Références de comparaison

  • Résultats de synthèse de la porte CNOT
  • Borne inférieure théorique
  • Méthodes optimales existantes

Résultats expérimentaux

Résultats théoriques principaux

Contenu spécifique des théorèmes 1-4:

Théorème 1: Toute porte à 3 qubits peut être synthétisée avec au maximum 24 portes SQiSW

  • Par rapport aux 20 portes CNOT, seulement 4 portes supplémentaires
  • Économie de 40% par rapport au schéma de substitution simple (40 portes)

Théorème 2: Toute porte à n qubits peut être synthétisée avec au maximum 1391924n−3⋅2n+53\frac{139}{192}4^n - 3 \cdot 2^n + \frac{5}{3} portes SQiSW

  • Par rapport aux 23484n(1+o(1))\frac{23}{48}4^n(1+o(1)) portes CNOT, économie de 24%

Théorème 3: L'algorithme d'élagage réduit l'espace de recherche à 1123N(1+o(1))\frac{1}{12}3^N(1+o(1))

Théorème 4: La porte Toffoli peut être synthétisée exactement avec 8 portes SQiSW

Résultats d'optimisation numérique

![Description du graphique des résultats expérimentaux]

  • Porte Toffoli: 8 portes SQiSW peuvent atteindre une erreur de niveau 10−1210^{-12}
  • Porte arbitraire à 3 qubits: 11 portes SQiSW peuvent atteindre une erreur moyenne de niveau 10−610^{-6}

Comparaison avec la porte CNOT

  • Synthèse de porte à 3 qubits: SQiSW nécessite 11 portes, CNOT nécessite 14 portes
  • Synthèse de porte Toffoli: SQiSW nécessite 8 portes, CNOT nécessite 6 portes, mais le taux d'erreur expérimental de SQiSW est plus faible

Travaux connexes

Synthèse traditionnelle de portes CNOT

  • Barenco et al. (1995): Premier algorithme de synthèse utilisant des portes CNOT et des portes arbitraires à un qubit
  • Décomposition de Shannon quantique: Borne supérieure optimale actuelle de 23484n\frac{23}{48}4^n
  • Porte Toffoli: Coût CNOT de 6, résultat déjà serré

Recherche sur d'autres portes quantiques

  • Porte MS: Structure spéciale pour la synthèse numérique
  • Cadre de synthèse universel: Outils tels que Synthetiq, BQSKit

Développement de la porte SQiSW

  • Mise en œuvre expérimentale: Excellentes performances sur les processeurs quantiques supraconducteurs
  • Fondations théoriques: Analyse basée sur la décomposition KAK et la chambre de Weyl

Conclusions et discussion

Conclusions principales

  1. La porte SQiSW démontre de meilleures performances théoriques et expérimentales par rapport à la porte CNOT dans la synthèse de circuits quantiques
  2. Les schémas de synthèse proposés maintiennent un nombre de portes relativement faible tout en exploitant l'avantage du faible taux d'erreur de la porte SQiSW
  3. Les méthodes assistées par des approches numériques peuvent efficacement découvrir des schémas de synthèse exacte

Limitations

  1. Borne inférieure de la porte Toffoli inconnue: Il n'a pas encore été prouvé si 8 portes SQiSW constituent une borne inférieure serrée
  2. Limitations des méthodes numériques: Pour les tâches de synthèse plus complexes, l'applicabilité des méthodes d'observation numérique est limitée
  3. Vérification expérimentale insuffisante: Manque de vérification sur les dispositifs quantiques réels

Directions futures

  1. Explorer les bornes inférieures serrées pour la synthèse de portes SQiSW
  2. Étendre les méthodes assistées par des approches numériques à des tâches de synthèse plus complexes
  3. Découvrir davantage de schémas de décomposition pour des structures spéciales en utilisant la chambre de Weyl
  4. Vérifier les schémas de synthèse proposés sur les dispositifs quantiques réels

Évaluation approfondie

Points forts

  1. Contributions théoriques significatives: Première étude systématique de la capacité de synthèse de la porte SQiSW, fournissant un cadre théorique complet
  2. Innovation méthodologique: Combinaison ingénieuse de la théorie de Lie, de la décomposition de Shannon quantique et de l'optimisation numérique
  3. Valeur pratique élevée: Fournit des schémas de synthèse de circuits pratiques pour le calcul quantique supraconducteur
  4. Analyse rigoureuse: Analyse théorique rigoureuse de l'algorithme d'élagage

Insuffisances

  1. Vérification expérimentale insuffisante: Principalement une analyse théorique, manquant de vérification sur les dispositifs quantiques réels
  2. Portée d'application limitée: Principalement axée sur la porte SQiSW, la généralisation à d'autres types de portes quantiques n'est pas claire
  3. Dépendance aux méthodes numériques: La synthèse exacte de la porte Toffoli dépend d'observations numériques, manquant de preuve constructive

Impact

  1. Valeur académique: Fournit une nouvelle direction de recherche et des méthodes pour le domaine de la synthèse de circuits quantiques
  2. Signification pratique: Possède une importance directrice significative pour la mise en œuvre du calcul quantique à l'ère NISQ
  3. Reproductibilité: Les résultats théoriques possèdent une bonne reproductibilité, les expériences numériques fournissent des paramètres détaillés

Scénarios d'application

  1. Calcul quantique supraconducteur: Particulièrement adapté aux processeurs quantiques supraconducteurs supportant la porte SQiSW
  2. Applications NISQ: Scénarios nécessitant des opérations de portes quantiques haute fidélité dans un environnement bruyant
  3. Mise en œuvre d'algorithmes quantiques: Mise en œuvre d'algorithmes quantiques nécessitant une synthèse de circuits efficace

Références

L'article cite 17 références fondamentales couvrant les travaux classiques en synthèse de circuits quantiques, la théorie de la décomposition KAK, ainsi que les résultats expérimentaux récents de la porte SQiSW, fournissant une base théorique solide pour la recherche.

Cet article apporte des contributions importantes au domaine de la synthèse de circuits quantiques, fournissant non seulement des bornes théoriques pour la synthèse de portes SQiSW, mais découvrant également des schémas de synthèse exacte pratiques par des méthodes numériques. Bien que la vérification expérimentale nécessite encore des améliorations, son cadre théorique et son innovation méthodologique jettent une base importante pour les futures recherches en optimisation de circuits quantiques.