[논문 리뷰] On exposed positive maps: Robertson and Breuer-Hall maps

Dariusz Chruściński|arXiv (Cornell University)|2011. 08. 10.

Algebraic structures and combinatorial models인용 수 1

한 줄 요약

이 논문은 복소수 $M_{2n}(\bb{C})$에서의 Breuer-Hall 양의 사상이 양의 사상의 볼록뿔 내에서 노출되어 있음을 증명한다. 이는 최적성이나 극단성보다 더 강한 성질이다. 그 결과로, Breuer-Hall 구성의 특수한 경우인 $M_4(\bb{C})$에서의 Robertson 사상이 최적뿐만 아니라 노출되어 있음을 규명하여, 노출된 양의 위자로써 얽힘을 탐지하는 데의 유용성을 강화한다.

ABSTRACT

It is well known that so called Breuer-Hall positive maps used in entanglement theory are optimal. We show that these maps possess much more subtle property --- they are exposed. As a byproduct it proves that a Robertson map in the algebra of 4 x 4 complex matrices is not only extreme, which was already shown by Robertson, but also exposed.

연구 동기 및 목표

• Breuer-Hall 양의 사상이 $M_{2n}(\bb{C})$에서의 양의 사상의 볼록뿔 내에서 노출되어 있는지 규명하는 것.
• 이미 극단적임이 알려져 있으나 이전까지 노출성의 증명이 없었던 $M_4(\bb{C})$에서의 Robertson 사상의 노출성을 조사하는 것.
• 노출된 사상이 얽힘 이론에서 어떤 역할을 하는지 명확히 하여, 모든 얽힌 상태를 탐지할 수 있음을 보여주는 것.
• 이론적 이중성 이론을 통해 노출된 사상, 쌍대 면, 양의 사상의 구조 간의 관계를 강화하는 것.

제안 방법

• 볼록뿔 내 이중성 이론을 활용: 사상이 노출되어 있음과 동치로, 그 쌍대 면이 유일함을 증명.
• Breuer-Hall 사상의 쌍대 면 $[\varphi_{BH}]'$를 단위 벡터 $x$에 대해 $|x\rangle\langle x| \otimes |x\rangle\langle x|$와 $|x\rangle\langle x| \otimes |Ux\rangle\langle Ux|$의 볼록결합으로 특성화.
• 조건 $\langle x|\varphi(P_x)|x\rangle = 0$ 를 모든 $x$에 대해 만족시키는 방식으로 이중쌍대 $[\varphi_{BH}]''$를 계산하여, 반대칭 행렬 $A_k$를 갖는 $\varphi(X) = \sum_k \lambda_k A_k X^t A_k^*$ 형태의 사상들로 구성된 클래스를 도출.
• 반대칭 행렬 집합이 $M_{2n}(\bb{C})$의 기저를 이룰 경우, 그 가중합이 $I - |x\rangle\langle x|$를 생성한다는 보조정리를 적용.
• 정규화와 대칭성을 활용하여 이중쌍대 내에 존재하는 유일한 양의 사상은 $\varphi_{BH}$의 스칼라배임을 증명함으로써 노출성 확인.
• $\varphi_{BH} = R_{2n} - \varphi_U$ 인 관계를 활용하여, $R_{2n}$은 극단적이지 않지만 최적 사상의 면에 속해 있음을 보여, $R_{2n}$이 두 개의 노출된 사상 $\varphi_{BH}$와 $\varphi_U$의 볼록조합임을 규명.

실험 결과

연구 질문

• RQ1 Breuer-Hall 양의 사상은 $M_{2n}(\bb{C})$에서의 양의 사상 볼록뿔 내에서 노출되어 있는가?
• RQ2 이미 극단적임이 알려져 있으나 노출성은 입증되지 않았던 $M_4(\bb{C})$에서의 Robertson 사상은 노출되어 있는가?
• RQ3 노출된 사상과 유일한 쌍대 면 간의 이중성 관계를 일반적 프레임워크에서 노출성을 증명하는 데 활용할 수 있는가?
• RQ4 감소 사상 $R_n$과 노출된 사상 간의 관계는 무엇인가, 특히 $n > 2$일 경우에 대해 어떻게 되는가?
• RQ5 $\varphi_{BH} = R_{2n} - \varphi_U$의 구성은 $\varphi_{BH}$가 $\varphi_U$로부터 노출성을 상속하거나 획득하는가?

주요 결과

• Breuer-Hall 사상이 $M_{2n}(\bb{C})$에서 노출되어 있음이 증명되었으며, 이는 최적성이나 극단성보다 더 강한 성질이다.
• Robertson 사상이 $M_4(\bb{C})$에서 노출되어 있음이 입증되어, 기존의 극단성 외에도 추가적인 성질을 갖게 되었다.
• 쌍대 면 $[\varphi_{BH}]'$는 단위 벡터 $x$에 대해 $|x\rangle\langle x| \otimes |x\rangle\langle x|$와 $|x\rangle\angle x| \otimes |Ux\rangle\langle Ux|$의 볼록결합으로 정확히 구성된다.
• 이중쌍대 $[\varphi_{BH}]''$에는 $\varphi_{BH}$의 스칼라배 외에 다른 양의 사상이 존재하지 않으며, 이는 면이 노출되어 있음을 확인한다.
• $n > 2$일 경우 감소 사상 $R_n$은 노출되어 있지 않지만, $R_{2n}$은 두 개의 노출된 사상 $\varphi_{BH}$와 $\varphi_U$의 볼록조합이므로 극단적이지 않다.
• $\varphi_{BH} = R_{2n} - \varphi_U$의 항등식은 감소 사상에서 노출된 사상을 빼면 다시 노출된 사상이 되며, 이는 양의 사상의 뿌리 구조 내에서의 구조적 관계를 강조한다.