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

Quantum circuit synthesis with SQiSW

Basic Information

  • Paper ID: 2412.14828
  • Title: Quantum circuit synthesis with SQiSW
  • Authors: Jialiang Tang, Jialin Zhang, Xiaoming Sun (Institute of Computing Technology, Chinese Academy of Sciences)
  • Classification: quant-ph
  • Published Journal: Quantum (2025)
  • Paper Link: https://arxiv.org/abs/2412.14828

Abstract

The primary objective of quantum circuit synthesis is to efficiently and accurately implement specific quantum algorithms or operations using a predefined set of quantum gates while optimizing circuit scale. This occupies a critical position in Noisy Intermediate-Scale Quantum (NISQ) computing. Historically, most synthesis work has primarily employed CNOT or CZ gates as two-qubit gates. However, the SQiSW gate (square root of iSWAP gate) has attracted considerable attention due to its superior experimental performance, low error rates, and efficiency in two-qubit gate synthesis. This paper investigates the potential of SQiSW gates in various synthesis problems using only SQiSW gates and arbitrary single-qubit gates while optimizing overall circuit scale. For exact synthesis, the upper bounds for synthesizing arbitrary 3-qubit and n-qubit gates using SQiSW gates are 24 and 1391924n(1+o(1))\frac{139}{192}4^n(1+o(1)), respectively, which depend on the properties of SQiSW gates in Lie theory and quantum Shannon decomposition. The paper also introduces an exact synthesis scheme for Toffoli gates using only 8 SQiSW gates based on numerical observations.

Research Background and Motivation

Problem Background

  1. Importance of Quantum Circuit Synthesis: Quantum circuit synthesis is a key technology for implementing quantum algorithms on physical devices, requiring the construction of target unitary operators as quantum circuits while optimizing circuit scale or depth.
  2. Limitations of Traditional Methods:
    • Historically, CNOT gates have been primarily used as two-qubit gates
    • CNOT gates exhibit higher experimental error rates, limiting quantum computing performance
    • Existing synthesis methods are mainly optimized for CNOT gates, with limited research on other types of two-qubit gates
  3. Advantages of SQiSW Gates:
    • Demonstrate shorter gate times and lower error rates on superconducting quantum processors
    • Single SQiSW gate fidelity reaches 99.72%, averaging 99.31%
    • Average fidelity of 96.38% in arbitrary two-qubit gate synthesis problems
    • Approximately 79% of two-qubit gates can be synthesized with at most 2 SQiSW gates compared to CNOT gates

Research Motivation

To explore the potential of SQiSW gates in quantum circuit synthesis and provide more efficient quantum circuit implementation schemes for superconducting quantum computers.

Core Contributions

  1. Theoretical Upper Bounds: Proved that arbitrary 3-qubit gates can be synthesized with at most 24 SQiSW gates, and arbitrary n-qubit gates with 1391924n(1+o(1))\frac{139}{192}4^n(1+o(1)) SQiSW gates
  2. Exact Toffoli Gate Synthesis: Proposed a scheme for exact Toffoli gate synthesis using only 8 SQiSW gates
  3. Pruning Algorithm: Provided theoretical analysis of search space pruning algorithms in numerical optimization, reducing the search space to 112+o(1)\frac{1}{12}+o(1) of the original
  4. Numerical Optimization Results: Demonstrated that 11 SQiSW gates suffice to synthesize arbitrary 3-qubit gates with acceptable numerical error

Methodology Details

Task Definition

Given a target unitary operator U, construct a quantum circuit using SQiSW gates and arbitrary single-qubit gates to implement U, with the objective of minimizing the required number of SQiSW gates.

Core Technical Methods

1. Lie Theory-Based Analysis

  • KAK Decomposition: Utilize KAK decomposition to represent arbitrary two-qubit gates as local equivalence classes
  • Weyl Chamber: Use Weyl chamber to describe interaction coefficients of two-qubit gates
  • Mathematical Properties of SQiSW Gates:
    • Commutes with Z⊗Z
    • Qubit symmetry
    • SQiSW† and SQiSW are locally equivalent

2. Quantum Shannon Decomposition

Employ recursive quantum Shannon decomposition to decompose n-qubit gates into smaller gates:

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

3. Circuit Optimization Techniques

  • Diagonal Gate Absorption: Move and absorb diagonal gates into adjacent multiplexers
  • Gate Replacement Optimization: Replace CNOT gates with CZ gates to reduce gate count

Technical Innovations

  1. Full Utilization of SQiSW Gate Characteristics: Design specialized decomposition schemes based on the mathematical properties of SQiSW gates
  2. Numerically-Assisted Exact Synthesis: Derive exact synthesis schemes for Toffoli gates through numerical optimization and parameter pattern observation
  3. Theoretically-Grounded Pruning Analysis: Provide rigorous theoretical analysis of pruning techniques in quantum circuit synthesis for the first time

Experimental Setup

Numerical Optimization Framework

  • Objective Function: Use standard distance metric E(U,V)=1−∣tr(U†V)∣2nE(U,V) = 1 - \frac{|tr(U^\dagger V)|}{2^n}
  • Stopping Threshold: 10−610^{-6}
  • Optimization Tool: Employ Python's qfactor package for parameter learning
  • Search Strategy: Adopt two-level search space (circuit structure space + parameter space)

Evaluation Metrics

  • Exact Synthesis: Theoretical upper bounds on required SQiSW gate count
  • Numerical Synthesis: Minimum SQiSW gate count needed to achieve target error
  • Pruning Efficiency: Reduction factor of search space

Comparison Baselines

  • CNOT gate synthesis results
  • Theoretical lower bounds
  • Existing optimal methods

Experimental Results

Main Theoretical Results

Specific Content of Theorems 1-4:

Theorem 1: Arbitrary 3-qubit gates can be synthesized with at most 24 SQiSW gates

  • Compared to 20 gates for CNOT, only 4 additional gates
  • Saves 40% compared to naive replacement schemes (40 gates)

Theorem 2: Arbitrary n-qubit gates can be synthesized with at most 1391924n−3⋅2n+53\frac{139}{192}4^n - 3 \cdot 2^n + \frac{5}{3} SQiSW gates

  • Compared to 23484n(1+o(1))\frac{23}{48}4^n(1+o(1)) for CNOT gates, saves 24%

Theorem 3: Pruning algorithm reduces search space to 1123N(1+o(1))\frac{1}{12}3^N(1+o(1))

Theorem 4: Toffoli gates can be exactly synthesized with 8 SQiSW gates

Numerical Optimization Results

![Experimental results chart description]

  • Toffoli Gate: 8 SQiSW gates achieve error level of 10−1210^{-12}
  • Arbitrary 3-qubit Gates: 11 SQiSW gates achieve average error level of 10−610^{-6}

Comparison with CNOT Gates

  • 3-qubit Gate Synthesis: SQiSW requires 11 gates, CNOT requires 14 gates
  • Toffoli Gate Synthesis: SQiSW requires 8 gates, CNOT requires 6 gates, but SQiSW exhibits lower experimental error rates

Related Work

Traditional CNOT Gate Synthesis

  • Barenco et al. (1995): First synthesis algorithm using CNOT and arbitrary single-qubit gates
  • Quantum Shannon Decomposition: Current optimal upper bound of 23484n\frac{23}{48}4^n
  • Toffoli Gate: CNOT cost of 6, already a tight result

Research on Other Quantum Gates

  • MS Gates: Special structures for numerical synthesis
  • Universal Synthesis Frameworks: Tools such as Synthetiq, BQSKit

Development of SQiSW Gates

  • Experimental Implementation: Superior performance on superconducting quantum processors
  • Theoretical Foundation: Analysis based on KAK decomposition and Weyl chamber

Conclusions and Discussion

Main Conclusions

  1. SQiSW gates demonstrate superior theoretical and experimental performance compared to CNOT gates in quantum circuit synthesis
  2. The proposed synthesis schemes maintain low gate counts while leveraging the low error rate advantages of SQiSW gates
  3. Numerically-assisted methods can effectively discover exact synthesis schemes

Limitations

  1. Unknown Toffoli Gate Lower Bound: It remains unproven whether 8 SQiSW gates is a tight lower bound
  2. Limitations of Numerical Methods: The applicability of numerical observation methods to more complex synthesis tasks is limited
  3. Insufficient Experimental Verification: Lacks verification on actual quantum devices

Future Directions

  1. Explore tight lower bounds for SQiSW gate synthesis
  2. Extend numerically-assisted methods to more complex synthesis tasks
  3. Discover more decomposition schemes for special structures using Weyl chamber
  4. Verify the proposed synthesis schemes on actual quantum devices

In-Depth Evaluation

Strengths

  1. Significant Theoretical Contributions: First systematic study of SQiSW gate synthesis capabilities with a complete theoretical framework
  2. Methodological Innovation: Skillfully combines Lie theory, quantum Shannon decomposition, and numerical optimization
  3. High Practical Value: Provides practical circuit synthesis schemes for superconducting quantum computing
  4. Rigorous Analysis: Provides strict theoretical analysis of pruning algorithms

Weaknesses

  1. Insufficient Experimental Verification: Primarily theoretical analysis, lacking verification on real quantum devices
  2. Limited Applicability: Mainly targets SQiSW gates; generalizability to other types of quantum gates is unclear
  3. Numerical Method Dependence: Exact Toffoli gate synthesis relies on numerical observations, lacking constructive proofs

Impact

  1. Academic Value: Provides new research directions and methods for the quantum circuit synthesis field
  2. Practical Significance: Important guidance for quantum computing implementation in the NISQ era
  3. Reproducibility: Theoretical results have good reproducibility; numerical experiments provide detailed parameter settings

Applicable Scenarios

  1. Superconducting Quantum Computing: Particularly suitable for superconducting quantum processors supporting SQiSW gates
  2. NISQ Applications: Scenarios requiring high-fidelity quantum gate operations in noisy environments
  3. Quantum Algorithm Implementation: Quantum algorithm implementations requiring efficient circuit synthesis

References

The paper cites 17 core references covering classical works in quantum circuit synthesis, KAK decomposition theory, and recent experimental results on SQiSW gates, providing a solid theoretical foundation for the research.

This paper makes important contributions to the quantum circuit synthesis field, providing not only theoretical upper bounds for SQiSW gate synthesis but also discovering practical exact synthesis schemes through numerical methods. Although experimental verification requires further strengthening, its theoretical framework and methodological innovations establish an important foundation for future quantum circuit optimization research.