[논문 리뷰] Almost-Everywhere Superiority for Quantum Computing

Edith Hemaspaandra, Lane A. Hemaspaandra외 1명|ArXiv.org|1999. 10. 08.

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

한 줄 요약

이 논문은 거의 모든 입력 길이에서 양자 컴퓨터가 어떤 문제를 고전 컴퓨터보다 지수적으로 빠르게 해결할 수 있음을 입증한다. 이는 시몬과 브라스서드-횔러의 결과를 확장한 것으로, 계산 복잡도 이론에서 새로운 대각화 기법을 사용하여, 거의 곳곳에서 모든 고전 기계보다 양자 다항시간 기계가 승리하는 문제의 존재를 증명한다.

ABSTRACT

Simon as extended by Brassard and Høyer shows that there are tasks on which polynomial-time quantum machines are exponentially faster than each classical machine infinitely often. The present paper shows that there are tasks on which polynomial-time quantum machines are exponentially faster than each classical machine almost everywhere.

연구 동기 및 목표

• 이전의 양자 가속 결과를 강화하여, 단지 무한히 자주가 아니라 거의 곳곳에서의 승리도 입증하고자 한다.
• 양자 우월성이 거의 모든 입력 크기에서 견고하게 유지될 수 있는지에 대한 기초적인 질문을 다루고자 한다.
• 밀도 기반 의미에서 양자 알고리즘이 고전 알고리즘을 지배하는 문제의 존재를 체계적으로 정의하고 증명하고자 한다.
• '거의 곳곳'의 점근적 분석을 통합하여 양자 복잡도 이론의 프레임워크를 확장하고자 한다.
• 더 강력하고 자연스러운 점근적 조건 하에서 양자 계산과 고전 계산 간의 복잡도 이론적 분리 결과를 제공하고자 한다.

제안 방법

• 계산 복잡도 이론의 맥락에서 특정 성질을 갖는 언어를 구성하기 위해 대각화 기법을 적용한다.
• 상대화된 환경에서 양자 및 고전 계산 경로를 시뮬레이션하기 위해 정교하게 설계된 오рак루 구조를 사용한다.
• 양자 다항시간 기계가 L을 결정하는 데에는 지수 시간의 이점을 가지며, 모든 고전 기계는 L에 대해 지수 시간이 걸리는 언어 L을 정의한다.
• 입력 길이에 대해 '거의 곳곳'의 기호를 적용하여, 유한한 입력 길이를 제외한 나머지 모든 입력 길이에서의 가속이 유지되도록 보장한다.
• 구성의 기초를 마련하기 위해 시몬 문제와 브라스서드-횔러의 확장 결과를 활용한다.
• 밀도 1을 갖는 것으로 '거의 곳곳'을 체계적으로 정의하기 위해 측도 이론적 접근을 사용한다.

실험 결과

연구 질문

• RQ1 양자 컴퓨터는 무한히 많은 입력 길이가 아니라 거의 모든 입력 길이에서 고전 컴퓨터보다 지수적 속도 향상을 달성할 수 있는가?
• RQ2 밀도 기반 점근적 의미에서 양자 알고리즘이 모든 고전 알고리즘을 초월하는 계산 문제는 존재하는가?
• RQ3 '거의 곳곳'의 우월성 개념을 양자 복잡도 이론 내에서 체계적으로 정의하고 증명할 수 있는가?
• RQ4 '거의 곳곳' 모델은 기존의 '무한히 자주' 모델을 어떻게 발전시키며, 양자 가속 결과에 어떤 영향을 미치는가?
• RQ5 이러한 강력한 양자 우월성은 양자 및 고전 복잡도 클래스 간 분리에 어떤 함의를 갖는가?

주요 결과

• 논문은 양자 다항시간 기계가 L을 결정할 수 있는 언어 L을 구성하였으며, 거의 모든 입력 길이에서 모든 고전 기계는 L에 대해 지수 시간이 걸린다.
• 지수적 가속은 거의 유한한 입력 길이 집합을 제외한 모든 입력 길이에서 유지되며, 자연수 집합 상에서 밀도 1로 성립함을 보였다.
• 이 결과는 시몬과 브라스서드-횔러의 '무한히 자주' 지수적 가속 결과를 훨씬 더 강력한 '거의 곳곳'의 가속 결과로 강화한 것이다.
• 이 증명은 거의 모든 입력 길이에서의 양자 기계의 우월성이 유지되도록 보장하는 새로운 대각화 기법에 의존한다.
• 구성은 상대화되어 있어, 결과가 오라클에 대해 성립하며 오라클 세계에서의 조건부 분리를 제공한다.
• 이 작업은 양자 우월성이 단지 산발적인 것이 아니라 입력 공간 전반에 걸쳐 널리 퍼져 있음을 보여주는 새로운 기준을 설정한다.