[논문 리뷰] Addition on a Quantum Computer

Thomas G. Draper|ArXiv.org|2000. 08. 07.

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

한 줄 요약

이 논문은 임시 캐리 큐비트가 필요 없이 양자 컴퓨터에서 두 수를 덧셈하는 데 QFT(양자 푸리에 변환)를 활용하는 새로운 양자 덧셈 알고리즘을 소개한다. 이로 인해 큐비트 오버헤드가 3n에서 2n으로 감소한다. 입력 상태를 QFT를 통해 변환하고, 두 번째 피연산자에 따라 조건부 단계 이동을 적용한 후 원래 변환을 복원함으로써, 효율적이고 병렬 처리 가능한 덧셈을 가능하게 한다. 병렬 실행 조건 하에서 로그 시간 복잡도를 달성할 수 있다.

ABSTRACT

A new method for computing sums on a quantum computer is introduced. This technique uses the quantum Fourier transform and reduces the number of qubits necessary for addition by removing the need for temporary carry bits. This approach also allows the addition of a classical number to a quantum superposition without encoding the classical number in the quantum register. This method also allows for massive parallelization in its execution.

연구 동기 및 목표

• 임시 캐리 큐비트가 필요 없는 양자 덧셈 알고리즘을 개발함으로써, 고전적 접근 방식을 따르는 가역 덧셈기에서 요구되는 것을 피하고자 한다.
• 양자 중첩 상태에 고전적 수를 더할 수 있도록 하되, 고전적 수를 양자 레지스터에 인코딩하지 않고도 가능하게 하고자 한다.
• 중간 캐리 저장소를 제거함으로써, 양자 덧셈에 필요한 총 큐비트 수를 3n에서 2n으로 줄이고자 한다.
• QFT의 구조를 활용하여 게이트 연산에서 막대한 병렬성을 실현함으로써 런타임 확장성 향상을 도모하고자 한다.
• 큐비트 오버헤드를 최소화함으로써, 쇼어의 소인수분해 알고리즘과 같은 더 효율적인 양자 알고리즘 구현 기반을 마련하고자 한다.

제안 방법

• 이 방법은 첫 번째 입력 수 |a⟩에 대해 양자 푸리에 변환(QFT)을 적용하여, a의 이진 숫자에 따라 의존하는 단계 인자들을 포함하는 중첩 상태로 변환한다.
• 두 번째 수 b는 변환된 상태의 각 큐비트에 대해 조건부 단계 이동(R_k 게이트)을 적용함으로써, QFT 기저에서 a에 b를 더하는 효과를 낸다.
• 각 회전 R_k는 b의 큐비트에 의해 제어되며, 타겟 큐비트에 대해 단계 이동 e(1/2^k)를 적용하고, 누적 효과로 QFT 영역에서 a에 b를 더하는 결과를 낳는다.
• 단계 이동 이후에는 역행렬 QFT를 적용하여 계산 기저에서 상태 |a+b⟩를 복원한다.
• 알고리즘의 게이트 연산은 서로 교환 가능하므로 병렬 실행이 가능하다: 같은 깊이의 모든 회전은 동시에 적용될 수 있으며, 충분한 병렬성 조건 하에서 런타임이 O(log n)으로 감소한다.
• 성능을 추가로 최적화하기 위해 임계값 이하의 회전을 생략하는 약간의 QFT(AQFT)를 사용한다. 이로 인해 오차는 무시할 수 있을 정도로 작고, 게이트 수가 감소한다.

실험 결과

연구 질문

• RQ1 임시 캐리 큐비트가 필요 없이 총 큐비트 수를 3n 이하로 줄일 수 있는가?
• RQ2 QFT를 어떻게 활용하여 고전적 가역 덧셈과 근본적으로 다른 방식으로 덧셈을 수행할 수 있는가?
• RQ3 게이트 연산의 재정렬 또는 군집화를 통해 양자 덧셈에서 병렬성을 얼마나 활용할 수 있는가?
• RQ4 약간의 QFT(AQFT)를 사용할 경우 양자 덧셈의 정확도와 효율성에 어떤 영향을 미치는가?
• RQ5 이 방법은 쇼어의 소인수분해와 같은 대규모 양자 알고리즘의 큐비트 효율성을 어떻게 향상시키는가?

주요 결과

• 제안된 양자 덧셈 알고리즘은 임시 캐리 큐비트가 필요 없어지면서 큐비트 수를 3n에서 2n으로 줄였다.
• 이 방법은 양자 중첩 상태에 고전적 수를 더할 수 있으며, 고전적 수를 양자 레지스터에 인코딩하지 않아도 된다.
• 알고리즘의 게이트 연산은 서로 교환 가능하므로, 같은 깊이의 모든 회전을 동시에 실행할 수 있으며, 최적의 병렬성 조건 하에서 런타임이 O(n+1) 또는 O(log n)으로 감소한다.
• 약간의 QFT(AQFT)를 사용함으로써 연산 수를 O(n log n)으로 줄일 수 있으며, 실용적인 목적에서는 오차가 무시할 수 있을 정도로 작다.
• 이 방법을 통해 쇼어의 소인수분해 알고리즘을 3n 대신 2n 큐비트로도 실행할 수 있어 자원 오버헤드를 크게 줄였다.
• 이 방법은 고전적 방법과 동일한 점근적 게이트 복잡도 O(n³)를 유지하지만, 특히 근접한 양자 하드웨어에서 큐비트 효율성이 뛰어나다.