Quantum steering is equivalent to state-preserving conditional expectations

기술 요약: 양자 스티어링(Quantum Steering)은 상태 보존 조건부 기댓값과 동등하다

문제 정의
$\mathcal{A}$와 $\mathcal{B}$가 결합 힐베르트 공간 $\mathcal{H}$ 상에서 가환 폰 노이만 대수(commuting von Neumann algebras)로 모델링되는 무한 자유도를 가진 양자 시스템의 경우, 유한 차원 양자 정보 이론의 근본적인 결과들이 실패하는 경우가 있다. 주요 예로 순수화(purification)의 유일성 문제가 있다. 즉, $\mathcal{A}$와 $\mathcal{B}$가 토모그래피적으로 완전할 때(즉, 이들이 생성하는 대수 $\mathcal{A} \vee \mathcal{B} = \mathcal{B}(\mathcal{H})$인 경우), $\mathcal{A}$ 상의 상태에 대한 순수화들이 $\mathcal{B}$ 내의 유니타리들에 의해 서로 연관되지 않을 수 있다. 이러한 실패는 하그 쌍대성(Haag duality)이 깨질 때, 즉 공액 대수(commutant) $\mathcal{B}'$가 $\mathcal{A}$보다 엄격히 클 때($\mathcal{B}' \supsetneq \mathcal{A}$) 정확히 발생한다.

본 연구의 핵심 질문은 하그 쌍대성이 실패하는 이러한 환경에서 어떤 운영적 얽힘 특성(operational entanglement properties)이 살아남는가이다. 구체적으로, 저자들은 한 서브시스템이 다른 서브시스템을 "스티어링(steering)"할 수 있는 조건을 조사한다. 스티어링이란 $\mathcal{B}$에 대한 국소 측정을 통해 $\mathcal{A}$ 상의 주변 상태(marginal state)에 대한 모든 앙상블 분해를 생성할 수 있는 능력을 의미한다. 스키링은 환경이 자명한 유한 차원에서는 자명하지만, 비자명한 공액 대수($\mathcal{B}' \supsetneq \mathcal{A}$)를 가진 무한 차원 시스템에서의 거동은 여전히 규명되어야 할 과제로 남아 있다.

방법론
본 논문은 양자 정보 이론과 서브팩터 이론(subfactor theory), 그리고 조르단 대수(Jordan algebras) 이론 사이를 잇는 엄밀한 연산자 대수적 접근 방식을 채택한다.

1. 조르단 대수로의 일반화: 단순히 양의 사상(positive maps)인 경우를 다루기 위해, 저자들은 JBW*-대수(폰 노이만 대수의 조르단 대응물) 범주 내에서 작업한다. 이들은 정규 유니탈 양의 사상에 대한 일반화된 카디슨-슈바르츠 부등식(Kadison-Schwarz inequality, 즉 조르단-슈바르츠 부등식)을 확립한다.
2. 앙상블 리프팅(Ensemble Lifting): 핵심 기술 도구는 "앙상블 리프팅 성질"이다. 저자들은 상태 보존 정규 유니탈 양의 사상 $\alpha: (N, \phi) \to (M, \omega)$에 대하여, $N$ 상의 모든 앙상블을 $M$ 상의 앙상블으로 리프팅할 수 있는 능력이 $\alpha$의 상태 보존 좌역(state-preserving left inverse, 즉 조건부 기댓값)의 존재와 동등함을 증명한다.
3. 페츠츠 쌍대성(Petz Duality): 증명에는 페츠츠 쌍대 사상(Petz dual maps)과 자기 극성 형식(self-polar forms)이 사용된다. 양의 사상의 곱셈 도메인(multiplicative domains)을 분석함으로써, 저자들은 리프팅 성질이 특정 부분 대수 위에서 사상이 $J^*$-동형 사상(isomorphism)으로 제한되고 해당 부분 대수가 조건부 기댓값을 허용하는 경우에만 성립함을 보여준다.
4. 라돈-니코딤 정리(Radon-Nikodym Theorem): 스티어링과 앙상블 확장의 연결은 폰 노이만 대수 상의 상태에 대한 공액 라돈-니코딤 정리를 사용하여 공식화된다.

주요 기여 및 결과

• 스티어링과 조건부 기댓값의 동등성 (정리 B): 주요 결과는 순수 전역 상태 $\Omega$에 대하여, $\mathcal{B}$가 $\mathcal{A}$ 상의 모든 앙상블 분해를 스티어링할 수 있는 능력이 상태를 보존하는 정규 조건부 기댓값 $E: \mathcal{B}' \to \mathcal{A}$의 존재($\omega_{\mathcal{B}'} = \omega_{\mathcal{A}} \circ E$)와 동등함을 확립한다. 이는 상태 보존 조건부 기댓값에 대한 직접적인 운영적 해석을 제공하며, 양자 스티어링을 서브팩터 이론과 직접 연결한다.
• 양방향 스티어링의 특징 규명:
  • 단일 상태: 만약 $\mathcal{A}$와 $\mathcal{B}$가 동일한 정규 상태 $\omega$에 대해 서로를 스티어링할 수 있다면, 이는 하그 쌍대성($\mathcal{A} = \mathcal{B}'$)이 성립하고 $\omega$가 순수 상태인 것과 동등하다.
  • 서로 다른 상태: 만 if $\mathcal{A}$와 $\mathcal{B}$가 서로 다를 수 있는 상태들에 대해 서로를 스티어링할 수 있다면, 이는 서브팩터 포함 관계 $\mathcal{A} \subset \mathcal{B}'$가 유한한 존스-코사키-롱고 지수($[\mathcal{B}' : \mathcal{A}] < \infty$)를 갖는 것과 동등하다.
• 혼합 상태로의 축소: 기약 서브팩터 포함(irreducible subfactor inclusions, $\mathcal{A} \vee \mathcal{B} = \mathcal{B}(\mathcal{H})$)의 경우, 혼합 상태에 대한 스티어링은 순수 상태에 대한 스티어링으로 축소된다. 구체적으로, 혼합 상태 $\omega$에 대해 스티어링이 가능한 것은 $\omega$의 서포트(support)에 대한 텐서 곱 분해가 존재하여, 상태가 한 인자 상의 순수 상태와 다른 인자 상의 임의의 상태로 분리되고, 순수 성분에 대해 조건부 기댓값이 존재하는 것과 동등하다.
• 일반 리프팅 정리 (정리 D): 본 논문은 JBW*-대수에 대한 일반적인 정리를 증명하며, 사상이 상태 보존적일 때 앙상블 리프팅은 유니탈 완전 양의 좌역(unital completely positive left inverse, 즉 조건부 기댓값)의 존재와 동등함을 밝힌다. 이는 기존에 완전 양의 사상이나 폰 노이만 대수로 제한되었던 결과들을 일반화한다.

의의
본 논문은 "양자 스티어링과 서브팩터 이론 사이의 직접적인 연결"을 확립한다고 주장한다. 양자 스티어링이라는 운영적 능력이 수학적으로 상태 보존 조건부 기댓값의 존재와 동등함을 보여줌으로써, 본 연구는 무한 차원 시스템에서 얽힘 특성의 구조적 요구 사항을 명확히 한다.

저자들은 이 프레임워크가 특정 물리 모델에서 어떤 상태들이 조건부 기댓값에 의해 보존되는지에 대한 모호성을 해결한다고 강조한다. 예를 들어, 위상적 질서가 있는 시스템(예: 표면 코드)에서 조건부 기댓값은 바닥 상태를 보존한다. 반면, 유리 컨포멀 장론(rational conformal field theories)의 경우, 레이-슈라이더 성질(Reeh-Schlieder property)로 인해 진공 상태가 그러한 기댓값에 의해 보존될 수 없으며, 이는 해당 설정에서 진공에 대한 스티어링이 불가능함을 의미한다.

또한 본 연구는 토모그래피적 완전성의 한계를 다룬다. 저자들은 서브시스템들이 토모그래피적으로 완전할 때(환경이 없을 때)조차 스티어링이 보장되지 않으며, 일방향 스티어링이 반드시 양방향 스티어링을 의미하지는 않는다는 것을 보여준다. 이는 하그 쌍대성이 깨지는 상황(위상적 상이나 컨포멀 장론에서 흔히 발생하는 상황)에서의 얽힘에 대한 이해를 정교화한다.