[논문 리뷰] Constant-optimized quantum circuits for modular multiplication and exponentiation

Igor L. Markov, Mehdi Saeedi|arXiv (Cornell University)|2012. 05. 01.

Quantum Computing Algorithms and Architecture참고 문헌 25인용 수 80

한 줄 요약

이 논문은 모듈로 곱셈과 거듭제곱을 위한 상수 최적화된 양자 회로를 제시하며, 점근적 복잡도보다 실용적 효율성에 중점을 둔다. 애너실라 큐비트가 가용할 경우, 회로의 최적화를 가장 짧은 경로 문제로 모델링하여, 특히 소규모 양자 실험에 매우 유리한 상수 인자와 덧셈 항의 개선을 이룬다. 이는 최악의 경우 Θ(n²) 스케일링을 변화시키지 않는다.

ABSTRACT

Reversible circuits for modular multiplication Cx%M with x < M arise as components of modular exponentiation in Shor's quantum number-factoring algorithm. However, existing generic constructions focus on asymptotic gate count and circuit depth rather than actual values, producing fairly large circuits not optimized for specific C and M values. In this work, we develop such optimizations in a bottom-up fashion, starting with most convenient C values. When zero-initialized ancilla registers are available, we reduce the search for compact circuits to a shortest-path problem. Some of our modular-multiplication circuits are asymptotically smaller than previous constructions, but worst-case bounds and average sizes remain Θ(n2). In the context of modular exponentiation, we offer several constant-factor improvements, as well as an improvement by a constant additive term that is significant for few-qubit circuits arising in ongoing laboratory experiments with Shor's algorithm.

연구 동기 및 목표

• 특정 값의 C와 M에 맞게 최적화된 실용적 상수 최적화 양자 회로를 개발하기 위해 모듈로 곱셈 Cx%M에 대해.
• 현존하는 양자 회로 설계에서 점근적 성능에 초점을 맞추는 반면 실제 게이트 수와 깊이를 고려하지 않는 점을 메우기 위해.
• 모듈로 거듭제곱 회로의 효율성을 높여, 상수 인자와 덧셈 항을 줄임으로써 샤어의 알고리즘에서 사용되는 자원 오버헤드를 감소시키기 위해.
• 제한된 큐비트 수와 게이트 신뢰도를 가진 현재 및 근접한 미래의 양자 컴퓨터에서 샤어의 알고리즘을 더 실현 가능하게 만들기 위해.

제안 방법

• 애너실라 큐비트가 0으로 초기화된 상태일 때 이를 활용해 컴act한 회로를 찾는 문제를 가장 짧은 경로 문제로 변환하기 위해.
• 고정된 C와 M에 대해 최소한의 게이트 수를 가진 회로 구성 요소를 탐색하기 위해 동적 프로그래밍 또는 그래프 탐색 기법을 사용하기 위해.
• 가장 유리한 C 값들에서부터 시작하여 하향식으로 모듈로 곱셈 회로를 구성하여 효율적인 빌딩 블록을 만들기 위해.
• 이러한 최적화된 모듈로 곱셈 회로를 하위 루틴으로 사용하여 모듈로 거듭제곱 회로의 전체 자원 오버헤드를 줄이기 위해.
• 특히 소큐비트 시스템에서 중요하게 작용하는 상수 인자와 덧셈 항을 최소화하기 위해 게이트 수와 회로 깊이에 중점을 두기 위해.
• 샤어의 소인수 분해와 같은 양자 알고리즘과의 호환성을 유지하기 위해 전체 설계 과정에서 가역성과 유니타리성을 유지하기 위해.

실험 결과

연구 질문

• RQ1 모듈로 곱셈을 위한 양자 회로를 점근적 행동이 아닌 특정 C와 M 값에 대해 어떻게 최적화할 수 있는가?
• RQ2 모듈로 곱셈 회로의 게이트 수와 회로 깊이에서 달성 가능한 상수 인자와 덧셈 항의 감소 정도는 어느 정도인가?
• RQ3 이러한 최적화가 소규모 양자 시스템에서 샤어의 알고리즘에 사용되는 모듈로 거듭제곱 회로의 효율성에 어느 정도 기여하는가?
• RQ4 애너실라 큐비트가 가용할 경우, 컴act한 회로를 찾는 문제를 가장 짧은 경로 문제로 효과적으로 모델링할 수 있는가?
• RQ5 실제로 근접한 양자 계산 환경에서 최적화된 회로는 일반적인 구성과 비교해 크기와 깊이 측면에서 어떻게 다른가?

주요 결과

• 제안된 방법은 특히 소규모 구현에 매우 유리한 상수 인자와 게이트 수 및 회로 깊이에서의 개선을 이룬다.
• 0으로 초기화된 애너실라 큐비트의 사용은 회로 탐색 문제를 가장 짧은 경로 문제로 재구성할 수 있게 하여 더 컴act한 솔루션을 도출한다.
• 일부 결과로 도출된 모듈로 곱셈 회로는 이전의 구성보다 점근적으로 더 작지만, 최악의 경우와 평균의 경우 스케일링은 여전히 Θ(n²) 유지된다.
• 모듈로 거듭제곱 회로는 상수 인자 감소와 덧셈 항 개선의 이중 효과를 얻어, 현재 실험실에서 사용하는 소큐비트 시스템에서 매우 의미 있는 개선을 이룬다.
• 자원 오버헤드를 최소화함으로써 이 접근법은 근접한 양자 하드웨어에서 샤어의 알고리즘을 더 효율적이고 실용적으로 실행할 수 있도록 한다.