[논문 리뷰] A Framework for Approximating Qubit Unitaries

Vadym Kliuchnikov, Alex Bocharov외 2명|arXiv (Cornell University)|2015. 10. 13.

Quantum Computing Algorithms and Architecture인용 수 12

한 줄 요약

이 논문은 전체적으로 정의된 허밀토니안 대수에서 유도된 게이트 세트에 대해 단일 큐비트 유니터리의 효율적인 근사화를 위한 일반적 프레임워크를 제시한다. ε-근사치를 얻기 위해 O(log(1/ε)) 길이의 회로를 사용하며, 이는 점근적으로 최적이다. 알고리즘은 수론적 추측에 조건부하여 log(1/ε)에 대해 평균 다항시간 내에 실행되며, 클리포드+T, V-베이시스, 클리포드+√T를 포함한 광범위한 고장내성 게이트 세트에 적용 가능하다.

ABSTRACT

We present an algorithm for efficiently approximating of qubit unitaries over gate sets derived from totally definite quaternion algebras. It achieves $\varepsilon$-approximations using circuits of length $O(\log(1/\varepsilon))$, which is asymptotically optimal. The algorithm achieves the same quality of approximation as previously-known algorithms for Clifford+T [arXiv:1212.6253], V-basis [arXiv:1303.1411] and Clifford+$π/12$ [arXiv:1409.3552], running on average in time polynomial in $O(\log(1/\varepsilon))$ (conditional on a number-theoretic conjecture). Ours is the first such algorithm that works for a wide range of gate sets and provides insight into what should constitute a "good" gate set for a fault-tolerant quantum computer.

연구 동기 및 목표

• 고장내성 양자계산에서 사용되는 광범위한 유니버설 게이트 세트에 대해 단일 큐비트 유니터리의 일반적이고 효율적인 알고리즘을 개발하는 것.
• 어떤 수학적 성질이 게이트 세트를 효율적인 근사 알고리즘에 적합하게 만드는지에 대한 열린 질문을 해결하는 것.
• 클리포드+T, V-베이시스, 클리포드+π/12와 같은 특정 게이트 세트에 대해 기존 알고리즘들을 통합하고 일반화하여 단일 수학적 프레임워크로 만드는 것.
• 근사화의 효율성이 기반 게이트 세트의 수론적 성질과 관련이 있음을 이론적이고 실험적으로 입증하는 것.
• 클리포드+√T와 같은 새로운 게이트 세트에 프레임워크의 적용 가능성을 보여주고, 기존에 알려진 결과들을 재현하는 것.

제안 방법

• 완전히 정의된 허밀토니안 대수의 대수적 구조를 활용하여 SU(2) 내의 유니버설 게이트 세트를 모델링함으로써, 유니터리 근사화의 수론적 분석을 가능하게 한다.
• 유니터리를 근사화하는 문제를 허밀토니안 대수의 최대 순서의 곱셈군 내에서 짧은 인수분해를 찾는 문제로 환원한다.
• 감소된 노름과 단위군 구조를 사용하여 동치 유니터리를 분류하고 그룹화함(클리포드 동치에 따라), 회로 비용을 최소화한다.
• 게이트 세트의 생성자들을 사용하여 반복적으로 목표 유니터리와의 거리를 줄이는 재귀적 근사 절차를 구현한다.
• 이전 논문들 [63, 8, 9]의 추측을 일반화한 수론적 추측에 의존하여, log(1/ε)에 대해 평균 다항시간 런타임을 증명한다.
• 알고리즘을 Magma 컴퓨터 대수 시스템에 구현하고, 클리포드+T+V 및 클리포드+√T를 포함한 여러 게이트 세트에서 검증한다.

실험 결과

연구 질문

• RQ1 어떤 게이트 세트의 구조적 성질이 O(log(1/ε)) 길이의 회로로 임의의 단일 큐비트 유니터리를 효율적으로 근사화할 수 있도록 하는가?
• RQ2 클리포드+T 및 V-베이시스와 같은 특정 게이트 세트에 대해 효율적인 근사 알고리즘이 존재하는 이유를 설명할 수 있는 통합된 수학적 프레임워크를 개발할 수 있는가?
• RQ3 게이트 세트 생성자의 원소들의 수론적 성질은 근사 알고리즘의 효율성과 어떻게 관련이 있는가?
• RQ4 클리포드+√T 또는 기타 '골든 게이트' 구성과 같은 알려진 게이트 세트를 초월해 프레임워크를 얼마나 일반화할 수 있는가?
• RQ5 알고리즘이 log(1/ε)에 대해 평균 다항시간 내에 실행된다는 추측을 뒷받침하는 증거는 무엇이며, 이는 계산 수론 분야의 기존 결과와 어떻게 관련이 있는가?

주요 결과

• 알고리즘은 O(log(1/ε)) 길이의 회로를 사용하여 임의의 단일 큐비트 유니터리에 대해 ε-근사치를 도출하며, 이는 점근적으로 최적이다.
• 수론적 추측에 조건부하여 알고리즘은 log(1/ε)에 대해 평균 다항시간 내에 실행되며, 이는 이전의 전문화된 알고리즘과 동일한 효율성을 보인다.
• 프레임워크는 클리포드+T, V-베이시스, 클리포드+π/12 게이트 세트에 대해 알려진 결과를 성공적으로 재현하여 그 일반성과 타당성을 검증한다.
• 클리포드+T+V에 대한 수치 실험 결과, 알고리즘이 낮은 비용 벡터를 가진 회로를 생성하며, ε = 10⁻⁶일 때 평균 런타임이 1초 이내임을 확인하였다.
• 클리포드+T+V 세트에서 감소된 노름이 5인 26개의 서로 다른 게이트를 식별하였으며, 이 중 20개는 T 및 V 게이트의 조합로 표현 가능하여 잠재적인 비용 절감 가능성을 시사한다.
• 결과는 효율적 합성에 기반한 수론적 추측이 알려진 게이트 세트를 초월해 더 넓은 범주인 '골든 게이트' 구성으로까지 확장될 수 있음을 간접적으로 뒷받침한다.