[논문 리뷰] Shor's algorithm on a nearest-neighbor machine

Samuel Kutin|ArXiv.org|2006. 08. 31.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 47

한 줄 요약

이 논문은 Shor의 알고리즘을 위한 새로운 양자 승거 회로를 제안하며, Draper의 변환 덧셈기와 Zalka의 모듈로 곱셈에 대한 근사 기법을 조합하여 가장 가까운 이웃 양자 아키텍처에서 선형 폭과 제곱형 깊이를 달성한다. 이 방법은 큰 QFT의 수를 O(n²)에서 O(n)으로 줄여, 가장 가까운 이웃 제약 조건 하에서도 효율적인 구현을 가능하게 하면서도 높은 확률로 정확성을 유지한다.

ABSTRACT

We give a new ``nested adds'' circuit for implementing Shor's algorithm in linear width and quadratic depth on a nearest-neighbor machine. Our circuit combines Draper's transform adder with approximation ideas of Zalka. The transform adder requires small controlled rotations. We also give another version, with slightly larger depth, using only reversible classical gates. We do not know which version will ultimately be cheaper to implement.

연구 동기 및 목표

• 가장 가까운 이웃 큐비트 상호작용 제약 조건 하에서 Shor의 인수 분해 알고리즘을 위한 확장 가능한 양자 승거 회로를 설계하기.
• 선형 폭을 유지하면서 가장 가까운 이웃 승거 회로의 깊이를 O(n³)에서 O(n²)로 줄이기.
• 비용이 많이 드는 제어된 회전을 최소화하고 근사 기법을 활용하여 실용적인 구현을 가능하게 하기.
• 기존의 초선형 폭 또는 가장 가까운 이웃 아키텍처에서 삼차형 깊이를 요구하는 회로들에 대한 실용적인 대안을 제공하기.
• 작은 제어된 회전을 사용하는 회로와 오직 가역적인 고전적 게이트만을 사용하는 회로 간의 상호 교환 관계를 탐색하기.

제안 방법

• QFT와 제어된 회전에 기반한 Draper의 변환 덧셈기를 사용하여 제어 덧셈을 효율적으로 수행한다.
• 중간 값의 상위 ℓ₀ 비트만을 사용하여 Zalka의 근사 방법을 적용해 모듈로 곱셈에서 몫 q를 추정한다.
• O(n)개의 제어 덧셈을 통해 모듈로 곱셈을 수행하며, 각 곱셈에 대해 단일 QFT를 사용함으로써 큰 QFT의 수를 O(n²)에서 O(n)으로 줄인다.
• 제어 비트와 부분 곱을 큐비트 블록 간에 교차 배치하는 내재된 덧셈 구조를 구현하여 가장 가까운 이웃 연산을 가능하게 한다.
• 소규모 제어된 회전을 제거하기 위해 리버블 캐리 덧셈기와 가짜 Toffoli 게이트를 사용하는 고전적 버전을 도입하지만, 이는 깊이를 O(n² log n)으로 증가시키는 비용이 따른다.
• 레지스터 교차 배치를 위한 메시 회로와 제로 초기화된 레지스터를 위한 단순화된 제어된 스왑을 사용하여 회로 복잡도를 감소시킨다.

실험 결과

연구 질문

• RQ1 가장 가까운 이웃 양자 아키텍처에서 선형 폭과 제곱형 깊이를 갖는 모듈로 승거 회로를 구축할 수 있는가?
• RQ2 모듈로 곱셈에서 큰 QFT의 수를 줄이면 회로 깊이를 어떻게 향상시킬 수 있는가?
• RQ3 작은 제어된 회전을 사용하는 회로와 오직 가역적인 고전적 게이트만을 사용하는 회로 간의 상호 교환 관계는 무엇인가?
• RQ4 Zalka의 몫 추정에 대한 근사 기법을 가장 가까운 이웃 회로 프레임워크에 효과적으로 통합할 수 있는가?
• RQ5 정밀도가 높은 산술 연산에서 자르기된 비트 표현을 사용할 경우 발생하는 오류 확률의 영향은 무엇인가?

주요 결과

• 제안된 회로는 가장 가까운 이웃 아키텍처에서 모듈로 승거에 대해 폭 O(n)과 깊이 O(n²)를 달성하여 이전의 O(n³) 깊이 솔루션보다 향상되었다.
• 상위 ℓ₀ = O(log n) 비트만을 사용하여 몫 q를 근사화함으로써 큰 QFT의 수를 O(n²)에서 O(n)으로 줄여 깊이 오버헤드를 크게 감소시켰다.
• Draper의 변환 덧셈기를 사용한 회로는 소규모 제어된 회전이 필요하지만 O(n²) 깊이와 선형 폭을 유지한다.
• 기타 고전적 버전은 소규모 제어된 회전을 완전히 제거하여 깊이 O(n² log n)를 달성하며 선형 폭을 유지한다. 이는 Van Meter의 깊이를 따라가지만 폭 스케일링 측면에서 더 우수하다.
• 리버블 캐리 버전에서 상위 비트 추정의 오류 확률은 O(n³ 2⁻ᵗ)로 제한되며, t = O(log n)로 선택하면 이를 무시할 수 있을 정도로 낮출 수 있다.
• 이 회로 프레임워크는 기존의 가장 가까운 이웃 QFT 구현과 호환되어 선형 폭과 제곱형 깊이를 갖는 전체 Shor의 알고리즘 회로를 구현할 수 있다.