Projects per year

## Abstract / Description of output

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 language | English |
---|---|

Article number | 104828 |

Number of pages | 20 |

Journal | Information and Computation |

Volume | 285 |

Issue number | Part B |

Early online date | 20 Nov 2021 |

DOIs | |

Publication status | Published - 3 Jun 2022 |

## Fingerprint

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

- 1 Finished