[논문 리뷰] Optimal parallel quantum query algorithms

Stacey Jeffery, Frédéric Magniez외 1명|arXiv (Cornell University)|2013. 09. 24.

Quantum Computing Algorithms and Architecture참고 문헌 34인용 수 6

한 줄 요약

이 논문은 각 타임스텝에서 동시에 $ p $개의 쿼리를 수행하는 병렬 양자 알고리즘의 날카운 쿼리 복잡도 한계를 확립한다. 원소의 동일성 여부 문제에 대해 $ \Theta((n/p)^{2/3}) $ 쿼리, $ k $-합 문제에 대해 $ \Theta((n/p)^{k/(k+1)}) $ 쿼리를 달성하기 위해 병렬화된 양자 산책 알고리즘을 제안하며, 수정된 반증 방법과 학습 그래프 기법을 사용하여 이러한 한계가 최적임을 증명한다.

ABSTRACT

We study the complexity of quantum query algorithms that make p queries in parallel in each timestep. This model is in part motivated by the fact that decoherence times of qubits are typically small, so it makes sense to parallelize quantum algorithms as much as possible. We show tight bounds for a number of problems, specifically Theta((n/p)^{2/3}) p-parallel queries for element distinctness and Theta((n/p)^{k/(k+1)} for k-sum. Our upper bounds are obtained by parallelized quantum walk algorithms, and our lower bounds are based on a relatively small modification of the adversary lower bound method, combined with recent results of Belovs et al. on learning graphs. We also prove some general bounds, in particular that quantum and classical p-parallel complexity are polynomially related for all total functions f when p is small compared to f's block sensitivity.

연구 동기 및 목표

• 쿼리가 $ p $-병렬 타임스텝 동안 동시에 수행될 경우 문제의 최적 양자 쿼리 복잡도를 결정하기 위해.
• 양자 큐비트의 디코herence 시간이 제한된 문제를 해결하기 위해 양자 알고리즘에서 병렬화를 극대화하기 위해.
• 원소의 동일성 여부와 $ k $-합과 같은 기본 문제의 복잡도에 대한 이해 격차를 메우기 위해 $ p $-병렬 쿼리 모델 하에서의 복잡도를 다루기 위해.
• 고급 양자 알고리즘 기법을 사용하여 이러한 문제에 대해 날카운 상한과 하한을 확립하기 위해.
• 특히 $ p $가 블록 민감도에 비해 작을 경우, 전체 함수에 대해 고전적이고 양자적 $ p $-병렬 복잡도 간의 관계를 탐색하기 위해.

제안 방법

• 각 타임스텝에서 동시에 $ p $개의 쿼리를 수행하는 $ p $-병렬 쿼리 모델 하에서 원소의 동일성 여부 문제와 $ k $-합 문제를 효율적으로 해결하는 병렬화된 양자 산책 알고리즘을 개발한다.
• $ p $-병렬 쿼리 복잡도에 대한 날카운 하한을 유도하기 위해 반증 하한 방법의 수정된 버전을 적용한다.
• Belovs 등이 제시한 최근의 학습 그래프 결과를 활용하여 하한 분석을 강화한다.
• $ p $-병렬 쿼리 모델을 사용하여 디코herence 제약 조건 하에서 양자 계산의 시간과 너비 간의 트레이드오프를 균형 잡는다.
• 고전적이고 양자적 $ p $-병렬 복잡도 간의 관계를 분석하여, $ p $가 블록 민감도에 비해 작을 경우 전체 함수에 대해 다항식적으로 동등함을 보여준다.
• 회로 깊이와 쿼리 복잡도 모델을 활용하여 병렬 환경에서의 양자 스피드업을 비교한다.

실험 결과

연구 질문

• RQ1 원소의 동일성 여부 문제에 대해 $ p $-병렬 쿼리 모델에서 최적의 양자 쿼리 복잡도는 무엇인가?
• RQ2 $ k $-합 문제에 대해 $ p $-병렬 양자 쿼리 복잡도는 어떻게 스케일링되는가?
• RQ3 반증 방법은 $ p $-병렬 양자 쿼리 모델에서 날카운 하한을 제공하기 위해 적응시킬 수 있는가?
• RQ4 전체 함수에 대해 $ p $가 블록 민감도에 비해 작을 경우, 고전적이고 양자적 $ p $-병렬 쿼리 복잡도 간의 관계는 무엇인가?
• RQ5 병렬화된 양자 산책으로 달성된 상한은 이러한 문제들에 대해 최적인가?

주요 결과

• 논문은 $ p $-병렬 모델에서 원소의 동일성 여부 문제에 대해 $ \Theta((n/p)^{2/3}) $ 쿼리의 날카운 상한을 확립한다.
• 또한 $ k $-합 문제에 대해 $ p $-병렬 쿼리 모델에서 $ \Theta((n/p)^{k/(k+1)}) $ 쿼리의 날카운 상한을 도출한다.
• 저자들은 수정된 반증 방법과 학습 그래프 기법을 조합하여 하한을 유사하게 유도함으로써 이러한 상한이 최적임을 증명한다.
• 논문은 $ p $가 함수 $ f $의 블록 민감도에 비해 작을 경우, 모든 전체 함수 $ f $에 대해 양자적 및 고전적 $ p $-병렬 쿼리 복잡도가 다항식적으로 관련되어 있음을 보여준다.
• 결과적으로 병렬화는 특히 $ p $가 클 경우 쿼리 복잡도를 크게 감소시키며, 양자 스피드업은 병렬 쿼리 제약 조건 하에서도 강건함을 보여준다.
• 이 연구는 $ p $-병렬 모델이 디코herence 제약 조건 하에서 고장 내성 양자 알고리즘 설계에 실용적인 프레임워크임을 시사한다.