[논문 리뷰] The inverse eigenvalue problem for quantum channels

Michael M. Wolf, David Pérez García|arXiv (Cornell University)|2010. 05. 25.

Quantum chaos and dynamical systems참고 문헌 18인용 수 14

한 줄 요약

이 논문은 완전히 양성이고 추적을 보존하는 사상의 스펙트럼을 특성화하여 양자 채널에 대한 역고유값 문제를 해결한다. 특히 큐비트 채널(d=4)에 대해 완전한 해결책을 제시한다. 양자 채널의 비영 스펙트럼은 스토케스틱 행렬의 스펙트럼과 매우 유사하며, 특히 모듈러스가 1인 주변 스펙트럼(Peripheral spectrum)에 대한 제약 조건을 도출함으로써, 주어진 시간 시리즈 또는 상관 함수가 특정 차원의 양자 채널에 의해 생성될 수 있는지 여부를 판단할 수 있는 도구를 제공한다.

ABSTRACT

Given a list of n complex numbers, when can it be the spectrum of a quantum channel, i.e., a completely positive trace preserving map? We provide an explicit solution for the n=4 case and show that in general the characterization of the non-zero part of the spectrum can essentially be given in terms of its classical counterpart - the non-zero spectrum of a stochastic matrix. A detailed comparison between the classical and quantum case is given. We discuss applications of our findings in the analysis of time-series and correlation functions and provide a general characterization of the peripheral spectrum, i.e., the set of eigenvalues of modulus one. We show that while the peripheral eigen-system has the same structure for all Schwarz maps, the constraints imposed on the rest of the spectrum change immediately if one departs from complete positivity.

연구 동기 및 목표

• 어떤 복소수 목록이 양자 채널(즉, 완전히 양성이고 추적을 보존하는 사상)의 스펙트럼이 될 수 있는지 결정하는 것.
• 양자정보 이론에서 기본적인 사례인 큐비트 채널(d=4)에 대한 스펙트럼의 완전한 특성화를 제공하는 것.
• 양자 채널의 스펙트럼 성질과 그 고전적 대응체인 스트로케스틱 행렬 간의 관계를 명확히 하는 것, 특히 비영 스펙트럼에 초점 맞춤.
• 주변 스펙트럼(모듈러스가 1인 고유값)의 구조적 제약 조건을 완전한 양성성에 기반해 분석하는 것.
• 주어진 시간 시리즈 또는 상관 함수가 특정 차원의 양자 채널에 의해 생성될 수 있는지 여부를 판단할 수 있도록 하는 것.

제안 방법

• 밀도 연산자 공간에 작용하는 $d^2 \times d^2$ 행렬로 양자 채널의 행렬 표현을 사용한다.
• 완전한 양성성과 추적 보존 조건을 적용하여 고유값에 대한 필요 및 충분 조건을 도출한다.
• 일반적인 양성 사상과 추적 보존 사상 간의 유사성 변환을 활용하여 스펙트럼을 스펙트럼 반경으로 스케일링한다.
• z-변환과 켈리-헤이밀턴 정리를 활용하여 시간 시리즈 수열을 변환의 극점과 연결하고, 이 극점들이 고유값에 해당함을 규명한다.
• 양자 채널의 스펙트럼 구조를 스트로케스틱 행렬의 스펙트럼과 비교하여, 비영 스펙트럼에서 유사한 특성을 규명한다.
• 모듈러스가 1인 고유벡터와 고유값의 구조를 분석하여, 이 시스템이 색워 맵 전역에서 균일한 구조를 가지며, 완전한 양성성에 의해 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 복소수 목록이 큐비트 시스템을 포함한 양자 채널의 스펙트럼이 될 수 있는가?
• RQ2 양자 채널의 비영 스펙트럼은 고전적 스트로케스틱 행렬의 스펙트럼과 어떻게 관련이 있는가?
• RQ3 완전한 양성성에 의해 주변 스펙트럼(모듈러스가 1인 고유값)에 어떤 제약 조건이 가해지는가?
• RQ4 주어진 시간 시리즈 수열이 특정 차원의 양자 채널에 의해 생성될 수 있는가? 그리고 이는 스펙트럼 데이터로부터 어떻게 판단할 수 있는가?
• RQ5 완전한 양성성이 단순히 양성 사상과의 스펙트럼 제약 조건을 어떻게 구분하는가?

주요 결과

• 큐비트 채널(d=4)에 대해 논문은 가능한 스펙트럼의 집합에 대해 완전하고 명시적인 특성화를 제공하며, 고유값에 대한 필요 및 충분 조건을 포함한다.
• 양자 채널의 비영 스펙트럼은 스트로케스틱 행렬의 비영 스펙트럼과 거의 동일한 방식으로 제약을 받으며, 이는 강력한 고전-양자 유사성을 확립한다.
• 주변 스펙트럼(모듈러스가 1인 고유값)은 모든 색워 맵에서 균일한 구조를 가지며, 이 구조는 완전한 양성성에 의해 유지된다.
• 시간 시리즈 수열 $a_t = \langle A | \hat{T}^t | \rho \rangle$ 는 그 z-변환의 극점들이 채널 차원에 해당하는 유효한 고유값을 특성화하는 집합 $\mathcal{T}$ 내에 있을 경우에만 양자 채널에 의해 생성될 수 있다.
• 예시로 $a_t = \text{Im}[(1-i)^t x^t]/\sqrt{2} + y^t$ 를 고려할 때, 이 수열은 양성이고 추적을 보존하는 사상에 의해 생성될 수 있지만, 양자 채널에 의해 생성될 수 있는 조건은 $|x| \leq 1/\sqrt{2}$ 이고 $|y| \leq 1$ 이어야 하며, 이는 완전한 양성성의 더 엄격한 제약 조건을 반영한다.
• 양성 사상의 스펙트럼 반경은 1이며, 추적을 보존하는 사상의 경우 1은 항상 고유값이다. 완전한 양성성은 다른 고유값의 위치와 중복도를 추가로 제약한다.