[논문 리뷰] Strong quantum nonlocality from hypercubes

Fei Shi, Mao-Sheng Li외 5명|arXiv (Cornell University)|2021. 10. 16.

Quantum Information and Cryptography참고 문헌 39인용 수 7

한 줄 요약

이 논문은 3-, 4-, 5-편재 양자 시스템에서 n차원 초입방체(n=3,4,5)의 외곽층을 이용하여 강하게 비국소적인 정규직교 곱상태(OPS)를 구성한다. 이러한 층들을 분해하고 모든 이분할에 대해 국소적으로 비가역임을 증명함으로써, 얽힘 없이 강한 양자 비국소성을 입증하며, 5개 이하의 당사자로 구성된 모든 가능한 다편재 시스템에서 이러한 OPS의 존재성에 대한 열린 문제를 해결한다.

ABSTRACT

A set of multipartite orthogonal product states is strongly nonlocal if it is locally irreducible in every bipartition. Most known constructions of strongly nonlocal orthogonal product set (OPS) are limited to tripartite systems, and they are lack of intuitive structures. In this work, based on the decomposition for the outermost layer of an $n$-dimensional hypercube for $n= 3,4,5$, we successfully construct strongly nonlocal OPSs in any possible three, four and five-partite systems, which answers an open question given by Halder et al. [Phys. Rev. Lett.122, 040403 (2019)] and Yuan et al. [Phys. Rev. A102, 042228 (2020)] for any possible three, four and five-partite systems. Our results build the connection between hypercubes and strongly nonlocal OPSs, and exhibit the phenomenon of strong quantum nonlocality without entanglement in multipartite systems.

연구 동기 및 목표

• 모든 가능한 3-, 4-, 5-편재 양자 시스템에서 강하게 비국소적인 정규직교 곱상태 집합(OPS)의 존재성에 대한 열린 문제를 해결하기 위해.
• 이전 연구에서 명확한 패tern이 부족했던 점을 고려해, 체계적이고 기하학적으로 직관적인 강하게 비국소적인 OPS의 구성 방법을 제공하기 위해.
• 초입방체 기하학과 양자 비국소성, 특히 다편재 시스템에서의 관계를 설정하기 위해.
• 구성된 OPS가 국소적으로 구별 불가능할 뿐 아니라 모든 이분할에서 국소적으로 비가역임을 입증하여 강한 비국소성을 확인하기 위해.
• 초입방체의 내곽층 곱상태를 추가하여 구성된 OPS를 완전한 정규직교 곱기저(COPB)로 확장하기 위해.

제안 방법

• n차원 초입방체의 외곽층(n=3,4,5)을 기하학적 프레임워크로 사용하여 OPS의 구조를 정의한다.
• 외곽층을 하위 영역(예: 면, 모서리, 꼭짓점)으로 분해하여 체계적으로 정규직교 곱상태를 할당한다.
• 각 이분할(예: A|BCD, B|ACDE)에서 격자 표현을 사용하여 국소 측정 제약 조건을 분석한다.
• 직교성 유지 국소 측정(POVM) 분석을 적용하여, 유일하게 가능성이 있는 측정이 정규화된 항등원에 비례하는 것임을 증명함으로써 국소 비가역성을 입증한다.
• 레마 2를 활용하여, 부분집합에서 유효한 모든 POVM가 항등원에 비례해야 함을 보여주어, 이는 정규화된 측정의 정의이자 국소 비가역성의 증명이 된다.
• 모든 이분할에 대해 정규화된 측정의 정의를 한 이분할에서 일반화함으로써 강한 비국소성을 확인한다.

실험 결과

연구 질문

• RQ1 모든 가능한 3-, 4-, 5-편재 양자 시스템에서 강하게 비국소적인 정규직교 곱상태 집합(OPS)을 구성할 수 있는가?
• RQ2 초입방체의 층과 같은 기하학적 구조가 체계적으로 강하게 비국소적인 OPS를 생성하고 직관적인 패턴을 제공할 수 있는가?
• RQ3 이러한 구성이 모든 이분할에서 국소적으로 비가역임을 입증할 수 있는가? 이를 통해 강한 양자 비국소성을 입증할 수 있는가?
• RQ4 구성된 OPS는 완전한 정규직교 곱기저(COPB)로 확장될 수 있는가?
• RQ5 이 방법은 n > 5인 n-편재 시스템으로 일반화될 수 있는가?

주요 결과

• 저자들은 $d_A imes d_B imes d_C$ 시스템에서 $d_A d_B d_C - (d_A-2)(d_B-2)(d_C-2)$ 크기의 강하게 비국소적인 OPS를 구성한다. 이때 $d_A, d_B, d_C \neq 3$이다.
• 4-편재 시스템의 경우, $d_A imes d_B imes d_C imes d_D$ 시스템에서 $d_A d_B d_C d_D - (d_A-2)(d_B-2)(d_C-2)(d_D-2)$ 크기의 OPS를 얻는다.
• 5-편재 시스템의 경우, $d_A imes d_B imes d_C imes d_D imes d_E$ 시스템에서 $d_A d_B d_C d_D d_E - (d_A-2)(d_B-2)(d_C-2)(d_D-2)(d_E-2)$ 크기의 OPS를 구성한다.
• 구성된 OPS는 모든 이분할에서 국소적으로 비가역임이 입증되어, 얽힘 없이 강한 양자 비국소성이 확인된다.
• 초입방체의 내곽층 곱상태를 추가함으로써 OPS는 완전한 정규직교 곱기저(COPB)로 확장될 수 있다.
• 이 방법은 저당사자 시스템에서 강하게 비국소적인 OPS를 구성하기 위한 기하학적, 직관적이고 일반화 가능한 프레임워크를 제공하며, Halder 등(2019)과 Yuan 등(2020)에서 제기된 열린 문제를 해결한다.