[논문 리뷰] Local distinguishability of quantum states in bipartite systems

Xiaoqian Zhang, Cheng Guo외 2명|arXiv (Cornell University)|2017. 12. 23.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 한 방향 국소 작용과 고전적 통신(LOCC)을 통한 이분할 양자 상태의 局소 구별 가능성에 대한 필요충분조건을 수립한다. 집합에 구별 불가능한 부분집합이 포함되어 있으면 그 집합도 구별 불가능하다는 것을 증명하며, 한 방향 LOCC로 구별 불가능한 직교적 산품 상태의 최소 구조를 제공한다. 이는 $C^3 \otimes C^2$에서 다섯 개와 여섯 개 상태를 포함한 예시를 포함한다.

ABSTRACT

In this article, we show a sufficient and necessary condition for locally distinguishable bipartite states via one-way local operations and classical communication (LOCC). With this condition, we present some minimal structures of one-way LOCC indistinguishable quantum state sets. As long as an indistinguishable subset exists in a state set, the set is not distinguishable. We also list several distinguishable sets as instances.

연구 동기 및 목표

• 한 방향 LOCC를 사용한 이분할 양자 상태의 국소 구별 가능성에 대한 필요충분조건을 수립하기.
• 한 방향 LOCC로 구별 불가능한 직교 산품 상태 집합의 최소 구조를 규명하기.
• 앨리스가 먼저 측정할 경우 한 방향 LOCC로 국소적으로 구별 가능한 직교 산품 상태의 최대 수를 결정하기.
• 앨리스의 측정 순서와 관계없이 항상 구별 불가능한 특정 집합, 특히 $C^3 \otimes C^2$에서 다섯 개와 여섯 개의 직교 산품 상태를 증명하기.
• 상태 집합 내에 구별 불가능한 부분집합을 찾는 것으로 효율적으로 구별 가능성 평가를 수행할 수 있는 프레임워크 제공하기.

제안 방법

• 이중 순수 및 혼합 양자 상태에 대한 한 방향 LOCC 구별 가능성에 대한 필요충분조건을 유도한다.
• 이 조건을 $C^{(3l_A+1)} \otimes C^{(3l_B+1)}$ 시스템에서 직교 산품 상태의 국소 구별 가능성 분석에 적용한다.
• 임의의 직교 쌍 $|a_k\rangle_A, |a_{k+1}\rangle_A$에 대해 $\langle b_k|b_{k+1}\rangle \neq 0$ 이면 적어도 하나의 상태는 측정 기저에 포함되어야 한다는 보조정리를 활용하여 상태 집합에서 모순을 도출한다.
• 모순 기반 증명을 통해 $C^3 \otimes C^2$에서 다섯 개와 여섯 개의 직교 산품 상태가 구별 불가능하다는 것을 증명한다.
• 측정 기저의 구조와 상태 간 오버랩과의 호환성을 분석하여 구별 가능성 여부를 판단한다.
• 이 조건을 적용하여 세 개 또는 네 개의 직교 상태는 한 방향 LOCC로 구별 가능하며, 더 큰 집합은 그렇지 않을 수 있음을 증명한다.

실험 결과

연구 질문

• RQ1 한 방향 LOCC를 통한 이분할 양자 상태의 국소 구별 가능성에 대한 필요충분조건은 무엇인가?
• RQ2 한 방향 LOCC로 구별 불가능한 직교 산품 상태의 최소 구조는 무엇인가?
• RQ3 한 상태 집합의 구별 가능성은 그 안에 하나의 구별 불가능한 부분집합이 존재하는지 확인함으로써 판단할 수 있는가?
• RQ4 앨리스가 먼저 측정할 경우 한 방향 LOCC로 국소적으로 구별 가능한 직교 산품 상태의 최대 수는 얼마인가?
• RQ5 측정 순서와 관계없이 항상 구별 불가능한 다섯 개 이상의 특정 직교 산품 상태 집합이 존재하는가?

주요 결과

• 한 방향 LOCC로 이분할 양자 상태의 국소 구별 가능성에 대한 필요충분조건이 수립되어, 구별 가능성의 효율적 검증이 가능해졌다.
• $C^3 \otimes C^3$에서 다섯 개의 직교 산품 상태 집합이, 측정 순서와 관계없이 항상 한 방향 LOCC로 구별 불가능하다는 것이 증명되었다.
• $C^3 \otimes C^2$에서 여섯 개의 직교 산품 상태가, 측정 순서와 관계없이 항상 한 방향 LOCC로 구별 불가능하다는 것이 입증되었다.
• 이 조건을 통해 큰 집합 내에 하나의 구별 불가능한 부분집합을 찾는 것으로 전체 집합의 구별 불가능성을 증명할 수 있다.
• 일반적인 $C^{d_A} \otimes C^{d_B}$ 시스템에서, 앨리스가 먼저 측정할 경우 한 방향 LOCC로 국소적으로 구별 가능한 직교 산품 상태의 최대 수는 범위로 제한된다.
• 세 개와 네 개의 직교 최대 얽힘 상태는 한 방향 LOCC로 구별 가능하며, 이는 이전 결과와 일치한다.