[논문 리뷰] Separability of mixed Dicke states: an NP-hard optimization problem

Jordi Tura, Albert Aloy외 3명|arXiv (Cornell University)|2017. 06. 28.

Quantum Computing Algorithms and Architecture인용 수 2

한 줄 요약

이 논문은 다이아몬드 대칭(다이아몬드 대칭, DS) 상태의 분리 가능성 문제를 이차 콘형 최적화 문제로 재구성함으로써, qudit에서의 분리 가능성 문제가 NP-난이도임을 증명한다. d ≤ 4일 때 부분 전치의 양성(PPT)이 분리 가능성에 대해 필요하고 충분함을 증명하고, d ≥ 5에 대해 PPT-엔트랑글된 상태의 해석적 예를 제시하며, 이중 DS 상태에 대해 PPT를 초월한 새로운 분리 가능성 조건을 도입한다. 또한 N-편재 DS 큐비트에서 PPT-엔트랑글된 상태를 규명한다.

ABSTRACT

We study the separability problem in mixtures of Dicke states i.e., the separability of the so-called Diagonal Symmetric (DS) states. First, we show that separability in the case of DS in $C^d\otimes C^d$ (symmetric qudits) can be reformulated as a quadratic conic optimization problem. This connection allows us to exchange concepts and ideas between quantum information and this field of mathematics. For instance, copositive matrices can be understood as indecomposable entanglement witnesses for DS states. As a consequence, we show that positivity of the partial transposition (PPT) is sufficient and necessary for separability of DS states for $d \leq 4$. Furthermore, for $d \geq 5$, we provide analytic examples of PPT-entangled states. Second, we develop new sufficient separability conditions beyond the PPT criterion for bipartite DS states. Finally, we focus on $N$-partite DS qubits, where PPT is known to be necessary and sufficient for separability. In this case, we present a family of almost DS states that are PPT with respect to each partition but nevertheless entangled.

연구 동기 및 목표

• 혼합 Dicke 상태, 특히 대칭 qudit에서의 대각 대칭(다이아몬드 대칭, DS) 상태에 대한 분리 가능성 문제의 복잡도를 규명하는 것.
• DS 상태의 분리 가능성과 이차 콘형 최적화 간의 연결 고리를 확립하여, 공액 행렬과 같은 수학적 개념과의 상호 영향을 가능하게 하는 것.
• 다양한 차원 d에서 PPT 기준이 DS 상태의 분리 가능성에 대해 충분한지 여부를 조사하는 것.
• 이중 DS 상태에 대해 PPT 기준을 초월한 새로운 분리 가능성 조건을 개발하는 것.
• 특히 PPT 기준과의 관련성에서 N-편재 DS 큐비트의 얽힘의 구조를 분석하는 것.

제안 방법

• 대칭성과 대각 구조를 활용하여 $C^d \otimes C^d$에서의 DS 상태에 대한 분리 가능성 문제를 이차 콘형 최적화 문제로 재구성하는 것.
• 공액 행렬과 분해 불가능한 얽힘 감지기 사이의 이중성을 활용하여 DS 상태의 얽힘을 특성화하는 것.
• 행렬 이론에서 알려진 결과를 적용하여 d ≤ 4일 때 PPT가 분리 가능성에 대해 필수적이고 충분함을 증명하는 것.
• d ≥ 5에 대해 PPT-엔트랑글된 상태의 해석적 예를 구성하여, 고차원에서 PPT가 충분 조건으로서 실패함을 입증하는 것.
• 각 분할에 대해 PPT이지만 여전히 얽힌 N-편재 큐비트 시스템에서의 거의 DS 상태의 가족을 도입하여, 다중편재 환경에서 PPT의 충분성에 도전하는 것.
• 최적화 기반 기법을 사용하여 이중 DS 상태에 대해 PPT를 초월한 새로운 분리 가능성 조건을 유도하는 것.

실험 결과

연구 질문

• RQ1 대칭 qudit인 $C^d \otimes C^d$에서의 대각 대칭 상태에 대한 분리 가능성 문제는 NP-난이도이며, 이는 이차 콘형 최적화 문제로 재구성될 수 있는가?
• RQ2 어느 차원 d에서 PPT 기준이 DS 상태의 분리 가능성에 대해 필수적이고 충분한가?
• RQ3 d ≥ 5에 대해 PPT-엔트랑글된 상태의 해석적 예를 구성할 수 있는가? 이는 PPT 기준의 한계를 입증하는가?
• RQ4 이중 DS 상태에 대해 PPT를 초월한 새로운 분리 가능성 조건은 무엇인가?
• RQ5 각 분할에 대해 PPT이지만 여전히 얽힌 N-편재 DS 큐비트 상태가 존재하는가? 이는 다중편재 시스템에서 PPT가 충분 조건으로서의 실패를 시사하는가?

주요 결과

• 대칭 qudit인 $C^d \otimes C^d$에서의 대각 대칭 상태에 대한 분리 가능성 문제는 이차 콘형 최적화 문제로 재구성될 수 있으므로 NP-난이도임을 증명한다.
• $d \leq 4$일 때, 부분 전치의 양성(PPT)은 DS 상태의 분리 가능성에 대해 필수적이고 충분하다.
• $d \geq 5$일 때, 논문은 PPT-엔트랑글된 상태의 해석적 예를 제공하여, PPT가 고차원에서 충분 조건이 아니라는 점을 입증한다.
• 논문은 이중 DS 상태에 대해 PPT 기준을 초월한 새로운 분리 가능성 조건을 도입하여, 분리 가능한 상태의 탐지 능력을 향상시킨다.
• N-편재 DS 큐비트의 경우, 각 분할에 대해 PPT이지만 여전히 얽힌 거의 DS 상태의 가족을 규명하여, 다중편재 환경에서 PPT가 충분 조건이 아니라는 점을 보여준다.
• 공액 행렬이 DS 상태에 대해 분해 불가능한 얽힘 감지기와 대응됨을 입증하여, 양자 얽힘과 행렬 이론의 고급 개념 간의 연결 고리를 확립한다.