[논문 리뷰] All 2-positive linear maps from M3 to M3 are decomposable

Yang Yu, Denny H. Leung외 1명|arXiv (Cornell University)|2016. 03. 11.

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

한 줄 요약

이 논문은 $M_3(\mathbb{C})$에서 $M_3(\mathbb{C})$로의 모든 2-양성 선형 사상이 분해 가능하다는 것을 증명한다. 즉, 이는 완전 양성 사상과 완전 쌍대 양성 사상의 합으로 표현될 수 있음을 의미한다. 초이의 행렬 분해 기법을 바탕으로, $2 \leq k < \min\{m,n\}$ 인 $k$-양성 사상에 대한 일반적인 분해 정리를 수립하며, $M_3$의 경우에 케의 추측을 긍정적으로 해결하고, 이 설정에서 분해 불가능한 2-양성 사상이 존재하지 않음을 확인한다.

ABSTRACT

Following an idea of Choi, we obtain a decomposition theorem for k-positive linear maps from Mm to Mn, where 2&lt;=k

연구 동기 및 목표

• 2-양성 사상의 분해 가능성에 관한 케의 추측을 $M_3(\mathbb{C})$에서 해결하기.
• $2 \leq k < \min\{m,n\}$ 인 $M_m(\mathbb{C})$에서 $M_n(\mathbb{C})$로의 $k$-양성 사상에 대한 일반적인 분해 정리를 수립하기.
• $B(M_3(\mathbb{C}), M_3(\mathbb{C}))$ 내의 모든 2-양성 사상이 분해 가능하다는 것을 보여주며, 이는 이 설정에서 분해 불가능한 2-양성 사상이 존재하지 않음을 의미한다.

제안 방법

• 2-양성 사상 $\Phi[a,b,c]$에서 $M_3(\mathbb{C})$에서 $M_3(\mathbb{C})$로의 초이 행렬을 분석하기 위해 초이의 행렬 분해 기법을 응용하였다.
• 사상의 초이 행렬을 두 개의 양의 준정적 행렬으로 분해하여, 하나는 완전 양성 사상에 대응하고 다른 하나는 완전 쌍대 양성 사상에 대응하도록 하였다.
• 1-비어 있는 릿지 기법을 사용하여, $B(M_2(\mathbb{C}), M_3(\mathbb{C}))$에서의 양성 사상을 더 높은 차원의 공간으로 확장하였으며, 낮은 차원에서의 분해 가능성에 기반하였다.
• 스 Schmidt 수와 부분 전치를 통한 양성 사상과 양자 상태 사이의 쌍대성을 응용하여 사상의 구조를 특성화하였다.
• 초이 행렬의 양성과 그 부분 전치의 양성을 확인하여, 분해의 구성 요소가 실제로 완전 양성 및 완전 쌍대 양성임을 검증하였다.
• 비교를 통해 [3, 정리 3.4]의 다른 분해와의 비교를 통해 분해의 비유일성을 입증하였다.

실험 결과

연구 질문

• RQ1 모든 $M_3(\mathbb{C})$에서 $M_3(\mathbb{C})$로의 2-양성 선형 사상은 완전 양성 사상과 완전 쌍대 양성 사상의 합으로 분해될 수 있는가?
• RQ2 $2 \leq k < \min\{m,n\}$ 인 $M_m(\mathbb{C})$에서 $M_n(\mathbb{C})$로의 일반적인 $k$-양성 사상은 분해 가능한가?
• RQ3 $B(M_3(\mathbb{C}), M_4(\mathbb{C}))$ 내에 2-양성이지만 분해 불가능한 사상이 존재하는가?
• RQ4 Schmidt 수는 양성 사상의 분해 가능성 특성을 기술하는 데 어떤 역할을 하는가?
• RQ5 초이 행렬 분해 기법은 저차원 행렬 대수에서의 분해 가능성 증명에 어떻게 기여하는가?

주요 결과

• 모든 $M_3(\mathbb{C})$에서 $M_3(\mathbb{C})$로의 2-양성 선형 사상은 분해 가능하며, 이는 케의 추측을 긍정적으로 확인한 것이다.
• 2-양성 사상 $\Phi[a,b,c]$의 분해는 [3]의 다른 분해와 비교하여 비유일하다는 것이 입증되었다.
• 초이 행렬 $\Phi[a,b,c]$는 두 개의 양의 준정적 행렬의 합으로 표현되며, 하나는 완전 양성에 대응하는 구조를 가지며 다른 하나는 완전 쌍대 양성에 대응한다.
• $bc \geq 4(2-a)^2$ 조건이 2-양성을 보장하며, 이 조건 하에서 사상은 여전히 분해 가능하다.
• 분해에서 유도된 사상 $\Phi_{1}$는 초이 행렬이 양의 준정적이므로 완전 양성이다.
• 사상 $\Phi_{2}$는 그 초이 행렬의 부분 전치가 양의 준정적이므로 완전 쌍대 양성이며, 이는 $\mathbb{P}_3 + \mathbb{P}^3$로의 분해를 확인한다.