[논문 리뷰] De-linearizing Linearity: Projective Quantum Axiomatics from Strong Compact Closure

Bob Coecke|ArXiv.org|2005. 06. 16.

Noncommutative and Quantum Gravity Theories참고 문헌 18인용 수 6

한 줄 요약

이 논문은 힐버트 공간의 선형성을 곱셈적(강력한 컴팩트 폐쇄) 및 덧셈적(이중곱) 구조로 분해함으로써 확률적 가중치와 상대 위상 간의 분리를 시도하는 범주적 양자 형식을 제안한다. 강력한 컴팩트 폐쇄로부터 힐버트-슈미트 내적과 트레이스가 범주적으로 유도됨을 보이며, 대각선 및 선형성 공리가 프로젝티브이고 위상 없는 양자 형식에서 전체 확률적 구조를 유지하기 위해 필수적이고도 충분한 조건임을 규명한다.

ABSTRACT

Elaborating on our joint work with Abramsky in quant-ph/0402130 we further unravel the linear structure of Hilbert spaces into several constituents. Some prove to be very crucial for particular features of quantum theory while others obstruct the passage to a formalism which is not saturated with physically insignificant global phases. First we show that the bulk of the required linear structure is purely multiplicative, and arises from the strongly compact closed tensor which, besides providing a variety of notions such as scalars, trace, unitarity, self-adjointness and bipartite projectors, also provides Hilbert-Schmidt norm, Hilbert-Schmidt inner-product, and in particular, the preparation-state agreement axiom which enables the passage from a formalism of the vector space kind to a rather projective one, as it was intended in the (in)famous Birkhoff & von Neumann paper. Next we consider additive types which distribute over the tensor, from which measurements can be build, and the correctness proofs of the protocols discussed in quant-ph/0402130 carry over to the resulting weaker setting. A full probabilistic calculus is obtained when the trace is moreover linear and satisfies the \em diagonal axiom, which brings us to a second main result, characterization of the necessary and sufficient additive structure of a both qualitatively and quantitatively effective categorical quantum formalism without redundant global phases. Along the way we show that if in a category a (additive) monoidal tensor distributes over a strongly compact closed tensor, then this category is always enriched in commutative monoids.

연구 동기 및 목표

• 전역 위상의 중복성을 줄이기 위해 확률적 가중치와 상대 위상을 분리함으로써 양자 형식의 중복성을 해결하고자 한다.
• 이중곱에 의해 유도되는 기능적 및 범주론적 오류 없이도 전체 확률적 구조를 유지하는 프로젝티브 양자 형식을 개발하고자 한다.
• 전역 위상 중복성 없이 양자역학의 정량적이고 범주론적인 형식을 위한 최소한의 덧셈적 구조를 규명하고자 한다.
• 준비-상태 일致 공리를 위한 범주론적 기초를 제공함으로써 벡터 공간 형식에서 프로젝티브 형식으로의 전환을 가능하게 하고자 한다.
• 강력한 컴팩트 폐쇄와 특정한 덧셈적 공리의 조합이 전통적인 양자역학과 동형이지만 전역 위상의 과다 계산이 없는 형식을 유도함을 보여주고자 한다.

제안 방법

• 모노이드 텐서 구조에서 강력한 컴팩트 폐쇄를 사용하여 범주론적 트레이스, 힐버트-슈미트 내적 및 노름을 유도한다.
• 단위와 수반을 통한 정규 트레이스 정의: $\mathrm{Tr}(-) = \eta^\dagger_A \circ (1_{A^*} \otimes -) \circ \eta_A $, 이는 트레이스가 있는 모노이드 범주에서 부분 트레이스로 일반화된다.
• 준비-상태 일치 공리를 적용하여 가중 프로젝티브 공간에서 전체 확률 계산 체계로의 상향을 가능하게 한다.
• 강력한 컴팩트 폐쇄와 대각선 및 선형성 공리를 만족하는 최소한의 덧셈적 구조를 조합하여 오р토-보른형 SCCC를 정의한다.
• 가중치를 위한 스칼라 모노이드 $\mathbb{W} = \mathbf{C}(\mathrm{I}, \mathrm{I})$ 와 상대 위상을 위한 $\mathbb{X} = \mathbf{C}(\mathrm{I}, \mathrm{I} \oplus \mathrm{I})$ 를 구분하고, $\phi^\dagger \circ \psi : \mathbb{X}^2 \to \mathbb{W}$ 를 통해 상호작용을 기술한다.
• 트레이스가 선형이면서 대각선 공리를 만족할 경우, 해당 범주가 전역 위상의 중복 계산 없이 전체 양자 확률을 지원함을 증명한다.

실험 결과

연구 질문

• RQ1 전역 위상 중복성 없이 전체 확률적 양자 형식을 복원하기 위해 필요한 최소한의 덧셈적 구조는 무엇인가?
• RQ2 강력한 컴팩트 폐쇄로부터만 힐버트-슈미트 내적과 트레이스를 어떻게 범주론적으로 도출할 수 있는가?
• RQ3 준비-상태 일치 공리는 어떻게 벡터 공간 형식에서 프로젝티브 양자 형식으로의 전환을 가능하게 하는가?
• RQ4 확률적 가중치와 상대 위상을 범주론적 양자 프레임워크에서 어떻게 공식적으로 분리할 수 있는가?
• RQ5 트레이스에 대해 어떤 조건이 선형성과 대각선 공리를 동시에 만족시켜, 전체적으로 정량적이고 프로젝티브인 양자 형식을 보장하는가?

주요 결과

• 힐버트-슈미트 내적과 노름은 전체 벡터 공간의 선형성 조건 없이도 강력한 컴팩트 폐쇄로부터 도출 가능하다.
• 단위와 수반을 통한 정규 범주론적 트레이스는 양방향 조건을 만족하며, 컴팩트 폐쇄 범주에서의 역할을 확인한다.
• 대각선 공리와 트레이스의 선형성이 결합될 경우, 형식이 전역 위상의 과다 계산 없이 전체 양자 확률을 지원함을 보장한다.
• 준비-상태 일치 공리는 가중 프로젝티브 형식을 전체 확률 형식으로 상향하기 위해 필수적이며 충분하다.
• 이중곱 구조를 통한 $\mathbb{W}$ (가중치)와 $\mathbb{X}$ (상대 위상)의 분리로, 확률적 진폭과 위상 정보 사이의 철저한 범주론적 차별화가 가능해진다.
• 덧셈적 구조가 텐서에 대해 분배되며, 트레이스가 선형이면서 대각선 공리를 만족할 경우, 해당 범주는 오르토-보른형 SCCC가 되어 최소한의, 프로젝티브이고 정량적인 양자 형식을 제공한다.