[논문 리뷰] Classical computing, quantum computing, and Shor's factoring algorithm

Yuri I. Manin|ArXiv.org|1999. 03. 02.

Quantum Computing Algorithms and Architecture참고 문헌 15인용 수 40

한 줄 요약

이 논문은 양자 컴퓨팅의 기초 원리를 탐구하며, 양자 병렬성과 쇼어의 인수분해 알고리즘을 통해 고전 컴퓨팅에 비해 그 슈퍼리어리티를 강조한다. 고전적으로 해결이 불가능한 소수 인수분해 문제도 양자 컴퓨터에서는 다항 시간 내에 해결 가능하다는 것을 보여주며, 계산 복잡도 이론과 양자 알고리즘 설계 분야에서의 돌풍을 일으킨다.

ABSTRACT

This is an expository talk written for the Bourbaki Seminar. After a brief introduction, Section 1 discusses in the categorical language the structure of the classical deterministic computations. Basic notions of complexity icluding the P/NP problem are reviewed. Section 2 introduces the notion of quantum parallelism and explains the main issues of quantum computing. Section 3 is devoted to four quantum subroutines: initialization, quantum computing of classical Boolean functions, quantum Fourier transform, and Grover's search algorithm. The central Section 4 explains Shor's factoring algorithm. Section 5 relates Kolmogorov's complexity to the spectral properties of computable function. Appendix contributes to the prehistory of quantum computing.

연구 동기 및 목표

• 고전 컴퓨팅보다 더 강력한 계산 모델로서의 양자 컴퓨팅의 이론적 기반을 구축하는 것.
• 특히 쇼어의 인수분해 알고리즘을 중심으로 하여 고전 컴퓨팅의 한계를 극복할 수 있는 양자 알고리즘의 실현 가능성과 그 영향을 탐구하는 것.
• 특정 문제에 대해 지수적 속도 향상을 가능하게 하는 양자 병렬성과 유니타리 진화의 역할을 탐색하는 것.
• 특히 수론과 암호학의 맥락에서 양자역학과 계산 복잡도 이론 간의 상호작용을 고찰하는 것.
• 양자 시스템의 시뮬레이션과 어려운 조합 최적화 문제 해결에 있어 양자 컴퓨팅이 지수적 자원 요구량을 해결할 수 있다는 제안

제안 방법

• 유한 차원 힐버트 공간 내에서 유니타리 진화와 양자 튜링 기계의 프레임워크를 사용하여 양자 계산을 모델링하는 것.
• 양자 병렬성 개념을 적용하여, 양자 컴퓨터가 동시에 초위상 상태의 입력 조합에 대해 함수를 평가할 수 있도록 하는 것.
• 쇼어 알고리즘의 핵심 요소인 양자 푸리에 변환과 위상 추정을 포함한 양자 서브루틴을 활용하는 것.
• 역행 가능성을 유지하면서도 고전적으로 계산 가능한 함수를 양자 회로를 통해 역행 가능하게 계산하는 방법을 도입하여, 양자 역행성 문제를 다루는 것.
• 재귀적 순열에서 유도된 유니타리 연산자의 스펙트럼 성질을 분석하여 양자 튜링 기계 모델과 연결하는 것.
• 계산 가능한 함수의 구조와 그 양자 표현 방식을 이해하기 위해 콜모고로프 복잡도를 이론적 도구로 활용하는 것.

실험 결과

연구 질문

• RQ1 양자 컴퓨터는 고전적으로 해결이 불가능한 문제들, 예를 들어 소수 인수분해 문제를 다항 시간 내에 해결할 수 있는가?
• RQ2 양자 중첩과 얽힘은 고전적 한계를 초월한 계산 속도 향상에 어떤 역할을 하는가?
• RQ3 역행성과 유니타리성을 유지하면서도 고전 알고리즘을 양자 계산에 어떻게 적응시킬 수 있는가?
• RQ4 뇌의 고전적 행동을 고려할 때, 양자 컴퓨팅은 인지 과정을 얼마나 잘 모델링할 수 있는가?
• RQ5 양자 복잡도 이론은 양자 시스템의 시뮬레이션과 새로운 양자 알고리즘 개발에 어떤 영향을 미치는가?

주요 결과

• 쇼어 알고리즘은 양자 컴퓨터에서 소수 인수분해 문제를 다항 시간 내에 해결할 수 있으며, 이는 고전적으로 가장 빠른 알고리즘이라도 지수 시간이 소요되는 것과 대비된다.
• 양자 병렬성 덕분에 양자 컴퓨터는 초위상 상태에 있는 모든 입력에 대해 함수를 동시에 평가할 수 있으며, 이는 특정 문제에 대해 지수적 우월성을 제공한다.
• 양자 푸리에 변환은 쇼어 알고리즘의 핵심 서브루틴으로서, 인수분해에 필수적인 주기 탐색을 효율적으로 수행한다.
• 양자 상태 공간의 지수적 차원성 덕분에 양자 컴퓨팅은 고전 컴퓨터보다 양자 시스템을 더 효율적으로 시뮬레이션할 수 있다.
• 재귀적 순열에서 유도된 유니타리 연산자의 사용은 구조적 동역학을 가진 양자 튜링 기계에 대한 이론적 프레임워크를 제안한다.
• 콜모고로프 복잡도는 계산 가능한 함수의 구조를 이해하는 데 도움을 주며, 실용적 계산은 낮은 복잡도를 가진 함수에 집중하며, 이러한 함수는 양자 속도 향상에 더 적합할 수 있음을 시사한다.