[논문 리뷰] Quantum entanglement and geometry of determinantal varieties

Hao Chen|ArXiv.org|2001. 10. 17.

Quantum Information and Cryptography참고 문헌 13인용 수 4

한 줄 요약

이 논문은 복소 사영 공간 내에서의 결정식 다양체를 혼합 양자 상태의 국소 유니터리 변환에 대한 대수적 불변량으로 도입하여 양자 얽힘을代數기하학과 연결한다. 기하학적 분리 가능성 기준을 수립함으로써, 분리 가능한 상태는 선형 부분공간들의 합으로 이루어진 결정식 다양체와 대응되며, 이는 얽힘의 새로운 기준, 스미트 수의 경계, 하미르토니안 시뮬레이션, 그리고 PPT 묶인 얽힌 상태의 체계적 구성에 기여한다.

ABSTRACT

Quantum entanglement was first recognized as a feature of quantum mechanics in the famous paper of Einstein, Podolsky and Rosen [18]. Recently it has been realized that quantum entanglement is a key ingredient in quantum computation, quantum communication and quantum cryptography ([16],[17],[6]). In this paper, we introduce algebraic sets, which are determinantal varieties in the complex projective spaces or the products of complex projective spaces, for the mixed states in bipartite or multipartite quantum systems as their invariants under local unitary transformations. These invariants are naturally arised from the physical consideration of measuring mixed states by separable pure states. In this way algebraic geometry and complex differential geometry of these algebraic sets turn to be powerful tools for the understanding of quantum enatanglement. Our construction has applications in the following important topics in quantum information theory: 1) separability criterion, it is proved the algebraic sets have to be the sum of the linear subspaces if the mixed states are separable; 2) lower bound of Schmidt numbers, that is, generic low rank bipartite mixed states are entangled in many degrees of freedom; 3) simulation of Hamiltonians, it is proved the simulation of semi-positive Hamiltonians of the same rank implies the projective isomorphisms of the corresponding algebraic sets; 4) construction of bound enatanglement, examples of the entangled mixed states which are invariant under partial transpositions (thus PPT bound entanglement) are constructed systematically from our new separability criterion. On the other hand many examples of entangled mixed states with rich algebraic-geometric structure in their associated determinantal varieties are constructed and studied from this point of view.

연구 동기 및 목표

• 혼합 상태로부터 유도된 대수적 불변량을 사용하여 양자 얽힘을 분석하기 위한 기하학적 프레임워크를 수립하는 것.
• 혼합 상태와 관련된 결정식 다양체의 대수적 구조에 기반한 분리 가능성 기준을 개발하는 것.
• 대수기하학을 적용하여 스미트 수의 경계와 하미르토니안 시뮬레이션과 같은 양자정보이론의 핵심 문제를 해결하는 것.
• 새로운 기하학적 분리 가능성 기준을 사용하여 PPT 묶인 얽힌 상태를 체계적으로 구성하는 것.
• 이해관계 있는 낮은 질량을 가진 혼합 상태가 그에 관련된 결정식 다양체의 비선형적 구조를 분석함으로써 이분기계에서 얽혀 있음을 입증하는 것.

제안 방법

• 밀도 행렬의 국소 기저 선택에 기반한 행렬의 소수를 사용하여 결정식 다양체를 정의한다.
• 혼합 상태 $\rho$ 와 관련된 결정식 다양체를 정의하기 위해 $\text{rank}(\sum r_i A_i) \leq n-1$ 의 질량 조건을 사용한다.
• 복소 대수기하학과 미분기하학을 적용하여 $\mathbb{C}^m$ 또는 $\mathbb{C}^m \times \mathbb{C}^n$ 내에서 이러한 다양체의 구조를 분석한다.
• 분리 가능한 혼합 상태가 아핀 선형 부분공간들의 합인 결정식 다양체와 대응됨을 입증한다.
• 이 다양체의 사영 동형사상을 사용하여 하미르토니안 시뮬레이션 하에서의 동치성을 특성화한다.
• 결정식 다양체가 비선형인 경우에, 부분 전치에 대해 불변인 상태를 확보함으로써 PPT 얽힌 상태의 구체적 예를 구성한다.

실험 결과

연구 질문

• RQ1 혼합 양자 상태의 분리 가능성은 그에 관련된 결정식 다양체의 대수적 구조로 특성화될 수 있는가?
• RQ2 결정식 다양체에 대한 기하학적 조건은 혼합 상태가 얽힘 또는 묶인 얽힘 상태임을 어떻게 암시하는가?
• RQ3 혼합 상태의 스미트 수는 그 결정식 다양체의 차원과 기약성과 어떻게 관련되는가?
• RQ4 같은 질량을 가진 준양성 하미르토니안의 시뮬레이션은 결정식 다양체의 사영 동형사상으로 특성화될 수 있는가?
• RQ5 부분 전치에 대해 불변인 혼합 상태가 얽혀 있음을 보장하는 조건은 무엇인가? (즉, 묶인 얽힘 상태)

주요 결과

• 이분기계에서의 분리 가능한 혼합 상태는 아핀 선형 부분공간들의 합인 결정식 다양체와 대응된다.
• 일반적인 낮은 질량을 가진 이분기계 혼합 상태는 그에 관련된 결정식 다양체가 선형 부분공간들의 합이 아니므로 얽혀 있다.
• 같은 질량을 가진 준양성 하미르토니안의 시뮬레이션은 해당 결정식 다양체의 사영 동형사상과 관련된다.
• 결정식 다양체가 비선형인 동안 상태가 부분 전치에 대해 불변임을 보장함으로써, PPT 묶인 얽힌 혼합 상태를 체계적으로 구성하는 새로운 방법이 개발되었다.
• $\rho_{0,0,1}$ 은 이 기하학적 기준을 통해 구성된, 범위 내에 분리 가능한 순수 상태를 포함하는 PPT 얽힌 혼합 상태의 첫 번째 예이다.
• 일반적인 매개변수 $e_1, e_2, e_3$ 에 대해, 결정식 다양체 $V_A^5(\rho_{e_1,e_2,e_3}) \cap C^3$ 는 직선이 아니라 곡선을 포함함을 보여, 비선형적 구조를 통해 얽힘을 입증한다.