[논문 리뷰] One-dimensional discrete-time quantum walks on random environments

Norio Konno|arXiv (Cornell University)|2009. 04. 02.

Quantum Computing Algorithms and Architecture참고 문헌 17인용 수 5

한 줄 요약

이 논문은 경로 수세기 기법을 사용하여 랜덤 환경에서의 1차원 이산 시간 양자 산책에 대해 고정된(fixed) 및 평균화된(averaged) 약한 극한 정리들을 수립한다. 보행자의 위치의 극한 분포를 도출하며, 고정된 극한은 국소 환경 매개변수 ω₀에 의존하는 반면, 평균화된 극한은 ω₀에 대해 평균을 취하므로 대칭 허다드 양자 산책의 알려진 극한을 랜덤 환경으로 일반화한다.

ABSTRACT

We consider discrete-time nearest-neighbor quantum walks on random environments in one dimension. Using the method based on a path counting, we present both quenched and annealed weak limit theorems for the quantum walk.

연구 동기 및 목표

• 1차원 랜덤 환경에서의 이산 시간 양자 산책에 대해 처음으로 엄밀한 약한 극한 정리들을 수립하는 것.
• 고정된(고정된 환경 조건 하에서) 및 평균화된(환경에 대해 평균을 취한) 측도 하에서 보행자의 위치 분포의 점근적 행동을 분석하는 것.
• 공간적으로 비균일한 랜덤 유니터리 행렬에 대해 대칭 허다드 산책의 알려진 극한 법칙을 일반화하는 것.
• 조합 합을 통해 경로 진폭의 명시적 표현을 유도하고, 이를 야코비 다항식과 연결하여 점근적 분석을 수행하는 것.

제안 방법

• 모델은 i.i.d. 랜덤 유니터리 행렬 $ U_x = \frac{1}{\sqrt{2}} \begin{bmatrix} e^{i\omega_x} & 1 \\ 1 & -e^{-i\omega_x} \end{bmatrix} $을 사용하며, 여기서 $ \omega_x \in \mathbb{R} $이며, 국소 동역학을 정의한다.
• 보행자가 $ n = l + m $ 단계 후 위치 $ x = -l + m $에 도달하는 진폭을 계산하기 위해 경로 수세기 기법을 적용한다.
• 허다드 산책의 진폭 $ p_n^{(H)}(l,m) $ 및 $ q_n^{(H)}(l,m) $는 이항계수와 교대 부호를 포함한 합으로 표현된다.
• 이 합들은 초함수 항등식을 통해 야코비 다항식 $ P^{\nu,\mu}_{n}(x) $ 형태로 재기록되며, 이는 점근적 분석을 가능하게 한다.
• 특성 함수 $ E_n^\omega(e^{i\xi X_n/n}) $를 $ n \to \infty $의 극한에서 분석하여 약한 극한 정리를 도출한다.
• 고정된 극한은 결정론적 허다드 산책의 극한과 비례 상수 $ \sin(\omega_0) $를 갖는 교란 항을 결합하여 유도되며, 수정된 밀도 함수를 도출한다.

실험 결과

연구 질문

• RQ1 랜덤 환경에서의 1차원 이산 시간 양자 보행자 위치의 점근적 분포는 무엇인가?
• RQ2 표준 허다드 산책과 비교할 때, 랜덤 환경의 존재가 약한 극한 법칙에 어떤 영향을 미치는가?
• RQ3 경로 수세기 및 특수 함수를 사용하여 고정 및 평균화된 분포를 명시적으로 특성화할 수 있는가?
• RQ4 국소 환경 매개변수 $ \omega_0 $는 극한 분포의 형태를 어떻게 결정하는가?
• RQ5 주어진 왼쪽/오른쪽 단계 수를 갖는 경로의 진폭은 점근적 영역에서 정규직교 다항식과 어떤 관계가 있는가?

주요 결과

• 고정된 양자 산책의 약한 극한은 구간 $ [-1/\sqrt{2}, 1/\sqrt{2}] $에서 $ \frac{1 - \sin(\omega_0)x}{\pi(1 - x^2)\sqrt{1 - 2x^2}} $에 비례하는 확률 밀도로 수렴한다.
• 평균화된 약한 극한은 $ \omega_0 $에 대해 평균을 취함으로써 도출되며, $ \omega_0 = 0 $일 경우 표준 허다드 산책의 극한을 회복한다.
• 경로 진폭 $ p_n^{(H)}(l,m) $ 및 $ q_n^{(H)}(l,m) $는 야코비 다항식 $ P^{0,n-2l}_{l-1}(0) $ 및 $ P^{1,n-2l}_{l-1}(0) $ 형태로 표현되며, 이는 정밀한 점근적 분석을 가능하게 한다.
• 특성 함수 $ E_n^\omega(e^{i\xi X_n/n}) $는 $ \sin(\omega_0) $를 포함하는 적분으로 수렴하며, 이는 환경가 표준 밀도에 선형 보정을 도입함을 보여준다.
• 극한 밀도는 $ x = \pm 1/\sqrt{2} $에서 특이성을 보이며, 역제곱근 특이성을 갖는다. 이는 허다드 산책과 유사하지만 환경 매개변수에 의해 조절된다.
• 이 방법은 허다드 산책의 극한 법칙을 랜덤 환경으로 일반화하여, 향후 불순물 매질에서의 양자 산책 연구에 엄밀한 기초를 제공한다.