[논문 리뷰] A new quantum ripple-carry addition circuit

Steven A. Cuccaro, Thomas G. Draper외 2명|ArXiv.org|2004. 10. 22.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 326

한 줄 요약

이 논문은 이전 설계들에 비해 자원 오버헤드를 크게 줄인 단일 보조 큐비트만을 사용하는 새로운 선형 깊이의 양자 리플카리 애더를 제시한다. 현장에서의 다수 결정 게이트와 가역적인 'UnMajority and Add' 연산을 도입함으로써, 게이트 수와 깊이를 낮추었으며, 2n+O(1)의 Toffoli 게이트와 5n+O(1)의 CNOT 게이트를 사용하여 양자 회로에서 효율적인 가역 덧셈을 가능하게 한다.

ABSTRACT

We present a new linear-depth ripple-carry quantum addition circuit. Previous addition circuits required linearly many ancillary qubits; our new adder uses only a single ancillary qubit. Also, our circuit has lower depth and fewer gates than previous ripple-carry adders.

연구 동기 및 목표

• 이전 리플카리 애더의 높은 자원 비용 문제를 해결하기 위해 최소한의 보조 큐비트를 사용하는 가역 양자 덧셈 회로를 설계하는 것.
• 큐비트 수에 대해 선형 스케일링을 유지하면서 회로 깊이와 게이트 수를 줄이는 것.
• 가역 덧셈에서의 자원 오버헤드를 최소화하여 실용적인 양자 산술을 가능하게 하는 것.
• 양자 애더 설계에서 보조 큐비트 사용, 회로 깊이, 게이트 복잡도 간의 상호 상충 관계를 탐색하는 것.

제안 방법

• 두 개의 CNOT 게이트와 하나의 Toffoli 게이트를 사용해 세 큐비트의 다수를 계산하는 새로운 현장 다수 결정 게이트(MAJ)를 사용한다.
• 입력 큐비트와 출력 합 비트를 복원하면서 캐리 정보를 전파하는 가역적인 'UnMajority and Add'(UMA) 게이트를 도입한다.
• MAJ 및 UMA 게이트를 큐비트 쌍에 걸쳐 연결하여, 가장 낮은 자리에서 가장 높은 자리로 리플카리 방식으로 비트를 처리하는 방식으로 애더를 구성한다.
• 초기 캐리를 저장하기 위해 0으로 초기화된 단일 보조 큐비트를 사용하며, 최종 캐리 비트는 별도의 큐비트에 출력된다.
• 모듈러 방식의 변형, 입력 캐리가 있는 덧셈, 비교기용 고비트 전용 계산 등 다양한 변형을 허용한다.
• 최적화된 버전은 Toffoli 및 CNOT 게이트 수를 줄였으며, 제어 회전 기반의 구현은 깊이 6n−2를 달성하여 효과적인 게이트 오버랩을 보여준다.

실험 결과

연구 질문

• RQ1 선형 깊이를 유지하면서 단일 보조 큐비트만을 사용하는 가역 양자 리플카리 애더를 구축할 수 있는가?
• RQ2 고정된 보조 큐비트 오버헤드를 유지할 때, 가역 양자 애더의 최소 게이트 수와 회로 깊이를 도출할 수 있는가?
• RQ3 현장 다수 및 역다수 연산을 어떻게 활용하여 양자 덧셈에서 큐비트와 게이트 자원을 최소화할 수 있는가?
• RQ4 보조 큐비트 사용과 회로 깊이 간의 상호 상충 관계를 양자 산술 회로에서 정량화하고 최적화할 수 있는가?

주요 결과

• 제안된 애더는 이전 설계에서 요구한 n−O(1)개의 보조 큐비트에 비해 단일 보조 큐비트만을 사용한다.
• 회로 깊이는 2n+O(1)이며, 이는 이전의 리플카리 애더보다 낮으며, Toffoli 게이트 2n+O(1)개와 CNOT 게이트 5n+O(1)개를 사용한다.
• 최적화된 버전은 고비트 변형에서 Toffoli 게이트 수를 2n−1개로 줄이고 CNOT 게이트 수를 4n+1개로 줄였으며, 깊이는 2n+5이다.
• 회로는 합의 고비트만을 계산하도록 변형할 수 있으며, 이는 비교기 회로를 구축하는 데 사용될 수 있다.
• 제어 회전 기반의 구현은 깊이 6n−2를 달성하여, Toffoli 게이트가 각각 다섯 개의 회전을 필요로 함에도 불구하고 효과적인 게이트 오버랩을 보여준다.
• 비트별 보수를 사용하여 애더를 쉽게 뺄셈기로 변환할 수 있으며, 고비트 변형은 두 수를 비교하는 비교기 기능을 가능하게 한다.