[논문 리뷰] Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models

Howard Barnum, Ross Duncan외 1명|arXiv (Cornell University)|2010. 04. 16.

Quantum Mechanics and Applications참고 문헌 31인용 수 5

한 줄 요약

이 논문은 볼록 운영 모델(COMs)의 대칭 모나드 카테고리에서 컴팩트 닫힘이 전송 프로토콜과 원격 평가의 존재와 동치임을 입증한다. 여기서 모든 과정은 고전적 확률적 조건화를 통해 실현 가능하다. 또한, 각 시스템이 상태 공간과 효과 공간 사이의 동형사상 유도하는 대칭적이고 약한 자기쌍대 이원 상태를 갖는 경우에만 딜터 컴팩트성(dagger compactness)이 발생함을 보여준다.

ABSTRACT

In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) are inter-convertible with processes of registration (roughly, measurement outcomes). This is in contrast to the more concrete "operational" approach, in which the states and measurement outcomes associated with a physical system are represented in terms of what we here call a "convex operational model": a certain dual pair of ordered linear spaces -- generally, {\em not} isomorphic to one another. On the other hand, state spaces for which there is such an isomorphism, which we term {\em weakly self-dual}, play an important role in reconstructions of various quantum-information theoretic protocols, including teleportation and ensemble steering. In this paper, we characterize compact closure of symmetric monoidal categories of convex operational models in two ways: as a statement about the existence of teleportation protocols, and as the principle that every process allowed by that theory can be realized as an instance of a remote evaluation protocol --- hence, as a form of classical probabilistic conditioning. In a large class of cases, which includes both the classical and quantum cases, the relevant compact closed categories are degenerate, in the weak sense that every object is its own dual. We characterize the dagger-compactness of such a category (with respect to the natural adjoint) in terms of the existence, for each system, of a {\em symmetric} bipartite state, the associated conditioning map of which is an isomorphism.

연구 동기 및 목표

• 양자 기초의 범주론적 프레임워크와 볼록 운영 모델(COMs)에 기반한 운영 접근법 사이의 격차를 메우기 위해.
• COMs 카테고리에서 컴팩트 닫힘과 딜터 컴팩트성의 운영적 및 물리적 의미를 규명하기 위해.
• COMs의 대칭 모나드 카테고리로 모델링된 확률론적 이론에서 컴팩트 닫힘의 필요 및 충분 조건을 규명하기 위해.
• 약한 자기쌍대성과 대칭 이원 상태가 딜터 컴팩트성 달성에 미치는 역할를 명확히 하기 위해.
• 기초적인 양자 특성인 전송과 얽힘 스위칭이 일반 확률론적 이론에서 어떻게 운영 원칙으로부터 유도되는지 탐구하기 위해.

제안 방법

• 자신의 복제본을 자원으로 사용하여 확실한 전송 프로토콜의 존재를 통해 컴팩트 닫힘을 특성화한다.
• 모든 과정이 시스템의 복제본을 포함하는 원격 평가 프로토콜로 실현 가능한 것과 컴팩트 닫힘이 동치임을 입증한다.
• 각 시스템 A가 A⊗A 위의 이원 상태 γ_A를 갖고, 상태 공간과 효과 공간 사이의 동형사상을 유도하는 약한 자기쌍대(WSD) 이론의 개념을 도입한다.
• COMs의 카테고리에 대한 표준 수반 ′을 정의하고, 딜터 컴팩트성이 성립하는 것은 수반 ′이 치환적이고 이론이 대칭 자기쌍대일 때에만 성립함을 보인다.
• 상태 및 효과 콘의 이중성과 양의 선형 사상의 구조를 이용하여 표준 수반의 딜터 성질을 만족하는 조건을 유도한다.
• 특히 코처의 양의 영역 및 동차 콘 이론을 포함한 볼록 기하학과 조르단 대수 이론의 결과를 적용하여 기약 상태 공간의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 볼록 운영 모델의 대칭 모나드 카테고리가 언제 컴팩트 닫힘이 되는가?
• RQ2 일반 확률론적 이론에서 전송 개념은 어떻게 운영적으로 특성화될 수 있는가?
• RQ3 COMs 카테고리에서 딜터 컴팩트성의 운영적 의미는 무엇인가?
• RQ4 약한 자기쌍대성은 언제 호환 가능한 딜터 구조의 존재를 암시하는가?
• RQ5 COMs 카테고리의 표준 수반이 딜터 공리계를 만족하는 데 필요한 조건은 무엇인가?

주요 결과

• 볼록 운영 모델의 대칭 모나드 카테고리가 컴팩트 닫힘일 조건은 모든 과정이 시스템의 복제본을 자원으로 사용하는 원격 평가 프로토콜로 실현 가능한 경우에 한하여 성립한다.
• 컴팩트 닫힘은 모든 이론의 시스템에 대해 확실한 전송 프로토콜이 존재하는 것과 운영적으로 동치이다.
• 약한 자기쌍대 이론의 경우, 표준 수반에 대해 딜터 컴팩트성이 성립하는 것은 이론이 대칭 자기쌍대일 때에만 성립하며, 이는 상태 공간과 효과 공간 사이의 동형사상이 대칭 이원 상태에 의해 실현됨을 의미한다.
• 이러한 이론에서는 모든 내적 사상 φ에 대해 φ′′ = φ를 만족하므로, 딜터 구조가 잘 정의됨을 보장한다.
• 이론이 포화되어 있고 모든 기약 상태 공간이 동차일 경우, 상태 공간은 형식적으로 실수 조르단 대수이므로 양자 이론과 깊은 연관이 있음을 시사한다.
• 결과적으로, 전송과 얽힘 스위칭에 핵심적인 역할을 하는 양자역학의 자기쌍대적 구조는 광범위한 확률론적 이론의 범주에서 운영 원칙으로부터 도출될 수 있음을 보여준다.