[논문 리뷰] Quantum linear systems algorithm with exponentially improved dependence on precision

Andrew M. Childs, Robin Kothari외 1명|arXiv (Cornell University)|2015. 11. 07.

Quantum Computing Algorithms and Architecture인용 수 30

한 줄 요약

이 논문은 선형 시스템을 해결하는 양자 알고리즘을 제안하며, 양자 위상 추정 대신 푸리에/체비셰프 급수 기반의 연산자 구현 방식을 도입함으로써 정밀도 의존성에서 지수적 향상을 달성한다. 이 알고리즘은 log(1/ε)에 대해 다항식 시간 내에 실행되며, 이전 방법들과 비교해 ε 스케일링을 크게 감소시키면서도 N과 조건수에 대해 유사한 스케일링을 유지한다.

ABSTRACT

Harrow, Hassidim, and Lloyd showed that for a suitably specified $N imes N$ matrix $A$ and $N$-dimensional vector $\vec{b}$, there is a quantum algorithm that outputs a quantum state proportional to the solution of the linear system of equations $A\vec{x}=\vec{b}$. If $A$ is sparse and well-conditioned, their algorithm runs in time $\mathrm{poly}(\log N, 1/\epsilon)$, where $\epsilon$ is the desired precision in the output state. We improve this to an algorithm whose running time is polynomial in $\log(1/\epsilon)$, exponentially improving the dependence on precision while keeping essentially the same dependence on other parameters. Our algorithm is based on a general technique for implementing any operator with a suitable Fourier or Chebyshev series representation. This allows us to bypass the quantum phase estimation algorithm, whose dependence on $\epsilon$ is prohibitive.

연구 동기 및 목표

• 이전에 양자 위상 추정으로 인해 정밀도에 대해 열악하게 스케일링되던 양자 선형 시스템 알고리즘의 정밀도 의존성을 줄이기 위해.
• 정밀도에 대해 poly(log N, κ) 스케일링을 유지하면서도 정밀도에 대해 poly(log(1/ε)) 의존성을 달성하는 방법을 개발하기 위해.
• 위상 추정을 급수 기반의 연산자 구현 기법으로 대체함으로써 선형 시스템의 더 빠른 양자 해법을 가능하게 하기 위해.

제안 방법

• 알고리즘은 행렬 A의 역행렬을 근사하기 위해 푸리에 또는 체비셰프 급수 표현을 사용하여 A⁻¹의 효율적 양자 시뮬레이션을 가능하게 한다.
• 양자 위상 추정이 필요 없도록, 급수 전개를 통해 A⁻¹ 연산자를 구현하는 양자 회로를 구성한다.
• 부드러운 푸리에 또는 체비셰프 전개를 갖는 함수는 낮은 깊이의 양자 회로로도 구현할 수 있다는 사실을 활용한다.
• 급수 근사의 오차는 고전적 근사 이론에서 유도된 오차 한계를 통해 제어되며, 이를 통해 원하는 정밀도 ε을 달성하기 위해 급수를 잘라낸다.
• 알고리즘이 출력 상태가 A|x⟩ = |b⟩의 해 |x⟩에 비례하고 높은 정밀도로 유지됨을 보장한다.
• 전체 런타임은 poly(log N, κ, log(1/ε)) 스케일링을 보이며, 정밀도 의존성이 이제 지수적으로 향상되었다.

실험 결과

연구 질문

• RQ1 양자 선형 시스템 알고리즘의 정밀도 의존성을 poly(1/ε)에서 poly(log(1/ε))로 줄일 수 있는가?
• RQ2 낮은 회로 깊이와 높은 정확도를 유지하면서도 양자 위상 추정을 급수 기반 방법으로 대체할 수 있는가?
• RQ3 정밀도 스케일링에서 지수적 향상을 달성하면서도 N과 조건수에 대한 동일한 의존성을 유지할 수 있는가?
• RQ4 어떤 종류의 연산자가 푸리에 또는 체비셰프 급수를 통해 양자 환경에서 효율적으로 구현될 수 있는가?
• RQ5 급수 근사의 오차가 최종 해 상태의 정밀도에 어떻게 영향을 주는가?

주요 결과

• 알고리즘이 poly(log N, κ, log(1/ε))의 런타임을 달성함으로써, 이전 방법들에 비해 정밀도 의존성에서 지수적 향상을 이룬다.
• ε에 대한 의존성이 다항식에서 로그로 감소하여, 구체적으로 poly(1/ε)에서 poly(log(1/ε))로 변화하였으며, 이는 주요 이론적 진전이다.
• 양자 위상 추정을 회피함으로써, 이전에 정밀도 스케일링의 주요 병목이었던 요소를 제거하였다.
• 푸리에 또는 체비셰프 급수의 사용은 A⁻¹을 양자 컴퓨터에서 정확하고 효율적으로 구현할 수 있게 해준다.
• 알고리즘은 원래 HHL 알고리즘과 동일한 N과 조건수 κ에 대한 의존성을 유지한다.
• 이 방법은 일반적이며, 적절한 부드러운 급수 표현을 갖는 모든 연산자에 적용 가능하여 선형 시스템을 초월한 응용을 가능하게 한다.