[논문 리뷰] Breaking the cubic barrier in the Solovay-Kitaev algorithm

Greg Kuperberg|arXiv (Cornell University)|2023. 06. 22.

Scientific Computing and Data Management인용 수 4

한 줄 요약

이 논문은 게이트 근사 복잡도의 장기적인 세제곱 장벽을 돌파하여, $\mathrm{SU}(d)$ 및 더 일반적인 단순 리 군에서 유니터리 게이트를 근사할 때 단어 길이를 $O((\log 1/\epsilon)^{1.44042\ldots+\delta})$로 개선한다. 이 개선은 지수적 및 이중 지수적 스케일링을 조합한 새로운 다중 척도 프레임워크에 기반하며, 교환자 기반 군 원소를 활용하여 황금률 $\phi$를 통해 지수를 1.44 이하로 낮춘다. 이 결과는 양자 회로 합성과 군 생성의 효율성을 크게 향상시킨다.

ABSTRACT

We improve the Solovay--Kitaev theorem and algorithm for a general finite, inverse-closed generating set acting on a qudit. Prior versions of the algorithm efficiently find a word of length $O(n^{3+δ})$ to approximate an arbitrary target gate to $n$ bits of precision. Using two new ideas, each of which reduces the exponent separately, our new bound on the word length is $O(n^{1.44042\ldots+δ})$. Our result holds more generally for any finite set that densely generates any connected, semisimple real Lie group, with an extra length term in the noncompact case to reach group elements far away from the identity.

연구 동기 및 목표

• 양자 게이트 근사에 대한 솔로바이-키타에프 알고리즘에서 장기적인 $O((\log 1/\epsilon)^3)$ 복잡도 한계를 극복하기 위해.
• 개선된 한계를 $\mathrm{SU}(d)$를 생성하는 임의의 유한하고 역원이 존재하는 게이트 집합에 대해, 모든 연결된 단순 실수 리 군으로 일반화하기 위해.
• 지수적 스케일링의 효율성과 이중 지수적 수렴의 정밀도를 조합한 다중 척도 알고리즘을 개발하기 위해.
• 교환자 반복에 의해 생성된 군 단어의 낮추기 계수에 대한 날카로운 경계를 설정하고, 이를 황금률과 연결하기 위해.
• 임의의 유한하고 역원이 존재하는 게이트 집합이 $\mathrm{SU}(d)$를 생성하는 데 대해 명시적인 단어 길이 경계를 제공하는 구축 가능한 알고리즘을 제시하기 위해.

제안 방법

• 두 단계로 구성된 다중 척도 프레임워크를 도입: 먼저 교환자 반복을 통해 약간의 지수적 단계를 생성하고, 그 다음 정밀한 근사로 보완한다.
• 군 원소를 생성하기 위한 반복 관계 $\omega_{n+2} = [\omega_{n+1}^{-1}, \omega_n]$를 사용하여, 단어 길이 $O(2^n)$와 낮추기 계수 $\Omega(\phi^n)$를 가지며, 여기서 $\phi$는 황금률이다.
• 교환자 항등식 $[a,b] = aba^{-1}b^{-1}$을 적용하여 비아벨 자유 부분군을 생성함으로써 근사에 필요한 충분한 비가환성을 확보한다.
• 거친 근사치를 이전 단계에서 얻은 짧고 정밀한 단어를 사용해 반복적으로 개선하는 과정을 적용한다.
• $\mathrm{SU}(2)$의 행렬 표현과 파울리 행렬을 사용하여 표준 낮추기 계수를 평가하고, 단어 복잡도에 대한 날카로운 경계를 증명한다.
• 황금률을 활용하여 $\alpha > \log_\phi 2 \approx 1.44042$인 $\ell = O((\log 1/\epsilon)^\alpha)$의 단어 길이를 확립한다.

실험 결과

연구 질문

• RQ1 일반적인 게이트 집합에 대해 솔로바이-키타에프 단어 길이 경계의 지수를 3 이하로 낮출 수 있는가?
• RQ2 다중 척도 군 근사에서 단계 크기와 정밀도 개선 비용 사이의 최적의 트레이드오프는 무엇인가?
• RQ3 교환자로 생성된 단어의 낮추기 계수는 그들의 단어 길이와 근사 능력과 어떻게 관련되는가?
• RQ4 거리가 항등원에서 유한한 비정규 단순 리 군으로 솔로바이-키타에프 정리가 일반화될 수 있는가?
• RQ5 단어 길이의 최소 달성 가능한 지수에 대해 $\alpha = \log_\phi 2$의 경계가 날카로운가?

주요 결과

• 이 논문은 $\mathrm{SU}(d)$ 내 임의의 게이트를 근사할 때 $O((\log 1/\epsilon)^{1.44042\ldots+\delta})$의 단어 길이를 달성하여 이전의 $O((\log 1/\epsilon)^{3+\delta})$ 세제곱 장벽을 돌파한다.
• 지수 $\log_\phi 2 \approx 1.44042$는 주어진 다중 척도 구성에서 최적이며, 교환자 단어의 피보나치 반복에 기인한 낮추기 계수의 성질에서 유래된다.
• 모든 연결된 단순 실수 리 군 $G$에 대해, 알고리즘은 $\ell = O((\log 1/\epsilon)^\alpha + d_G(g,1))$를 달성하며, 여기서 $d_G$는 좌-불변 편미분 메트릭이다.
• 반복 관계 $\omega_{n+2} = [\omega_{n+1}^{-1}, \omega_n]$로 생성된 단어 $\omega_n$의 낮추기 계수는 정확히 $f_n$이며, 이는 $n$번째 피보나치 수이며, $\mathrm{SU}(2)$에서 이 경계는 날카롭다.
• 단어 길이는 $n \geq 3$일 때 정확히 $\operatorname{len}(\omega_n) = (13 \cdot 2^{n-2} + c)/7$이며, 여기서 $c$는 $n \mod 3$에 따라 달라진다. 이는 지수적 성장을 확인한다.
• 이 경계는 주어진 구성 하에서 더 작은 지수 $\alpha < \log_\phi 2$를 달성할 수 없음을 반복의 점근적 행동으로 보여주며, 날카로운 경계임을 입증한다.