[논문 리뷰] Theoretical Analyses of Quantum Counting against Decoherence Errors

Jun Hasegawa, Fumitaka Yura|ArXiv.org|2005. 03. 25.

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

한 줄 요약

이 논문은 양자 푸리에 변환을 사용하여 문제의 해의 수를 추정하는 데 핵심적인 양자 알고리즘인 양자 수세기에서 디코herence의 영향을 분석한다. 비편광 채널 하에서 제어된-Grover 연산의 상승순서 및 내림차순 순서 회로를 비교함으로써, 본 연구는 상승순서 회로가 더 뛰어난 내성성을 보이며, 잘못된 피크 수가 적고 정확한 출력에 대한 허용도가 높다는 것을 밝혀내었으며, 이는 위상 추정 및 샤오어의 인수분해에까지 확장 가능하다.

ABSTRACT

In this paper, we analyze the quantum counting under the decoherence, which can find the number of solutions satisfying a given oracle. We investigate probability distributions related to the first order term of the error rate on the quantum counting with the depolarizing channel. We also implement two circuits for the quantum counting -- the ascending-order circuit and the descending-order circuit -- by reversing ordering of application of controlled-Grover operations. By theoretical and numerical calculations for probability distributions, we reveal the difference of probability distributions on two circuits in the presence of decoherence and show that the ascending-order circuit is more robust against the decoherence than the descending-order circuit. This property of the robustness is applicable to the phase estimation such as the factoring.

연구 동기 및 목표

• 데이터베이스 내 해의 수를 추정하는 데 핵심적인 양자 알고리즘인 양자 수세기에서 디코herence의 영향을 조사하는 것.
• 양자 수세기에서 제어된-Grover 연산의 두 회로 구현 방식인 상승순서 및 내림차순 순서의 디코herence에 대한 내성성 차이를 비교하는 것.
• 유사한 양자 푸리에 변환 구조를 사용하는 알고리즘에 대해, 회로 내성성에 대한 발견을 위상 추정 알고리즘, 예를 들어 샤오어의 인수분해에까지 확장하는 것.
• 오차 분포 및 회로 순서가 디코herence 존재 하에서 첫 번째 및 두 번째 양자 레지스터의 확률 분포에 미치는 영향을 규명하는 것.
• 위상 추정에서 효율성이 높은 반-고전적 구현 방식이 디코herence에 얼마나 취약한지 평가하는 것.

제안 방법

• 디코herence를 오차 원천으로 하여 비편광 채널을 사용해 모델링하고, 이를 양자 수세기 회로의 첫 번째 및 두 번째 양자 레지스터에 독립적으로 적용한다.
• 복소 지수함수 및 삼각함수를 포함한 합계를 사용하여 상승순서 및 내림차순 순서 회로의 최종 상태 확률 진폭에 대한 해석적 표현을 유도한다.
• 디코herence 속도의 1차 오차 항에 중점을 두어, 확률 함수의 피크를 식별함으로써 이론적 및 수치적 분석을 수행한다.
• 두 회로 순서 간의 결과 확률 분포를 비교하여, 특히 내림차순 순서에서 나타나는 가짜 피크인 m′=0 및 m′=2^p/2와 같은 오차 유도 피크를 식별한다.
• 양자 푸리에 변환 및 제어된-Grover 연산을 핵심 구성 요소로 사용하며, 제어 연산의 순서에 따라 회로 구조가 다름을 고려한다.
• 양자 수세기 구조를 위상 추정 프레임워크와 연결함으로써 위상 추정에 분석을 적용하고, 유사 알고리즘으로의 내성성 결론을 확장한다.

실험 결과

연구 질문

• RQ1 비편광 채널로 모델링된 디코herence는 양자 수세기 알고리즘의 확률 분포에 어떤 영향을 미치는가?
• RQ2 양자 수세기에서 제어된-Grover 연산의 상승순서 및 내림차순 순서 구현 방식 간에 디코herence 내성성에 어떤 차이가 있는가?
• RQ3 왜 두 회로 순서의 확률 분포가 디코herence 하에서 특히 두 번째 레지스터에서 다를까?
• RQ4 특정 오차 유도 피크가 한 회로 구성에서만 나타나는가? 그리고 그것이 출력 정확도에 어떤 영향을 미치는가?
• RQ5 상승순서 회로의 내성성 우월성이 샤오어의 인수분해와 같은 다른 위상 추정 알고리즘으로까지 확장될 수 있는가?

주요 결과

• 첫 번째 레지스터에서 디코herence가 발생할 경우, 상승순서 및 내림차순 순서 회로 모두 정확한 피크에서 두 배수 간격의 거리에 여러 피크를 생성하며 유사한 확률 분포를 보인다.
• 두 번째 레지스터에서 디코herence가 발생할 경우, 상승순서 회로는 m′=f 및 m′=2^p−f에 해당하는 정확한 해에 대응하는 두 개의 강력한 피크와 약한 측면 피크만 생성한다.
• 반면, 두 번째 레지스터에서 내림차순 순서 회로는 오라클 또는 오차 유형과 무관하게 m′=0 및 m′=2^p/2에 추가적인 강력한 가짜 피크를 생성하며, 이는 출력 분포를 지배한다.
• 동일한 디코herence 조건 하에서 상승순서 회로에서 정확한 출력 확률이 내림차순 순서 회로보다 더 높게 나타난다.
• 내림차순 순서의 경우 m′=2^p/2에 강력한 피크가 존재하며, 이는 그로버 연산자의 −1 고유값에 해당하며, 상승순서 회로에서는 이를 보이지 않는다.
• 상승순서 회로는 고정된 고확률 오류 출력인 m′=0 및 m′=2^p/2의 형성을 피하므로 전체적으로 더 견고하다.