[논문 리뷰] Complexity of Searching Maximum of a Function on Quantum Computer

Maciej Goćwin|arXiv (Cornell University)|2005. 07. 06.

Quantum Computing Algorithms and Architecture참고 문헌 9인용 수 1

한 줄 요약

이 논문은 양자 컴퓨터를 사용하여 헬더 클래스 함수의 최댓값을 찾는 데 있어 상한과 하한이 일치하는 결과를 도출하며, 양자 쿼리 복잡도와 이산 최댓값 찾기 기법을 활용하여 고전적 결정론적 및 랜덤 알고리즘보다 제곱근 속도 향상을 보여준다.

ABSTRACT

In this paper we deal with a problem of finding maximum of a function from the Holder class on quantum computer. We present matching lower and upper bounds on the complexity of this problem in the quantum query model. We prove upper bounds by constructing an algorithm that uses the algorithm for finding maximum of discrete sequence. To prove lower bounds we use result for finding logical OR of sequence of bits. We show that quantum computer yields a quadratic speed-up over deterministic and randomized algorithms.

연구 동기 및 목표

• 헬더 클래스 함수의 최댓값을 찾는 데 필요한 양자 쿼리 복잡도를 규명하기 위해.
• 필요한 양자 쿼리 수에 대한 날카로운 상한과 하한을 확립하기 위해.
• 양자 복잡도를 고전적 결정론적 및 랜덤 알고리즘과 비교하기 위해.
• 양자 계산이 이 최적화 문제에서 제곱근 속도 향상을 달성할 수 있음을 보여주기 위해.

제안 방법

• 연속적인 최댓값 찾기 문제를 유한한 수열에서의 이산 최댓값 찾기 문제로 환원하는 양자 알고리즘을 구축하기 위해.
• 이산 수열의 최댓값을 찾는 데 알려진 양자 알고리즘을 서브루틴으로 활용하기 위해.
• 비트 문자열의 논리합을 계산하는 데 필요한 양자 쿼리 복잡도에 기반한 하한 기법을 적용하기 위해.
• 헬더 클래스의 부드러움 성질을 활용하여 함수의 변동성을 제한하고 이산화를 가능하게 하기 위해.
• 최적성 증명을 위해 양자 쿼리 모델에서 상한과 하한이 일치하도록 확립하기 위해.
• 헬더 클래스의 구조를 활용하여 이산화 오차가 유한하고 제어 가능하도록 보장하기 위해.

실험 결과

연구 질문

• RQ1 헬더 클래스 함수의 최댓값을 찾는 데 필요한 양자 쿼리 복잡도는 무엇인가?
• RQ2 이 문제에 대해 양자 알고리즘이 고전적 결정론적 및 랜덤 알고리즘보다 증명 가능한 속도 향상을 달성할 수 있는가?
• RQ3 필요한 양자 쿼리 수에 대한 날카로운 상한과 하한은 무엇인가?
• RQ4 헬더 클래스 함수의 부드러움은 양자 최댓값 찾기 알고리즘의 설계와 복잡도에 어떻게 영향을 미치는가?

주요 결과

• 헬더 클래스 함수의 최댓값을 찾는 데 필요한 양자 쿼리 복잡도는 날카로운 상한과 하한으로 둘러싸여 있어 최적성을 보여준다.
• 이산 최댓값 찾기를 서브루틴으로 사용하는 양자 알고리즘이 상한을 달성하도록 구성되었다.
• 하한은 비트 문자열의 논리합을 계산하는 데 필요한 양자 쿼리 복잡도에서 유도되었다.
• 고전적 결정론적 및 랜덤 알고리즘 대비 양자 접근 방식은 제곱근 속도 향상을 제공한다.
• 결과는 양자 쿼리 모델에서 성립하여, 양자 계산이 이 연속 최적화 문제의 클래스에 있어 상당한 이점을 제공함을 확인한다.