[논문 리뷰] Classical and Quantum Complexity of the Sturm-Liouville Eigenvalue Problem

Anargyros Papageorgiou, H. Woźniakowski|ArXiv.org|2005. 02. 09.

Quantum Computing Algorithms and Architecture참고 문헌 32인용 수 8

한 줄 요약

이 논문은 비음수이자 두 번 연속으로 미분 가능한 잠재함수를 가진 일변수 스투름-리우빌 문제의 최소 고유값을 근사하는 데 있어 고전적 및 양자 복잡도를 분석한다. 고전적 결정론적 및 랜덤화 설정에서는 각각 Θ(ε⁻¹/²) 및 Θ(ε⁻²/⁵)번의 함수 평가가 필요하며, 양자 알고리즘은 힘의 질의를 사용해 지수적 속도 향상을 달성한다. 이는 Θ(log ε⁻¹)의 질의와 O(log² ε⁻¹)의 양자 연산을 필요로 하며, 최소한의 큐비트로 효율적인 고유값 근사가 가능하다.

ABSTRACT

We study the approximation of the smallest eigenvalue of a Sturm-Liouville problem in the classical and quantum settings. We consider a univariate Sturm-Liouville eigenvalue problem with a nonnegative function $q$ from the class $C^2([0,1])$ and study the minimal number $n(\e)$ of function evaluations or queries that are necessary to compute an $\e$-approximation of the smallest eigenvalue. We prove that $n(\e)=Θ(\e^{-1/2})$ in the (deterministic) worst case setting, and $n(\e)=Θ(\e^{-2/5})$ in the randomized setting. The quantum setting offers a polynomial speedup with {\it bit} queries and an exponential speedup with {\it power} queries. Bit queries are similar to the oracle calls used in Grover's algorithm appropriately extended to real valued functions. Power queries are used for a number of problems including phase estimation. They are obtained by considering the propagator of the discretized system at a number of different time moments. They allow us to use powers of the unitary matrix $\exp( frac12 { m i}M)$, where $M$ is an $n imes n$ matrix obtained from the standard discretization of the Sturm-Liouville differential operator. The quantum implementation of power queries by a number of elementary quantum gates that is polylog in $n$ is an open issue.

연구 동기 및 목표

• 스투름-리우빌 문제의 최소 고유값을 근사하는 데 있어 고전적 및 양자 질의 복잡도를 결정하는 것.
• 함수 평가 및 양자 질의의 관점에서 결정론적, 랜덤화, 양자 알고리즘의 성능을 분석하는 것.
• 힘 질의와 위상 추정을 사용한 양자 알고리즘의 질의 복잡도와 큐비트 요구량에 대한 날카로운 경계를 설정하는 것.
• 스투름-리우빌 고유값 문제와 가중 통합 문제 사이의 관계를 유도하여, 관련 문제에 대해 다항로그 복잡도를 달성하는 것.

제안 방법

• 디리클레 경계 조건을 가진 미분 연산자의 최소 고유값을 찾는 것으로 스투름-리우빌 고유값 문제를 수식화한다.
• 미분 연산자를 n×n 행렬 M_q로 이산화하여, 유니터리 진동 exp(½iM_q)를 통한 양자 시뮬레이션을 가능하게 한다.
• 위상 추정 알고리즘을 사용하여 높은 확률로 최소 고유값을 추정한다.
• 근사 함수 평가에 있어서 그로버 유형의 오라클 호출과 유사한 비트 질의를 양자 알고리즘에 활용한다.
• 자이스크 및 파파예오르기 알고리즘을 사용하여 위상 추정을 위한 초기 근사 고유벡터 상태를 준비한다.
• 고유값 문제와 가중 통합 문제 사이의 연결을 도출하여, 광범위한 문제 클래스에 대해 다항로그 복잡도를 달성할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 스투름-리우빌 문제의 최소 고유값을 근사하는 데 있어 고전적 최악의 경우 복잡도는 무엇인가?
• RQ2 랜덤화 고전적 복잡도는 최악의 경우 설정과 비교해 어떻게 다른가?
• RQ3 이 문제에 대해 비트 질의와 힘 질의를 사용할 때 가능한 양자 질의 복잡도는 무엇인가?
• RQ4 힘 질의는 이 비선형 연속 문제에 대해 고전적 방법에 비해 지수적 속도 향상을 가능하게 하는가?
• RQ5 양자 설정에서 ε-정확도를 달성하기 위해 필요한 최소 큐비트 수는 얼마인가?

주요 결과

• 고전적 결정론적 최악의 경우 복잡도는 Θ(ε⁻¹/²)의 함수 평가이다.
• 고전적 랜덤화 복잡도는 Θ(ε⁻²/⁵)이며, 최악의 경우 설정에 비해 다항식 속도 향상을 보인다.
• 비트 질의를 사용한 양자 알고리즘은 다항식 속도 향상을 달성하며, 확률 3/4로 ε-정확도를 위해 Θ(ε⁻¹/³)의 질의가 필요하다.
• 힘 질의와 위상 추정을 사용할 경우, 문제는 Θ(log ε⁻¹)의 질의, O(log² ε⁻¹)의 양자 연산, 3/2 log ε⁻¹의 큐비트로 해결할 수 있다.
• 큐비트 복잡도는 약 ½ log ε⁻¹로 하한이 존재하여 큐비트 사용에 대한 기본적인 한계를 설정한다.
• 문제는 가중 통합 문제로 환원 가능하며, 이는 광범위한 계산 문제 클래스에 대해 다항로그 복잡도를 달성할 수 있도록 한다.