[논문 리뷰] A Condition for the Nullity of Quantum Discord

Animesh Datta|arXiv (Cornell University)|2010. 03. 27.

Quantum Computing Algorithms and Architecture참고 문헌 2인용 수 26

한 줄 요약

이 논문은 제로 양자 혼란도가 바나흐-반데르발트의 엔트로피 강하성의 포화와 동치임을 입증하며, 제로 혼란도 상태에 대한 필수적이고 충분한 조건을 제공한다. 이 상태들을 포인터 상태로 특성화하고, 비파괴 측정의 존재와 그들의 구조를 연결함으로써 고전적 상관관계와 양자 상관관계 사이의 근본적인 정보이론적 경계를 제시한다.

ABSTRACT

The positivity of quantum discord is shown to be equivalent to the strong subadditivity of von-Neumann entropy. This leads us to a necessary and sufficient condition characterizing the set of states with zero quantum discord. This also gives us a mathematical definition of pointer states, as they are the states with zero discord. Finally, we suggest that strong subadditivity of entropy might delineate the boundaries of the set of quantum correlations.

연구 동기 및 목표

• 제로 양자 혼란도를 갖는 양자 상태에 대한 필요 및 충분 조건을 규명하는 것.
• 양자 혼란도의 영이 되는 것에 기반한 포인터 상태의 형식적 수학적 특성화를 수립하는 것.
• 바나흐-반데르발트의 엔트로피 강하성의 역할이 양자 상관관계와 고전 상관관계를 구분하는 데 어떻게 기여하는지 탐구하는 것.
• 양자 이론과 더 일반적인 신호전달 금지 이론을 구분하는 데 기초한 엔트로피 부등식 기반 기준을 제안하는 것.
• 유한 및 무한 차원 시스템에서 제로-혼란도 상태를 식별하는 구성적 프레임워크를 제공하는 것.

제안 방법

• 양자 혼란도를 총 상관관계(양자 상호정보량)와 POVM에 대해 최대화된 고전 상관관계의 차이로 유도한다.
• 측정을 시스템 B에 적용하기 위해 네움라크 확장을 사용하여 상태 $\rho'_{ABC}$ 에서의 유니터리 진화로 확장한다.
• 확장된 상태 $\rho'_{ABC}$ 에 강하성 부등식을 적용하여 등호가 성립하는 것은 유일하게 짧은 마르코프 체인이 되는 경우임을 보인다.
• 강하성 부등식의 등호가 제로 양자 혼란도와 대응됨을 보이며, $\rho_B$ 의 고유기저에서의 곱 구조가 유도됨을 보여준다.
• 제로-혼란도 상태를 $\rho_{AB} = \sum_j p_j \rho_{A|j} \otimes |\lambda_j\rangle\!\langle\lambda_j|$, $\rho_B$ 의 고유기저에서 대각화된 형태로 특성화한다.
• 엔트로피의 유한성 조건 하에서 유한 차원 시스템에서의 특성화를 무한 차원 시스템으로 확장한다.

실험 결과

연구 질문

• RQ1 제로 양자 혼란도를 갖는 양자 상태에 대한 필요 및 충분 조건은 무엇인가?
• RQ2 바나흐-반데르발트의 엔트로피 강하성의 포화는 제로-혼란도 상태의 구조와 어떻게 관련되는가?
• RQ3 포인터 상태는 양자 혼란도의 영이 되는 것으로 수학적으로 정의될 수 있는가?
• RQ4 강하성 부등식은 양자 이론과 고전 이론 또는 더 일반적인 신호전달 금지 이론을 구분하는 경계 조건으로서 기능하는가?
• RQ5 제로-혼란도 상태의 구조적 형태는 감소 밀도 행렬 $\rho_B$ 의 고유기저에 대해 어떻게 표현되는가?

주요 결과

• 양자 혼란도는 바나흐-반데르발트의 엔트로피 강하성이 성립할 때에만 비음수가 되며, 이 사실에 대한 새로운 증명을 제공한다.
• 제로 양자 혼란도는 확장된 상태 $\rho'_{ABC}$ 가 강하성 부등식에서 등호를 만족할 때, 즉 짧은 마르코프 체인이 되는 경우에 정확히 발생한다.
• 제로-혼란도 상태는 $\rho_{AB} = \sum_j p_j \rho_{A|j} \otimes |\lambda_j\rangle\!\langle\lambda_j|$, $\rho_B$ 의 고유기저에서 대각화된 형태를 가지며, 이는 곱 구조를 확인한다.
• 포인터 상태는 제로 양자 혼란도를 갖는 상태로 수학적으로 정의되며, 비파괴 측정을 통한 정보 추출 가능성에서 기인한다.
• 유한 차원 힐베르트 공간에서 제로-혼란도 상태의 집합은 측도가 0이므로 극히 희귀함을 나타낸다.
• $H(AB) + H(BC) - H(ABC) - H(B)$ 는 양자 상태에서는 양수이며, 고전 상태에서는 0이며, 더 일반적인 신호전달 금지 이론에서는 음수이다. 이는 강하성 부등식이 양자 상관관계의 경계임을 시사한다.