[논문 리뷰] The quantum query complexity of implementing black-box unitary transformations

Dominic W. Berry, Andrew M. Childs|arXiv (Cornell University)|2009. 10. 22.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 블랙박스 해밀토니안을 시뮬레이션하고 블랙박스 유니터리 연산을 구현하기 위해 양자 워크 기반 방법을 도입하여 쿼리 복잡도를 크게 향상시킨다. 희박한 해밀토니안 시뮬레이션의 경우 희박성 D와 진화 시간 t에 대해 선형 스케일링을 달성하고, N×N 유니터리 연산의 쿼리 복잡도를 O(N^{2/3} (log log N)^{4/3})로 감소시킨다. 대부분의 유니터리 연산은 오직 O(√N) 쿼리만 필요하며, 이는 최적이다.

ABSTRACT

We present general methods for simulating black-box Hamiltonians using quantum walks. These techniques have two main applications: simulating sparse Hamiltonians and implementing black-box unitary operations. In particular, we give the best known simulation of sparse Hamiltonians with constant precision. Our method has complexity linear in both the sparseness D (the maximum number of nonzero elements in a column) and the evolution time t, whereas previous methods had complexity scaling as D^4 and were superlinear in t. We also consider the task of implementing an arbitrary unitary operation given a black-box description of its matrix elements. Whereas standard methods for performing an explicitly specified N x N unitary operation use O(N^2) elementary gates, we show that a black-box unitary can be performed with bounded error using O(N^{2/3} (log log N)^{4/3}) queries to its matrix elements. In fact, except for pathological cases, it appears that most unitaries can be performed with only O(sqrt{N}) queries, which is optimal.

연구 동기 및 목표

• 블랙박스 해밀토니안을 양자 워크를 이용해 효율적인 양자 알고리즘으로 시뮬레이션하는 것.
• 행렬 원소를 통해 지정된 임의의 유니터리 연산을 구현할 때 쿼리 복잡도를 줄이는 것.
• 희박한 해밀토니안 시뮬레이션과 일반적인 유니터리 구현에 대해 최적 또는 근접한 최적의 쿼리 스케일링을 달성하는 것.
• 이전 방법들이 희박성 D와 진화 시간 t에 대해 나쁜 스케일링을 보였던 한계를 해결하는 것.

제안 방법

• 블랙박스 해밀토니안을 시뮬레이션하기 위해 양자 워크 기법을 활용하여 효율적인 상태 진화를 가능하게 한다.
• 해밀토니안의 행렬 구조를 전이 진폭이 제어된 그래프 위의 워크로 매핑하는 양자 워크 프레임워크를 구축한다.
• 최소한의 쿼리로 오차가 제한된 시뮬레이션을 달성하기 위해 진폭 강화 및 위상 추정 기법을 적용한다.
• 유니터리의 행렬 원소가 오라클을 통해 액세스되는 쿼리 모델을 사용하여 오라클 호출 수를 최소화한다.
• 재귀적 구성 방식을 설계하여 O(N^{2/3} (log log N)^{4/3}) 쿼리로 유니터리를 구현함으로써 기존의 O(N^2) 게이트 수에 비해 향상된 성능를 달성한다.
• 일반적인 유니터리의 쿼리 복잡도를 분석하여 대부분의 경우 O(√N) 쿼리로 충분함을 보이며, 이는 최적이다.

실험 결과

연구 질문

• RQ1 양자 워크 기반 방법이 희박한 해밀토니안 시뮬레이션에서 희박성 D와 진화 시간 t에 대해 선형 스케일링을 달성할 수 있는가?
• RQ2 행렬 원소가 오라클을 통해만 액세스 가능한 경우, 임의의 N×N 유니터리를 구현하기 위해 필요한 최소 쿼리 수는 얼마인가?
• RQ3 유니터리 구현에 대해 O(N^2) 이하의 쿼리 복잡도를 달성할 수 있으며, 만약 가능하면 얼마나 낮아질 수 있는가?
• RQ4 일반적이거나 일반적인 유니터리의 경우 쿼리 복잡도는 어떻게 스케일링되는가? 실제로 O(√N)를 달성할 수 있는가?

주요 결과

• 이 방법은 희박한 해밀토니안 시뮬레이션에서 희박성 D와 진화 시간 t에 대해 선형 스케일링을 달성하여, 이전 방법이 D^4로 스케일링되고 시간에 대해 초선형이었던 것보다 뛰어나다.
• N×N 유니터리 연산을 구현하기 위한 쿼리 복잡도는 O(N^{2/3} (log log N)^{4/3})로 감소되었으며, 이는 기존의 표준 O(N^2) 게이트 수에 비해 상당한 향상이다.
• 병행적인 경우를 제외한 대부분의 유니터리 연산은 오직 O(√N) 쿼리만 필요하며, 이는 이론적 하한선과 일치하므로 최적이다.
• 양자 워크 프레임워크는 최소 자원 오버헤드로 블랙박스 해밀토니안의 유한 오차 시뮬레이션을 가능하게 한다.
• 결과적으로 블랙박스 유니터리 연산은 고전적으로 예상되는 것보다 훨씬 적은 쿼리로 구현 가능하며, 특히 큰 N에 대해 뚜렷한 이점이 있다.
• 이 방법은 해밀토니안 시뮬레이션과 유니터리 합성 분야에서 양자 알고리즘 설계의 새로운 기준을 설정한다.