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

SQiSW를 이용한 양자 회로 합성

기본 정보

  • 논문 ID: 2412.14828
  • 제목: Quantum circuit synthesis with SQiSW
  • 저자: Jialiang Tang, Jialin Zhang, Xiaoming Sun (중국과학원 컴퓨팅 기술 연구소)
  • 분류: quant-ph
  • 발표 저널: Quantum (2025)
  • 논문 링크: https://arxiv.org/abs/2412.14828

초록

양자 회로 합성의 주요 목표는 미리 정의된 양자 게이트 집합을 이용하여 특정 양자 알고리즘 또는 연산을 효율적이고 정확하게 구현하면서 회로 규모를 최적화하는 것이다. 이는 노이즈가 있는 중간 규모 양자(NISQ) 컴퓨팅에서 핵심적인 역할을 한다. 역사적으로 대부분의 합성 연구는 CNOT 또는 CZ 게이트를 2-큐빗 게이트로 사용해왔다. 그러나 SQiSW 게이트(iSWAP 게이트의 제곱근)는 우수한 실험 성능, 낮은 오류율, 그리고 2-큐빗 게이트 합성에서의 높은 효율성으로 인해 주목받고 있다. 본 논문은 SQiSW 게이트와 임의의 1-큐빗 게이트만을 사용하여 다양한 합성 문제에서 SQiSW 게이트의 잠재력을 연구하면서 전체 회로 규모를 최적화한다. 정확한 합성의 경우, 임의의 3-큐빗 및 n-큐빗 게이트를 합성하는 데 필요한 SQiSW 게이트의 상한은 각각 24개 및 1391924n(1+o(1))\frac{139}{192}4^n(1+o(1))개이며, 이는 리 이론과 양자 Shannon 분해에서 SQiSW 게이트의 성질에 의존한다. 본 논문은 또한 수치적 관찰을 바탕으로 8개의 SQiSW 게이트만을 사용한 Toffoli 게이트의 정확한 합성 방안을 제시한다.

연구 배경 및 동기

문제 배경

  1. 양자 회로 합성의 중요성: 양자 회로 합성은 양자 알고리즘을 물리적 장치에서 구현하는 핵심 기술이며, 목표 유니터리 연산자를 양자 회로로 구성하면서 회로 규모 또는 깊이를 최적화해야 한다.
  2. 기존 방법의 한계:
    • 역사적으로 CNOT 게이트를 2-큐빗 게이트로 주로 사용
    • CNOT 게이트의 실험적 오류율이 높아 양자 컴퓨팅 성능 제한
    • 기존 합성 방법은 주로 CNOT 게이트에 최적화되어 있으며, 다른 유형의 2-큐빗 게이트에 대한 연구 부족
  3. SQiSW 게이트의 장점:
    • 초전도 양자 프로세서에서 더 짧은 게이트 시간과 낮은 오류율 표현
    • 단일 SQiSW 게이트의 충실도는 99.72%에 도달 가능하며 평균 99.31%
    • 임의의 2-큐빗 게이트 합성 문제에서 평균 충실도 96.38% 달성
    • CNOT 게이트 대비 약 79%의 2-큐빗 게이트를 최대 2개의 SQiSW 게이트로 합성 가능

연구 동기

SQiSW 게이트가 양자 회로 합성에서 갖는 잠재력을 탐색하여 초전도 양자 컴퓨터를 위한 더욱 효율적인 양자 회로 구현 방안을 제공한다.

핵심 기여

  1. 이론적 상한: 임의의 3-큐빗 게이트는 최대 24개의 SQiSW 게이트로 합성 가능하고, 임의의 n-큐빗 게이트는 1391924n(1+o(1))\frac{139}{192}4^n(1+o(1))개의 SQiSW 게이트로 합성 가능함을 증명
  2. Toffoli 게이트 정확한 합성: 8개의 SQiSW 게이트만을 사용하여 Toffoli 게이트를 정확히 합성하는 방안 제시
  3. 가지치기 알고리즘: 수치 최적화에서 탐색 공간 가지치기 알고리즘의 이론적 분석 제공, 탐색 공간을 원래의 112+o(1)\frac{1}{12}+o(1)로 감소
  4. 수치 최적화 결과: 11개의 SQiSW 게이트로 허용 가능한 수치 오차 범위 내에서 임의의 3-큐빗 게이트 합성 가능함을 증명

방법론 상세 설명

작업 정의

목표 유니터리 연산자 U가 주어졌을 때, SQiSW 게이트와 임의의 1-큐빗 게이트를 사용하여 U를 구현하는 양자 회로를 구성하며, 목표는 필요한 SQiSW 게이트 수를 최소화하는 것이다.

핵심 기술 방법

1. 리 이론 기반 분석

  • KAK 분해: KAK 분해를 이용하여 임의의 2-큐빗 게이트를 국소 동치류로 표현
  • Weyl 실: Weyl 실을 사용하여 2-큐빗 게이트의 상호작용 계수 기술
  • SQiSW 게이트의 수학적 성질:
    • Z⊗Z와 교환 가능
    • 큐빗 대칭성
    • SQiSW†와 SQiSW 국소 동치

2. 양자 Shannon 분해

재귀적 양자 Shannon 분해를 이용하여 n-큐빗 게이트를 더 작은 게이트로 분해:

임의의 n-큐빗 게이트 = 멀티플렉서-Rz + 멀티플렉서-Ry + 멀티플렉서-Rz

3. 회로 최적화 기술

  • 대각 게이트 흡수: 대각 게이트를 이동하여 인접한 멀티플렉서에 흡수
  • 게이트 치환 최적화: CZ 게이트로 CNOT 게이트를 대체하여 게이트 수 감소

기술 혁신점

  1. SQiSW 게이트 특성의 충분한 활용: SQiSW 게이트의 수학적 성질을 바탕으로 전문화된 분해 방안 설계
  2. 수치 보조 정확한 합성: 수치 최적화를 통해 매개변수 패턴을 관찰하여 Toffoli 게이트의 정확한 합성 방안 도출
  3. 이론화된 가지치기 분석: 양자 회로 합성에서 가지치기 기술에 대한 엄격한 이론적 분석 수행

실험 설정

수치 최적화 프레임워크

  • 목적 함수: 표준 거리 척도 E(U,V)=1−∣tr(U†V)∣2nE(U,V) = 1 - \frac{|tr(U^\dagger V)|}{2^n} 사용
  • 중지 임계값: 10−610^{-6}
  • 최적화 도구: Python의 qfactor 패키지를 사용한 매개변수 학습
  • 탐색 전략: 이중 계층 탐색 공간 채택 (회로 구조 공간 + 매개변수 공간)

평가 지표

  • 정확한 합성: 필요한 SQiSW 게이트 수의 이론적 상한
  • 수치 합성: 목표 오차 달성에 필요한 최소 SQiSW 게이트 수
  • 가지치기 효율: 탐색 공간 감소 배수

비교 기준

  • CNOT 게이트의 합성 결과
  • 이론적 하한
  • 기존 최적 방법

실험 결과

주요 이론적 결과

Theorem 1-4의 구체적 내용:

Theorem 1: 임의의 3-큐빗 게이트는 최대 24개의 SQiSW 게이트로 합성 가능

  • CNOT 게이트의 20개 게이트 대비 4개만 증가
  • 단순 치환 방안(40개 게이트) 대비 40% 절감

Theorem 2: 임의의 n-큐빗 게이트는 최대 1391924n−3⋅2n+53\frac{139}{192}4^n - 3 \cdot 2^n + \frac{5}{3}개의 SQiSW 게이트로 합성 가능

  • CNOT 게이트의 23484n(1+o(1))\frac{23}{48}4^n(1+o(1)) 대비 24% 절감

Theorem 3: 가지치기 알고리즘은 탐색 공간을 1123N(1+o(1))\frac{1}{12}3^N(1+o(1))로 감소

Theorem 4: Toffoli 게이트는 8개의 SQiSW 게이트로 정확히 합성 가능

수치 최적화 결과

![실험 결과 그래프 설명]

  • Toffoli 게이트: 8개의 SQiSW 게이트로 10−1210^{-12} 수준의 오차 달성
  • 임의의 3-큐빗 게이트: 11개의 SQiSW 게이트로 10−610^{-6} 수준의 평균 오차 달성

CNOT 게이트와의 비교

  • 3-큐빗 게이트 합성: SQiSW는 11개 게이트 필요, CNOT는 14개 게이트 필요
  • Toffoli 게이트 합성: SQiSW는 8개 게이트 필요, CNOT는 6개 게이트 필요하지만 SQiSW의 실험적 오류율이 더 낮음

관련 연구

기존 CNOT 게이트 합성

  • Barenco 등(1995): CNOT와 임의의 1-큐빗 게이트를 사용한 첫 합성 알고리즘
  • 양자 Shannon 분해: 현재 최적의 23484n\frac{23}{48}4^n 상한
  • Toffoli 게이트: CNOT 비용 6, 이미 타이트한 결과

기타 양자 게이트 연구

  • MS 게이트: 수치 합성을 위한 특수 구조
  • 범용 합성 프레임워크: Synthetiq, BQSKit 등 도구

SQiSW 게이트의 발전

  • 실험적 구현: 초전도 양자 프로세서에서의 우수한 성능
  • 이론적 기초: KAK 분해와 Weyl 실 기반 분석

결론 및 논의

주요 결론

  1. SQiSW 게이트는 양자 회로 합성에서 CNOT 게이트보다 더 나은 이론적 및 실험적 성능을 보임
  2. 제시된 합성 방안은 낮은 게이트 수를 유지하면서 SQiSW 게이트의 낮은 오류율 장점을 활용
  3. 수치 보조 방법은 정확한 합성 방안을 효과적으로 발견할 수 있음

한계

  1. Toffoli 게이트 하한 미해결: 8개의 SQiSW 게이트가 타이트한 하한인지 아직 증명되지 않음
  2. 수치 방법의 한계: 더 복잡한 합성 작업에 대해 수치 관찰 방법의 적용 가능성 제한
  3. 실험 검증 부족: 실제 양자 장치에서의 검증 부족

향후 방향

  1. SQiSW 게이트 합성의 타이트한 하한 탐색
  2. 수치 보조 방법을 더 복잡한 합성 작업으로 확장
  3. Weyl 실을 이용한 더 많은 특수 구조의 분해 방안 발견
  4. 실제 양자 장치에서 제시된 합성 방안 검증

심층 평가

장점

  1. 이론적 기여 현저: SQiSW 게이트의 합성 능력을 처음으로 체계적으로 연구하며 완전한 이론 프레임워크 제공
  2. 방법 혁신: 리 이론, 양자 Shannon 분해, 수치 최적화를 교묘하게 결합
  3. 실용적 가치 높음: 초전도 양자 컴퓨팅을 위한 실용적인 회로 합성 방안 제공
  4. 분석 엄밀: 가지치기 알고리즘에 대한 엄격한 이론적 분석

부족한 점

  1. 실험 검증 불충분: 주로 이론 분석이며 실제 양자 장치에서의 검증 부족
  2. 적용 범위 제한: 주로 SQiSW 게이트에 초점이 맞춰져 있으며 다른 유형 양자 게이트로의 확장성 불명확
  3. 수치 방법 의존: Toffoli 게이트의 정확한 합성이 수치 관찰에 의존하며 구성적 증명 부족

영향력

  1. 학술적 가치: 양자 회로 합성 분야에 새로운 연구 방향과 방법 제공
  2. 실용적 의의: NISQ 시대의 양자 컴퓨팅 구현에 중요한 지도 가치
  3. 재현성: 이론적 결과는 우수한 재현성을 가지며 수치 실험은 상세한 매개변수 설정 제공

적용 시나리오

  1. 초전도 양자 컴퓨팅: 특히 SQiSW 게이트를 지원하는 초전도 양자 프로세서에 적합
  2. NISQ 응용: 노이즈 환경에서 높은 충실도의 양자 게이트 연산이 필요한 시나리오
  3. 양자 알고리즘 구현: 효율적인 회로 합성이 필요한 양자 알고리즘 구현

참고 문헌

본 논문은 양자 회로 합성의 고전적 연구, KAK 분해 이론, 최신 SQiSW 게이트 실험 결과를 포함한 17편의 핵심 참고 문헌을 인용하여 연구에 견고한 이론적 기초를 제공한다.

본 논문은 양자 회로 합성 분야에서 중요한 기여를 하였으며, SQiSW 게이트 합성의 이론적 상한을 제공할 뿐만 아니라 수치 방법을 통해 실용적인 정확한 합성 방안을 발견했다. 실험 검증 측면에서는 아직 강화가 필요하지만, 이론적 프레임워크와 방법론의 혁신은 향후 양자 회로 최적화 연구에 중요한 기초를 마련했다.