[논문 리뷰] Quantum random walks in one dimension

Norio Konno|ArXiv.org|2002. 06. 10.

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

한 줄 요약

이 논문은 2×2 유니터리 행렬 U와 이를 바탕으로 유도된 네 개의 행렬 P, Q, R, S를 사용하여 일차원 격자 위의 양자 랜덤 워크를 분석하기 위한 경로 적분 방법을 제시한다. 이는 워크의 m번째 모멘트에 대한 조합적 표현을 유도하고, 새로운 극한 정리들을 수립하며, 분포의 대칭성에 필요한 조건을 밝혀내며, 고전적 랜덤 워크와 근본적으로 다른 특성을 드러낸다 — 특히 비정규 분포, 비정규 극한 분포 및 더 빠른 확산 속도를 포함한다.

ABSTRACT

This letter treats the quantum random walk on the line determined by a 2 times 2 unitary matrix U. A combinatorial expression for the mth moment of the quantum random walk is presented by using 4 matrices, P, Q, R and S given by U. The dependence of the mth moment on U and initial qubit state phi is clarified. A new type of limit theorems for the quantum walk is given. Furthermore necessary and sufficient conditions for symmetry of distribution for the quantum walk is presented. Our results show that the behavior of quantum random walk is striking different from that of the classical ramdom walk.

연구 동기 및 목표

• 유니터리 행렬 U와 초기 큐비트 상태 φ에 따른 양자 랜덤 워크의 모멘트와 분포의 의존성을 분석하는 것.
• U로부터 유도된 네 개의 행렬을 사용하여 특성 함수에 대한 조합적 프레임워크를 개발하는 것.
• 고전적 중심극한정리와 근본적으로 다른 새로운 극한 정리를 양자 워크에 수립하는 것.
• 워크의 분포가 원점 기준 대칭이 되는 데 필요한 필수 및 필요조건을 규명하는 것.
• 특히 확산 속도와 분포 형태 측면에서 양자 워크가 고전적 랜덤 워크와 어떻게 다를지 명확히 하는 것.

제안 방법

• 2×2 유니터리 행렬 U가 왼쪽과 오른쪽 치랄리티 상태에 작용하도록 양자 워크를 정의하고, U로부터 유도된 행렬 P와 Q를 사용하여 진폭 전파에 기반한 시간 진화를 기술하는 것.
• U로부터 유도된 네 개의 행렬 P, Q, R, S를 도입하여, 모든 경로에 대한 합으로 특성 함수를 조합적으로 표현하는 것.
• 자지 다항식의 점근적 분석을 통해 워크의 확률 분포의 장시간 행동을 유도하는 것.
• 경로 적분 방법을 적용하여 워크의 m번째 모멘트를 U와 초기 상태 φ의 함수로 계산하는 것.
• Xₙⁿ/n의 점근적 분포를 분석하여 극한 정리를 도출하고, 비정규, 컴act하게 지지된 밀도로 수렴하는 것을 보여주는 것.
• 복소해석학과 삼각함수 항등식을 적용하여 확률 진폭을 φ와 U에 의존하는 위상 인자와 진동 함수로 표현하는 것.

실험 결과

연구 질문

• RQ1 일차원 양자 랜덤 워크의 m번째 모멘트는 유니터리 행렬 U와 초기 큐비트 상태 φ에 어떻게 의존하는가?
• RQ2 양자 워크의 위치의 점근적 분포는 무엇이며, 고전적 중심극한정리와 어떻게 다를까?
• RQ3 U와 φ에 어떤 조건이 성립할 경우 양자 워크의 분포가 원점 기준 대칭이 되는가?
• RQ4 양자 워크의 확산 속도는 얼마이며, 고전적 랜덤 워크와 비교해 보면 어떠한가?
• RQ5 비정규, 비정규 행동을 포괄하는 일반적인 극한 정리를 양자 워크에 도출할 수 있는가?

주요 결과

• 양자 워크의 m번째 모멘트는 유니터리 행렬 U와 초기 큐비트 상태 φ에 명시적으로 의존하며, P, Q, R, S 행렬을 통해 조합적 표현이 유도되었다.
• 양자 워크의 극한 분포는 비정규이며 컴팩트하게 지지되며, 대칭 초기 상태일 경우 분모에 √(1 - 2x²)를 포함하는 밀도로 수렴한다.
• 대칭 초기 상태 φ = [1/√2, i/√2]를 가진 하다마드 워크의 경우 극한 분포는 ∫ₐᵇ 1/(π(1 - x²)√(1 - 2x²)) dx이며, 고전적 가우시안 극한과 뚜렷이 다름을 보인다.
• 대칭 초기 상태일 경우 극한 분포의 표준편차는 √((2 - √2)/2) ≈ 0.54119로 계산되며, 고전적 √(1/2) ≈ 0.707보다 훨씬 빠르며 초확산 확산을 나타낸다.
• 비대칭 초기 상태 φ = [0, e^{iθ}]일 경우 극한 분포는 이동하며, E(Xₙ)/n → (2 - √2)/2 ≈ 0.29289이고 표준편차는 √((√2 - 1)/2) ≈ 0.45508로 나타나 수치 시뮬레이션과 일치한다.
• 논문은 대칭성에 필요한 필수 및 필요조건을 증명하였으며, 분포가 대칭이 되는 것은 |α|² = |β|² 이고 Re(aαβ̄ + āβᾱ) = 0 인 것과 동치임을 보였다. 이는 대칭성이 U와 φ에 모두 의존함을 연결한다.