[논문 리뷰] On The Power of Exact Quantum Polynomial Time

Gilles Brassard, Peter Høyer|ArXiv.org|1996. 12. 03.

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

한 줄 요약

이 논문은 다항 시간 내에 정확한 답을 보장하는 양자 알고리즘을 조사하며, 오рак루 모델에서 이러한 정확한 양자 다항시간 기계가 고전적 유한오차 확률 컴퓨터보다 지수적으로 빠르게 문제를 해결할 수 있음을 보여준다. 핵심 기여는 정확한 양자 다항시간으로 决정 가능한 문제들이 고전적 유한오차 확률 기계로는 해결이 불가능한 문제들이 존재함을 증명하는 것이다.

ABSTRACT

We investigate the power of quantum computers when they are required to return an answer that is guaranteed correct after a time that is upper-bounded by a polynomial in the worst case. In an oracle setting, it is shown that such machines can solve problems that would take exponential time on any classical bounded-error probabilistic computer.

연구 동기 및 목표

• 다항 시간 내에 정확한 답을 반환해야 하는 양자 컴퓨터의 계산 능력을 검토하기 위해.
• 정확한 양자 다항시간 알고리즘이 고전적 유한오차 확률 계산을 뛰어넘는 문제를 해결할 수 있는지 판단하기 위해.
• 오라클 설정에서 정확한 양자 다항시간과 고전적 확률 다항시간 사이의 분리(분리성)를 확립하기 위해.

제안 방법

• 항상 다항 시간 내에 정확한 답을 반환하는 양자 알고리즘을 위한 복잡도 클래스를 체계화하기 위해.
• 오라클 모델을 사용하여 정확한 양자 다항시간 기계와 고전적 유한오차 확률 기계의 능력을 비교하기 위해.
• 정확한 양자 다항시간으로 결정 가능하지만, 어떤 고전적 유한오차 확률 컴퓨터에서도 지수시간이 필요한 특정 오라클 문제를 구성하기 위해.
• 정확한 해를 얻기 위해 필요한 쿼리 수를 분석하기 위해 양자 질의 복잡도 기법을 적용하기 위해.
• 정확한 계산을 다항 시간 내에 달성하기 위해 양자 간섭과 진폭 강화를 활용하기 위해.
• 모든 고전적 유한오차 알고리즘이 다항 시간 내에 구성된 오라클 문제를 해결할 수 없음을 보여줌으로써 분리 결과를 증명하기 위해.

실험 결과

연구 질문

• RQ1 정확한 답을 다항 시간 내에 보장하는 양자 컴퓨터가, 고전적 유한오차 확률 컴퓨터가 다항 시간 내에 해결할 수 없는 문제를 해결할 수 있는가?
• RQ2 오라클 설정에서 정확한 양자 다항시간 계산과 고전적 확률 다항시간 계산 간의 상대적 능력은 어떠한가?
• RQ3 정확한 양자 다항시간 알고리즘이 고전적 유한오차 확률 알고리즘보다 엄격히 더 강력한 오라클이 존재하는가?

주요 결과

• 정확한 양자 다항시간으로 해결 가능한 오라클 문제와, 어떤 고전적 유한오차 확률 컴퓨터에서도 지수시간이 필요한 문제의 존재가 입증된다.
• 논문은 오라클 모델에서 정확한 양자 다항시간과 고전적 유한오차 확률 다항시간 사이에 증명 가능한 지수적 분리를 확립한다.
• 결과는 정확한 양자 계산이 다항 실행 시간과 보장된 정확성의 제약 조건 하에서도 계산적 우위를 제공함을 보여준다.
• 구성은 다항 쿼리 복잡도로 정확한 해를 달성하기 위해 양자 간섭과 진폭 강화에 의존한다.
• 문제는 반복 시도를 해도 다항 시간 내에 유한오차를 달성할 수 없는 고전적 확률 알고리즘을 고려하여 설계되었다.
• 결과는 오라클 설정에서 정확한 양자 다항시간 계산이 고전적 대응 기반보다 엄격히 더 강력함을 보여준다.