[논문 리뷰] Limit Theorems For the Grover Walk Without Memory

Clement Boateng Ampadu|arXiv (Cornell University)|2011. 08. 20.

Mathematics and Applications참고 문헌 14인용 수 4

한 줄 요약

이 논문은 한 차원에서 기억 없이 네 상태로 구성된 고버 워크(Grover walk)를 조사하며, 정적 분포를 유도하고, 보행자의 위치 행동의 渐近적 성질을 기술하는 약한 극한 정리(weak limit theorem)를 수립한다. 주요 기여는 양자 간섭 효과로 인해 비정규 분포이자 다이아몬드 형태를 띠는 극한 확률 분포의 해석적 유도이다.

ABSTRACT

We consider the Grover walk as a 4-state quantum walk without memory in one dimension. The walker in our 4-state quantum walk moves to the left or right. We compute the stationary distribution of the walk, in addition, we obtain the weak limit theorem

연구 동기 및 목표

• 기억 없는 1차원 격자에서의 네 상태 양자 워크의 장기적 행동을 분석하기.
• 유니터리 진화 하에서 고버 워크의 정적 분포를 도출하기.
• 보행자의 위치 분포의 渐近적 분포를 기술하는 약한 극한 정리를 수립하기.
• 양자 간섭이 워크의 극한 행동에 미치는 영향을 조사하기.
• 기억 없는 양자 워크의 역학에서 열려 있는 문제들을 규명하기.

제안 방법

• 기억 없는 1차원 격자 위에서 유니터리 진화 연산자를 사용해 고버 워크를 네 상태 양자 워크로 모델링하기.
• 내부 상태 공간이 4차원인 위치와 내부 상태의 초위상(superposition)으로 상태 벡터를 정의하기.
• 각 단계에서 내부 상태에 고버 코인 연산자(Grover coin operator)를 적용하여 이동 방향을 제어하기.
• 푸리에 분석과 생성함수 기법을 사용해 워크의 특성 함수를 분석하기.
• 워크의 위치 분포의 척도 한계(스케일링 리미트)를 취해 약한 극한 정리를 도출하기.
• 워크의 진화에 대한 밀도 연산자의 고정점 방정식을 풀어 정적 분포를 계산하기.

실험 결과

연구 질문

• RQ1 기억 없는 1차원에서의 고버 워크의 정적 분포는 무엇인가?
• RQ2 스케일링 하에서 보행자의 위치 분포는 어떻게 渐近적으로 행동하는가?
• RQ3 고버 워크의 극한 확률 밀도의 함수 형태는 무엇인가?
• RQ4 기억의 부재는 워크의 수렴 성질에 어떤 영향을 미치는가?
• RQ5 양자 간섭은 극한 분포의 형태에 어떤 함의를 갖는가?

주요 결과

• 고버 워크의 정적 분포는 내부 상태에 대해 균일하며, 양자 간섭을 반영한 위치에 따라 변하는 진폭을 갖는다.
• 약한 극한 정리는 척도 조정된 위치 분포가 비정규 분포이자 다이아몬드 형태의 확률 밀도 함수로 수렴함을 보여준다.
• 극한 밀도는 조각별 선형이며 대칭적이며, 원점에서 최대 진폭을 가지며 가장자리 쪽으로 선형 감소한다.
• 漸近적 분포는 정규분포가 아니므로, 양자 워크가 고전적 랜덤 워크와 근본적으로 다른 통계적 행동을 보임을 시사한다.
• 결과적으로 기억 없는 고버 워크가 비록 역학적 기억이 없더라도 잘 정의된 극한 행동을 갖는다는 것이 확인된다.
• 현재 분석 프레임워크를 넘어서 이러한 워크의 장기적 행동에 대한 극단적인 열린 문제를 규명하였다.