[논문 리뷰] Limit distribution with a combination of density functions for a 2-state quantum walk

Takuya Machida|arXiv (Cornell University)|2010. 10. 18.

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

한 줄 요약

이 논문은 정수선 위에서 단위 연산 행렬이 주기적으로 번갈아 가며 작용하는 시간 비균질 2상태 양자 산책을 연구한다. 이로 인해 원점에서 국소화 현상이 발생하며, 이는 표준 시간 균질 산책에서는 관찰되지 않는 현상이다. 푸리에 분석과 고유값 분해를 통해 저자들은 한계 분포를 밀도 함수의 조합으로 유도하며, 주기적인 진동 연산자 번갈아 적용으로 인해 비균일하고 다중 성분의 확률 밀도를 가지는 궤도적 확산이 발생함을 명시적으로 보여준다.

ABSTRACT

We consider 2-state quantum walks (QWs) on the line, which are defined by two matrices. One of the matrices operates the walk in certain intervals. In the usual QWs starting from the origin, localization does not occur at all. However, our walk can be localized around the origin. In this paper, we present some limit distributions for the walk.

연구 동기 및 목표

• 두 개의 단위 행렬에 의해 제어되는 시간 비균질 진동을 가지는 2상태 양자 산책의 점근적 행동을 분석하는 것.
• 표준 시간 균질 산책에서 관찰되지 않는 바에 비해, 이러한 시간 비균질 모델에서 원점에서 국소화가 발생할 수 있는지 조사하는 것.
• 푸리에 분석을 통해 산책자의 위치 분포의 한계 분포를 다수의 밀도 함수의 조합으로 유도하는 것.
• 특히 $(m+n)\tau + m$ 형태의 시간에서 산책자의 분포 수렴 정리를 확립하는 것.
• 초기 상태 파rameter와 진동 파rameter인 $\theta$에 따라 한계 확률 밀도를 함수로 특성화하는 것.

제안 방법

• 산책은 $ℤ$ 위에서 두 개의 단위 행렬 $U$와 $H$를 사용하여 정의되며, 시간에 따라 $\tau+1$ 간격으로 $U$와 $H$ 사이를 주기적으로 번갈아 적용한다.
• 진동은 앰플리튜드의 푸리에 변환을 통해 분석되며, $\hat{U}(k) = R(k)U$ 및 $\hat{H}(k) = R(k)H$를 포함하는 푸리에 도메인 내 행렬 재귀식으로 표현되며, 여기서 $R(k)$는 위상 이동 행렬이다.
• $\hat{U}(k)$의 고유값과 고유벡터를 사용하여 진동 연산자를 대각화함으로써, 시간 $(m+n)\tau + m$에서의 앰플리튜드를 정확하게 표현할 수 있다.
• 시간 $\tau \to \infty$일 때 위치 분포의 $r$-번째 모멘트를 점근적으로 계산하며, 고유값 역학과 전이 행렬 원소로부터 주요 항을 도출한다.
• 특성 함수의 극한을 취함으로써 한계 분포를 도출하며, 이는 $f_K(x;c)$, $M_2(x)$, $B_2(x;n)$, $B_3(x;n)$를 포함하는 가중치가 부여된 성분들의 합으로 표현된다.
• 최종 한계 밀도는 세 개의 성분으로 표현되며, 이는 각각 주된 고유모드 기여, $n/(n+2)$ 비율로 스케일링된 보조 고유모드 기여, $(n+2)/(n-2)$ 비율로 스케일링된 다른 보조 기여로부터 유도된다.

실험 결과

연구 질문

• RQ1 시간 비균질 2상태 양자 산책에서, 표준 시간 균질 모델에서는 관찰되지 않는 바에 비해 원점에서 국소화가 발생할 수 있는가?
• RQ2 두 개의 단위 행렬 사이를 주기적으로 번갈아 적용할 경우, 산책자의 위치의 점근적 한계 분포는 어떻게 되는가?
• RQ3 한계 분포는 초기 상태 $[\alpha, \beta]^T$와 매개변수 $\theta$에 어떻게 의존하는가?
• RQ4 한계 분포는 다수의 밀도 함수의 조합으로 표현될 수 있으며, 만약 그렇다면 각 성분의 함수 형태는 무엇인가?
• RQ5 모멘트의 스케일링 행동은 어떻게 되며, 이는 산책의 궤도적 확산과 어떻게 관련되는가?

주요 결과

• 양자 산책의 한계 분포는 시간 진동 연산자에서 기인하는 서로 다른 고유모드 기여에 해당하는 세 개의 별개의 밀도 성분의 합으로 표현된다.
• 주된 성분은 $f_K(x;c) = \frac{|s|}{\pi(1-x^2)\sqrt{c^2 - x^2}}I_{(-|c|,|c|)}(x)$이며, 이는 $|s|$로 스케일링된 반원형 유사 밀도 함수이다.
• 두 개의 보조 성분은 혼합 고유벡터 기여에서 기인하며, 초기 상태와 매개변수 $n$에 따라 의존하는 $B_2(x;n)$ 및 $B_3(x;n)$로 가중된 밀도로 나타난다.
• 주기적인 진동 연산자 번갈아 적용으로 인해 비균일하고 다중 모드의 구조를 가지며, 단일 단순 형태가 아닌 밀도의 조합으로 나타나는 특징을 보인다.
• 특성 함수는 세 개의 가중된 항으로 구성된 밀도 함수로 수렴하며, 각 항은 $f_K(x;c)$의 서로 다른 스케일링 인자 $n/(n+2)$ 및 $(n+2)/(n-2)$를 포함한다.
• 시간 비균질 구조 덕분에 원점에서의 국소화가 가능하며, 이는 $U$와 $H$의 주기적 번갈아 적용이 균질 산책에서 국소화를 방지하는 대칭성을 깨뜨리기 때문이다.