All Bell inequalities with a quantum advantage in the minimal scenario are self-testing

문제 정의
최소 벨 시나리오(두 당사자, 각각 두 개의 이진 측정)에서 양자 집합 $\mathcal{Q}$와 그 쌍대 집합인 체이렐슨슨 부등식 집합 $\mathcal{Q}^*$의 기하학적 구조는 아직 완전히 이해되지 않았다. $\mathcal{Q}$의 극점(extremal points)은 완전히 규명되었으며 그 기반이 되는 양자 실현을 셀프-테스트(self-test)할 수 있음이 입증되었으나, 쌍대적인 관점은 덜 명확하다. 구체적으로, 양자 이득(quantum advantage, 즉 양자 상한이 로컬 상한을 초과하는 경우)을 보이는 체이렐슨슨 부등식이 여러 개의 서로 다른 비로컬 극적 상관관계(nonlocal extremal correlations)에 의해 최대화될 수 있는지 여부는 알려져 있지 않다. 만약 어떤 부등식이 유일한 상관관계에 의해 최대화된다면, 이는 해당 실현에 대한 셀프-테스트 역할을 하지만, 여러 상관관계에 의해 최대화된다면 그렇지 않다. 또한, 주변 항(marginal terms)이 포함될 때 양자 집합이 자기 쌍대(self-dual, 즉 $\mathcal{Q}$가 $\mathcal{Q}^*$와 선형 동형인지)인지에 대한 의문도 미해결 상태로 남아 있다.

방법론
저자들은 볼록 기하학, 벨 연산자의 스펙트럼 분석, 그리고 수치 최적화 기법을 결합하여 연구를 수행한다.

1. 기하학적 프레임워크: 본 연구는 양자 집합 $\mathcal{Q}$와 체이렐슨슨 부등식 집합 $\mathcal{Q}^*$ 사이의 쌍대성을 활용한다. 저자들은 "직교 면(orthogonal faces)"(특정 상관관계에 의해 최대화되는 부등식의 집합)과 "평평한 경계(flat boundaries)"(특정 부등식을 최대화하는 상관관계의 집합)를 분석한다.
2. 스펙트럼 분석: 최대화자의 유일성을 증명하기 위해, 저자들은 체이렐슨슨 부등식과 관련된 벨 연산자의 고유 공간(eigenspaces)을 분석한다. 저자들은 최소 시나리오에서 극적 상관관계가 순수 2-큐비트 상태와 투영 측정에 의해 실현된다는 사실을 활용한다.
3. 매개변수 분석: 저자들은 부분 얽힘 상태 $|\phi_\theta\rangle = \cos(\theta)|00\rangle + \sin(\theta)|11\rangle$로부터 유도된 극적 상관관계의 특정 가족 $\vec{P}_\theta$를 조사한다. 저자들은 국소 유니터리 변형, SOS(sum-of-squares) 인증서, 그리고 로컬 경계(local bounds)를 사용하여 2차원 평면에서 이들의 직교 면을 근사하고 특징짓는다.
4. 차원 계산: 자기 쌍대성을 다루기 위해, 저자들은 $\mathcal{Q}$의 극적 점들의 직교 면의 차원과 $\mathcal{Q}^*$의 면의 차원을 비교하여 극적 점들의 매핑에서 모순을 찾는다.

주요 기여 및 결과

• 양자 이득 부등식에 대한 최대화자의 유일성:
  본 논문은 최소 시나리오에서 양자 이득을 가진 모든 체이렐슨슨 부등식은 $\mathcal{Q}$ 내의 정확히 하나의 비로컬 극적 상관관계에 의해 최대화됨을 증명하는 **보조정리 1(Lemma 1)**을 확립한다. 이 유일한 최대화자는 또한 "노출된(exposed)" 점이다. 이 증명은 두 가지 사실에 기초한다: (1) 양자 이득 조건($c_{00}c_{01}c_{10}c_{11} < 0$)은 큐비트 측정을 로컬 유니터리까지 결정하며, (2) 이러한 벨 연산자의 가장 큰 고윳값에 대한 고유 공간은 곱 상태(product state)를 포함하지 않는 한 2차원이 될 수 없다(만약 포함한다면 양자 상한이 로컬 상한과 같아질 것이기 때문이다). 결과적으로, 최대화자는 유일하며 노출되어 있다.

• 셀프-테스팅의 특징 규명:
  유일성 결과에 기반하여, **정리 3(Theorem 3)**은 최소 시나리오에서 양자 이득을 가진 모든 체이렐슨슨 부등식이 셀프-테스트임을 명시한다. 그러한 부등식의 최댓값을 관찰하는 것은 (로컬 등거리 사상까지 고려했을 때) 기저에 있는 양자 실현을 유일하게 식별한다. 이는 이 시나리오에서 선형 벨 부등식에 기반한 셀프-테스트에 대한 완전한 특징 규명을 제공한다.

• 평평한 경계의 기하학적 구조:
  저자들은 모든 양자 집합의 평평한 경계(두 개 이상의 점을 포함하는 경계)가 반드시 로컬 폴리토프 $\mathcal{L}$과 교차해야 함을 보여주는 **따름정리 2(Corollary 2)**를 도출한다. 이는 $\mathcal{Q}$의 어떤 평평한 경계도 오직 비로컬 점들로만 구성될 수 없음을 의미한다.

• 직교 면의 차원:
  **보조정리 4(Lemma 4)**는 임의의 비로컬 극적 상관관계의 직교 면의 차원이 최대 2임을 입증한다. 이는 주어진 비로컬 극적 점을 최대화하는 체이렐슨슨 부등식의 집합이 최대 두 개의 매개변수로 파라미터화될 수 있음을 의미한다.

• 부분 얽힘 상태에 대한 직교 면의 구조:
  상관관계 가족 $\vec{P}_\theta$ ($\theta \in (\pi/8, \pi/4]$)에 대해, 저자들은 직교 면이 2차원 폴리토프임을 보여준다.

  • $\theta \in (\pi/8, \pi/4]$ 범위에서, $\theta \leq \bar{\theta} \approx 0.645$이면 면은 육각형(hexagon)이 되고, $\theta > \bar{\theta}$이면 팔각형(octagon)이 된다.
  • 이 폴리토프의 정점들은 대상 상관관계 $\vec{P}_\theta$와 2개 또는 3개의 로컬 결정론적 점들에 의해 최대화되는 체이렐슨슨 부등식들에 대응한다.
  • 임계 임계값 $\bar{\theta}$에서 정점들이 병합되며, 이는 $\vec{P}_{\bar{\theta}}$와 3개의 결정론적 점들에 의해 최대화되는 부등식을 생성하여, 이 특정 부등식들에 대해 최소 3의 직교 차원을 갖게 한다.

• 양자 집합의 비-자기 쌍대성:
  직교 면의 차원 분석을 사용하여, 저자들은 **정리 5(Theorem 5)**를 통해 주변 항이 포함될 때 양자 집합 $\mathcal{Q}$가 자기 쌍대가 아님을 증명한다. 즉, $T(\mathcal{Q}) = \mathcal{Q}^*$를 만족하는 선형 사상 $T$는 존재하지 않는다. 이 증명은 직교 차원을 보존해야 하는 자기 쌍대 사상의 필요성과, 비로컬 점들에 의해 최대화되는 직교 차원이 3 이상인 부등식의 존재성 사이의 모순에 기초한다. 이는 $\mathcal{Q}$의 비로컬 극적 점들이 최대 2의 직교 면을 갖는다는 사실과 대조된다. 이는 주변 항이 사라지는 부분 공간에서의 양자 집합의 자기 쌍대성과는 대조적이다.

의의 및 주장
본 논문은 최소 시나리오에서 선형 벨 부등식을 통한 셀프-테스팅의 완전한 특징 규명을 주장하며, 양자 이득이 유일한 최대화자, 즉 셀프-테스트를 위한 충분 조건임을 확립한다. 저자들은 주변 항을 포함한 전체 최소 시나리오에 대해 양자 집합의 자기 쌍대성 문제를 부정적으로 해결함으로써, 양자 상관관계의 집합과 체이렐슨슨 부등식의 집합 사이에 근본적인 기하학적 차이가 있음을 입증한다. 저자들은 자신들의 유일성 논증이 2-큐비트 특성에 의존하며, 따라서 다차원이나 일반적인 벨 시나리오(여러 최대화자가 존재할 수 있는 곳)로 즉각 확장되지는 않는다는 점을 언급하면서도, 본 연구가 최소 사례에 대한 이해를 공고히 한다고 밝힌다. 또한, 이 연구는 부분 얽힘 상태의 셀프-테스팅을 위한 특정 노이즈 강건성 특성을 가진 부등식 가족을 식별함으로써 실용적인 유용성을 제공한다.