[논문 리뷰] Fast and efficient exact synthesis of single qubit unitaries generated by Clifford and T gates

Vadym Kliuchnikov, Dmitri Maslov외 1명|arXiv (Cornell University)|2012. 06. 22.

Quantum Computing Algorithms and Architecture참고 문헌 13인용 수 55

한 줄 요약

이 논문은 단일 큐비트 유니터리에 대해 클리포드 및 T 게이트만을 사용하여 빠르고 정확한 합성 알고리즘을 제시하며, 이러한 회로가 $\mathbb{Z}[\frac{1}{\sqrt{2}}, i]$ 링 위의 모든 유니터리를 정확히 구현함을 증명한다. 이 알고리즘은 히드로우 및 T 게이트의 최소 수를 보장하여 단일 큐비트 경우의 정확한 합성에서 게이트 수와 런타임 복잡도 면에서 최적의 성능을 제공한다.

ABSTRACT

In this paper, we show the equivalence of the set of unitaries computable by the circuits over the Clifford and T library and the set of unitaries over the ring $\mathbb{Z}[\frac{1}{\sqrt{2}},i]$, in the single-qubit case. We report an efficient synthesis algorithm, with an exact optimality guarantee on the number of Hadamard and T gates used. We conjecture that the equivalence of the sets of unitaries implementable by circuits over the Clifford and T library and unitaries over the ring $\mathbb{Z}[\frac{1}{\sqrt{2}},i]$ holds in the $n$-qubit case.

연구 동기 및 목표

• 주어진 단일 큐비트 유니터리가 클리포드 및 T 게이트만을 사용하여 정확히 합성 가능한지 여부를 결정하는 것.
• 모든 정확히 합성 가능한 유니터리에 대해 히드로우 및 T 게이트 수가 증명 가능하게 최소화된 회로를 생성하는 효율적인 알고리즘을 개발하는 것.
• 단일 큐비트 경우에서 클리포드 및 T 회로로 실행 가능한 유니터리 집합과 $\mathbb{Z}[\frac{1}{\sqrt{2}}, i]$ 링 위의 유니터리 집합 간의 수학적 동치성을 확립하는 것.
• 정확히 합성 가능한 유니터리에 대한 회로 크기의 구축 가능한 상한을 제공하는 것.
• 보조 큐비트를 하나 제공할 경우 정확한 합성 동치성의 n-큐비트 경우로의 확장을 탐색하는 것.

제안 방법

• 단일 큐비트 유니터리 합성 문제를 $\mathbb{Z}[\frac{1}{\sqrt{2}}, i]$ 링 위의 상태 준비 문제로 환원하는 것.
• 클리포드 및 T 게이트 집합으로 실행 가능한 유니터리의 대수적 구조를 확립하기 위해 두 가지 핵심 보조정리를 사용하는 것.
• 모든 단일 큐비트 유니터리를 H 및 T 게이트만을 사용하여 분해하는 알고리즘을 개발하며, H 및 T 게이트 수의 증명 가능한 최소성을 확보하는 것.
• $\mathbb{Z}[\frac{1}{\sqrt{2}}, i]$ 링의 구조를 활용하여 필요한 게이트 수를 제한하고 종료를 보장하는 것.
• 합성 및 비교 과정 중 고정밀 산술을 처리하기 위해 GNU 다중 정밀도 산술 라이브러리를 활용하는 것.
• 각 회로당 패러티-X 및 패러티-Y 게이트 수가 최대 세 개 이내로 제한되는 최적화된 게이트 시퀀스를 담은 룩업 테이블을 사용하는 것.

실험 결과

연구 질문

• RQ1 $\mathbb{Z}[\frac{1}{\sqrt{2}}, i]$ 링 위의 모든 단일 큐비트 유니터리가 클리포드 및 T 게이트만을 사용하여 정확히 합성 가능한가?
• RQ2 모든 정확히 합성 가능한 유니터리에 대해 히드로우 및 T 게이트 수가 최소화된 효율적인 알고리즘이 존재하는가?
• RQ3 $\mathbb{Z}[\frac{1}{\sqrt{2}}, i]$ 링의 대수적 구조와 클리포드 및 T 회로로 실행 가능한 유니터리 집합 간의 관계는 무엇인가?
• RQ4 정확한 합성 동치성은 n-큐비트 경우로 확장될 수 있으며, 만약 가능하다면 어떤 조건에서 가능한가?
• RQ5 이 알고리즘이 생성하는 게이트 수는 H 및 T 게이트 외에도 패러티-P (T²)와 같은 다른 게이트 유형에 대해서도 최적화되어 있는가?

주요 결과

• 클리포드 및 T 회로로 실행 가능한 단일 큐비트 유니터리 집합은 정확히 $\mathbb{Z}[\frac{1}{\sqrt{2}}, i]$ 링 위의 유니터리 집합과 일치한다.
• 제안된 합성 알고리즘은 결과 회로에서 히드로우 및 T 게이트 수를 최소화함을 보장하며, 런타임과 게이트 수 면에서 점근적 최적성을 확보한다.
• 알고리즘은 모든 출력 회로에서 패러티-X 및 패러티-Y 게이트 수가 최대 세 개 이내로 유지됨을 보장하여 강력한 구조적 효율성을 나타낸다.
• 실험 결과, 소로바이-키타에프 알고리즘으로 생성된 회로를 이 방법으로 재합성하면 {H, T} 라이브러리 사용 시 게이트 수가 10–20% 감소하고, {H, T, P, Z} 사용 시 40–60% 감소함을 확인하였다.
• 알고리즘은 정밀도 $10^{-50}$ 수준까지 달성하여 Dawson의 구현보다 훨씬 뛰어나며, Dawson의 구현은 $10^{-8}$ 정밀도를 넘어서는 데 실패한다.
• 논문은 보조 큐비트 한 개를 상태 $|0\rangle$ 에서 이용할 수 있을 경우 정확한 합성 동치성이 n-큐비트 경우로 확장된다고 추측하지만, 이는 아직 증명되지 않았다.