[논문 리뷰] Probability Analysis of a Quantum Computer

G. Einarsson|ArXiv.org|2003. 03. 12.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 6

한 줄 요약

이 논문은 양자 컴퓨터에서 쇼어의 소인수분해 알고리즘의 성공 확률을 분석하며, 무작위로 선택된 기수 $ x $ 가 2/3 확률로 성공적인 인수분해를 제공함을 보여준다. 양자 푸리에 변환을 사용하여 출력 상태의 확률 분포를 유도하고, 연속 분수를 통한 후처리가 신뢰성 있게 순서 $ r $ 을 복구함을 확인한다. 실패 원인은 홀수인 $ r $ 이거나 $ x^{r/2} \equiv -1 \pmod{n} $ 인 경우이며, 이 두 조건의 통합 확률은 1/3이다.

ABSTRACT

The quantum computer algorithm by Peter Shor for factorization of integers is studied. The quantum nature of a QC makes its outcome random. The output probability distribution is investigated and the chances of a successful operation is determined

연구 동기 및 목표

• 쇼어의 알고리즘을 양자 컴퓨터에서 사용할 때 성공적인 인수분해의 확률을 분석하는 것.
• 무작위로 선택된 기수 $ x $ 가 성공적인 인수분해로 이어질 가능성을 규명하는 것.
• 양자 푸리에 변환과 후처리가 순서 $ r $ 복구에 미치는 역할을 정량화하는 것.
• 알고리즘이 실패하는 조건을 특정하고, 그 조합된 확률을 파악하는 것.

제안 방법

• 모듈로 $ n $ 에 대한 $ x^a \mod n $ 의 중첩 상태에 양자 푸리에 변환을 적용한 후의 양자 상태를 모델링한다.
• 지수 항의 기하급수 합을 사용하여 측정 결과인 출력 상태 $ c $ 의 확률 분포 $ P(c) $ 를 유도한다.
• 출력 분포의 피크 구조를 기술하기 위해 감마 함수 $ \frac{\sin^2[\pi(M+1)rc/N]}{\sin^2[\pi rc/N]} $ 를 사용한다.
• 연속 분수를 적용하여 $ c/N $ 에서 $ \nu/r $ 를 추정하며, $ |c/N - \nu/r| < \Delta_{\text{min}} $ 일 때 정확한 복구가 보장됨을 확인한다.
• $ d = 0 $ 이거나 $ d = 1 $ 이 되는 확률을 분석하여, $ N \geq n^2 $ 일 경우 순서 $ r $ 의 정확한 복구 가능성이 90.2% 임을 보여준다.
• 실패 조건을 평가한다: $ r $ 이 홀수일 확률(1/4)과 $ x^{r/2} \equiv -1 \pmod{n} $ 일 확률(1/12)을 합하면 총 실패 확률이 1/3이 된다.

실험 결과

연구 질문

• RQ1 무작위로 선택된 $ x $ 가 쇼어의 알고리즘을 사용해 성공적인 인수분해를 이끌 확률은 얼마인가?
• RQ2 양자 푸리에 변환은 출력 상태 분포와 측정 결과에 어떻게 영향을 미치는가?
• RQ3 연속 분수 후처리가 올바른 순서 $ r $ 을 복구하지 못하는 조건은 무엇인가?
• RQ4 무작위 $ x $ 값 중 순서 $ r $ 이 홀수거나 $ x^{r/2} \equiv -1 \pmod{n} $ 인 경우로 인해 알고리즘이 실패하는 비율은 얼마인가?
• RQ5 양자 레지스터의 크기 $ N = 2^{q_A} $ 는 순서 복구의 신뢰성에 어떻게 영향을 미치는가?

주요 결과

• 무작위로 선택된 $ x $ 가 성공적인 인수분해를 이끌 확률은 정확히 2/3이며, $ n $ 의 크기와는 무관하다.
• 순서 $ r $ 이 홀수일 경우의 실패 확률은 1/4이며, $ x^{r/2} \equiv -1 \pmod{n} $ 일 경우의 실패 확률은 1/12이며, 이 두 확률을 합하면 총 실패 확률이 1/3이 된다.
• $ N \geq n^2 $ 일 경우, $ d = 0 $ 이거나 $ d = 1 $ 이면 연속 분수 알고리즘이 순서 $ r $ 을 정확히 복구할 확률이 90.2% 이다.
• $ d = 0 $ 이거나 $ d = 1 $ 이 되는 확률는 $ \frac{\sin^2(\pi\delta_\nu)}{\pi^2(d - \delta_\nu)^2} $ 를 잘 근사하며, $ r/N $ 이 작을 경우 높은 정확도를 보인다.
• 알고리즘이 실패하는 경우는 $ \nu = 0 $ 일 때이며, 이는 확률 $ 1/r $ 으로 발생하지만, 일반적으로 $ r $ 이 크면 이는 무시할 수 있을 정도로 작다.
• $ x^{r/2} \equiv -1 \pmod{n} $ 조건은 $ r_1 $ 과 $ r_2 $ 가 모두 짝수이고 동일한 2의 거듭제곱을 공유할 때만 발생하며, 이는 무작위 $ x $ 에 대해 확률 1/12로 발생한다.