[논문 리뷰] Trading inverses for an irrep in the Solovay-Kitaev theorem

Adam Bouland, Māris Ozols|DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)|2017. 12. 28.

Electronic and Structural Properties of Oxides참고 문헌 30인용 수 3

한 줄 요약

이 논문은 보편 양자 게이트 집합이 역원에 대해 닫혀 있어야 한다는 조건을, 임의의 유한군 G의 비가역 표현을 포함하고 있다는 조건으로 대체하는 새로운 버전의 Solovay-Kitaev 정리를 제시한다. 군 표현 이론과 비가역 표현의 수직성에 기반하여 저자들은 다항로그 시간 복잡도의 컴파일 오버헤드를 달성하며, 보편 양자 계산을 위한 완전한 역원 없는 Solovay-Kitaev 정리로의 부분적 진전을 이룬다.

ABSTRACT

The Solovay-Kitaev theorem states that universal quantum gate sets can be exchanged with low overhead. More specifically, any gate on a fixed number of qudits can be simulated with error $ε$ using merely $\mathrm{polylog}(1/ε)$ gates from any finite universal quantum gate set $\mathcal{G}$. One drawback to the theorem is that it requires the gate set $\mathcal{G}$ to be closed under inversion. Here we show that this restriction can be traded for the assumption that $\mathcal{G}$ contains an irreducible representation of any finite group $G$. This extends recent work of Sardharwalla et al. [arXiv:1602.07963], and applies also to gates from the special linear group. Our work can be seen as partial progress towards the long-standing open problem of proving an inverse-free Solovay-Kitaev theorem [arXiv:quant-ph/0505030, arXiv:0908.0512].

연구 동기 및 목표

• 게이트 집합이 역원에 대해 닫혀 있어야 한다는 조건을 요구하지 않고도 Solovay-Kitaev 정리를 증명하는 오랜 동안 미해결된 문제를 해결하기 위해.
• 표현 이론적 조건으로 역원 닫힘 조건을 대체하여, 역원을 포함하지 않을 수 있는 게이트 집합에도 Solovay-Kitaev 정리의 적용 범위를 확장하기 위해.
• 유한 보편 게이트 집합이 유한군의 비가역 표현을 포함하고 있음을 전제로 하여 임의의 유니터리 게이트를 근사하는 구축 가능한 알고리즘을 제공하기 위해.
• 물리적 구현에서 흔히 실용적이지 않은 역원 연산에 대한 의존도를 줄임으로써 양자 회로 컴파일의 이론적 기반을 강화하기 위해.

제안 방법

• 게이트 집합이 유한군 G의 비가역 표현을 포함하고 있다는 조건을 도입하여, 기존 Solovay-Kitaev 정리에서 요구하는 역원 닫힘 조건을 대체한다.
• 비가역 표현의 수직성을 활용하여 게이트 근사에서 오차를 상쇄시키며, 원래 정리에서 그룹의 교환자에 기반한 오차 억제와 유사한 방식으로 작용한다.
• ε-항상 항등원에 가까운 연산을 비가역 표현의 군 원소들에 대해 평균 내는 함수 f(U)를 도입하여, 오차를 O(ε²) 수준으로 감소시키며 반복적 정밀도 향상을 가능하게 한다.
• 부피 추론을 적용하여 초기 ε₀-넷 크기를 상한으로 제시하며, d차원 시스템에서 ε₀가 1/d! 비례함을 보여주며, 이에 따라 初기 시퀀스 길이 ℓ₀ = Ω(d³ log d)임을 도출한다.
• 기존 Solovay-Kitaev 알고리즘 프레임워크를 비가역 표현 평균화를 통한 오차 감소에 맞게 재구성한다.
• 결과를 특수선형군 게이트로 확장하며, 완벽한 리 대수를 가진 다른 리 군으로의 일반화 가능성에 대해 논의한다.

실험 결과

연구 질문

• RQ1 역원 닫힘 조건을 대체할 표현 이론적 조건으로 대체함으로써 다항로그 시간 컴파일 오버헤드를 유지할 수 있는가?
• RQ2 비가역 표현을 사용하여 기존의 교환자나 역원 없이도 동일한 오차 억제 성능을 달성할 수 있는가?
• RQ3 특히 고차원 시스템에서 비가역 표현을 사용할 경우 컴파일 과정의 ε₀-넷 크기를 개선할 수 있는가?
• RQ4 비가역 표현 평균화 과정에서 군 원소의 특정 순서가 더 높은 차수의 오차 억제(예: ε³ 대비 ε²)를 이끌 수 있는가?
• RQ5 완벽한 리 대수를 가진 임의의 연결 리 군으로 역원 없는 Solovay-Kitaev 정리를 일반화할 수 있는가? (기존의 역원 닫힘 경우와 동일한 방식으로)

주요 결과

• 논문은 보편 양자 게이트 집합이 임의의 유한군 G의 비가역 표현을 포함하고 있음을 조건으로 하는 새로운 Solovay-Kitaev 정리를 수립한다.
• 컴파일 오버헤드는 여전히 1/ε에 대해 다항로그 시간으로 유지되며, 특히 O(log³·⁹⁷(1/ε))로 기존 정리의 최고 성능과 동일한 상한을 달성한다.
• 오차 감소 메커니즘은 비가역 표현에 대한 평균화에 기반하며, 이는 역원이 필요 없이도 O(ε²) 수준의 오차 억제를 가능하게 한다.
• 초기 ε₀-넷 크기는 ε₀ = Θ(1/d!) 비례하며, 이에 따라 초기 시퀀스 길이 ℓ₀ = Ω(d³ log d)가 되며, 이는 역원 닫힘 경우의 ℓ₀ = Ω(d²)보다 열 劣하다.
• S₃의 2차원 비가역 표현의 경우, 특정 군 원소 순서가 O(ε³) 오차 항을 유도하며, 이는 체계적인 평균화를 통해 오차 지수를 향상시킬 수 있음을 시사한다.
• 결과는 특수선형군 게이트로 확장되며, 더 넓은 범위의 리 군으로의 일반화 가능성에 길을 열고 있다.