[논문 리뷰] Duality of cones of positive maps

Erling Størmer|ArXiv.org|2008. 10. 23.

Advanced Topics in Algebra참고 문헌 9인용 수 20

한 줄 요약

이 논문은 유한차원 C*-대수 간의 양성 선형 사상의 원뿔에 대한 이중성 프레임워크를 수립하며, 호로데cki 정리를 임의의 사상 원뿔로 일반화한다. K-양성 사상의 이중 원뿔은 초이 매트릭스의 양성으로 특징지어지며, 이중 이중 원뿔이 원래 원뿔로 복원됨을 증명한다. 이는 분해 가능 맵과 PPT 상태에 응용되며, PPT 상태가 분해 가능 맵의 이중 원뿔과 정확히 일치함을 보여준다.

ABSTRACT

We study the so-called K-positive linear maps from B(L) into B(H) for finite dimensional Hilbert spaces L and H and give characterizations of the dual cone of the cone of K-positive maps. Applications are given to decomposable maps and PPT-states.

연구 동기 및 목표

• 유한차원 C*-대수에서 임의의 사상 원뿔 K에 대해 K-양성 사상의 이중 원뿔을 특징짓기.
• 분리 가능성과 PPT 상태에 대한 호로데cki 정리를 일반 사상 원뿔으로 확장하기.
• K-양성 사상 원뿔과 그 이중 원뿔 사이의 이중성 수립하고, 이중 이중 원뿔이 원래 원뿔로 복원됨을 증명하기.
• 초이 매트릭스와 텐서곱의 양성에 의해 분해 가능 맵, PPT 상태, 그 이중 원뿔 간의 관계를 명확히 하기.

제안 방법

• 선형 사상 $ \theta $ 의 양성을 특징짓기 위해 $ C_{\theta} = \text{id} \otimes \theta(p) $ 라는 초이 매트릭스 표현을 사용한다. 여기서 $ p $ 는 최대 얽힘 상태이다.
• 원뿔 $ S \subset B(M,H)^+ $ 의 이중 원뿔 $ S^{\flat} $ 을 추적 조건 $ \text{Tr}(C_{\theta} C_{\psi}) \geq 0 $ for all $ \psi \in S $ 를 통해 정의한다.
• 이중성 구조를 포괄하는 원뿔 $ P(M,K) = \{ x \in M \otimes B(H) : \text{id} \otimes \alpha(x) \geq 0 \; \forall \alpha \in K \} $ 을 도입한다.
• 특히 $ P(M,P) = P(M,CP(H)) \vee P(M,Cop(H)) $ 를 증명하기 위해 하안-반하우스 정리를 적용한다. 여기서 $ P $ 는 PPT 맵의 원뿔이다.
• 전치 사상 $ t $ 와 그 사상 및 원뿔에 대한 작용을 통해 이중 원뿔, 즉 $ K^t $ 와 $ K^{\sharp} $ 을 정의하고, 분해 가능 원뿔에 대해 $ D = P^{\sharp} $ 를 증명한다.
• 사상 $ \theta $ 의 이중 함수 $ \tilde{\theta} $ 와 $ \tilde{\theta} \circ (\text{id} \otimes \alpha^*) $ 의 양성 조건을 활용하여 이중 원뿔을 특징짓는다.

실험 결과

연구 질문

• RQ1 유한차원 C*-대수에서 임의의 사상 원뿔 K에 대해 K-양성 사상의 이중 원뿔은 어떻게 특징지을 수 있는가?
• RQ2 분해 가능 맵의 이중 원뿔과 PPT 상태의 원뿔 간의 관계는 무엇인가?
• RQ3 K-양성 사상 원뿔의 이중 이중 원뿔은 원래 원뿔로 복원되는가? 어떤 조건에서 그러한가?
• RQ4 이중성 프레임워크는 호로데cki 정리를 일반 사상 원뿔으로 어떻게 확장하는가?
• RQ5 이중 원뿔 $ P^{\sharp} $ 의 정확한 구조는 무엇이며, 분해 가능 맵의 원뿔과는 어떻게 관련되어 있는가?

주요 결과

• K-양성 사상의 이중 원뿔은 조건 $ C_{\theta} \in P(M,K^t) $ 를 통해 특징지어지며, 이는 이중 원뿔에 속하는지 여부를 초이 매트릭스 기준으로 판별할 수 있게 한다.
• K-양성 사상 원뿔의 이중 이중 원뿔은 원래 원뿔과 일치함을 증명하여, 이러한 원뿔 집합에서 이중성이 반전 연산임을 입증한다.
• PPT 맵(즉, 완전 양성 및 쌍대 양성인 맵)의 원뿔인 $ P $ 에 대해, 분해 가능 맵 원뿔의 이중 원뿔은 정확히 $ P $-양성 맵의 원뿔과 일치한다.
• 분해 가능 맵 원뿔 $ D $ 는 $ D = P^{\sharp} $ 를 만족한다. 여기서 $ P^{\sharp} $ 는 $ \alpha \in P^{\sharp} $ 이면 모든 $ \beta \in P $ 에 대해 $ \alpha \circ \beta^* \in CP(H) $ 를 만족함으로써 정의되는 이중 사상 원뿔이다.
• 사상 $ \phi \in \mathcal{P}(H) $ 는 다음 조건을 만족할 때이고 오직 그 때에만 분해 가능하다: $ \omega \circ (\text{id} \otimes \phi^*) \geq 0 $ 이다. 여기서 $ \omega $ 는 최대 얽힘 상태이며, $ F = \{ x \in B(H \otimes H)^+ : \text{id} \otimes t(x) \geq 0 \} $ 는 원뿔이다.
• 이중성 프레임워크는 $ n \leq \dim H $ 인 조건 하에 $ \tilde{\phi} $ 가 분리 가능함과 $ \phi $ 가 $ \mathcal{P}(H) $-양성임이 동치임을 확인함으로써 호로데cki 정리를 확장한다.