[논문 리뷰] Simulations of Shor's algorithm with implications to scaling and quantum error correction

Simon J. Devitt, Austin G. Fowler외 1명|arXiv (Cornell University)|2004. 08. 12.

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 노이즈 있는 양자 시스템에서 다양한 오류 모델 하에 쇼어 알고리즘을 시뮬레이션하여 그 민감도를 평가하며, 양자 주기 찾기(QPF) 서브루틴이 조그만 오류에도 매우 취약함을 드러낸다. 주요 기여는 노이즈 있는 중간 규모 양자(NISQ) 장치에서 쇼어의 소인수분해 알고리즘을 실용적으로 구현하기 위해 고장내성 양자 오류정정, 초저수준 게이트 오류율, 빠른 게이트 동작이 필수적임을 입증한 것이다.

ABSTRACT

The publication in 1994 of Shor's algorithm, which allows factorisation of composite number N in a time polynomial in its binary length L has been the primary catalyst for the race to construct a functional quantum computer. However, it seems clear that any practical system that may be developed will not be able to perform completely error free quantum gate operations or shield even idle qubits from inevitable error effects. Hence, the practicality of quantum algorithms needs to be investigated to not only determine limitations on such algorithms in a noisy quantum computer, but also to estimate what demands must be made of quantum error correction (QEC). Shor's algorithm is a combination of both classical pre and post-processing, and also a quantum period finding subroutine (QPF) which allows for the exponential speed up of this algorithm on a quantum device. This paper will look at the stability of this quantum subroutine under the effects of several error models. Direct simulation of the entire QPF subroutine required to factorise a given composite number N in the presence of errors shows that the circuit required to implement Shor's algorithm is very sensitive to a small number of errors within the entire calculation. Well designed and efficient error correction codes, quick gate times and very low gate error rates will be essential for any physical realisation of Shor's factoring algorithm.

연구 동기 및 목표

• 실제 양자 노이즈 조건 하에서 쇼어 알고리즘의 안정성을 평가하기 위해.
• 양자 주기 찾기(QPF) 서브루틴의 성공을 해칠 수 있는 임계 오류 임계치를 특정하기 위해.
• 물리적 양자 하드웨어에서 쇼어 알고리즘을 구현할 때 양자 오류정정(QEC)의 실용적 요구사항을 평가하기 위해.
• 노이즈 환경에서 쇼어 알고리즘의 실현 가능성을 위한 필수 성능 지표(예: 게이트 속도 및 오류율)를 규명하기 위해.

제안 방법

• 다양한 오류 모델 하에서 쇼어 알고리즘 내 양자 주기 찾기(QPF) 서브루틴의 직접 시뮬레이션.
• 게이트 오류, 붕괴, 유휴 큐비트 오류를 모델링하여 알고리즘 정밀도에 미치는 영향 평가.
• 오류정정 코드를 사용하여 노이즈 하에서 계산 정확도 유지 능력을 평가.
• 일반화된 오류 민감도 분석을 위해 다양한 복합수 N에 대한 회로 행동 분석.
• 오류율 증가에 따라 성공 확률 저하 정도의 정량적 평가.
• QPF 회로에서 게이트 속도와 오류 누적 간의 상호작용 평가.

실험 결과

연구 질문

• RQ1 쇼어 알고리즘 내 양자 주기 찾기(QPF) 서브루틴은 다양한 오류 모델 하에서 어떻게 열화되는가?
• RQ2 쇼어 알고리즘을 사용한 신뢰성 있는 소인수분해를 위해 허용 가능한 최대 게이트 오류율은 얼마인가?
• RQ3 실제 노이즈 조건 하에서 QPF 회로의 무결성을 유지하는 데에 양자 오류정정 코드는 얼마나 효과적인가?
• RQ4 게이트 동작 속도와 붕괴는 쇼어 알고리즘의 전체 성공에 어떤 역할을 하는가?
• RQ5 쇼어 알고리즘을 사용한 확장 가능한 소인수분해를 가능하게 하기 위한 물리적 큐비트의 최소 성능 요건은 무엇인가?

주요 결과

• 양자 주기 찾기(QPF) 서브루틴은 조그만 오류 수준에서도 알고리즘 성공률을 크게 떨어뜨리며 매우 민감하다.
• 게이트 오류와 유휴 큐비트의 붕괴는 QPF 서브루틴의 빠른 실패를 초래하며 기하급수적 속도 향상의 잠재력을 약화시킨다.
• 잘 설계된 효율적인 양자 오류정정(QEC) 코드는 노이즈 있는 양자 시스템에서 계산 정밀도를 유지하는 데 필수적이다.
• 초저수준 게이트 오류율과 빠른 게이트 동작은 QPF 과정 중 오류 누적을 최소화하는 데 핵심적이다.
• 시뮬레이션 결과는 실용적인 쇼어 알고리즘 구현을 위해서는 현재 NISQ 장치의 능력을 초월한 엄격한 하드웨어 성능 기준이 필요하다는 것을 시사한다.
• 이 연구는 강력한 오류정정과 저오류 동작 없이선 근접한 양자 하드웨어에서 확장 가능한 소인수분해가 여전히 실현 불가능하다는 점을 강조한다.