[논문 리뷰] Transformations in quantum networks via local operations assisted by finitely many rounds of classical communication

Cornelia Spee, Tristan Kraft|arXiv (Cornell University)|2021. 05. 03.

Quantum Information and Cryptography참고 문헌 42인용 수 5

한 줄 요약

이 논문은 유한한 라운드 수의 국소 작용과 고전적 통신(LOCC)을 사용하여 양자 네트워크에서 결정론적 및 확률적 상태 변환을 조사한다. 주로 최대 얽힘을 가진 두 큐비트 상태 기반의 네트워크를 대상으로 하며, 나무 모양의 네트워크에서는 SLOCC 동치 상태들이 모두 도달 가능하지만, 사이클을 포함하는 네트워크에서는 근본적인 제약이 존재한다. 특정 상태들은 조차도 확률적으로 도달할 수 없으며, 일부 상태를 도달하기 위해서는 각 당사자가 단일 측정만을 수행하는 프로토콜은 부족하여 다중 측정이 필요하다.

ABSTRACT

Recent advances have led towards first prototypes of quantum networks in which entanglement is distributed by sources producing bipartite entangled states. This raises the question of which states can be generated in quantum networks based on bipartite sources using local operations and classical communication. In this work, we study state transformations under finite rounds of local operations and classical communication (LOCC) in networks based on maximally entangled two-qubit states. We first derive the symmetries for arbitrary network structures, as these determine which transformations are possible. Then, we show that contrary to tree graphs, for which it has already been shown that any state within the same entanglement class can be reached, there exist states which can be reached probabilistically but not deterministically if the network contains a cycle. Furthermore, we provide a systematic way to determine states which are not reachable in networks consisting of a cycle. Moreover, we provide a complete characterization of the states which can be reached in a cycle network with a protocol where each party measures only once, and each step of the protocol results in a deterministic transformation. Finally, we present an example which cannot be reached with such a simple protocol, and constitutes, up to our knowledge, the first example of a LOCC transformation among fully entangled states requiring three rounds of classical communication.

연구 동기 및 목표

• 유한한 라운드 수의 LOCC 프로토콜을 사용하여 양자 네트워크에서 어떤 얽힌 상태가 결정론적으로 변환될 수 있는지 규명하는 것.
• 특히 사이클을 포함하는 네트워크 구조적 제약이 SLOCC 동치성에도 불구하고 상태 도달 가능성에 미치는 영향을 규명하는 것.
• 국소 대칭성을 기반으로 사이클이 있는 네트워크에서 도달 불가능한 상태들을 제거하기 위한 체계적 방법을 개발하는 것.
• 각 당사자가 단 한 번만 측정하는 프로토콜을 통해 도달 가능한 모든 상태를 특성화하고, 일부 상태는 이를 초월해 다수의 측정이 필요함을 보여주는 것.

제안 방법

• 모든 네트워크 구조에 대해 국소 대칭의 완전한 집합을 유도하며, 최대 얽힘 상태의 경우 이들이 형식 $ Y \otimes Y^{-T} $ 로 제약됨을 보여준다.
• 대칭 구조를 활용하여 결정론적 LOCC 변환을 위한 필요 조건을 설정하며, 식 $ V_i^{(j)} h_j = h_j S_i^{(j)} $ 를 통해 국소 작용과 목표 상태 연산자 간의 연결을 맺는다.
• 초기 최대 얽힘 상태의 대칭성과 목표 상태의 대칭성 간의 호환성 분석을 통해 도달 불가능한 상태를 체계적으로 식별하는 방법을 적용한다.
• POVM과 국소 유니터리 작용을 사용하여 목표 상태에 도달하는 명시적 프로토콜을 구성하며, 당사자 각각이 다중 측정을 수행하는 경우도 포함한다.
• 삼각형 네트워크를 사례 연구로 활용하여, 벨-대각선 및 비퇴화 대칭 구조를 사용하여 도달 가능성의 한계를 증명한다.
• 밀도 행렬의 표준형과 대칭 분해를 활용하여 단일 측정 프로토콜 하에서 도달 가능한 상태를 분류한다.

실험 결과

연구 질문

• RQ1 사이클을 포함하는 양자 네트워크에서, 유한한 라운드 수의 LOCC를 사용하여 SLOCC 동치 상태들 전부를 도달할 수 있는가?
• RQ2 특히 사이클을 포함하는 네트워크 구조적 제약이 도달 가능한 얽힌 상태의 집합을 어떻게 제한하는가?
• RQ3 사이클이 있는 네트워크에서 확률적으로 도달 가능한 상태이지만 결정론적으로 도달 불가능한 상태가 존재하는가?
• RQ4 모든 도달 가능한 상태들이 각 당사자가 단 한 번만 측정하는 프로토콜을 통해 도달 가능한가?
• RQ5 일부 얽힌 상태를 도달하기 위해 사이클이 있는 네트워크에서 최소 몇 라운드의 측정이 필요한가?

주요 결과

• 사이클이 있는 양자 네트워크에서는 SLOCC 동치 상태들이 나무 모양의 네트워크에서는 도달 가능하더라도 결정론적으로 도달 가능한 것은 아님을 보여준다.
• 목표 상태의 국소 대칭성은 초기 최대 얽힘 상태의 대칭성과 호환되어야 하며, 이 호환성은 사이클이 있는 네트워크에서 더 엄격하게 제약된다.
• 식 $ V_i^{(j)} h_j = h_j S_i^{(j)} $ 를 통한 대칭 호환성 검토를 통해, 전체 클래스의 상태들이 도달 불가능하다고 규명하는 체계적 방법이 확립되었다.
• 삼각형 네트워크의 경우, 비퇴화 대칭 구조를 가진 상태들(예: $ H_3 = U_1^ op (\mathbf{1} + c\sigma_z \otimes \sigma_z) U_1 $)은 당사자가 다중 측정을 수행하지 않는 한 단일 측정 프로토콜로 도달할 수 없다.
• 특정 얽힌 상태에 도달하기 위해 세 라운드의 측정이 필요한 명시적 프로토콜을 구성하여, 단일 측정 프로토콜이 일부 상태에 대해 부족함을 입증하였다.
• 논문은 대칭 $ \sigma_x^{ ensors{6}} $ 가 목표 상태와 교환 가능하더라도, 이를 통해 기존의 항등원 유사 대칭으로 이미 달성 가능한 범위를 초월하지 못함을 증명하였다.