[논문 리뷰] Separability of Density Matrices and Conditional Information Transmission

Robert R. Tucci|arXiv (Cornell University)|2000. 05. 28.

Neural Networks and Applications참고 문헌 1인용 수 12

한 줄 요약

이 논문은 양자 조건부 상호정보량을 사용하여 이분할 양자 밀도 행렬의 분리 가능성에 대한 필요하고 충분한 조건을 수립한다. 특정한 가환성 및 비퇴화 조건 하에서, 상태가 분리 가능할 필요가 있고 오직 그 경우에만 더 큰 시스템에서 환경에 대해 두 하위계 사이의 조건부 상호정보량이 0이 되는 순수화를 허용함을 증명한다.

ABSTRACT

We give necessary and sufficient conditions under which a density matrix acting on a two-fold tensor product space is separable. Our conditions are given in terms of quantum conditional information transmission.

연구 동기 및 목표

• 양자 조건부 정보 전송과 이분할 밀도 행렬의 분리 가능성 간의 숨겨진 관계를 명확히 하기 위해.
• 환경을 포함한 확장된 시스템에서 조건부 상호정보량의 관점에서 분리 가능성의 특성화를 제공하기 위해.
• 유한 차원 환경을 포함한 확장으로 분리 가능성 개념을 일반화하고 무한 차원 극한에서의 약한 분리 가능성 탐색을 위해.
• 조건부 상호정보량이 0인 조건이 밀도 행렬의 구조와 고유값 성질과 어떻게 연결되는지 이해하기 위해.
• 주어진 상태의 확장에서 조건부 상호정보량의 행동을 분석함으로써 다양한 종류의 얽힘을 구분하기 위해.

제안 방법

• 삼분할 시스템 (A, B, E)에서 조건부 분리 가능성의 개념을 도입하며, 상태가 환경 E에 조건부된 곱 상태들의 볼록 조합으로 표현될 수 있음을 가정한다.
• 감마 행렬의 국소 밀도 행렬의 바나흐-반데르몽드 엔트로피를 사용하여 양자 조건부 상호정보량 $ S_{\sigma}[({\underline{x}}:{\underline{y}})|{\underline{e}}] $ 를 정의한다.
• 양자 엔트로피의 강한 하향성 부등식을 적용하며, 이는 $ \log\rho = \log\rho_{{\underline{x}}{\underline{e}}} + \log\rho_{{\underline{y}}{\underline{e}}} - \log\rho_{{\underline{e}}} $ 일 때에만 등호가 성립함을 의미한다.
• 강한 하향성 부등식의 등호 조건을 활용하여, 더 큰 시스템에서의 순수화를 통한 분리 가능성에 대한 필요하고 충분한 조건을 유도한다.
• 추가 제약 조건으로 $ \sigma_{{\underline{y}}{\underline{e}}}, \sigma_{{\underline{x}}{\underline{e}}}, \sigma_{{\underline{e}}} $ 간의 쌍별 가환성과 $ \sigma_{{\underline{e}}} $의 퇴화되지 않은, 영이 아닌 고유값을 도입한다.
• 이 조건들 하에서 확장된 상태 $ \sigma $ 는 조건부 분리 가능하며, 환경을 적분하면 분리 가능한 상태 $ \rho $ 를 얻는다.

실험 결과

연구 질문

• RQ1 양자 조건부 정보 전송은 이분할 밀도 행렬의 분리 가능성과 어떻게 관련되어 있는가?
• RQ2 환경을 포함한 확장된 시스템에서 두 하위계의 축소 상태가 분리 가능해지기 위한 조건은 무엇인가?
• RQ3 강한 하향성 부등식의 등호 조건을 이용해 더 큰 시스템에서의 순수화를 통해 분리 가능한 상태를 특성화할 수 있는가?
• RQ4 환경의 밀도 행렬 고유값이 퇴화되지 않고 영이 아닌 경우, 이는 분리 가능성 확보에 어떤 역할을 하는가?
• RQ5 확장된 시스템의 국소 밀도 행렬에 대한 가환성 조건은 분리 가능한 상태의 구조와 어떻게 관련되는가?

주요 결과

• 밀도 행렬 $ \rho \in \mathcal{D}(\mathcal{H}_{{\underline{x}}{\underline{y}}}) $ 는, $ \rho = \text{tr}_{\underline{e}}\sigma $, $ S_{\sigma}[({\underline{x}}:{\underline{y}})|{\underline{e}}] = 0 $, 그리고 국소 밀도 행렬 $ \sigma_{{\underline{y}}{\underline{e}}}, \sigma_{{\underline{x}}{\underline{e}}}, \sigma_{{\underline{e}}} $ 가 쌍별로 가환하고 퇴화되지 않은 영이 아닌 고유값을 가지는 확장 $ \sigma \in \mathcal{D}(\mathcal{H}_{{\underline{x}}{\underline{y}}{\underline{e}}}) $ 가 존재할 때이고, 오직 그 경우에만 분리 가능하다.
• 조건 $ S_{\sigma}[({\underline{x}}:{\underline{y}})|{\underline{e}}] = 0 $ 는 양자 엔트로피의 강한 하향성 부등식의 등호 조건과 일치하며, 이는 정확히 $ \log\sigma = \log\sigma_{{\underline{x}}{\underline{e}}} + \log\sigma_{{\underline{y}}{\underline{e}}} - \log\sigma_{{\underline{e}}} $ 일 때 성립한다.
• 만약 $ \sigma_{{\underline{e}}} $ 의 고유값이 퇴화되지 않고 영이 아닌 경우, 국소 밀도 행렬의 가환성은 $ \sigma_{{\underline{x}}{\underline{e}}} $ 와 $ \sigma_{{\underline{y}}{\underline{e}}} $ 가 $ \mathcal{H}_{\underline{e}} $ 의 기저에서 대각화됨을 의미하며, 이는 조건부 분리 가능 형태로의 분해를 가능하게 한다.
• 결과적으로 상태 $ \sigma $ 는 $ \sigma = \sum_e w_e |e\rangle\!\langle e| \otimes \rho_{{\underline{x}}}^e \otimes \rho_{{\underline{y}}}^e $ 로 표현될 수 있으며, 이는 $ \mathcal{H}_{\underline{e}} $ 를 적분한 후 $ \rho $ 가 분리 가능하다는 것을 증명한다.
• 논문은 모든 확장을 $ S_{\sigma}[({\underline{x}}:{\underline{y}})|{\underline{e}}] \neq 0 $ 로 만족하는 염태 상태의 집합 $ \mathcal{D}_{\text{pos}} $ 를 식별하며, 이는 분리 가능한 상태와의 차이를 명확히 한다.
• 이 정리는 $ n $-중 텐서 곱 공간으로 일반화될 수 있으며, 다중입자 시스템으로의 프레임워크 확장을 가능하게 한다.