[논문 리뷰] The Lackadaisical Quantum Walker is NOT Lazy at all

Kun Wang, Nan Wu외 2명|arXiv (Cornell University)|2016. 12. 11.

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

한 줄 요약

이 논문은 임의의 게으름 인자 τ를 가진 직선 위에서의 부정적 양자 산책(LQWs)에 대한 엄밀한 분석적 연구를 제공하며, 국소화 확률, 피크 속도, 그리고 장시간 근사 확률 밀도 함수에 대한 정확한 표현을 유도한다. 주요 발견은 모든 τ > 0 에서 LQWs가 궤도적으로 확산되며, 분산이 t² 비례로 증가하고, 놀랍게도 τ를 증가시킬수록 확산 속도가 향상된다는 것이다—이는 고전적 직관과 배치되며, LQWs가 이름에 비해 '게으르지 않다'는 것을 보여준다.

ABSTRACT

In this paper, we study the properties of lackadaisical quantum walks on a line. This model is first proposed in~\cite{wong2015grover} as a quantum analogue of lazy random walks where each vertex is attached $τ$ self-loops. We derive an analytic expression for the localization probability of the walker at the origin after infinite steps, and obtain the peak velocities of the walker. We also calculate rigorously the wave function of the walker starting from the origin and obtain a long time approximation for the entire probability density function. As an application of the density function, we prove that lackadaisical quantum walks spread ballistically for arbitrary $τ$, and give an analytic solution for the variance of the walker's probability distribution.

연구 동기 및 목표

• 임의의 게으름 인자 τ에 대해 직선 위에서의 부정적 양자 산책(LQWs)의 점점 가까워지는 국소화 확률을 분석하기 위해.
• 산책자의 분포에서 왼쪽 및 오른쪽으로 이동하는 확률 피크의 속도에 대한 명시적 표현을 도출하기 위해.
• LQWs의 전체 확률 밀도 함수에 대한 장시간 근사식을 확보하기 위해.
• LQWs가 궤도적으로 확산됨을 엄밀히 증명하고, 산책자의 위치 분포 분산에 대한 분석적 해를 도출하기 위해.
• 게으름 인자 τ를 증가시킬수록 확산 속도가 빨라지는 이면의 비직관적 행동을 밝혀내어, 고전적 게으른 산책의 직관과 배치되는 현상을 설명하기 위해.

제안 방법

• 시간 진화를 분석하고 원점에서의 한계 코인 상태를 유도하기 위해 이산 푸리에 변환을 사용한다.
• 초기 코인 상태를 한계 코인 상태로 변환하는 선형 사상 F_j의 집합을 정의하여 국소화 확률의 정확한 계산을 가능하게 한다.
• 푸리에 방법을 사용하여 확률 밀도 함수의 장시간 근사식을 도출하며, 이는 두 개의 딜라 δ-함수와 컴act 지지 집합을 가진 연속 성분을 포함한다.
• 모멘텀 공간에서 밀도 함수의 지지 집합을 분석하여 확률 분포의 피크 속도를 도출한다.
• 밀도 함수의 두 번째 모멘트를 통해 산책자의 위치 분포 분산을 계산하여, 확산 계수 c(τ, α, β)에 대한 분석적 표현을 도출한다.
• 분산 표현을 분석적으로 해결하여 c(τ, α, β) ∈ (0,1) 이며 τ, α, β에 따라 달라짐을 보여주며, 이는 확산 행동 제어를 가능하게 한다.

실험 결과

연구 질문

• RQ1 무한 시간 한계에서 부정적 양자 산책자의 국소화 확률은 무엇이며, τ와 초기 코인 상태에 어떻게 의존하는가?
• RQ2 산책자의 확률 분포에서 왼쪽 및 오른쪽으로 이동하는 피크의 분석적 표현은 무엇인가?
• RQ3 LQW의 전체 확률 밀도 함수는 점점 가까워질 때 어떻게 행동하며, 그 함수 형태는 무엇인가?
• RQ4 부정적 양자 산책은 궤도적으로 확산되는가? 만약 그렇다면 시간에 따라 분산이 어떻게 스케일링되는가?
• RQ5 왜 게으름 인자 τ를 증가시키면 LQWs에서 확산 속도가 빨라지는가? 이는 고전적 직관과 배치된다.

주요 결과

• 무한 시간 한계에서 원점의 국소화 확률은 초기 코인 상태에 영향을 받지 않으며, 오직 게으름 인자 τ에만 의존한다.
• 왼쪽 및 오른쪽으로 이동하는 확률 파동의 피크 속도는 분석적으로 유도되었으며, τ에 따라 달라진다.
• 장시간 확률 밀도 함수는 피크 속도에 해당하는 딜라 δ-함수와 컴팩트 지지 집합을 가진 연속 성분으로 구성된다.
• 모든 부정적 양자 산책은 궤도적으로 확산되며, 분산이 t² 비례로 증가하여 모든 τ > 0 에서 궤도적 전송가능성을 확인한다.
• 확산 계수 c(τ, α, β)는 분석적으로 도출되었으며, (0,1) 구간에 속하며 τ, α, β에 따라 달라지며, 이는 τ를 증가시킬수록 확산 속도를 향상시킬 수 있음을 보여주며, 고전적 기대와 배치된다.
• 수치 시뮬레이션은 이론적 확산 계수 값과 높은 정확도로 일치하여, c(τ, α, β)에 대한 분석적 해의 타당성을 검증한다.