Exploring Bell Nonlocality with Extremal Non-Signaling Boxes

문제 정의
극대 비신호(Extremal Non-Signaling, ENS) 박스는 벨 시나리오에서 비신호(Non-Signaling, NS) 다면체의 정점들이다. 양자 이론이나 이상적인 측정 이론 모두 비로컬한 ENS 박스(즉, NS 내에 있지만 로컬 다면체 $L$에는 속하지 않는 정점)를 허용하지 않지만, 이 박스들은 양자 상관관계의 경계를 이해하는 데 매우 중요하다. 이들은 양자 집합의 상한 역할을 하며, 벨 비로컬리티를 해결하기 위한 문제들, 예를 들어 양자 상관관계를 시뮬레이션하는 데 필요한 자원을 규명하거나 국소 직교성(Local Orthogonality, LO)과 같은 운영 원칙을 테스트하는 문제들을 다루는 데 필수적이다.

이러한 중요성에도 불구하고, ENS 박스에 대한 포괄적인 이해는 제한적이다. $(d, d, 2, 2)$, $(2, 2, d, d)$, 그리고 $(2, 2, 2, 2, 2, 2)$와 같은 특정 시나리오에 대해서는 완전한 목록이 존재하지만, 임의의 이분법적 벨 시나리오에서 ENS 정점을 일반화하여 규명하는 작업은 여전히 부족하다. 나아가, 완벽한 양자 상관관계(예: 매직 스퀘어 게임)를 ENS 박스로 최소 분해하는 문제, 비로컬한 ENS 박스가 국소 직교성(LO) 원칙을 어느 정도까지 위반하는지, 그리고 이들을 시뮬레이션하는 데 필요한 고전적 통신 비용이 얼마인지에 대한 근본적인 질문들이 남아 있다.

방법론
저자들은 벨 비로컬리티를 탐구하기 위해 명시적 해석적 구성과 계산적 다면체 방법의 조합을 사용한다:

1. 후보 박스의 구성: 임의의 이분법적 벨 시나리오 $(X, Y, A, B)$에서 후보가 되는 비로컬 ENS 박스를 생성하기 위해, 저자들은 Jones와 Masanes [14] 및 Barrett 등 [15]의 구성을 기반으로 한 구조적 안사츠(ansatz)를 결합한다. 이 후보들은 특정 하위 블록이 순환(circulant) 또는 치환(permutation) 구조를 따르는 블록 행렬로 정의된다.
2. 정점 열거 및 인증: 소프트웨어 패키지인 PANDA를 사용하여 이러한 후보들이 비신호 다면체 내에서 극대성을 갖는지 검증한다. 워크플로우는 다음과 같다:
   • 구조적 블록 안사츠를 사용하여 후보 생성.
   • 후보의 극서성 테스트.
   • 인증된 정점과 대칭 생성자를 PANDA에 입력하여 정점 클래스 열거.
   • 열거 과정이 닫힌 부등식 세트로 종료되는지에 따라 결과 리스트가 완전한지 혹은 추측성인지를 판별.
3. 분해 분석: 저자들은 양의 성질(positivity), 정규화, 비신호 제약 조건을 만족하는 벡터를 구함으로써 매직 스퀘어 상관관계를 ENS 박스로 최소 분해하는 과정을 도출하며, 이때 제약 조건을 포화시켜 극점(extremal points)을 찾는 것을 목표로 한다.
4. 원칙 위반 테스트: 국소 직교성(LO)을 테스트하기 위해, 저자들은 여러 개의 박스 복사본(구체적으로 두 개의 복사본을 포함하는 $LO_2$)에 대한 공동 독점성 그래프(joint exclusivity graphs)를 구축한다. 그 후, 결합 확률의 합이 1을 초 exceed하는 그래프 내의 클리크(clique)를 탐색한다.
5. 통신 복잡도 분석: Frank–Wolfe 기법의 변형을 사용하여, 특정 ENS 박스를 시뮬레이션하는 데 필요한 최소 고전적 통신 비용(구체적으로 크기가 $d$인 일방향 메시지, 즉 "dit")을 결정한다. 저자들은 이들의 성능을 고전적 통신($LHV + \text{dit}$)이 보완된 국소 숨은 변수 모델의 다면체와 비교한다.

주요 기여 및 결과

• 매직 스퀘어 상관관계의 최소 분해: 저자들은 매직 스퀘어 상관관계(시나리오 $(3,3,4,4)$에서의 완벽한 양자 상관관계)를 정확히 두 개의 ENS 박스로 최소 분해하는 결과를 제공한다. 저자들은 이 두 박스 $\vec{p}_1$과 $\vec{p}_2$를 명시적으로 구성하여, 이들이 극대성을 가지며 매직 스퀘어 상관관계가 이들의 중점임을 증명한다. 또한, PR 박스와 유사한 구조를 가진 8개의 ENS 정점으로의 분해도 제공한다.
• 완전 및 부분 분류: PANDA와 후보 생성 방법을 사용하여, 저자들은 $(2,3,3,2)$, $(3,3,3,2)$, $(2,3,3,3)$, 그리고 $(5,4,2,2)$를 포함하여 이전에 탐구되지 않았던 여러 시나리오에 대해 완전하거나 부분적인 ENS 박스 분류를 수행하였다. $(3,3,3,3)$ 시나리오의 경우, 8,747개의 박스 클래스를 식별하였으며, 이것이 완전한 목록이라고 추정한다. 이 목록들을 담은 데이터베이스가 제공된다.
• 국소 직교성($LO_2$) 위반: 본 연구는 테스트된 모든 비로컬 ENS 박스에 대해, 두 개의 박스 복사본이 $LO_2$ 부등식을 위반한다는 것을 발견하였다. 이는 이분법적 벨 시나리오에서 모든 비로컬 ENS 박스의 두 복사본이 국소 직교성을 위반하기에 충분하다는 가설을 뒷받침하며, 단일 복사본이나 고차 복사본이 다르게 행동하는 일부 삼중항(tripartite) 또는 코셴-스펙커(Kochen–Specker) 시나리오와 이들을 구별 짓는다.
• 통신 복잡도 경계: 저자들은 단 하나의 dit(크기 $d \leq 5$)의 고전적 통신만으로는 특정 ENS 박스를 시뮬레이션하기에 불충분한 최소 시나리오들을 식별하였다. 저자들은 Ref. [14]의 $(3,3,3,3)$ 박스와 같이 1비트로 시뮬레이션 가능한 박스가 있는 반면, $(3,3,3,3)$ 시나리오의 많은 다른 박스들은 1트릿(trit)을 필요로 한다는 것을 입증하였다. 또한, 시뮬레이션을 위해 최대 퀸트(quint, $d=5$)까지 요구하는 박스의 구체적인 사례를 제시함으로써, 이러한 비로컬 행동을 시뮬레이션하는 데 필요한 PR 박스의 수에 대한 상한을 설정하였다.

의의 및 주장
본 논문은 "ENS-박스 접근법"이 벨 비로컬리티에 관한 질적 질문을 구체적이고 해결 가능한 자원 이론적 문제로 변환한다고 주장한다. 저자들은 PR 박스라는 패러다임을 넘어 다음과 같은 점을 입증한다:

1. 일반적인 ENS 정점에 대한 접근은 자원 이론을 통해 벨 비로컬리티를 체계적으로 조사할 수 있게 한다.
2. 이 박스들은 독점성/LO 원칙을 통해 새로운 제약을 생성하며, 최소 고전적 통신 시뮬레이션 비용을 드러낸다.
3. 이들은 전형적인 완벽한 양자 상관관계의 최소 분해를 제공한다.

저자들은 자신의 연구가 단순한 열거 작업이 아니라, 새로운 벨 부등식의 생성, 포스트 양자 상관관계의 분석, 그리고 비신호 적대자가 존재하는 양자 통신 및 보안 증명 분야의 응용을 포함한 연구의 새로운 길을 여는 방법론적 진보라고 위치시킨다. 저자들은 자신들의 결과가 ENS-박스 접근법이 새로운 결과를 도출하고 연구의 새로운 경로를 연다는 점을 명시적으로 밝히고 있다.