[논문 리뷰] Stationary measure for two-state space-inhomogeneous quantum walk in one dimension

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

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

한 줄 요약

이 논문은 1차원 정수 격자 위에서 두 상태의 공간 비균일 양자 산책에 대해 시간 evolution 연산자인 유니터리 연산자의 고유값 문제를 풀어 정적 측도를 유도한다. 주요 기여는 다중 결함 모델에서 정적 측도에 대한 일반적인 해석적 해를 제공하는 것으로, 이는 이전의 단일 결함 및 공간 균일 모델 결과를 확장한 것이다. 여기에는 지수형 및 이차 다항식형 측도가 포함된다.

ABSTRACT

We consider the two-state space-inhomogeneous coined quantum walk (QW) in one dimension. For a general setting, we obtain the stationary measure of the QW by solving the eigenvalue problem. As a corollary, stationary measures of the multi-defect model and space-homogeneous QW are derived. The former is a generalization of the previous works on one-defect model and the latter is a generalization of the result given by Konno and Takei (2015).

연구 동기 및 목표

• 다중 결함을 가진 1차원 격자 위에서 두 상태의 공간 비균일 양자 산책에 대한 정적 측도를 유도하기 위해.
• 이전의 단일 결함 모델 및 공간 균일 양자 산책 결과를 일반화하기 위해.
• 비균일 정적 측도—특히 지수형 및 이차 다항식형—가 나타나는 조건을 규명하기 위해.
• 임의의 결함 구성에 대해 전이 행렬과 고유값 해를 이용한 일반적 프레임워크를 수립하기 위해.
• 다양한 양자 산책 모델(다중 결함 및 균일 설정 포함)에서 정적 측도를 통합적으로 다루기 위해.

제안 방법

• 위치에 따라 달라지는 유니터리 코인 행렬 $ U_x $ 를 사용하여 두 상태의 공간 비균일 양자 산책을 수식화하고, 이를 왼쪽 이동 성분 $ P_x $ 와 오른쪽 이동 성분 $ Q_x $ 로 분해한다.
• 시간 진동을 유니터리 연산자 $ U^{(s)} $ 를 통해 모델링하며, 이는 $ P_{x+1} $ 와 $ Q_{x-1} $ 를 통해 인접한 위치의 진폭을 결합한다.
• 전이 행렬 기법을 적용하여 고유값 문제 $ U^{(s)} \Psi = \lambda \Psi $ 를 해결한다. 여기서 $ \lambda $ 는 크기가 1인 복소수 고유값이다.
• 결함에 대한 영역에 따라 달라지는 전이 행렬 $ D^+ $ 와 $ D^- $ 기반의 재귀 관계를 이용해 모든 $ x \in \mathbb{Z} $ 에 대해 진폭 $ \Psi(x) $ 를 유도한다.
• 정적 측도를 $ \mu(x) = \| \Psi(x) \|^2 $ 로 구성하여, 유니터리 진동에 대해 시간에 독립적임을 보장한다.
• 특성 방정식의 서로 다른 근과 중복 근의 경우를 분석하여, $ \lambda $, $ \alpha $, $ \beta $, $ \omega $ 를 변수로 하는 진폭 표현을 도출한다.

실험 결과

연구 질문

• RQ1 Z 위에서 다중 결함을 가진 두 상태의 공간 비균일 양자 산책에 대한 정적 측도의 일반적 형태는 무엇인가?
• RQ2 단일 결함 모델 및 공간 균일 모델의 정적 측도는 일반 해의 특수한 경우로 어떻게 유도되는가?
• RQ3 정적 측도가 지수 감쇠 또는 이차 다항식 형태를 띠는 조건는 무엇인가?
• RQ4 전이 행렬 기법은 공간 비균일 양자 산책 모델에서 정적 측도를 체계적으로 유도하는 데 적용될 수 있는가?
• RQ5 고유값 $ \lambda $ 는 정적 측도의 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 다양한 다중 결함 구성이 있는 Z 위에서 두 상태의 공간 비균일 양자 산책에 대해 정적 측도 $ \mu(x) = \| \Psi(x) \|^2 $ 가 유도되었다.
• 이전에 Konno 등 [20] 가 발견한 지수형 정적 측도는 $ \lambda = e^{\pm \pi i/4} $ 인 경우에 특수한 경우로 포함된다.
• Konno 와 Takei [21] 가 유도한 이차 다항식형 정적 측도는 일반 해의 극한 경우로 복원된다.
• 특성 방정식의 서로 다른 근의 경우, 진폭 $ \Psi(x) $ 는 $ \Lambda_\pm $ 의 거듭제곱으로 표현되며, 계수는 $ \Psi(1), \Psi(2), \Psi(-1), \Psi(-2) $ 를 포함한다.
• 중복 근의 경우($ \lambda = \pm e^{\pm \pi i/4} $), 진폭은 $ x $ 에 대해 선형으로 증가하여 다항식형 정적 측도로 이어진다.
• 정적 측도는 진폭 해를 통해 $ \mu(x) = \| \Psi(x) \|^2 $ 로 명시적으로 구성되었으며, 모든 $ x \in \mathbb{Z} $ 에 대해 닫힌 형태의 표현식이 존재한다. 이는 결함에서 멀리 떨어진 영역까지 포함된다.