[논문 리뷰] Reversible addition circuit using one ancillary bit with application to quantum computing

Phillip Kaye|ArXiv.org|2004. 08. 28.

Quantum Computing Algorithms and Architecture참고 문헌 9인용 수 24

한 줄 요약

이 논문은 단일 보조 큐비트와 O(n³) Toffoli 게이트만을 사용하여 두 개의 n비트 수를 인-place로 덧셈하는 가역 양자 덧셈 회로를 제안한다. 이 방법은 양자 푸리에 변환 또는 고정밀도 회전 게이트를 필요로 하지 않으며, 고전적 가역 논리 기반의 조건부 증가 회로를 활용함으로써, 최소한의 큐비트 오버헤드로 효율적인 양자 산술을 가능하게 한다.

ABSTRACT

Most of the work on implementing arithmetic on a quantum computer has borrowed from results in classical reversible computing (e.g. [VBE95], [BBF02], [DKR04]). These quantum networks are inherently classical, as they can be implemented with only the Toffoli gate. Draper [D00] has proposed an inherently "quantum" network for addition based on the quantum Fourier transform. His approach has the advantage that it requires no carry qubits (the previous approaches required O(n) carry qubits). The network in [D00] uses quantum rotation gates, which must either be implemented with exponential precision, or else be approximated. In this paper I give a network of O(n^3) Toffoli gates for reversibly performing in-place addition with only a single ancillary bit, demonstrating that inherently quantum techniques are not required to achieve this goal (provided we are willing to sacrifice quadratic circuit depth). After posting the original version of this note it was pointed out to me by C. Zalka that essentially the same technique for addition was used in [BCD+96]. The scenario in that paper was different, but it is clear how the technique they described generalizes to that in this paper.

연구 동기 및 목표

• 양자 계산에서 큐비트 자원 소비가 높다는 점을 고려하여 보조 큐비트 사용을 최소화하는 가역 양자 덧셈 회로를 설계하는 것.
• 양자 푸리에 변환과 같은 본질적으로 양자적인 기법이 낮은 보조 큐비트를 사용하는 덧셈에 필수적인 것은 아님을 보여주는 것.
• 단일 보조 비트만을 사용하여 두 개의 n비트 수를 2ⁿ 모듈로로 인-플레이스 덧셈을 수행하는 것.
• Toffoli 게이트 기반의 고전적으로 가역적인 회로를 제공하여, 이를 직접 양자 네트워크에 구현할 수 있도록 하는 것.
• O(n³) 회로 깊이가 양자 산술에서 최소한의 큐비트 사용을 달성하기 위한 타당한 트레이드오프임을 보여주는 것.

제안 방법

• 각 증가 연산은 덧수 a의 비트에 따라 조건부로 실행되며, 이를 통해 증가 연산을 조건부로 제어한다.
• 각 조건부 증가는 제로 조건부 NOT 게이트를 포함한 CNOT 게이트의 연쇄 구조로 구현된다.
• 단일 보조 큐비트가 캐리 플래그로 기능하여, 증가 과정에서 0에서 1로 비트가 전환될 경우 이를 신호로 보내 캐리 전파를 종료시킨다.
• 각 게이트에 제어 큐비트를 추가하여 증가 회로의 각 단계를 조건부로 만들며, 이는 a의 특정 비트가 1일 경우에만 작동하도록 보장한다.
• 회로 구조는 고전적 가역 증가 회로에서 유도되며, 덧수의 모든 비트에 대해 조건부 적용을 위해 적응시킨 것이다.
• 최종 덧셈 회로는 MSB에서 LSB로의 순서로 조건부 증가를 적용하여 2ⁿ 모듈로 덧셈이 정확히 수행되도록 보장한다.

실험 결과

연구 질문

• RQ1 고전적 가역 논리 기반으로 단일 보조 큐비트만을 사용하여 두 개의 n비트 수를 인-플레이스로 덧셈할 수 있는가?
• RQ2 양자 덧셈 회로에서 양자 푸리에 변환 또는 고정밀도 회전 게이트를 피할 수 있는가?
• RQ3 단일 보조 큐비트만을 사용하는 가역 덧셈 회로의 회로 깊이와 게이트 수는 얼마인가?
• RQ4 [BCD+96]에서 제시한 고전적 가역 계산 기법을 최소 보조 큐비트를 사용하는 양자 덧셈으로 일반화할 수 있는가?
• RQ5 Toffoli 게이트 기반의 회로가 O(n³) 깊이와 단일 보조 큐비트를 사용하면서도 완전히 가역적인 모듈로 덧셈을 달성할 수 있는가?

주요 결과

• 제안된 덧셈 회로는 오직 하나의 보조 큐비트만을 사용하여 이전의 O(n) 보조 큐비트가 필요한 방법들에 비해 큐비트 자원 소비를 크게 줄였다.
• 회로 깊이는 O(n³)이며, 특히 n ≥ 3일 경우 (2/3)n³ + (3/2)n² - (25/6)n + 8로 제한되며, 이는 최소한의 보조 큐비트 사용을 위해 허용 가능한 트레이드오프이다.
• 회로는 오직 Toffoli, CNOT, NOT 게이트로 구성되어 있어 고전적으로 가역적이며, 양자 회로에 직접 구현이 가능하다.
• 이 방법은 물리적 양자 시스템에서 문제를 일으킬 수 있는 양자 회전 게이트나 지수 정밀도의 구현을 피할 수 있다.
• 이 접근법은 [BCD+96]에서 제시한 기법을 일반화한 것으로, 동일한 논리가 최소 보조 큐비트를 사용하는 양자 산술에 적용될 수 있음을 확인한다.
• 계산 후 보조 큐비트의 최종 상태는 1이 되며, 이를 재사용할 수 있어 모듈러 및 반복적 양자 알고리즘을 지원한다.