[논문 리뷰] A one-dimensional Hadamard walk with one defect

Takako Endo, Norio Konno외 2명|arXiv (Cornell University)|2014. 07. 30.

graph theory and CDMA systems참고 문헌 8인용 수 13

한 줄 요약

이 논문은 원점에 단일 결함이 있는 1차원 이산 시간 양자 산책을 연구한다. 여기서 원점의 양자 코인은 표준 Hadamard 행렬과 다름. 공간-시간 생성 함수 방법을 사용하여, 시간 평균 한계 측도를 유도하며, 이는 원점 기준 대칭적이고 초기 코인 상태에 독립적이며, 국소화가 오직 결함 매개수 ξ에 의해 결정됨을 보여준다. 측도는 명시적으로 계산되었고, 정규화되어 있고 비균일하며, 모든 정수 위치 x ∈ ℤ에 대해 해석적 표현을 갖는다.

ABSTRACT

We consider a one-dimensional space-inhomogeneous discrete time quantum walk. This model is the Hadamard walk with one defect at the origin which is different from the model introduced by Wojcik et al. [14]. We obtain a stationary measure of the model by solving the eigenvalue problem and an asymptotic behaviour of the return probability by the path counting approach. Moreover, we get the time-averaged limit measure using the space-time generating function method. The measure is symmetric for the origin and independent of the initial coin state at the starting point. So localization depends only on the parameter which determines the model.

연구 동기 및 목표

• 원점에 단일 결함이 있는 1차원 이산 시간 양자 산책의 역학을 조사하는 것.
• 공간-시간 생성 함수 방법을 사용하여 시간 평균 한계 측도를 유도하는 것. 이 모델에서는 정적 측도를 도출하지 못함.
• 시간 평균 한계 측도가 원점 기준 대칭적이고 초기 코인 상태에 독립적이며, 국소화가 오직 결함 매개수 ξ에 의해 결정됨을 보여주는 것.
• 정적 및 시간 평균 측도 측면에서 이 모델을 Wojcik 모델과 비교하여, 초기 상태에 대한 의존성과 코인 행렬의 행렬식 행동의 차이를 부각하는 것.

제안 방법

• 모델은 위치에 따라 변하는 유니터리 행렬을 사용하여 정의된다: x ≠ 0 에서는 Hadamard 행렬 H, x = 0 에서는 각도 ξ의 회전 행렬.
• 정적 측도는 분할 생성 함수(SGF) 방법을 통해 유도되며, 진폭 벡터의 고유값 문제를 푸는 방식이다.
• 반복 확률 진폭의 점근적 행동은 경로 수세기 접근을 통해 분석되며, 조합적 표현을 도출한다.
• 시간 평균 한계 측도는 공간-시간 생성 함수 방법을 사용하여 유도되며, 단위 원 위의 생성 함수의 잔여치 계산을 포함한다.
• 각 위치 x에 대해 생성 함수 Ξ̃_x(z)를 구성하고, 단위 원 위의 네 극점에서의 제곱 잔여치의 합으로부터 측도를 추출한다.
• 최종 측도는 ξ에 대한 닫힌 형태로 표현되며, |x|와 매개수 S = sinξ에 명시적인 의존성을 갖는다.

실험 결과

연구 질문

• RQ1 원점에 단일 결함이 존재할 경우, 1차원 Hadamard 양자 산책의 장기적 행동에 어떤 영향을 미치는가?
• RQ2 이 결함 모델에서 시간 평균 한계 측도의 구조는 어떠한가? 정적 측도와 비교해보면 어떻게 되는가?
• RQ3 시간 평균 한계 측도는 초기 코인 상태에 독립적인가? 만약 그렇다면, 국소화에 대해 어떤 의미를 갖는가?
• RQ4 이 모델은 정적 측도의 의존성과 코인 행렬의 행렬식 행동 측면에서 Wojcik 모델과 어떻게 다를까?
• RQ5 공간-시간 생성 함수 방법은 정적 측도를 도출하지 못하는 이 모델에서 시간 평균 한계 측도를 성공적으로 도출하는 데 적용 가능한가?

주요 결과

• 시간 평균 한계 측도는 원점 기준 대칭적이며, 모든 x ∈ ℤ 에 대해 μ̄_∞(x) = μ̄_∞(−x) 를 만족한다.
• 측도는 초기 코인 상태 φ = [α, β]^T 에 독립적이며, 이는 국소화가 오직 결함 매개수 ξ에 의해 결정됨을 의미한다.
• x ≠ 0 인 경우, 측도는 μ̄_∞(x) = C(ξ) · (1/(3 − 2√2 sinξ))^|x| 로 주어지며, 여기서 C(ξ) = 2(2 − √2 sinξ)(1 − √2 sinξ)^2 / (3 − 2√2 sinξ)^2 이다.
• x = 0 인 경우, 측도는 μ̄_∞(0) = 2(1 − √2 sinξ)^2 / (3 − 2√2 sinξ)^2 로 주어지며, 이는 오직 ξ ∈ [0, π/4) 에서 유효하다.
• 전체 측도는 정규화되어 있으며 1보다 작다: ∑_x∈ℤ μ̄_∞(x) = 2(1 − √2 sinξ)/(3 − 2√2 sinξ) < 1.
• 결과는 CGMV 방법과 일치하며, 시간 평균 한계 측도가 정적 측도의 일반화임을 확인한다. 비록 이 모델에서는 공간-시간 생성 함수 방법으로 정적 측도를 도출할 수 없지만 말이다.