The CBH characterisation theorem beyond algebraic quantum theory

Chris Heunen, Aleks Kissinger

Research output: Contribution to journalArticlepeer-review

Abstract

The CBH theorem characterises quantum theory within a C*-algebraic framework. Namely, mathematical properties of C*-algebras modelling quantum systems are equivalent to constraints that are information-theoretic in nature: (1) noncommutativity of subalgebras is equivalent to impossibility of signalling; (2) noncommutativity of the whole algebra is equivalent to impossibility of broadcasting; (3) the existence of entangled states is implied by the impossibility of secure bit commitment (with the converse conjectured). However, the C*-algebraic framework has drawn criticism as it already contains much of themathematical structure of quantum theory such as complex linearity. We address this issue by a generalising C*-algebras categorically. In this framework, equivalence (1) holds, equivalence (2) becomes a strict implication, and implication (3) fails in general. Thus we identify exactly what work is being done by the complex-linear structure of C*-algebras. In doing so, we uncover a richer hierarchy of notions of 'classicality' and 'quantumness' of information than visible in the concrete case.
Original languageEnglish
Number of pages30
JournalInformation and Computation
Publication statusAccepted/In press - 9 Sep 2020

Fingerprint Dive into the research topics of 'The CBH characterisation theorem beyond algebraic quantum theory'. Together they form a unique fingerprint.

Cite this