113 citations · 1.3k across the 83 of their papers we have counts for
6 papers · 1 filter
Quantum realization of arbitrary joint measurability structures
Ravi Kunjwal, Chris Heunen, Tobias Fritz
In many a traditional physics textbook, a quantum measurement is defined as a projective measurement represented by a Hermitian operator. In quantum information theory, however, th…
Quantum theory realises all joint measurability graphs
Chris Heunen, Tobias Fritz, Manuel L. Reyes
Joint measurability of sharp quantum observables is determined pairwise, and so can be captured in a graph. We prove the converse: any graph, whose vertices represent sharp observa…
Matrix multiplication is determined by orthogonality and trace
Chris Heunen, Dominic Horsman
Any associative bilinear multiplication on the set of n-by-n matrices over some field of characteristic not two, that makes the same vectors orthogonal and has the same trace as or…
Completely positive projections and biproducts
Chris Heunen, Aleks Kissinger, Peter Selinger
The recently introduced CP*-construction unites quantum channels and classical systems, subsuming the earlier CPM-construction in categorical quantum mechanics. We compare this con…
Categories of Quantum and Classical Channels
Bob Coecke, Chris Heunen, Aleks Kissinger
We introduce a construction that turns a category of pure state spaces and operators into a category of observable algebras and superoperators. For example, it turns the category o…
Compositional Quantum Logic
Bob Coecke, Chris Heunen, Aleks Kissinger
Quantum logic aims to capture essential quantum mechanical structure in order-theoretic terms. The Achilles' heel of quantum logic is the absence of a canonical description of comp…