[논문 리뷰] High Performance Quantum Modular Multipliers

Rich Rines, Isaac L. Chuang|arXiv (Cornell University)|2018. 01. 03.

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

한 줄 요약

이 논문은 고전적 기법—표준 나눗셈, 몽고메리 감소, 바렛 감소—을 기반으로 한 세 가지 새로운 가역 양자 모듈로 승수를 제시하며, 비모듈로 정수 승수와 동일한 渐近적 자원 복잡도를 달성한다. 제안된 설계, 특히 푸리에 기반 변형은 14n 개의 두 큐비트 게이트로 구성된 회로 깊이를 가지며, 단지 2n + O(log n) 큐비트만 필요로 하여 이전의 정확한 양자 모듈로 승수보다 깊이와 보조 큐비트 사용에서 뛰어나면서도 근사 없이 정확한 결과를 유지한다.

ABSTRACT

We present a novel set of reversible modular multipliers applicable to quantum computing, derived from three classical techniques: 1) traditional integer division, 2) Montgomery residue arithmetic, and 3) Barrett reduction. Each multiplier computes an exact result for all binary input values, while maintaining the asymptotic resource complexity of a single (non-modular) integer multiplier. We additionally conduct an empirical resource analysis of our designs in order to determine the total gate count and circuit depth of each fully constructed circuit, with inputs as large as 2048 bits. Our comparative analysis considers both circuit implementations which allow for arbitrary (controlled) rotation gates, as well as those restricted to a typical fault-tolerant gate set.

연구 동기 및 목표

• 비모듈로 정수 승수와 동일한 渐近적 자원 복잡도를 갖는 가역 양자 모듈로 승수를 설계하는 것.
• 이전의 푸리에 기반 접근 방식에서 볼 수 있었던 반복 비교 연산과 비용이 많이 드는 QFT/QFT† 회로를 제거하는 것.
• 근사 없이 정확한 모듈로 승수를 달성하여 양자 알고리즘의 정밀도를 유지하는 것.
• 푸리에 변환 기반에서의 효율적 구현을 가능하게 하여 보조 큐비트 오버헤드를 줄이는 것.
• 고장내성 게이트 세트 및 확장 가능한 양자 아키텍처와 호환되는 프레임워크를 제공하는 것.

제안 방법

• 표준 나눗셈, 몽고메리 감소, 바렛 감소와 같은 고전적 모듈로 산술 기법을 가역 양자 회로로 변환한다.
• 가역 덧셈기와 뺄셈기를 핵심 원자로 사용하여 다양한 양자 산술 모델 간의 통합을 가능하게 한다.
• QFT/QFT† 연산의 깊이가 깊어지는 문제를 방지하기 위해 몽고메리 및 바렛 승수의 푸리에 기반 호환 버전을 설계한다.
• 바렛 감소에서는 사전 계산된 감소 인자를 사용하고, 몽고메리 산술에서는 N-잔여 표현을 사용하여 런타임 중 나눗셈을 제거한다.
• 입력 누적기 구조를 두 번째 양자 입력으로 변형하여 out-of-place 양자-양자 모듈로 승수를 구성한다.
• 임의의 회전과 고장내성 게이트 세트 조건 하에서 2048비트 입력에 대한 실험적 자원 분석을 수행한다.

실험 결과

연구 질문

• RQ1 비모듈로 정수 승수와 동일한 자원 복잡도를 갖는 정확한 양자 모듈로 승수를 달성할 수 있는가?
• RQ2 푸리에 기반 산술을 활용하여 모듈로 승수의 회로 깊이와 보조 큐비트 수를 줄일 수 있는가?
• RQ3 제안된 승수는 이전의 정확한 및 근사적 양자 모듈로 승수와 비교해 성능 및 자원 사용에서 어떻게 다른가?
• RQ4 정확도를 희생시키지 않고 고전적 모듈로 산술 기법을 효과적으로 가역 양자 회로로 적응시킬 수 있는가?
• RQ5 푸리에 기반 대비 이진 표현 기반 양자 모듈로 승수에서 게이트 수, 회로 깊이, 큐비트 오버헤드 사이의 상호 교환 관계는 어떠한가?

주요 결과

• 제안된 모듈로 승수는 양자 푸리에 변환 기반으로 구현할 경우 14n 개의 두 큐비트 게이트로 구성된 渐近적 회로 깊이를 달성하며, 이는 이전의 정확한 푸리에 기반 승수(1000n 게이트 깊이)에 비해 지연 시간을 크게 감소시킨다.
• 설계는 단지 2n + O(log n) 큐비트만 필요로 하여 비에우르조의 푸리에 기반 모듈로 덧셈기의 낮은 보조 큐비트 수와 동일하며, 이전의 정확한 승수들(9n 및 3n 보조 큐비트 필요)보다 향상된 성능을 보인다.
• 바렛 및 몽고메리 기반 승수는 반복적인 비교 연산과 관련된 QFT/QFT† 회로의 필요성을 제거하여, 모듈로 덧셈 기반 접근 방식에서 지배적인 깊이 문제를 해결한다.
• 승수의 푸리에 기반 변형은 정확성을 유지하면서도 가장 빠른 근사적 양자 모듈로 승수(12n 게이트 깊이)와 유사한 성능을 달성하며, 근사로 인한 정밀도 손실을 방지한다.
• 자원 분석 결과, 제안된 설계는 효율적으로 스케일업되며, 총 게이트 수와 회로 깊이가 비모듈로 정수 승수 하나와 渐近적으로 동일하다.
• 이 프레임워크는 갈로아 필드 산술(GF(2^m) 기반) 등의 다른 영역으로도 확장 가능하며, 빠른 승수 또는 근사 계산 기법과 조합할 수 있다.