[논문 리뷰] Geometry of entanglement witnesses for two qutrits

Dariusz Chruściński, Filip Wudarski|arXiv (Cornell University)|2011. 05. 24.

Quantum Computing Algorithms and Architecture참고 문헌 2인용 수 4

한 줄 요약

이 논문은 $M_3(\mathbb{C})$ 내의 양의 사상들의 볼록집합을 분석하여 두 큐트리플(qutrit)에 대한 얽힘 증거의 기하적 특성화를 제공한다. 이로써 경계의 일부가 $SO(2)$ 회전에 의해 매개변수화됨을 밝혀내며, 이러한 경계 사상들이 얽힘 탐지에 최적일 것이라 추측한다. 또한 $O(2)$ 비정상 회전에 의해 매개변수화된 새로운 분해 가능 얽힘 증거의 클래스를 제안한다.

ABSTRACT

We characterize a convex subset of entanglement witnesses for two qutrits. Equivalently, we provide a characterization of the set of positive maps in the matrix algebra of 3 x 3 complex matrices. It turns out that boundary of this set displays elegant representation in terms of SO(2) rotations. We conjecture that maps parameterized by rotations are optimal, i.e. they provide the strongest tool for detecting quantum entanglement. As a byproduct we found a new class of decomposable entanglement witnesses parameterized by improper rotations from the orthogonal group O(2).

연구 동기 및 목표

• 두 큐트리플에 대한 얽힘 증거의 볼록집합을 $M_3(\mathbb{C})$ 내의 양의 사상 기하학을 통해 특성화하기.
• $SO(2)$ 회전이 양의 사상 집합의 경계를 매개변수화하는 데 수행하는 역할 조사하기.
• 이 사상들이 양자 얽힘 탐지에 있어 (비)분해 가능성과 최적성 여부 탐색하기.
• 비정상 $O(2)$ 회전을 사용하여 새로운 분해 가능 얽힘 증거의 클래스 구축하기.
• 이 가족 내의 양의 사상들의 구조적 대칭성과 자기쌍대성 성질 분석하기.

제안 방법

• 저자들은 순환행렬 구조와 정규화 인자 $N_{abc}$를 통해 정의된 $M_3(\mathbb{C})$ 내의 일파rameter 가중치 사상 $\Phi[a,b,c]$를 분석한다.
• 양의 사상 집합의 경계에 집중하기 위해 $a + b + c = 2$ 조건을 도입하여 매개변수 공간을 두 변수 $b$와 $c$로 축소한다.
• 매개변수 $(b,c)$를 평면 상의 타원에 매핑함으로써 기하적 구조를 분석하고, 경계에서 $SO(2)$ 회전 대칭성을 드러낸다.
• 자기쌍대성 조건과 관련 연산자의 양의성을 통해 사상의 쌍대성과 분해 가능성 평가하기.
• 비정상 $O(2)$ 회전을 사용하여 새로운 종류의 얽힘 증거를 구성하며, $\widetilde{W}[a,b,c]$와 $W_U[a,b,c]$에 대한 명시적 행렬 형태 유도하기.
• 단위변환과 볼록조합을 활용하여 새로운 증거를 생성하고, 그 (비)분해 가능성 분석하기.

실험 결과

연구 질문

• RQ1 복소수 $M_3(\mathbb{C})$ 내의 양의 사상 볼록집합의 경계는 어떻게 기하학적으로 구성되어 있는가?
• RQ2 SO(2) 회전에 의해 매개변수화된 양의 사상들이 얽힘 탐지에 최적일 수 있는가?
• RQ3 O(2) 비정상 회전은 새로운 분해 가능 얽힘 증거를 생성하는 데 어떤 역할을 하는가?
• RQ4 자기쌍대성과 분해 가능성은 양의 사상 집합의 기하학적 구조와 어떻게 관련되어 있는가?
• RQ5 다른 증거 가족의 볼록조합은 (비)분해 가능성 성질을 유지하거나 변화시키는가?

주요 결과

• 복소수 $M_3(\mathbb{C})$ 내의 양의 사상 볼록집합의 경계는 $SO(2)$ 회전에 의해 매개변수화되며, 매개변수 공간을 묘사하는 타원 방정식 $\frac{9}{4}\left(x-\frac{4}{3}\right)^2 + \frac{3}{4}y^2 = 1$ 이 존재한다.
• SO(2) 회전에 의해 매개변수화된 사상들은 최적일 것이라 추측되며, 기존에 알려진 최적 사상인 채이 지도와 감소 지도가 모두 이 가족에 속하기 때문이다.
• 비정상 $O(2)$ 회전을 사용하여 새로운 분해 가능 얽힘 증거의 클래스를 구성하였으며, $\widetilde{W}[a,b,c]$에 대한 명시적 행렬 형태를 제공하였다.
• $\widetilde{W}[a,b,c]$는 분해 가능하고 자기쌍대이지만, $W_U[a,b,c]$는 $W[a,b,c]$의 단위변환으로서 $b \neq c$일 경우 비분해 가능하다.
• $W[a,b,c]$와 $\widetilde{W}[a,b,c]$ 두 증거 가족은 $a = b = c = \frac{2}{3}$에서만 만난다. 이는 타원의 중심에 해당한다.
• $W[\alpha]$와 $\widetilde{W}[\beta]$의 볼록조합은 새로운 얽힘 증거를 생성하지만, 그 (비)분해 가능성은 사용된 확률분포에 따라 비직관적으로 달라진다.