[논문 리뷰] A Refinement of Shor's Algorithm

D. S. McAnally|ArXiv.org|2001. 12. 09.

Quantum Computing Algorithms and Architecture참고 문헌 8인용 수 12

한 줄 요약

이 논문은 첫 번째 레지스터의 큐비트 수를 약 1.5배로 증가시켜 쇼어 알고리즘을 개선함으로써, 각 양자 실행에서 순서의 약수를 거의 확실하게 도출할 수 있도록 한다. 이 방법은 실행 간 결과를 누적하여 예상 실행 수를 O(1)로 줄이며, ≤2회 실행 내에 60% 이상의 성공 확률과 ≤4회 내에 90% 이상의 성공 확률을 제공하여 원래 쇼어 알고리즘에 비해 효율성이 크게 향상된다.

ABSTRACT

A refinement of Shor's Algorithm for determining order is introduced, which determines a divisor of the order after any one run of a quantum computer with almost absolute certainty. The information garnered from each run is accumulated to determine the order, and for any k greater than 1, there is a guaranteed minimum positive probability that the order will be determined after at most k runs. The probability of determination of the order after at most k runs exponentially approaches a value negligibly less than one, so that the accumulated information determines the order with almost absolute certainty. The probability of determining the order after at most two runs is more than 60%, and the probability of determining the order after at most four runs is more than 90%.

연구 동기 및 목표

• 쇼어의 양자 순서 탐색 알고리즘의 각 실행에서의 성공 확률을 향상시키는 것.
• 모듈로 n에 대한 x의 순서를 결정하기 위해 필요한 양자 컴퓨터 실행 수의 기대값을 줄이는 것.
• 각 실행이 순서의 약수를 거의 확실하게 도출하도록 보장하는 것.
• 소수 거듭제곱 인자에 대한 포함-배제 원리와 제타 함수 경계를 활용하여, 소수의 상한 수의 실행 이후에 높은 누적 성공 가능성을 보장하는 확률적 프레임워크를 제공하는 것.

제안 방법

• 양자 푸리에 변환(QFT)의 해상도를 향상시키기 위해 첫 번째 레지스터의 큐비트 수를 약 1.5배로 증가시키는 것.
• 측정 결과 분석을 위한 순환적 불변 거리 개념을 정의하기 위해 ℤ/qℤ 위에 모듈로 거리 ρq를 도입하는 것.
• 연속 분수 기법을 사용하여 측정된 값으로부터 순서 정보를 추출하는 고전적 후처리를 수행하는 것.
• 다양한 실행에서의 결과를 누적하여, 각 실행의 출력이 높은 확률로 진정한 순서의 약수로 간주되도록 하는 것.
• 순서의 소수 거듭제곱 인자에 해당하는 독립적인 랜덤 변수를 사용하여 결과의 확률 분포를 모델링하는 것.
• 포함-배제 원리와 제타 함수 경계를 적용하여 k번의 실행 이후 성공 확률에 대한 渐近 하한을 유도하는 것.

실험 결과

연구 질문

• RQ1 쇼어 알고리즘의 각 실행에서의 성공 확률를 거의 확실한 수준으로 높일 수 있는가? 즉, 각 실행이 순서의 약수를 신뢰성 있게 도출할 수 있는가?
• RQ2 각 실행이 부분 정보를 제공하는 바탕으로, 높은 확률로 순서를 결정하기 위해 최소 몇 번의 양자 실행이 필요한가?
• RQ3 큐비트 수를 증가시키는 것은 측정 결과의 확률 분포와 누적 결과의 수렴에 어떤 영향을 미치는가?
• RQ4 수론적 및 확률적 도구를 사용하여, 최대 k번의 실행 이후 순서를 결정할 확률을 아래에서 유계로 제한할 수 있는가?
• RQ5 실행 수가 증가함에 따라 성공 확률의 渐近 적 행동은 어떻게 되며, 이는 이상화된 경우와 어떻게 비교되는가?

주요 결과

• 최대 2회 실행 후, 순서를 결정할 확률는 60%를 초과한다.
• 최대 4회 실행 후, 순서를 결정할 확률는 90%를 초과한다.
• k번의 실행 후 성공 확률는 1/ζ(k) − O(n^−ε)로 하한이 보장되며, k가 증가함에 따라 1에 수렴한다.
• 큐비트 수 증가와 정교해진 QFT 해상도 덕분에, 각 실행이 순서의 약수를 거의 확실하게 도출함을 보장한다.
• 이론적 양자 컴퓨터 성능과 충분한 큐비트 스케일링을 가정할 경우, 필요한 양자 실행 수는 O(1)로 감소한다.
• 성공 확률의 하한은 리만 제타 함수의 성질과 순서의 소수 거듭제곱 인자에 대한 포함-배제 원리를 기반으로 유도된다.