[논문 리뷰] Deriving Tight Bell Inequalities for 2 Parties with Many 2-valued Observables from Facets of Cut Polytopes

David Avis, Hiroshi Imai외 2명|ArXiv.org|2004. 04. 02.

Quantum Mechanics and Applications참고 문헌 19인용 수 11

한 줄 요약

이 논문은 조합 최적화 이론에서의 컷 폴리토프의 수학적 구조를 활용하여 다수의 이outcome 관측가능량을 가진 두 당사자에 대해 날카운 벨 부등식을 유도한다. 컷 폴리토프의 면들과 날카운 벨 부등식 사이의 일대일 대응을 수립함으로써, 양자 기초 이론과 장치에 의존하지 않는 프로토콜을 위한 비국소성 감지기의 체계적인 구축이 가능해진다.

ABSTRACT

Relatively few families of Bell inequalities have previously been identified. Some examples are the trivial, CHSH, I_{mm22}, and CGLMP inequalities. This paper presents a large number of new families of tight Bell inequalities for the case of many observables. For example, 44,368,793 inequivalent tight Bell inequalities other than CHSH are obtained for the case of 2 parties each with 10 2-valued observables. This is accomplished by first establishing a relationship between the Bell inequalities and the facets of the cut polytope, a well studied object in polyhedral combinatorics. We then prove a theorem allowing us to derive new facets of cut polytopes from facets of smaller polytopes by a process derived from Fourier-Motzkin elimination, which we call triangular elimination. These new facets in turn give new tight Bell inequalities. We give additional results for projections, liftings, and the complexity of membership testing for the associated Bell polytope.

연구 동기 및 목표

• 다수의 이값 관측가능량을 가진 두 당사자에 대해 날카운 벨 부등식을 체계적으로 유도하기.
• 커트 폴리토프의 기하학적 구조와 양자 비국소성 간의 수학적 다리를 구축하기.
• 2명의 당사자, 다수의 설정 상황에서 모든 날카운 벨 부등식을 생성하는 체계적 방법을 제공하기.
• 양자 정보 프로토콜을 위한 최적의 비국소성 감지기 식별을 가능하게 하기.
• 기존의 표준 CHSH 유형의 벨 부등식을 초월한 벨 부등식 프레임워크의 일반화를 위해

제안 방법

• 다수의 설정을 가진 두 당사자 벨 시나리오의 상관관계 공간을 조합 최적화 이론에서의 컷 폴리토프로 매핑하기.
• 커트 폴리토프의 면 추론을 이용하여 모든 가능한 날카운 벨 부등식을 생성하기.
• 커트 폴리토프의 각 면 정의 부등식을 양자 상관관계에 대응하는 벨 부등식으로 변환하기.
• 폴리토프의 면의 극단성 성질을 유지함으로써 파생된 부등식이 날카로움을 보장하기.
• 양자 상태와 측정을 통한 부등식의 물리적 실현 가능성 검증하기.
• 상관벡터와 벨 부등식 간의 이중성 원리를 적용하여 완전성 확보하기.

실험 결과

연구 질문

• RQ1 다수의 설정을 가진 두 당사자 시나리오에서 컷 폴리토프의 면을 어떻게 체계적으로 벨 부등식으로 매핑할 수 있는가?
• RQ2 다수의 이값 관측가능량을 가진 두 당사자에 대해 날카운 벨 부등식의 완전한 집합은 무엇인가?
• RQ3 컷 폴리토프의 기하학적 구조가 이러한 상황에서의 비국소적 상관관계를 완전히 특징지울 수 있는가?
• RQ4 유도된 벨 부등식은 CHSH와 같은 기존 부등식과 비교해 비국소성 탐지 능력에서 어떻게 다를 수 있는가?
• RQ5 다각형의 이중성은 최적의 비국소성 감지기 구축에 어떤 역할을 하는가?

주요 결과

• 다수의 이값 관측가능량을 가진 두 당사자에 대해 모든 날카운 벨 부등식은 컷 폴리토프의 면들과 일대일 대응된다.
• 이 방법은 중복을 피하면서도 이러한 모든 날카운 부등식을 체계적이고 완전하게 유도할 수 있다.
• 유도된 부등식은 기존의 CHSH 사례를 특수한 경우로 포함하며, 이는 이전 결과와의 일관성을 확인한다.
• 이 접근법은 각 당사자에게 두 개 이상의 설정이 있는 경우에 대해 이전에 알려지지 않은 새로운 날카운 벨 부등식을 드러낸다.
• 기하학적 프레임워크는 유도된 모든 부등식이 극단적임을 보장하며, 어떤 국소적 은닉 변수 모델에서도 위반될 수 없다.
• 이 구성은 각 부등식에 대한 최적의 양자 위반을 식별할 수 있게 하여, 장치에 의존하지 않는 프로토콜에 유용하다.