[논문 리뷰] Fast versions of Shor's quantum factoring algorithm

Christof Zalka|ArXiv.org|1998. 06. 24.

Quantum Computing Algorithms and Architecture참고 문헌 5인용 수 76

한 줄 요약

이 논문은 FFT 기반의 빠른 정수 곱셈을 사용하여 Shor의 인수분해 알고리즘을 고도로 병렬화하고 공간 효율적으로 설계한 양자 알고리즘을 제시한다. 이로 인해 큰 수에 대해 실행 시간을 거의 일정한 시간으로 줄일 수 있으며, 가역적 FFT-곱셈과 병렬화된 덧셈을 통해 모듈로 지수화를 최적화함으로써, 시간 복잡도가 삼차 이하가 되어, 스케일러블한 양자 컴퓨터에서 수백만 자리의 수를 매우 적은 큐비트 오버헤드로 인수분해할 수 있다.

ABSTRACT

We present fast and highly parallelized versions of Shor's algorithm. With a sizable quantum computer it would then be possible to factor numbers with millions of digits. The main algorithm presented here uses FFT-based fast integer multiplication. The quick reader can just read the introduction and the ``Results'' section.

연구 동기 및 목표

• 수백만 자리의 수를 처리할 수 있는 확장 가능한 양자 인수분해 알고리즘을 설계하는 것.
• 양자 계산의 병렬성과 최대한 높이면서 큐비트 요구량을 최소화하는 것.
• FFT를 통한 빠른 정수 곱셈을 활용해 모듈로 지수화의 시간 복잡도를 감소시키는 것.
• 고도로 연결된 고장내성 및 큐비트 수 제한이 있는 대규모 양자 컴퓨터에 최적화된 양자 회로 설계를 하는 것.
• 근사적인 모듈로 지수화가 여전히 높은 확률로 정확한 주기 탐색을 가능하게 하여 알고리즘 단순화를 가능하게 함을 보여주는 것.

제안 방법

• 큰 정수 곱셈을 가속화하기 위해 Z_{2^n+1}에서의 모듈로 산술을 사용하는 2단계 FFT-곱셈 체계를 제안한다.
• 가환성 있는 양자 회로를 사용하여 FFT 기반 곱셈을 구현하며, 조건부 덧셈과 M = 2^n + 1의 성질을 활용한 모듈로 감소를 포함한다.
• 순차적인 Toffoli 게이트 수를 상수로 줄이는 병렬화된 덧셈 기법을 도입하여, 큰 수에 대해 거의 일정한 실행 시간을 달성한다.
• 비트 블록 분해와 부호 확장 기반의 간소화된 모듈로 감소 전략을 적용하여, 불필요한 큐비트 오버헤드와 오류 전파를 감소시킨다.
• FFT 연산에서 오차 내성적인 근사치를 적용하며, 주기 탐색에 대해 작은 알고리즘 오차율(예: 2^{-40})이 허용 가능하다고 가정한다.
• 조건부 덧셈 구조를 재사용하고 복수의 큐비트 블록에 걸쳐 독립된 연산을 병렬화하여 Toffoli 게이트 수를 최적화한다.

실험 결과

연구 질문

• RQ1 FFT 기반의 빠른 곱셈이 양자 회로에 적응되어 Shor 알고리즘의 모듈로 지수화 시간 복잡도를 크게 감소시킬 수 있는가?
• RQ2 양자 덧셈을 어떻게 병렬화하여 가역성과 큐비트 사용을 최소화하면서 거의 일정한 실행 시간을 달성할 수 있는가?
• RQ3 양자 인수분해에서 계층적 FFT-곱셈을 사용할 경우, 공간(큐비트 수)과 시간(회로 깊이) 사이의 상호 교환 관계는 어떠한가?
• RQ4 근사적인 모듈로 지수화가 얼마나 정확한 주기 정보를 제공할 수 있으며, 큰 정수의 인수분해에 여전히 유용한가?
• RQ5 고도로 연결된 고장내성 아키텍처이면서 큐비트 수 제한이 있는 양자 컴퓨터에서도 최적화된 FFT 기반 곱셈을 사용해 효율적인 인수분해 알고리즘을 실행할 수 있는가?

주요 결과

• 제안된 2단계 FFT-곱셈은 L비트 수에 대해 모듈로 지수화의 시간 복잡도를 O(L^2 log L)로 감소시켜 기존의 O(L^3) 접근 방식보다 크게 향상시킨다.
• 알고리즘은 표준 3L에서 약간 증가한 5L 큐비트만을 사용하며, 대규모 연산에서 거의 일정한 회로 깊이 T_p ≈ 540 Toffoli 게이트를 달성한다.
• 각 FFT 연산당 약 2^{-40}의 작은 오차율을 허용함으로써, 게이트 수와 회로 깊이를 줄이는 단순화를 가능하게 하며, 전체 인수분해 성공률에 영향을 주지 않는다.
• FFT 연산당 총 Toffoli 게이트 수는 T ≈ 26(n + 14)로 추정되며, n은 FFT 내 중간 수의 비트 길이이므로, 큰 L에 대해 확장 가능하다.
• 큐비트 덧셈 연산의 병렬화로 순차적 실행 시간이 상수로 줄어들어, 향후 대규모 양자 컴퓨터에서 고처리량 양자 인수분해가 가능해진다.
• 모듈러스 M = 2^n + 1을 사용함으로써, n비트 블록의 교대 합을 통한 효율적인 모듈로 감소가 가능해져 조건부 산술을 단순화하고 오류 발생 가능성을 줄였다.