[논문 리뷰] Stationary measures of three-state quantum walks on the one-dimensional lattice

Hikari Kawai, Takashi Komatsu외 1명|arXiv (Cornell University)|2017. 02. 06.

Quantum Computing Algorithms and Architecture참고 문헌 10인용 수 9

한 줄 요약

이 논문은 1차원 격자 위의 세 상태 이산 시간 양자 산책, 특히 푸리에 산책과 그로버 산책을 포함하여 비균일 정적 측도를 유도하기 위한 새로운 행렬 축소 방법을 제안한다. 축소된 2×2 행렬에서 고유값 문제를 해결함으로써 저자들은 명시적인 정적 측도 표현을 도출하며, 주기적인 정적 측도가 사이클에서 푸리에 산책에 대해 존재함을 핵심 결과로 밝혀낸다.

ABSTRACT

In this paper, we consider stationary measures of discrete-time three-state quantum walks including the Fourier and Grover walks in the one-dimensional lattice. We give non-uniform stationary measures by solving the corresponding eigenvalue problem. Our new method is based on a reduced matrix, which is different from the generating function approach in our previous work. As a corollary, the Fourier walk on the cycle has a stationary measure with a periodicity.

연구 동기 및 목표

• 1차원 정수 격자 위의 세 상태 양자 산책, 특히 푸리에 산책과 그로버 산책의 정적 측도를 유도하기 위해.
• 이전 연구에서 사용된 생성 함수 방법과는 다를 새로운 분석적 접근법을 개발하기 위해.
• 축소된 행렬 표현의 고유값 분석을 통해 비균일 정적 측도를 식별하기 위해.
• 특히 사이클에서의 푸리에 산책에 대해 주기적인 정적 측도의 존재와 구조를 탐색하기 위해.
• 더 넓은 범주인 N상태 양자 산책에 적용 가능한 정적 측도 계산 프레임워크를 일반화하기 위해.

제안 방법

• 기존의 3×3 동전 행렬에서 종속된 성분을 제거하여 축소된 2×2 행렬 $ A^{(Re)} $를 구성함으로써 고유값 문제를 단순화한다.
• 축소된 행렬의 고유값 문제를 해결하여 정적 상태의 구조를 규명한다.
• 파동 함수 성분을 자유 시퀀스 $ \{\varphi_x\} $ 로 표현함으로써 정적 측도를 유도하며, 시간 진화와의 일치성과 유니타리 조건을 보장한다.
• 시간 진화 방정식 $ \Psi_{n+1}(x) = P\Psi_n(x+1) + R\Psi_n(x) + Q\Psi_n(x-1) $ 로부터 유도된 연쇄 재귀 관계를 해결하는 데 의존한다.
• 특히 유형 2 산책의 경우 $ \lambda^2 = \tilde{a}_1\tilde{a}_2 $ 를 요구함으로써 정적 측도 존재 조건을 규명한다.
• 축소된 행렬 형식은 동전 행렬의 매개변수에 따라 $ \varphi_x $ 로 표현된 정적 측도 표현을 명시적으로 구성할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 생성 함수에 의존하지 않는 새로운 방법을 개발하여 세 상태 양자 산책의 정적 측도를 체계적으로 계산할 수 있는가?
• RQ2 동전 행렬에 어떤 조건이 성립할 경우 비균일 정적 측도가 존재하는가?
• RQ3 사이클에서의 푸리에 산책은 주기적인 구조를 갖는 정적 측도를 갖는가? 만약 그렇다면, 어떻게 특징지을 수 있는가?
• RQ4 그로버 행렬과 푸리에 행렬과 같은 다양한 동전 행렬은 정적 측도의 형태와 성질에 어떻게 영향을 미치는가?
• RQ5 축소된 행렬 접근법은 N상태 양자 산책으로 일반화될 수 있는가?

주요 결과

• 기존의 생성 함수 접근법과 다를 바 있는 새로운 방법으로, 축소된 2×2 행렬을 기반으로 하여 $ \mathbb{Z} $ 위의 세 상태 양자 산책에 대해 비균일 정적 측도를 도출할 수 있다.
• 그로버 산책의 경우 정적 측도는 $ \mu(x) = \frac{5}{4}(|\varphi_x|^2 + |\varphi_{x-1}|^2) + \frac{1}{2}\mathfrak{Re}(\varphi_x\overline{\varphi_{x-1}}) $ 로 명시적으로 주어지며, 위상 매개변수에 영향을 받지 않는다.
• 푸리에 산책은 조건 $ \lambda^2 = \tilde{a}_1\tilde{a}_2 $ 를 만족하지 않기 때문에, 정리 5.1 적용 불가로 이 방법으로는 정적 측도를 유도할 수 없다.
• 사이클에서의 푸리에 산책에 대해 주기적인 정적 측도가 존재하며, 이는 무한한 격자에서도 정적 측도로 유지된다.
• 매개변수화된 산책 $ A_1(\eta) $ 에서는 정적 측도가 $ \eta \in [0, 2\pi) $ 에 대해 독립적이지만, $ A_2(\rho) $ 는 $ \rho \in (0,1) $ 에 따라 달라지며, 이는 매개변수 민감도를 보여준다.
• 다양한 경우에서 축소된 행렬 $ A^{(Re)} = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix} $ 가 나타나며, 이는 정적 측도 형태에 대한 구조적 보편성을 시사한다.