[논문 리뷰] A New Type of Limit Theorems for the One-Dimensional Quantum Random Walk

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

Quantum Computing Algorithms and Architecture참고 문헌 13인용 수 15

한 줄 요약

이 논문은 특성 함수의 조합적 표현을 유도하여 1차원 양자 랜덤 워크에 대한 새로운 유형의 극한 정리 수립을 통해, 대칭 초기 상태에 대해 스케일링된 위치 $X_n^\varphi/n$ 가 $(-1/\sqrt{2}, 1/\sqrt{2})$ 에서 밀도 $1/\pi(1-x^2)\sqrt{1-2x^2}$ 를 갖는 비정규 분포로 약하게 수렴함을 드러낸다. 이 결과는 고전적 중심극한정리와는 근본적으로 대조되며, 양자 워크 역학의 시뮬레이션 결과에 대한 엄밀한 분석적 검증을 제공한다.

ABSTRACT

In this paper we consider the one-dimensional quantum random walk X^{varphi} _n at time n starting from initial qubit state varphi determined by 2 times 2 unitary matrix U. We give a combinatorial expression for the characteristic function of X^{varphi}_n. The expression clarifies the dependence of it on components of unitary matrix U and initial qubit state varphi. As a consequence of the above results, we present a new type of limit theorems for the quantum random walk. In contrast with the de Moivre-Laplace limit theorem, our symmetric case implies that X^{varphi}_n /n converges in distribution to a limit Z^{varphi} as n to infty where Z^{varphi} has a density 1 / pi (1-x^2) sqrt{1-2x^2} for x in (- 1/sqrt{2}, 1/sqrt{2}). Moreover we discuss some known simulation results based on our limit theorems.

연구 동기 및 목표

• 1차원 양자 랜덤 워크의 특성 함수에 대한 조합적 표현을 유도하여, 단위 행렬 $U$ 와 초기 큐비트 상태 $\varphi$ 에 대한 명시적 의존성을 보여주는 것.
• 고전적 드 모르와브-라플라스 정리와 근본적으로 다른 새로운 유형의 약한 수렴 극한 정리 수립.
• 양자 랜덤 워크 분포의 대칭성과 모멘트가 단위 행렬 $U$ 와 초기 상태 $\varphi$ 에 어떻게 의존하는지 명확히 하는 것.
• 하다르드 워크 및 기타 케이스에 대해 엄밀한 분석적 극한을 제공함으로써 기존 수치 시뮬레이션 결과의 검증 또는 수정.

제안 방법

• 2×2 단위 행렬 $U$ 로부터 유도된 네 개의 행렬 $P, Q, R, S$ 를 도입하여 워크의 진화를 분해하고 경로 수를 용이하게 하기.
• 경로 적분 접근법을 사용하여 확률 진폭을 모든 유효한 경로의 합으로 표현함으로써 특성 함수 유도.
• 위치와 치랄리티의 복합 힐베르트 공간에 작용하는 블록 순환 단위 행렬 $\overline{U}_N$ 을 통해 시간에 따른 상태 $\Psi^{(n)}(\varphi)$ 를 정의.
• 전이 규칙과 초기 상태 의존성을 코딩하는 행렬 $P, Q, R, S$ 를 사용하여 $X_n^\varphi$ 의 특성 함수 유도.
• 푸리에 분석과 점근적 방법을 적용하여 $n \to \infty$ 일 때 $X_n^\varphi/n$ 의 약한 극한을 분석하고, 극한 밀도 도출.
• 일반 결과를 하다르드 워크 케이스에 특화하여 대칭 및 비대칭 초기 상태에 대해 명시적인 극한 분포 계산.

실험 결과

연구 질문

• RQ1 양자 랜덤 워크의 위치 $X_n^\varphi$ 의 분포는 $n \to \infty$ 일 때 어떻게 스케일링되며, 극한 밀도는 무엇인가?
• RQ2 극한 분포는 단위 행렬 $U$ 와 초기 큐비트 상태 $\varphi$ 에 어떻게 의존하는가?
• RQ3 양자 워크의 극한 행동은 고전적 드 모르와브-라플라스 정리와 어떻게 다를까?
• RQ4 하다르드 워크에 대해 엄밀한 분석 결과로 기존 수치 시뮬레이션 결과를 검증하거나 수정할 수 있는가?
• RQ5 다양한 초기 상태에서 $X_n^\varphi$ 의 평균과 표준편차의 정확한 점근적 값은 무엇인가?

주요 결과

• 대칭 초기 상태 $\varphi = [1/\sqrt{2}, i/\sqrt{2}]^T$ 에 대해 스케일링된 위치 $X_n^\varphi/n$ 는 $(-1/\sqrt{2}, 1/\sqrt{2})$ 에서 밀도 $1/\pi(1-x^2)\sqrt{1-2x^2}$ 를 갖는 극한 $Z^\varphi$ 로 약하게 수렴한다.
• 극한 분포는 비정규이며, 고전적 정규 분포보다 꼬리가 두꺼운데, 지지역은 $\pm 1/\sqrt{2}$ 로 제한된다.
• 대칭 초기 상태에서 $X_n^\varphi$ 의 점근적 표준편차를 $n$ 으로 스케일링한 값은 $\sqrt{(2 - \sqrt{2})/2} \approx 0.54119$ 이다.
• 비대칭 초기 상태 $\varphi = [0,1]^T$ 에 대해 극한 평균은 $(2 - \sqrt{2})/2 \approx 0.29289$ 이고, 표준편차를 $n$ 으로 스케일링한 값은 $\sqrt{(\
• 비대칭 케이스 $\varphi = [0,1]^T$ 의 분석적 극한은 Mackay 등 [6] 이 보고한 시뮬레이션 결과 0.4544 ± 0.0012 와 일치하며, 엄밀한 값 $\sqrt{(\
• 논문은 이전 시뮬레이션의 모순을 해결하여, Travaglione 와 Milburn [13] 이 보고한 대칭 케이스에서 표준편차 0.6 은 정확하지 않음을 보여주며, 정확한 값은 약 0.54119 임을 확인한다.