[논문 리뷰] Repeat-Until-Success: Non-deterministic decomposition of single-qubit unitaries

Adam Paetznick, Krysta M. Svore|arXiv (Cornell University)|2013. 11. 05.

Quantum Computing Algorithms and Architecture참고 문헌 30인용 수 17

한 줄 요약

이 논문은 측정과 보조 큐비트를 사용하여 단일 큐비트 유니터리의 T-게이트 수를 크게 감소시키는 비결정적 양자 회로 프레임워크인 반복-성공(Repeat-Until-Success, RUS) 회로를 소개한다. 측정 결과에 따라 조건부로 적용하고 성공할 때까지 반복함으로써, RUS는 Z축 회전에 대해 기대 T-카운트가 1.26 log₂(1/ε) − 3.53이 되며, 최신의 결정적 방법보다 3배 향상된 성능을 달성한다.

ABSTRACT

We present a decomposition technique that uses non-deterministic circuits to approximate an arbitrary single-qubit unitary to within distance $ε$ and requires significantly fewer non-Clifford gates than existing techniques. We develop "Repeat-Until-Success" (RUS) circuits and characterize unitaries that can be exactly represented as an RUS circuit. Our RUS circuits operate by conditioning on a given measurement outcome and using only a small number of non-Clifford gates and ancilla qubits. We construct an algorithm based on RUS circuits that approximates an arbitrary single-qubit $Z$-axis rotation to within distance $ε$, where the number of $T$ gates scales as $1.26\log_2(1/ε) - 3.53$, an improvement of roughly three-fold over state-of-the-art techniques. We then extend our algorithm and show that a scaling of $2.4\log_2(1/ε) - 3.28$ can be achieved for arbitrary unitaries and a small range of $ε$, which is roughly twice as good as optimal deterministic decomposition methods.

연구 동기 및 목표

• 고장내성 양자 회로에서 단일 큐비트 유니터리 분해를 위한 T-게이트 수를 줄이는 것.
• 측정과 보조 큐비트를 활용하여 자원 비용을 낮추는 비결정적 회로 프레임워크를 개발하는 것.
• RUS 회로를 통해 정확하게 구현할 수 있는 유니터리들을 규명하는 것.
• 임의의 단일 큐비트 유니터리를 효율적으로 근사하기 위한 RUS 회로 데이터베이스를 구축하는 것.
• 특히 저정밀도 요구 조건에서 RUS 기반 분해가 기대 T-게이트 수 측면에서 결정적 방법보다 뛰어나다는 것을 입증하는 것.

제안 방법

• 측정 결과에 따라 유니터리를 조건부로 적용하고 성공할 때까지 반복하는 반복-성공(RUS) 회로를 제안한다.
• 비클리프포드 게이트와 보조 큐비트를 소량 사용하여, 측정 결과가 일치할 경우 목표 유니터리를 정확히 실현하는 비결정적 회로를 구현한다.
• 최소한의 T-게이트 수를 갖는 RUS 회로를 합성하기 위해 직접 검색 알고리즘을 활용한다.
• 임의의 단일 큐비트 유니터리를 효율적으로 검색 기반 분해하기 위한 RUS 회로 데이터베이스를 구축한다.
• 축 방향 및 비축 방향 RUS 회로를 조합하여 일반 유니터리를 근사하며, 정확도는 데이터베이스 크기에 의해 제한된다.
• 고장내성 아키텍처에서 RUS 회로의 비결정적 성격을 관리하기 위해 진폭 강화와 고전적 제어 논리를 적용한다.

실험 결과

연구 질문

• RQ1 측정과 보조 큐비트를 활용하는 비결정적 회로가 단일 큐비트 유니터리 분해에서 기대 T-게이트 수를 결정적 한계 이하로 낮출 수 있는가?
• RQ2 측정 결과가 일치할 경우 정확하게 표현할 수 있는 단일 큐비트 유니터리는 어떤 것들인가? (오차 ε = 0)
• RQ3 Z축 회전과 일반 유니터리에 대한 RUS 기반 분해에서 달성 가능한 T-게이트 스케일링은 무엇인가?
• RQ4 T-카운트와 자원 효율성 측면에서 RUS 회로의 성능은 최신 결정적 분해 알고리즘과 비교해 어떻게 되는가?
• RQ5 고장내성 양자 계산에서 RUS 회로의 온라인 비결정적 성격으로 인해 발생하는 아키텍처적 및 제어 과제는 무엇인가?

주요 결과

• Z축 회전의 경우, 기대 T-카운트는 1.26 log₂(1/ε) − 3.53로 스케일링되며, 이는 [Sel12], [Fow11], [KMM12b], [RS14]와 비교해 3배 향상된 성능이다.
• 임의의 단일 큐비트 유니터리의 경우, 기대 T-카운트는 2.4 log₂(1/ε) − 3.28로 스케일링되며, 이는 세 개의 결정적 Z-회전 분해를 사용할 경우 약 50% 향상되고, 전통적인 보조 큐비트 없는 방법보다 최대 4배 향상된다.
• 측정 결과가 일치할 경우 RUS 회로는 특정 유니터리를 정확히 실현할 수 있으며, 실패한 경우 낮은 비용으로 복구 가능하여 반복-성공 동작이 가능하다.
• 이 방법은 V₃ 게이트에 대해 최신 기술 수준의 T-카운트를 달성하여 양자 회로 합성에서 실용적 적용 가능성을 입증한다.
• 이 프레임워크는 셔어의 알고리즘과 양자 화학 시뮬레이션과 같이 정밀도가 낮은 회전이 충분한 경우(ε ≈ 10⁻⁵에서 10⁻⁶ 수준)에 효율적인 분해를 가능하게 한다.
• RUS 회로의 비결정적 성격은 아키텍처적 과제를 야기하며, 변수적인 실행 시간과 고장내성 시스템에서 고도의 고전적 제어 및 라우팅 논리가 필요하다.