[논문 리뷰] Quantum Computing and Shor`s Factoring Algorithm

И. В. Волович|ArXiv.org|2001. 09. 02.

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

한 줄 요약

이 논문은 양자 푸리에 변환과 모듈로 exponentiation을 사용하여 다항 시간 내에 정수를 인수분해하는 양자 알고리즘인 쇼어의 인수분해 알고리즘에 대한 상세한 서술을 제시한다. 고전적으로 해결이 불가능한 인수분해 문제가 양자 컴퓨터에서는 효율적으로 해결될 수 있음을 보여주며, 알고리즘은 O((log N)² log log N log log log N)개의 양자 게이트를 요구하고, N에 대한 수론적 성질에 의해 높은 성공 확률을 보인다.

ABSTRACT

Lectures on quantum computing. Contents: Algorithms. Quantum circuits. Quantum Fourier transform. Elements of number theory. Modular exponentiation. Shor`s algorithm for finding the order. Computational complexity of Schor`s algorithm. Factoring integers. NP-complete problems.

연구 동기 및 목표

• 연구자들에게 양자 컴퓨팅과 수론에 대한 종합적인 소개를 제공하기 위해.
• 고전적으로 어려운 문제를 해결하는 방법으로서 정수 인수분해를 위한 쇼어 알고리즘을 설명하기 위해.
• 양자 푸리에 변환과 모듈로 지수법칙을 통해 양자 인수분해의 다항 시간 효율성을 확립하기 위해.
• 쇼어 알고리즘의 계산 복잡도와 성공 확률을 분석하기 위해.
• 정수 인수분해 문제를 N에 대한 곱셈군에서의 순서 찾기 문제로 환원하기 위해.

제안 방법

• 알고리즘은 무작위로 선택된 기수 m에 대해 N에 대한 m의 거듭제곱을 나타내는 양자 상태의 중첩을 준비함으로써 시작된다.
• 모듈로 지수법칙을 적용하여 초월 상태인 |m^x mod N⟩을 계산함으로써 지수와 결과를 얽힘 상태로 만든다.
• 지수 레지스터에 양자 푸리에 변환을 적용하여 m mod N의 순서 r과 관련된 주기적 구조를 드러낸다.
• 측정는 1/r의 배수에 가까운 값으로 상태를 붕괴시키며, 연속 분수를 통한 고전적 후처리를 통해 r을 추출할 수 있다.
• 순서 r을 사용하여 gcd(m^{r/2} - 1, N)을 계산함으로써, r이 짝수이고 m^{r/2} ≢ ±1 mod N일 경우 비자명한 N의 인수를 얻을 수 있다.
• 실패 확률를 제한하기 위해 중국의 나머지 정리를 활용하며, N이 k개의 소인수를 가질 경우 성공 확률이 ≥ 1 - 1/2^{k-1}이 보장된다.

실험 결과

연구 질문

• RQ1 정수 인수분해는 양자 컴퓨터에서 효율적으로 해결될 수 있는가? 만약 그렇다면 필요한 양자 자원 비용은 무엇인가?
• RQ2 양자 푸리에 변환은 쇼어 알고리즘에서 주기 탐색을 어떻게 가능하게 하는가?
• RQ3 쇼어 알고리즘의 성공 확률는 무엇이며, N의 소인수 개수에 따라 어떻게 달라지는가?
• RQ4 왜 인수분해를 순서 찾기 문제로 환원하는 것이 효율적인 양자 인수분해를 위해 필수적이고 충분한가?
• RQ5 쇼어 알고리즘의 계산 복잡도는 양자 게이트 수와 고전적 후처리 측면에서 어떻게 기술될 수 있는가?

주요 결과

• 쇼어 알고리즘은 O((log N)² log log N log log log N)개의 양자 게이트로 정수 N을 인수분해하며, 다항 시간 효율성을 달성한다.
• N이 k개의 서로 다른 소인수를 가질 경우 알고리즘의 성공 확률는 최소 1 - 1/2^{k-1} 이상이며, 복합수 N에 대해 높은 성공률을 보장한다.
• 양자 푸리에 변환은 O((log N)²)개의 양자 게이트로 구현되며, 주기 탐지의 핵심 요소이다.
• 모듈로 지수법칙은 다항 게이트 수를 사용하는 양자 회로를 통해 효율적으로 수행되며, 확장성에 필수적이다.
• 순서 찾기 서브루틴은 알고리즘의 핵심이며, N에 대한 곱셈군의 수론적 구조 덕분에 높은 확률로 성공함을 보였다.
• r가 짝수이고 m^{r/2} ≢ ±1 mod N일 경우, gcd(m^{r/2} - 1, N)을 통한 최종 인수분해 단계는 비자명한 인수를 얻으며, 이는 상당한 확률로 발생한다.