[논문 리뷰] A framework for exact synthesis

Vadym Kliuchnikov, Jon Yard|arXiv (Cornell University)|2015. 04. 16.

Quantum Computing Algorithms and Architecture참고 문헌 29인용 수 9

한 줄 요약

이 논문은 클리포드+티, V-베이시스, anyonic 양자계산 모델을 포함한 다양한 게이트 세트에서 단일 큐비트 양자 유니터리의 정확한 합성에 대한 통합 수학적 프레임워크를 제시한다. 수론과 수체 위의 쿼aternion 대수를 활용하여, 유한한 게이트 수로 실행 가능한 모든 유니터리를 체계적으로 특성화하고, 다항시간 정확한 합성 알고리즘을 제공함으로써 渐近적으로 최적인 양자 회로 근사 알고리즘의 기초를 마련한다.

ABSTRACT

Exact synthesis is a tool used in algorithms for approximating an arbitrary qubit unitary with a sequence of quantum gates from some finite set. These approximation algorithms find asymptotically optimal approximations in probabilistic polynomial time, in some cases even finding the optimal solution in probabilistic polynomial time given access to an oracle for factoring integers. In this paper, we present a common mathematical structure underlying all results related to the exact synthesis of qubit unitaries known to date, including Clifford+T, Clifford-cyclotomic and V-basis gate sets, as well as gates sets induced by the braiding of Fibonacci anyons in topological quantum computing. The framework presented here also provides a means to answer questions related to the exact synthesis of unitaries for wide classes of other gate sets, such as Clifford+T+V and SU(2) level k anyons.

연구 동기 및 목표

• 클리포드+티, V-베이시스, anyonic 모델을 포함한 다양한 양자 게이트 세트 간의 정확한 합성에 기반하는 수학적 구조를 통합하는 것.
• 주어진 게이트 세트에서 유한한 수의 게이트로 정확히 실행 가능한 모든 유니터리를 일반적으로 특성화하는 것.
• 쿼aternion 대수, 최대 순서, 소 이상수 집합으로 기술되는 임의의 게이트 세트에 대해 다항시간 정확한 합성 알고리즘을 제공하는 것.
• 특정 링, 예를 들어 $\mathbb{Z}[\frac{1}{2}, \zeta_n]$ 위에서 모든 유니터리를 합성하기 위해 필요한 최소 게이트 세트를 규명하는 기본적인 질문에 답하는 것.
• 정확한 합성과 수론 기법을 조합하여 渐近적으로 최적의 근사 알고리즘 개발의 기초를 마련하는 것.

제안 방법

• 게이트 세트를 수체 $F$ 위의 쿼aternion 대수 $\left(\frac{a,b}{F}\right)$로 모델링하며, 최대 순서 $\mathcal{M}$과 소 이상수의 유한 집합 $S$를 포함한다.
• 정확히 합성 가능한 유니터리를 $U = \frac{1}{\sqrt{x_1^2 - a x_2^2 - b x_3^2 + a b x_4^2}}(x_1 I + \sqrt{a} Z x_2 - \sqrt{b} Y x_3 + \sqrt{a b} X x_4)$로 표현한 것으로, $x_j \in R_F$ 이고 노름 이상수는 $S$의 이상수로 인수분해된다는 조건을 만족한다.
• 이 프레임워크는 양측 이상수와 최대 순서의 단위원군을 이용하여 합성 가능한 유니터리의 구조를 기술한다.
• 정확한 합성 문제를 수체 $F$의 정수환에서의 이상수 인수분해 및 단위원군 계산과 같은 수론적 계산으로 환원한다.
• 계산 대수적 수론의 알고리즘을 활용하여, 게이트 세트에서 정확히 표현 가능한 것으로 알려진 임의의 유니터리에 대해 다항시간 컴파일링을 가능하게 한다.
• 이 방법은 클리포드+티, V-베이시스, 피보나치 anyon 게이트 세트에 대한 이전 결과를 일반화하고 통합하며, 이들이 모두 동일한 대수적 구조에서 유래됨을 보여준다.

실험 결과

연구 질문

• RQ1 클리포드+티, V-베이시스, anyonic 모델과 같은 다양한 양자 게이트 세트 간의 정확한 합성에 기반하는 공통된 수학적 구조는 무엇인가?
• RQ2 주어진 유한한 게이트 세트에서 유한한 수의 게이트로 정확히 실행 가능한 모든 유니터리를 체계적으로 특성화하는 방법은 무엇인가?
• RQ3 클리포드-순환 게이트 세트에 어떤 추가 유니터리를 더해야, 링 $\mathbb{Z}[\frac{1}{2}, \zeta_n]$ 위에서 모든 유니터리를 정확히 합성할 수 있는가?
• RQ4 일반적인 게이트 세트에 대해 정확한 합성 문제를, 이상수 인수분해 및 단위원군 계산과 같은 수체 내 수론적 계산으로 환원할 수 있는가?
• RQ5 정확한 합성과 수론적 근사 기법을 조합하여 渐近적으로 최적의 양자 회로 근사 알고리즘을 지원하는 일반적인 알고리즘 프레임워크가 존재하는가?

주요 결과

• 이 프레임워크는 클리포드+티, V-베이시스, 피보나치 anyon, 기타 게이트 세트를 모두 하나의 수체 위의 쿼aternion 대수 기반 대수적 구조로 통합하여 정확한 합성을 가능하게 한다.
• 정확히 합성 가능한 유니터리의 완전한 특성화를 제공하며, 이는 수체 $F$의 정수환에서의 노름 이상수가 주어진 유한한 소 이상수 집합 $S$로 인수분해된다는 조건을 만족하는 유니터리임을 의미한다.
• 유니터리를 실행하기 위해 필요한 게이트 수는 $S$의 소수들에 대한 노름 이상수의 덧셈 값의 합으로 유계화되며, 게이트 수 추정이 가능하다.
• 쿼aternion 대수, 최대 순서, 소 이상수 집합으로 정의된 임의의 게이트 세트에 대해 다항시간 정확한 합성 알고리즘을 제공한다.
• 논문 [12]의 정리 5.1에 대한 대체 증명을 제공하며, 이는 클리포드-순환 게이트 세트에서 합성 가능한 게이트를 특성화한다.
• 이 프레임워크는 핵심 열린 문제를 규명한다: V-베이시스에서 $G^*$와 같이 부분 집합으로 제한된 게이트 세트일 경우, 노이즈가 있는 근사치로부터 유니터리를 표현하는 이진 문자열을 다항시간에 복원할 수 있는 알고리즘이 존재하는가?