[논문 리뷰] Comment on "Separable states with unique decompositions"

Remigiusz Augusiak, Joonwoo Bae외 2명|arXiv (Cornell University)|2013. 04. 07.

Quantum Mechanics and Applications인용 수 3

한 줄 요약

이 논문은 최적의 얽힘 양자측정기의 구조적 물리적 근사(SPA)가 분리 가능하다는 추측에 대한 주장된 반례를 도전한다. Lewenstein 등(2000)이 제안한 방법을 적용하여, 저자들은 분석적·수치적으로 제안된 얽힘 양자측정기가 최적이 아니라는 것을 입증함으로써, 이 반례가 무효화되고 원래의 추측이 그대로 유지됨을 보여준다.

ABSTRACT

In 2008, the conjecture that structural physical approximations to optimal entanglement witnesses are separable states (in general unnormalized) was posed. In an attempt to disprove it, in [K.-C. Ha and S.-H. Kye, states with unique arXiv:1210.1088v3], Ha and Kye proposed a decomposable entanglement witness whose SPA is entangled and argued that it is optimal. In this note, which is based on a comment to the latter work [R. Augusiak et al., Comment on Separable states with unique decompositions, arXiv:1304.2040v1], we show, both analytically and numerically, that this entanglement witness is not optimal, and as such it is not a counterexample to the conjecture. To this end, we make use of a method for checking optimality of entanglement witnesses developed already in [M. Lewenstein et al., Phys. Rev. A 62, 052310 (2000)], however, hardly exploited so far in the literature.

연구 동기 및 목표

• Ha와 Kye가 제안한 얽힘 양자측정기가 최적의 얽힘 양자측정기의 SPA가 분리 가능하다는 추측에 대해 유효한 반례가 되는지 조사하기.
• 그 반례의 유효성을 떨어뜨리는 핵심 요소인 양자측정기의 최적성 여부를 평가하기.
• 기존에 잘 활용되지 않았던 최적성 검증 방법의 실용성과 적용 가능성을 보여주기.
• 주어진 반례를 해결함으로써 SPA-분리 가능성 추측의 정당성을 명확히 하기.

제안 방법

• 저자들은 Lewenstein 등(2000)이 제안한 최적성 검증 방법을 적용하여, 얽힘 양자측정기가 최적인지 여부를 그 지지 구조와 얽힌 상태와의 쌍대성 분석을 통해 판단한다.
• 분석적으로 양자측정기의 지지 구조와 얽힌 상태와의 관계를 검토하여, 양성 연산자를 더해 더 개선될 수 있는지 분석한다.
• 분석 결과를 뒷받침하기 위해 수치적 검증을 수행하여 다양한 매개변수 영역에서의 타당성을 확보한다.
• 양자측정기가 더 단순하고 효율적인 형태로 축소되지 않는지, 즉 얽힘 탐지 능력이 손상되지 않는지를 중심으로 분석한다.
• 최적성의 필수 조건인, 양자측정기의 핵에 제품 벡터가 포함되어 있지 않은지를 확인하는 데 기반한다.
• 기존의 최적성 기준과 비교하여, 해당 양자측정기가 반례로서의 유효성을 갖는지 판단한다.

실험 결과

연구 질문

• RQ1 Ha와 Kye가 제안한 얽힘 양자측정기는 그들의 논문에서 주장한 바와 같이 진정으로 최적인가?
• RQ2 이 양자측정기의 구조적 물리적 근사(SPA)가 여전히 얽힌 상태를 유지하는가, 즉 주장된 바와 같이 얽힌 상태인가?
• RQ3 양성 연산자를 더해 개선될 수 있다면, 이는 양자측정기가 최적이 아니라는 것을 의미하는가?
• RQ4 이 양자측정기가 최적이 아니라는 사실이, SPA-분리 가능성 추측에 대한 반례로서의 역할을 무효화하는가?
• RQ5 Lewenstein 등(2000)의 최적성 검증 방법은 얽힘 양자측정기 분석에서 애매한 점을 해결하는 데 얼마나 효과적인가?

주요 결과

• Ha와 Kye가 제안한 얽힘 양자측정기는 양성 연산자를 더해 개선될 수 있으므로 최적이 아니다.
• 양자측정기의 핵에 제품 벡터가 포함되어 있어, 최적성에 필요한 조건을 위반함으로써 비최적이 됨을 확인한다.
• 수치적 결과는 분석적 결과를 뒷받침하며, 테스트된 구성에서 일관된 최적성 실패를 보여준다.
• 결과적으로 이 양자측정기는 최적의 얽힘 양자측정기의 SPA가 분리 가능하다는 추측에 대해 유효한 반례가 될 수 없다.
• 비최적이기 때문에 제안된 반례가 결함이 있음을 입증함으로써, 원래의 추측이 그대로 유지됨을 재확인한다.
• Lewenstein 등(2000)의 방법은 실제 사례에서 양자측정기의 최적성을 평가하는 데 효과적이고 실용적임을 입증한다.