Critical properties of EPR steering

기술 요약: EPR 스티어링(Steering)의 임계 특성

문제 정의
본 논문은 단일 복사 투영 측정(PVM) 하에서 스티어링이 불가능한(unsteerable) 얽힌 두 큐비트 상태가, 여러 복사를 결합하여 측정할 때 언제 스티어링 가능해지는지에 대한 조건을 조사한다. 구체적으로, 본 연구는 PVM-임계(PVM-critical) 얽힘 상태의 경계에서 발생하는 "활성화(activation)" 현상을 다룬다. 본 연구가 규명하고자 하는 바는 다음과 같다:

1. 모든 PVM-임계 얽힘 상태 클래스에 대해 균일한 복사 수(uniform copy number)가 존재하는가?
2. 활성화에 필요한 결합 측정(joint measurements)에서 얽힘의 역할은 무엇인가?
3. 측정 설정(measurement settings)의 수, 국소 숨겨진 상태(LHS) 모델의 숨겨진 상태 수, 그리고 임계 경계 근처에서 스티어링을 탐지하는 능력 사이의 관계는 무엇인가?
4. 벨 비국소성(Bell nonlocality)이 없는 상태에서도 스티어링 활성화가 일어날 수 있는가, 그리고 단 두 개의 복사만으로 스티어링 위반의 강도가 무한히 커질 수 있는가?

방법론
저자들은 스티어링의 기하학적 특징, 볼록 쌍대성(convex duality), 그리고 텐서 곱 분석을 결합하여 연구를 수행하였다:

• 표준형(Canonical Form) 및 LHS 모델: 분석에는 가역적 필터링(invertible filtering)을 통해 유도된 두 큐비트 상태의 표준형을 활용한다. LHS 모델의 존재 여부는 두 볼록 집합 사이의 포함 관계로 특징지어진다: 숨겨진 상태 앙상블에 의해 재현 가능한 조건부 상태들의 집합($K_\mu$)과 양자 상태에 의해 요구되는 상태들의 집합($N$). 상태가 PVM-스티어링 불가능(unsteerable)할 필요충분조건은 특정 모멘트 제약 조건을 만족하는 양의 측도(positive measure)의 최소 총 가중치($c_P$)가 1보다 작거나 같은 것이다.
• 임계성 정의: 상태가 PVM-임계하다는 것은 $c_P = 1$인 경우로 정의된다. 이 임계점에서 LHS 모델은 실험의 변화를 수용할 수 있는 "자유도"를 갖지 못한다.
• 두 복사 활성화 정리: 저자들은 임의의 두 P픽스 PVM-임계 상태 $\rho_1$과 $\rho_2$에 대하여, 텐서 곱 $\rho_1 \otimes \rho_2$는 스티어링 가능하다는 것을 증명한다. 이 증명은 조건부 상태가 얽힘 회전(entangling rotations)에 대해 보이는 1차 반응에 관한 모순을 보여주는 방식에 기초한다.
• 얽힘 임계값: 결합 측정 기저 벡터의 컨커런스(concurrence)를 분석하여, LHS 모델을 깨뜨리는 데 필요한 측정 얽힘의 최소 임계치를 결정한다.
• 유한 자원 제약: 특정 상태들을 구성하고 대칭 확장(symmetric extensions)을 사용하여, 유한한 측정 설정 및 유한한 복사 수에 의해 부과되는 한계를 입증한다.
• 등방성 상태(Isotropic States) 및 증폭: 고차원 등방성 상태를 사용하여 양자 점수(quantum scores)와 LHS 경계 사이의 비율을 계산함으로써, 스티어링 위반의 증폭을 테스트한다.

주요 기여 및 결과

1. 균일한 두 복사 활성화:
   핵심 정리는 모든 PVM-임계 얽힌 두 큐비트 상태가 정확히 두 개의 복사로 스티어링 가능해진다는 것을 증명한다. 이는 동일한 복사($\rho \otimes \rho$)와 서로 다른 임계 입력($\rho_1 \otimes \rho_2$) 모두에 적용된다. 이는 일반적인 얽힌 상태에서 요구되는 복사 수가 가변적이거나 임의로 클 수 있는 것과 대조되는, 전체 임계 경계에 대한 균일한 활성화 수(activation number)가 2임을 확립한다.

2. 측정 얽힘의 제로 임계값:
   본 논문은 임계 경계에서 스티어링을 드러내기 위해 필요한 측정 얽힘의 임계치가 0임을 보여준다. 임의로 약하게 얽힌 결합 측정(임의의 작은 컨커런스를 가진)만으로도 스티어링을 활성화하기에 충분하다. 결정적으로, 이 활성화는 밥(Bob)의 두 시스템 사이에 얽힘을 생성할 필요가 없다. 즉, 밥 측의 모든 조건부 상태는 분리 가능(separable)한 상태로 남을 수 있다.

3. 무한한 숨겨진 상태 및 설정 발산:

• 숨겨된 상태: PVM-임계 상태는 무한히 많은 숨겨진 상태를 가진 LHS 모델을 요구한다. 유한한 앙상블은 모든 PVM 방향에 대해 스티어링 제약을 동시에 만족시키지 못한다.
• 측정 설정: 고정된 측정 설정 수 $m$에 대하여, 임계 입력의 근방 중에는 최대 $m$개의 설정을 가진 모든 PVM 패밀리 하에서 스티어링 불가능한 영역이 존재한다. 결과적으로, 임계 경계에 접근할수록 스티어링을 탐지하는 데 필요한 설정의 수는 발산한다.
• 복사 수 vs 설정: 복사 수를 늘리는 것이 제한된 측정 선택지를 보편적으로 보완해주지는 않는다. 저자들은 설정이 제한되어 있다면, 임의의 텐서 거듭제곱에 대해서도 스티어링 불가능한 상태를 유지하는 임계 상태를 구성하였다.

4. 활성화된 벨-국소(Bell-local) 상태:
   저자들은 다음의 특성을 가진 고정 차원 시스템(특히 $2 \times 3$ 시스템)을 구성하였다:

   • 단일 복사에서는 스티어링 불가능함.
   • 두 복사에서는 스티어링 가능함.
   • 임의로 지정된 유한한 복사 범위($n_0$) 내의 모든 결합 POVM에 대해 **벨-국소적(Bell local)**임.
     이는 순방향 스티어링(forward steering)은 보존하면서 역방향 스티어링(reverse steering)과 벨 비국소성을 억제하는 "삭제(erasure)" 메커니즘을 통해 달성된다.

5. 무한한 스티어링 위반:
   Hsieh, Liang, Lee의 질문에 대해, 본 논문은 긍정적인 해답을 제공한다: 두 개의 복사는 무한한 스티어링 위반을 생성하기에 충분하다. 고차원 등방성 상태를 사용하여, 양자 점수와 LHS 경계의 비율은 $\frac{1}{2} \log d$로 스케일링되며, 이는 차원 $d \to \infty$일 때 발산한다.

의의
본 논문은 얽힌 혼합 상태 중 스티어링 불가능성에서 스티어링 가능성으로의 전이가 매우 날카롭고 균일하게 일어나는 독특한 클래스, 즉 '임계 경계'를 식별하였다. 결과는 양자 상관관계를 드러내는 세 가지 자원의 구별된 역할을 명확히 한다:

• 측정 얽힘: 임계 상태에서 측정 얽힘의 임계치는 사라지지만, LHS 모델을 깨뜨리기 위해서는 측정이 여전히 곱 상태(product)가 아니어야 한다.
• 측정 수: 유한한 측정 설정은 임계 경계에 임의로 가까운 상태에서 스티어링을 해결하기에 불충분하며, 설정 요구량은 무한히 증가한다.
• 집단적 접근(Collective Access): 두 복사가 임계 경계에서의 활성화에는 충분하지만, 설정 수의 제한을 자동으로 극복해주지는 않는다.

본 연구는 "임계적" 성격이 측정 얽힘 임계치의 소멸과 무한한 숨겨진 상태의 필요성에 의해 정의됨을 밝힌다. 또한 스티어링 활성화가 벨 비국소성과 독립적으로 발생할 수 있으며, 고차원에서 단 두 개의 복사만으로 스티어링 위반의 강도를 임의로 증폭할 수 있음을 입증한다. 이러한 발견은 얽힘, 스티어링, 비국소성이라는 양자 자원의 계층 구조와 이를 탐지하기 위한 운용적 요구사항을 정교화한다.