[논문 리뷰] Separable states and the SPA of a positive map

Erling Størmer|arXiv (Cornell University)|2012. 06. 25.

Advanced Topics in Algebra참고 문헌 6인용 수 6

한 줄 요약

이 논문은 양자 상태의 분리 가능성에 대한 두 가지 쉽게 검증할 수 있는 필요 조건을 제안하고, 이 조건들을 Størmer-Pereira 구성(SPA)의 양성 사상에 적용한다. 이를 통해 Ha와 Kye가 제안한 일부 최적의 단위 사상의 SPA가 항상 분리 가능한 상태를 생성하지는 않음을 보이며, 이는 [5]에서 제기된 '최적의 단위 사상의 SPA는 항상 분리 가능한 상태를 생성한다'는 추측에 대한 반례를 제공한다.

ABSTRACT

being the nxn matrices, is separable. There are necessary conditionslike the PPT condition which are reasonablyeasy to verify, but no such sufficientconditions. In the present paper we introduce two necessary conditions whichare very easy to verify, and then apply them to show that the SPA of someoptimal maps introduced by Ha and Kye [3] do not correspond to separablestates, yielding a counter example to the conjecture in [5] stating that the SPAof an optimal unital map is separable. It was announced in [3] that some oftheir maps yield counter examples of the conjecture and that proofs will appearin [4].Another consequence of our analysis is that if φ:M

연구 동기 및 목표

• 양자 상태의 분리 가능성에 대해 쉽게 확인할 수 있는 필요 조건을 규명하는 것.
• 양성 사상의 Størmer-Pereira 구성(SPA)에서 유도된 상태의 분리 가능성에 대한 연구.
• 최적의 단위 사상의 SPA가 항상 분리 가능한 상태를 생성한다는 추측에 도전하는 것.
• Ha와 Kye [3]의 명시적 분석을 통해 [5]의 추측에 대한 반례를 제시하는 것.

제안 방법

• 계산적으로 쉽게 검증할 수 있는 두 가지 새로운 분리 가능성에 대한 필요 조건을 도입하는 것.
• 이 조건들을 양성 사상의 SPA로 생성된 상태에 적용하는 것.
• Ha와 Kye [3]의 최적의 단위 사상의 구조를 활용하여 그들의 SPA 출력을 분석하는 것.
• 기존의 양성 사상과 PPT 조건의 성질을 활용하여 분리 가능성 여부를 평가하는 것.
• 결과를 [5]의 추측(최적의 단위 사상의 SPA는 분리 가능한 상태를 생성한다)과 비교하는 것.
• 모순을 통해 특정 SPA 출력이 분리 가능하지 않음을 입증함으로써 추측을 반박하는 것.

실험 결과

연구 질문

• RQ1 Ha와 Kye [3]에서 제안한 최적의 단위 사상의 SPA 구성은 항상 분리 가능한 양자 상태를 생성하는가?
• RQ2 쉽게 검증할 수 있는 분리 가능성에 대한 필요 조건을 사용하여 SPA로 생성된 상태에서 얽힘을 탐지할 수 있는가?
• RQ3 [5]의 추측, 즉 최적의 단위 사상의 SPA는 항상 분리 가능한 상태를 생성한다 는 것이 올바른가?
• RQ4 특정 최적의 사상 중에서 그들의 SPA 출력이 얽힌 상태인 경우가 존재하는가?
• RQ5 어떤 구조적 성질이 양성 사상의 SPA가 분리 가능한 상태를 생성하지 못하게 막는가?

주요 결과

• Ha와 Kye [3]가 제안한 일부 최적의 단위 사상의 SPA는 분리 가능한 상태를 생성하지 않으며, 이는 [5]의 추측과 모순된다.
• 제안된 분리 가능성에 대한 필요 조건들은 실용적으로 효과적이며 간편하게 적용할 수 있다.
• 분석 결과, 일부 최적의 양성 사상은 여전히 SPA를 통해 분리 가능한 상태를 생성하지 못함을 확인하였다.
• 제시된 반례는 최적의 사상의 SPA가 항상 분리 가능한 상태를 생성한다는 일반적인 믿음을 무너뜨린다.
• 결과적으로 최적의 사상이라도 SPA로 생성된 상태의 분리 가능성은 항상 가정할 수 없다는 것을 보여준다.
• 결과는 PPT와 표준 필요 조건을 넘어서는 보다 정교한 기준이 분리 가능성 탐지에 필요하다는 점을 강조한다.