[논문 리뷰] Limit theorems and absorption problems for quantum random walks in one dimension

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

Quantum Computing Algorithms and Architecture참고 문헌 29인용 수 4

한 줄 요약

이 논문은 새로운 PQRS 조합 방법을 사용하여 일차원 양자 랜덤 워크(QRWs)의 두 유형—G형(Gudder)과 A형(Ambainis 등)—에 대한 극한 정리와 흡수 확률을 수립한다. 한편으로는 극한 분포, 대칭성, 흡수 확률에서의 상이한 행동을 드러내며, A형 QRW가 G형보다 원점으로의 흡수 확률이 더 높음을 보이며, 유한 및 무한 체계에서 스펙트럼 분석과 생성함수를 통해 정확한 경계를 도출한다.

ABSTRACT

In this paper we consider limit theorems, symmetry of distribution, and absorption problems for two types of one-dimensional quantum random walks determined by 2 times 2 unitary matrices using our PQRS method. The one type was introduced by Gudder in 1988, and the other type was studied intensively by Ambainis et al. in 2001. The difference between both types of quantum random walks is also clarified.

연구 동기 및 목표

• 일차원에서 G형과 A형 양자 랜덤 워크의 행동에 근본적인 차이를 명확히 하기 위해.
• 푸리에 분석을 피하면서도 조합적 PQRS 방법을 사용하여 두 유형의 QRW에 대한 극한 정리를 도출하기 위해.
• 유한 및 무한 체계에서 두 QRW 유형에 대한 흡수 확률과 첫 번째 도착 시간의 모멘트를 분석하기 위해.
• 생성함수와 스펙트럼 방법을 사용하여 흡수 확률과 조건부 모멘트에 대한 정확한 표현을 제공하기 위해.

제안 방법

• PQRS 방법은 시간 진화를 왼쪽과 오른쪽 치랄리티 상태에 작용하는 연산자 P와 Q로 분해하며, P와 Q는 유니터리 행렬 U에 의해 정의된다.
• 진폭 진화는 |Ψ_{j,k}(n+1)⟩ = P_j |Ψ_{j,k+1}(n)⟩ + Q_j |Ψ_{j,k-1}(n)⟩로 모델링되며, A형과 G형 QRW에 대해 각각 다른 P와 Q 행렬을 사용한다.
• 유한 체계에서 확률 생성함수 p_k^{(N)}(z)와 r_k^{(N)}(z)의 표현을 유도하기 위해 생성함수와 경계 조건을 사용한다.
• 흡수 확률은 단위 원 위의 적분을 통해 계산되며, ∫ |⋯|² dθ / (2π) 형태의 표현을 사용한다.
• 이 방법을 통해 Bessel 함수와 특성 방정식의 근을 이용하여 흡수 확률과 모멘트를 정확히 계산할 수 있다.
• 헤이덤라드 워크(U = H)의 경우 N ≥ 2일 때 명시적인 공식을 도출하였으며, Bessel 유사 합을 포함하는 r_1^{(N)}(z)의 닫힌 형태를 제공한다.

실험 결과

연구 질문

• RQ1 일차원에서 A형과 G형 양자 랜덤 워크의 극한 분포는 어떻게 다릅니까?
• RQ2 각 QRW 유형의 확률 분포의 대칭성은 어떻게 구성되어 있습니까?
• RQ3 유한 및 무한 체계에서 두 QRW 유형의 원점으로의 정확한 흡수 확률는 무엇입니까?
• RQ4 최종 흡수 조건 하에서 원점으로의 첫 번째 도착 시간의 모멘트는 어떻게 행동합니까?
• RQ5 PQRS 방법과 QRW 진화의 스펙트럼 성질 사이의 정확한 관계는 무엇입니까?

주요 결과

• 무한 체계에서 k=1에서 원점으로의 흡수 확률는 A형과 G형 QRW 모두에서 (4−π)/π ≤ P_{j,1}^{(∞)}(φ) ≤ 1을 만족한다.
• k=1에서 원점으로의 첫 번째 도착 시간의 조건부 첫 번째 모멘트는 E_{j,1}^{(∞)}(T_0|T_0<∞) = 1 / P_{j,1}^{(∞)}(φ)이며, m≥2인 고차 모멘트는 발산한다.
• N≥2인 유한 체계에서 흡수 확률 P^{(N)}_{A,1}(φ)는 α, β에 대한 이차형식으로 표현되며, ∫ |r_1^{(N)}(e^{iθ})|² dθ / (2π)를 계수로 포함하여 초기 상태에 대한 명시적 의존성을 보인다.
• 초기 상태가 k=1에서 |R⟩인 헤이덤라드 워크의 경우, N=2,…,6에 대해 식 (4.6)의 추측을 만족한다.
• r_1^{(N)}(z)에 대한 명시적 공식이 도출되었으며, r_1^{(2)}(z)=0, r_1^{(3)}(z)=z³/(2−z²), 그리고 N≥4일 때 r_1^{(N)}(z) = −z² J_{N-3}(z) J_{N-4}(z) / [√2 (J_{N-3}(z))² − z J_{N-3}(z) J_{N-4}(z) − √2 (−1)^{N-3}]이다.
• G형 QRW의 k=1에서의 흡수 확률는 P^{(N)}_{G,1}(φ) = |α|² + (∫ |r_1^{(N)}(e^{iθ})|² dθ / 2π) |β|²로 표현되며, A형보다 초기 상태에 대한 의존성이 더 단순하다.