[논문 리뷰] Eigenvalues, absolute continuity and localizations for periodic unitary transition operators

Tatsuya Tate|arXiv (Cornell University)|2014. 11. 16.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 6

한 줄 요약

이 논문은 주기적인 유니터리 전이 연산자에서의 국소화가 존재하는 것과 유일하게 해당 시스템이 고유값을 가질 때 성립함을 증명한다. 복소변수의 해석적 섭동 이론을 사용하여 연속 스펙트럼이 절대 연속적임을 증명하고, 고유값이 하나뿐일 경우 전이 확률의 장기적 한계가 고유공간으로의 투영과 일치함을 보인다.

ABSTRACT

The localization phenomenon for periodic unitary transition operators on a Hilbert space consisting of square summable functions on an integer lattice with values in a complex vector space, which is a generalization of the discrete-time quantum walks with constant coin matrices, are discussed. It is proved that a periodic unitary transition operator has an eigenvalue if and only if the corresponding unitary matrix-valued function on a torus has an eigenvalue which does not depend on the points on the torus. It is also proved that the continuous spectrum of the periodic unitary transition operators is absolutely continuous. As a result, it is shown that the localization happens if and only if there exists an eigenvalue, and the long time average of the transition probabilities coincides with the point-wise norm of the projection of the initial state to the direct sum of eigenspaces.

연구 동기 및 목표

• 정수 격자 위 힐버트 공간에서 주기적인 유니터리 전이 연산자에서 국소화가 발생하는 조건을 규명하는 것.
• 복소해석학 및 스펙트럼 이론 도구를 사용하여 이러한 연산자의 연속 스펙트럼이 절대 연속적임을 증명하는 것.
• 고유값 존재성과 양자워크에서 전이 확률의 장기적 행동 간의 정확한 관계를 설정하는 것.
• 커버링 그래프 구조를 통해 위상 결정에서의 유니터리 연산자로 이러한 결과를 확장하는 것.
• 토러스 위 행렬값 함수와 그 고유값 행동을 기반으로 한 스펙트럼 분석 프레임워크를 개발하는 것.

제안 방법

• 주기적인 유니터리 전이 연산자를 토러스 $T^d$ 위의 곱셈 연산자로 변환하기 위해 푸리에 변환을 적용하는 것.
• 토러스 위에 정의된 유니터리 행렬값 함수 $U(z)$와 그 고유값 $\lambda_k(z)$를 통해 스펙트럼을 분석하는 것.
• 여러 복소변수 해석적 섭동 이론을 사용하여 고유값 $\lambda_k(z)$가 해석적 함수로서의 정칙성을 연구하는 것.
• 공역 공식을 적용하여 연속 스펙트럼과 관련된 스펙트럼 측도가 르베그 측도에 대해 절대 연속적임을 보이는 것.
• 고유값 함수의 기울기가 거의 어디서나 0이 아니라는 것을 보여 연속 스펙트럼 부분의 스펙트럼 측도가 절대 연속적임을 증명하는 것.
• $T^d \setminus D$ 위에 단위 분할을 구성하여 분석을 국소화하고, 절대 연속성 결과를 전역적으로 확장하는 것.

실험 결과

연구 질문

• RQ1 주기적인 유니터리 전이 연산자가 장기적 한계에서 언제 국소화를 보일 수 있는가?
• RQ2 이러한 연산자의 연속 스펙트럼이 언제 절대 연속 스펙트럼 성분으로 구성되는가?
• RQ3 토러스 위의 유니터리 행렬값 함수 $U(z)$의 고유값은 $L^2$-고유함수 존재성과 어떻게 관련이 있는가?
• RQ4 초기 상태 $u$가 고유공간으로 투영될 때 전이 확률 $p_n(u;x)$의 정확한 점근적 행동은 무엇인가?
• RQ5 커버링 그래프 구조를 통해 주기적인 유니터리 연산자의 스펙트럼 이론을 위상 결정으로 확장할 수 있는가?

주요 결과

• 주기적인 유니터리 전이 연산자가 고유값을 가질 조건은 해당 행렬값 함수 $U(z)$가 전체 토러스 $T^d$ 위에서 일정한 고유값을 가질 때이다.
• 주기적인 유니터리 전이 연산자의 연속 스펙트럼은 단위 원주에 대해 르베그 측도에 대해 절대 연속적이다.
• 국소화가 발생하는 것은 적어도 하나의 고유값이 존재할 때에만 가능하며, 어떤 위치 $x$에서의 전이 확률 장기한계는 초기 상태가 고유공간으로 투영된 $\ell^2$-노름과 일치한다.
• 정확히 하나의 고유값이 존재할 경우, 어떤 위치 $x$에서의 장기 전이 확률은 점별 수렴하여 $\|P u\|^2$로 수렴한다. 여기서 $P$는 해당 고유공간으로의 투영이다.
• 고유값 함수 $\lambda_k(z)$의 기울기가 거의 어디서나 0이 아니므로, 연속 스펙트럼 부분과 관련된 스펙트럼 측도는 절대 연속적이다.
• 커버링 그래프를 통해 유한 그래프 위에 정의된 위상 결정에서의 힐버트 공간 위 유니터리 연산자로 결과를 확장할 수 있으며, 동일한 스펙트럼 분석 프레임워크를 적용할 수 있다.