[논문 리뷰] Efficient Clifford+T approximation of single-qubit operators

Peter Selinger|arXiv (Cornell University)|2012. 12. 26.

Quantum Computing Algorithms and Architecture참고 문헌 15인용 수 10

한 줄 요약

이 논문은 클리포드+T 게이트를 사용하여 임의의 단일 큐비트 유니터리 연산자를 SU(2)에서 근사하기 위한 랜덤화된 효율적 알고리즘을 제시한다. z-회전에 대해 $ K + 4\log_2(1/\varepsilon) $의 최적 T-카운트 스케일링을 달성하고, 일반적인 SU(2) 연산자에 대해서는 $ K + 12\log_2(1/\varepsilon) $의 스케일링을 달성한다. 약한 수론적 가정 하에 알고리즘은 $ \log(1/\varepsilon) $에 대해 기대 시간이 다항식 수준이 되며, 이는 정보 이론적 하한선에 대해 추가 상수항을 제외하고 최적이다.

ABSTRACT

We give an efficient randomized algorithm for approximating an arbitrary element of $SU(2)$ by a product of Clifford+$T$ operators, up to any given error threshold $ε>0$. Under a mild hypothesis on the distribution of primes, the algorithm's expected runtime is polynomial in $\log(1/ε)$. If the operator to be approximated is a $z$-rotation, the resulting gate sequence has $T$-count $K+4\log_2(1/ε)$, where $K$ is approximately equal to $10$. We also prove a worst-case lower bound of $K+4\log_2(1/ε)$, where $K=-9$, so that our algorithm is within an additive constant of optimal for certain $z$-rotations. For an arbitrary member of $SU(2)$, we achieve approximations with $T$-count $K+12\log_2(1/ε)$. By contrast, the Solovay-Kitaev algorithm achieves $T$-count $O(\log^c(1/ε))$, where $c$ is approximately $3.97$.

연구 동기 및 목표

• 클리포드+T 게이트 세트를 사용하여 오차 허용 범위 $ \varepsilon $ 내에서 임의의 SU(2) 연산자를 근사하는 효율적 알고리즘을 개발하는 것.
• 정보 이론적 하한선에 대해 추가 상수항을 제외하고 최적의 T-카운트 스케일링을 달성하는 것.
• 기대 시간이 $ \log(1/\varepsilon) $에 대해 다항식 수준이 되도록 알고리즘을 보장하여, 이전의 소로바이-키타에프 알고리즘의 $ O(\log^{3.97}(1/\varepsilon)) $ 복잡도를 향상시키는 것.
• 기존 최적 알고리즘들이 자원 상태나 특수한 앤시라 준비를 필요로 하던 것과 달리, 보조 큐비트를 필요로 하지 않는 해결책을 제공하는 것.
• z-회전에 대한 T-카운트에 대한 상한과 하한을 확립하여, 알고리즘 성능이 거의 최적임을 입증하는 것.

제안 방법

• T-카운트가 유한한 클리포드+T 회로에 대응하는 대수적 정수의 구조적 격자 위에서 랜덤 탐색을 수행한다.
• 정수환 $ \mathbb{Z}[i] $ 내에서 소수의 분포에 기반한 수론적 기법을 활용하여, $ \varepsilon $-영역 내에 충분한 밀도의 근사 점이 존재하도록 보장한다.
• 목표 회전 각도에 대한 좋은 유리수 근사값을 찾기 위해 연속 분수 방법의 변종을 적용하고, 이를 클리포드+T 회로로 매핑한다.
• SU(2) 군의 기하학적 성질을 활용하여 기각 샘플링 전략을 구현함으로써, 목표와 $ \varepsilon $ 이내인 클리포드+T 회로를 효율적으로 탐색한다.
• T-카운트 $ k $인 클리포드+T 게이트의 수가 $ 4^k $로 증가하고, $ \varepsilon $-영역의 부피가 $ \varepsilon^3 $ 비례하므로, 각 반복에서 일정한 기대값의 후보 수를 확보한다.
• 에러 영역을 반복적으로 축소하는 재귀적 정밀화 전략을 사용하여, 소수 분포 가정 하에 다항식 런타임을 유지한다.

실험 결과

연구 질문

• RQ1 클리포드+T 게이트를 사용하여 임의의 단일 큐비트 유니터리 연산자를 근사하는 데 있어, T-카운트 스케일링이 $ O(\log(1/\varepsilon)) $로 정보 이론적 하한선과 일치하는 효율적 랜덤 알고리즘이 가능한가?
• RQ2 보조 큐비트나 특수 자원 상태 없이도 최적의 T-카운트 스케일링을 달성할 수 있는가?
• RQ3 z-회전에 대해 T-카운트 표현식의 최밀한 상수항은 무엇이며, 알고리즘이 이를 달성할 수 있는가?
• RQ4 알고리즘의 런타임은 $ \varepsilon $ 감소에 따라 어떻게 변화하는가? 그리고 어떤 수론적 가정 하에 $ \log(1/\varepsilon) $에 대해 다항식 수준인가?
• RQ5 효율성을 유지하면서 T-카운트의 상수 요소를 줄이는 다중 곱셈 오버클럭킹을 처리할 수 있도록 알고리즘을 수정할 수 있는가?

주요 결과

• z-회전에 대해 알고리즘은 $ K + 4\log_2(1/\varepsilon) $의 T-카운트를 달성하며, $ K \approx 10 $이다. 이는 $ K = -9 $일 때의 최악의 하한선 $ K + 4\log_2(1/\varepsilon) $와 일치하여, 거의 최적임을 입증한다.
• 일반적인 SU(2) 연산자에 대해 알고리즘은 $ K + 12\log_2(1/\varepsilon) $의 T-카운트를 달성하며, 이는 소로바이-키타에프 알고리즘의 $ O(\log^{3.97}(1/\varepsilon)) $ 복잡도에 비해 크게 향상된 것이다.
• $ \mathbb{Z}[i] $ 내에서 소수가 충분히 잘 분포되어 있다는 가정 하에, 알고리즘의 기대 런타임은 $ \log(1/\varepsilon) $에 대해 다항식 수준이 되며, 고정밀도 근사에 매우 효율적이다.
• 이 알고리즘은 보조 큐비트나 특수 상태 준비 없이도 최적의 $ O(\log(1/\varepsilon)) $ T-카운트 스케일링을 달성한 최초의 알고리즘이다.
• 실험 결과는 이론적 스케일링과 일치한다: $ \varepsilon = 10^{-1000} $일 때 T-카운트는 13,300이며, 런타임은 약 505초로, $ O(\log(1/\varepsilon)) $ 행동과 일치한다.
• 알고리즘은 각 반복에서 일정한 기대 후보 수를 유지하며, 후보 당 평균 처리 시간은 느리게 증가하므로, 오차 임계값 전역에서 안정적이고 예측 가능한 성능을 유지한다.