[논문 리뷰] Factoring with n+2 clean qubits and n-1 dirty qubits

Craig Gidney|arXiv (Cornell University)|2017. 06. 23.

Quantum Computing Algorithms and Architecture참고 문헌 5인용 수 13

한 줄 요약

이 논문은 셔의 정수 인수분해 알고리즘에 필요한 클린 큐비트 수를 1.5n + O(1)에서 n + 2로 줄이는 가역적 고전 회로 설계를 제안한다. 이는 n−1개의 더러운 큐비트(알 수 없는 상태에 있는 큐비트로, 복원되어야 함)를 활용함으로써 달성된다. 이 방법은 최소한의 클린 보조 큐비트를 사용하는 최적화된 산술 연산(예: 모듈로 덧셈 및 스케일링)을 구현하며, 동일한 점근적 회로 깊이와 크기를 유지하면서도 공간 제약이 있는 양자 아키텍처에서 상당한 큐비트 절감을 가능하게 한다.

ABSTRACT

We present reversible classical circuits for performing various arithmetic operations aided by dirty ancillae (i.e. extra qubits in an unknown state that must be restored before the circuit ends). We improve the number of clean qubits needed to factor an n-bit number with Shor's algorithm from 1.5n+O(1) to n+2, assisted by n-1 dirty qubits, without increasing the asymptotic size or depth of the circuit.

연구 동기 및 목표

• 셔 알고리즘에 필요한 클린 큐비트 수를 1.5n + O(1)에서 n + 2로 줄이기.
• 더러운 보조 큐비트가 가역 산술 회로에서 클린 보조 큐비트를 효과적으로 대체할 수 있음을 보여주기.
• 클린 큐비트 수를 최소화하는 것이 설계 지표로써 가지는 이론적 함의를 탐색하기 (비록 게이트 수나 깊이가 증가하더라도).
• 엄격한 큐비트 공간 제약 하에서 셔 알고리즘의 주기 찾기 구현을 더 컴act하게 만들기.
• 셔 알고리즘에서 총 큐비트 사용량을 n + O(1)로 줄이기 위한 향후 구조 설계의 기반 마련하기.

제안 방법

• 모듈로 산술 연산(예: 모듈로 덧셈, 오프셋 연산 등)을 위한 가역적 고전 회로를 설계하여, 클린 큐비트 n+2개와 더러운 큐비트 n−1개만을 사용하기.
• 제어 분해를 통한 산술 연산 구현을 통해 피봇 뒤집기 및 토글 제어를 활용하여 제어 논리를 효율적으로 관리하기.
• 교환자 제어 기법을 사용하여 제어 의존성을 재구성함으로써 보조 큐비트를 서브루틴 간에 재사용 가능하게 하기.
• 모듈로 곱셈을 최소한의 클린 보조 큐비트로 구현된 스케일드 모듈로 덧셈의 연속으로 구성하기.
• 회로도 표기 관행을 적용하여 클린 및 더러운 보조 큐비트 요구사항을 명시적으로 표기(예: "3 dirty"가 적힌 삼각형)함으로써 자원 사용의 추적 가능성을 확보하기.
• 이중 보수 표현과 2^n 모듈로 산술을 사용하여 회로 설계를 단순화함. 모든 연산이 n비트 레지스터 내에서 감싸진다고 가정함.

실험 결과

연구 질문

• RQ1 더러운 보조 큐비트를 활용함으로써 셔 알고리즘에 필요한 클린 큐비트 수를 1.5n + O(1) 이하로 줄일 수 있는가?
• RQ2 가역 산술 회로에서 클린 보조 큐비트를 더러운 큐비트로 대체할 경우, 회로 깊이와 게이트 수에 어떤 상충 관계가 존재하는가?
• RQ3 모듈로 곱셈은 어떻게 더 작은 연산들로 분해할 수 있으며, 이들 연산들은 더 적은 클린 큐비트를 요구하지만 여전히 이용 가능한 더러운 큐비트를 활용할 수 있는가?
• RQ4 어떤 회로 기법이 전체 알고리즘의 점근적 복잡도를 증가시키지 않으면서도 더러운 큐비트를 효율적으로 사용할 수 있게 하는가?
• RQ5 전략적인 더러운 보조 큐비트 사용과 모듈로 분해를 통해 셔 알고리즘에서 총 큐비트 사용량을 n + O(1)로 줄일 수 있는가?

주요 결과

• n비트 수를 인수분해하기 위해 셔 알고리즘에 필요한 클린 큐비트 수는 n−1개의 더러운 큐비트를 활용함으로써 1.5n + O(1)에서 n + 2로 감소한다.
• 이전의 구성과 비교해 동일한 점근적 회로 깊이와 크기를 유지하므로 스케일러빌리티가 손상되지 않았으며, 보조 큐비트 관리 복잡도 증가 외에는 영향이 없다.
• 모든 산술 연산에서 보통 두 개 이하의 더러운 보조 큐비트만 사용되며, 모듈로 곱셈을 제외한 대부분의 경우는 더 적은 수의 더러운 큐비트를 사용한다. 다만 모듈로 곱셈은 더 많은 더러운 큐비트가 필요하지만 여전히 n−1개의 더러운 큐비트 제한 내에서 작동한다.
• 전체 회로는 총 2n + 1개의 큐비트를 사용한다: 단일 큐비트는 위상 추정용, n개는 워크 레지스터용, 나머지 n개는 모듈로 곱셈에 사용되는 보조 큐비트용이다.
• 이 방법은 더러운 보조 큐비트가 가역 산술 회로에서 효과적으로 사용될 수 있음을 보여주며, 엄격한 공간 제약 하에서도 컴팩트한 회로 설계를 가능하게 한다.
• 향후 향상 방안으로 중국의 나머지 정리 또는 교환자 제어 기법을 활용해 보다 낮은 보조 큐비트 사용량을 달성할 수 있으나, 여기서는 인수분해 과정에서 순환 의존성이 발생하므로 적용하지 않았다.