[논문 리뷰] Fast Quantum Modular Exponentiation Architecture for Shor's Factorization Algorithm

Archimedes Pavlidis, Dimitris Gizopoulos|arXiv (Cornell University)|2012. 07. 02.

Quantum Computing Algorithms and Architecture인용 수 14

한 줄 요약

이 논문은 쇼어의 인수분해 알고리즘에서 가장 계산적으로 부담스러운 요소인 양자 모듈로 지수화를 위한 빠르고 깊이 최적화된 아키텍처를 제안한다. Draper의 QFT 기반 애더러를 활용하여 상수에 대한 양자 승산기 및 나누기기를 효율적으로 구성한다. 이 설계는 단지 9n+2 큐비트만을 사용하여 약 2000n²의 회로 깊이와 총 1600n³의 양자 비용을 달성하며, 근사 QFT를 활용할 경우 깊이를 3배 이상 줄일 수 있다.

ABSTRACT

We present a novel and efficient in terms of circuit depth design for Shor's quantum factorization algorithm. The circuit effectively utilizes a diverse set of adders based on the quantum Fourier transform (QFT) Draper's adders to build more complex arithmetic blocks: quantum multiplier/accumulators by constants and quantum dividers by constants. These arithmetic blocks are effectively architected into a generic modular quantum multiplier which is the fundamental block for modular exponentiation circuit, the most computational intensive part of Shor's algorithm. The proposed modular exponentiation circuit has a depth of about $2000n^{2}$ and requires $9n+2$ qubits, where $n$ is the number of bits of the classical number to be factored. The total quantum cost of the proposed design is $1600n^{3}$. The circuit depth can be further decreased by more than three times if the approximate QFT implementation of each adder unit is exploited.

연구 동기 및 목표

• 쇼어의 인수분해 알고리즘에서 가장 계산적으로 부담스러운 요소인 모듈로 지수화의 회로 깊이를 줄이는 것.
• 상수 승산 및 나눗셈을 위한 QFT 기반 애더러를 활용한 효율적인 양자 산술 아키텍처를 설계하는 것.
• 대규모 인수분해를 위해 고성능을 유지하면서 큐비트 요구량을 최소화하는 것.
• 자원 사용을 최적화하여 근접한 양자 하드웨어에서 쇼어 알고리즘의 실용적 구현을 가능하게 하는 것.
• 근사 QFT가 정확도를 훼손하지 않으면서 회로 깊이를 어떻게 줄이는지 탐색하는 것.

제안 방법

• 저자는 QFT 기반 애더러를 양자 산술 회로를 구성하는 기본 요소로 활용한다.
• QFT 애더러를 사용하여 상수에 대한 양자 승산기/누적기 및 나누기기 회로를 설계하여 효율적인 모듈로 산술 연산을 가능하게 한다.
• 이러한 구성 요소들은 쇼어 알고리즘에서 모듈로 지수화의 핵심인 일반적인 양자 모듈로 승산기로 통합된다.
• 모듈로 지수화 회로는 회로 깊이와 큐비트 수를 최소화하는 데 중점을 두고 합성된다.
• 각 애더러 유닛에 근사 QFT를 적용하여 깊이를 3배 이상 줄이는 데에 활용된다.
• 양자 비용, 깊이, 큐비트 요구량에 대해 아키텍처를 공식적으로 분석하였으며, 결과는 회로 합성과 복잡도 분석을 통해 검증되었다.

실험 결과

연구 질문

• RQ1 모듈로 지수화의 회로 깊이와 큐비트 수 측면에서 어떻게 더 효율적으로 만들 수 있는가?
• RQ2 QFT 기반 애더러를 승산기 및 나누기기와 같은 고수준 산술 블록에 어떻게 최적으로 통합할 수 있는가?
• RQ3 근사 QFT를 적용할 경우 모듈로 지수화 회로의 깊이를 얼마나 줄일 수 있는가?
• RQ4 상수 산술 연산을 사용하여 확장 가능하고 깊이가 얕은 쇼어 인수분해를 위한 양자 아키텍처를 설계할 수 있는가?
• RQ5 근사 QFT를 모듈로 지수화 회로에 적용할 경우 정확도와 깊이 사이의 상호 교환 관계는 어떠한가?

주요 결과

• 제안된 모듈로 지수화 회로는 인수분해 대상 n비트 수에 대해 약 2000n²의 깊이를 달성한다.
• 이 설계는 기존 접근 방식에 비해 자원 오버헤드를 크게 줄여 단지 9n+2 큐비트만을 필요로 한다.
• 이 회로의 총 양자 비용은 1600n³로 깊이와 자원 사용 간의 효율적인 트레이드오프를 나타낸다.
• 애더러 유닛에 근사 QFT를 적용하면 회로 깊이가 3배 이상 감소한다.
• 이 아키텍처는 깊이가 얕고 큐비트 수가 적어 근접한 양자 프로세서에서의 구현에 적합하며 확장 가능하다.
• QFT 기반 애더러를 상수 산술 블록에 통합함으로써 쇼어 알고리즘의 핵심인 모듈로 지수화에서 높은 효율성을 달성할 수 있다.