[논문 리뷰] Weak limit theorem of a two-phase quantum walk with one defect

Shimpei Endo, Takako Endo외 3명|arXiv (Cornell University)|2014. 12. 14.

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

한 줄 요약

이 논문은 원점에 단일 결함이 있는 두 단계 양자 산책에 대해 처음으로 약한 한계 정리를 수립하며, 생성함수 방법을 사용하여 구배 확산을 분석한다. 비대칭적인 약한 한계 측도를 도출하여 시스템의 비평형 역학을 기록하며, 시간 평균 대칭성은 유지되지만 공간 비균질성이 대칭성을 깨뜨리는 방식을 드러낸다. 확률 밀도는 코인 매개변수와 초기 상태에 대해 명시적으로 표현된다.

ABSTRACT

We attempt to analyze a one-dimensional space-inhomogeneous quantum walk (QW) with one defect at the origin, which has two different quantum coins in positive and negative parts. We call the QW "the two-phase QW", which we treated concerning localization theorems [10]. The two-phase QW has been expected to be a mathematical model of the topological insulator [16] which is an intense issue both theoretically and experimentally [3,5,11]. In this paper, we derive the weak limit theorem describing the ballistic spreading, and as a result, we obtain the mathematical expression of the whole picture of the asymptotic behavior. Our approach is based mainly on the generating function of the weight of the passages. We emphasize that the time-averaged limit measure is symmetric for the origin [10], however, the weak limit measure is asymmetric, which implies that the weak limit theorem represents the asymmetry of the probability distribution.

연구 동기 및 목표

• 원점에 단일 결함이 있는 일차원 공간 비균일 양자 산책에 대한 약한 한계 정리를 유도하는 것.
• 위상 절연체를 모델링하는 두 단계 양자 산책의 점진적 비대칭 확산 행동을 분석하는 것.
• 약한 한계 측도가 비대칭임을 보여주며, 시간 평균 측도와의 대비를 제시하는 것.
• 양자 코인의 차이가 있는 양의 및 음의 반직선에서의 비균일 양자 산책에 생성함수 방법을 확장하는 것.
• 지속적 국소화와 비대칭 확산을 포함한 점진적 행동에 대한 완전한 수학적 기술을 제공하는 것.

제안 방법

• 양자 산책의 경로 가중치의 생성함수를 사용하여 점진적 행동을 분석한다.
• 생성함수의 특이점을 식별하여 확률 분포에 대한 주요 기여를 추출한다.
• 이 방법은 주로 특이점 주변의 정적 위상 근사에 기반한 생성함수의 역 푸리에 변환을 계산하는 데 초점을 맞춘다.
• 약한 한계 측도는 생성함수의 특이점 근처에서 산책의 특성 함수 행동을 분석함으로써 도출된다.
• 초기 코인 상태와 결함을 기준으로 한 각 반직선의 위상 차이를 고려하여 유도된다.
• 결과 측도는 국소화를 나타내는 원점에서의 딜라 치수와, 코인 매개변수 및 초기 상태에 의존하는 연속 밀도 함수를 포함한다.

실험 결과

연구 질문

• RQ1 단일 결함이 있는 두 단계 양자 산책의 약한 한계 행동은 균일한 산책과 어떻게 다를까?
• RQ2 시간 평균 측도가 대칭임에도 불구하고 약한 한계 측도가 비대칭인 이유는 무엇인가?
• RQ3 두 단계 양자 산책에서 비대칭 확산 성분의 수학적 형태는 무엇인가?
• RQ4 생성함수 방법은 결함을 기준으로 각 측면의 다른 코인을 가진 비균일 양자 산책에 성공적으로 확장될 수 있는가?
• RQ5 코인 매개변수와 초기 상태는 점진적 확률 분포에 어떻게 영향을 미치는가?

주요 결과

• 약한 한계 측도는 양의 및 음의 반직선에서 다른 양자 코인으로 인한 공간 대칭성의 본질적 붕괴를 반영하여 비대칭이다.
• 비대칭 확산 성분은 $ f_K(x; 1/\rho) $ 비례하는 밀도 함수로 기술되며, $ \rho = \sqrt{2} $ 이고, $ f_K $ 는 식 (2)에 정의되어 있다.
• 약한 한계의 확률 밀도 함수는 코인 매개변수 $ \sigma_+ $, $ \sigma_- $ 및 초기 상태 $ \alpha, \beta $ 에 대해 명시적으로 유도되었으며, $ \sin k \cos k $ 의 부호에 따라 달라진다.
• 측도는 국소화를 나타내는 원점에서의 델타 함수 성분을 포함하며, 이 성분의 가중치 $ C \in [0,1) $ 이며 이는 이전의 국소화 정리와 일치한다.
• 유도 과정은 시간 평균 측도가 대칭임에도 불구하고, 위상 차이와 초기 상태의 상호작용이 비대칭성을 유도함을 보여준다.
• 최종 약한 한계 측도는 $ \mu(dx) = C\delta_0(dx) + w(x)f_K(x;1/\sqrt{2})dx $ 로 표현되며, $ w(x) $ 는 코인 매개변수와 초기 상태에 따라 달라진다.