[논문 리뷰] Variable time amplitude amplification and a faster quantum algorithm for solving systems of linear equations

Andris Ambainis|arXiv (Cornell University)|2010. 10. 21.

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

한 줄 요약

이 논문은 다양한 시간에 종료되는 분기로 인해 증폭을 적응적으로 조정함으로써 효율성을 향상시키는 변수 시간 진폭 증폭을 소개한다. 이는 선형 시스템을 해결하기 위한 HHL 알고리즘에 적용되어 런타임을 $O(\kappa^2 \log N)$ 에서 $O(\kappa \log^3 \kappa \log N)$ 으로 감소시키며, 조건 수 $\kappa$ 에 대한 거의 최적의 의존성을 달성한다. 이 방법은 진폭 증폭에서 일찍 종료되는 분기를 활용하여 더 빠른 양자 선형 시스템 해결을 가능하게 한다.

ABSTRACT

We present two new quantum algorithms. Our first algorithm is a generalization of amplitude amplification to the case when parts of the quantum algorithm that is being amplified stop at different times. Our second algorithm uses the first algorithm to improve the running time of Harrow et al. algorithm for solving systems of linear equations from O(kappa^2 log N) to O(kappa log^3 kappa log N) where κis the condition number of the system of equations.

연구 동기 및 목표

• 다른 계산 분기들이 서로 다른 시간에 종료되는 경우를 고려한 새로운 양자 진폭 증폭 기법을 개발하는 것.
• 조건 수 $\kappa$ 에 대한 의존도를 줄임으로써 선형 방정식 시스템을 해결하는 데 사용되는 HHL 양자 알고리즘의 런타임을 향상시키는 것.
• $\kappa$ 에 대해 거의 최적의 런타임을 달성하여 이론적 하한 $\Omega(\kappa^{1-o(1)})$ 에 가까워지는 것.
• 변수 시간 진폭 증폭 기법이 선형 시스템 해결을 넘어서 다른 양자 알고리즘에까지 광범위하게 적용될 수 있음을 보여주는 것.

제안 방법

• 다양한 종료 시간을 가진 양자 알고리즘 분기들을 고려하여 적응하는 다단계에서 작동하는 일반화된 진폭 증폭 프레임워크를 도입한다.
• 성공 레지스터를 3개의 결과로 구성한다: 1(희망하는 결과), 0(실패), 2(완료되지 않은 계산)로, 변수 시간 경로를 따라 진행 상황을 추적한다.
• 기존 알고리즘 $\mathcal{A}$ 의 여러 번의 호출을 조합하여 새로운 알고리즘 $\mathcal{A}'$ 를 구성하며, 총 시간 복잡도는 $O\left(T_{\text{max}}\sqrt{\log T_{\text{max}}} + \frac{T_{\text{av}}}{\sqrt{p_{\text{succ}}}}\log^{1.5}T_{\text{max}}\right)$ 이다.
• 고유값 추정 서브루틴을 조정하여 증가하는 정밀도 단계와 함께 조기 종료를 허용함으로써 변수 시간 진폭 증폭을 HHL 알고리즘에 적용한다.
• 각 단계가 고유값 추정의 정밀도 수준에 해당하며, 성공이 감지되면 조기에 종료되는 다단계 진폭 증폭을 활용한다.
• 오차 한계와 진폭 분석을 사용하여 최종 상태가 높은 확률로 이상적인 해 상태에 매우 가까워지도록 보장하며, 단계 간 오차 전파를 통제한다.

실험 결과

연구 질문

• RQ1 다른 계산 분기들이 서로 다른 시간에 종료되는 양자 알고리즘에 대해 진폭 증폭을 일반화할 수 있는가?
• RQ2 변수 시간 진폭 증폭은 원래 HHL 접근 방식에 비해 선형 시스템을 해결하는 데 더 빠른 양자 알고리즘을 보장하는가?
• RQ3 양자 선형 시스템 해법기에서 조건 수 $\kappa$ 에 대한 최적의 의존도는 무엇이며, 새로운 진폭 증폭 기법을 통해 이를 도달할 수 있는가?
• RQ4 고유값 추정에서의 조기 종료를 활용하여 HHL 알고리즘의 $O(\kappa^2 \log N)$ 런타임을 향상시킬 수 있는가?

주요 결과

• 제안된 변수 시간 진폭 증폭은 총 런타임을 $O\left(T_{\text{max}}\sqrt{\log T_{\text{max}}} + \frac{T_{\text{av}}}{\sqrt{p_{\text{succ}}}}\log^{1.5}T_{\text{max}}\right)$ 으로 줄여, $T_{\text{av}} \ll T_{\text{max}}$ 일 경우 기존의 표준 진폭 증폭보다 빠르다.
• 단일 실행에서 희망하는 상태 $|\psi_{\text{good}}\rangle$ 를 확보할 확률가 최소 $1/2$ 이상이며, $O(\log \frac{1}{\epsilon})$ 번의 반복을 통해 $1 - \epsilon$ 으로 높일 수 있다.
• 선형 시스템을 해결하기 위한 새로운 양자 알고리즘은 $O(\kappa \log^3 \kappa \log N)$ 의 시간 복잡도를 가지며, 원래 HHL 알고리즘의 $O(\kappa^2 \log N)$ 복잡도보다 향상되었다.
• $\kappa$ 에 대한 의존도는 거의 최적이다. $BQP \neq PSPACE$ 라는 가정 하에 이론적 하한 $\Omega(\kappa^{1-o(1)})$ 에 가까워진다.
• 오차 분석 결과, 최종 상태는 이상적인 해 상태와 $O(\epsilon)$ 이내의 거리에 있으며, 고유값 추정의 다중 단계에 걸쳐 오차가 통제된다.
• 로그arithmic 요소를 제외한 한에서 이 방법은 최적이다. 복잡도 상한에 $T_{\text{max}}$ 와 $T_{\text{av}}/\sqrt{p_{\text{succ}}}}$ 항이 모두 필수적이다.