Related papers: Categories of Quantum and Classical Channels (exte…
We present the generalization of the CNC formalism, based on closed and noncontextual sets of Pauli observables, to the setting of odd-prime-dimensional qudits. By introducing new CNC-type phase space point operators, we construct a…
We introduce and analyse the structure of C*-algebras arising from ideals in right tensor C*-precategories, which naturally generalize both relative Cuntz-Pimsner and Doplicher-Roberts algebras. We establish an explicit intrinsic…
We use purity, a principle borrowed from the foundations of quantum information, to show that all special symmetric dagger-Frobenius algebras in CPM(fHilb) are canonical, i.e. that they arise by doubling of special symmetric…
Given a compact metric space X and a unital C*-algebra A, we introduce a family of seminorms on the C*-algebra of continuous functions from X to A, denoted C(X, A), induced by classical Lipschitz seminorms that produce compact quantum…
Classical block designs are important combinatorial structures with a wide range of applications in Computer Science and Statistics. Here we give a new abstract description of block designs based on the arrow category construction. We show…
As shown by Abramsky and Coecke, quantum mechanics can be studied in terms of dagger compact closed categories with biproducts. Within this structure, many well-known quantum protocols can be described and their validity can be shown by…
We quantise complex, infinite-dimensional projective space CP(H). We apply the result to quantise a complex, finite-dimensional, classical phase space C whose symplectic volume is infinite, by holomorphically embedding it into CP(H). The…
By considering a generalisation of the CPM construction, we develop an infinite hierarchy of probabilistic theories, exhibiting compositional decoherence structures which generalise the traditional quantum-to-classical transition.…
Let $A$ be a simple C*-algebra of stable rank one and let $p$ and $q$ be two $\sigma$-compact open projections. It is proved that there is a continuous path of unitaries in ${\tilde A}$ which connects open sub-projections of $p$ which is…
Certain $*$-semigroups are associated with the universal $C^*$-algebra generated by a partial isometry, which is itself the universal $C^*$-algebra of a $*$-semigroup. A fundamental role for a $*$-structure on a semigroup is emphasized, and…
We construct compact quantum metric spaces (CQMS) starting with some C*algebra extension with a positive splitting. As special cases we discuss the case of Toeplitz algebra, quantum SU(2) and Podles sphere.
Mixed states are of interest in quantum mechanics for modelling partial information. More recently categorical approaches to linguistics have also exploited the idea of mixed states to describe ambiguity and hyponym / hypernym…
An operator space analysis of quantum stochastic cocycles is undertaken. These are cocycles with respect to an ampliated CCR flow, adapted to the associated filtration of subspaces, or subalgebras. They form a noncommutative analogue of…
Previously we have shown that the topos approach to quantum theory of Doering and Isham can be generalised to a class of categories typically studied within the monoidal approach to quantum theory of Abramsky and Coecke. In the monoidal…
We provide definitions for strict involutive higher categories (a vertical categorification of dagger categories), strict higher C*-categories and higher Fell bundles (over arbitrary involutive higher topological categories). We put forward…
We characterize relatively norm compact sets in the regular $C^*$-algebra of finitely generated Coxeter groups using a geometrically defined positive semigroup acting on the algebra.
We give a general scheme for constructing faithful actions of genuine (noncommutative as $C^*$ algebra) compact quantum groups on classical topological spaces. Using this, we show that: (i) a compact connected classical space can have a…
Closed quantum surfaces of any genus are defined as subalgebras of the Toeplitz algebra by mimicking the classical construction of identifying arcs on the boundary of the (quantum) unit disk. Isomorphism classes obtained from different…
We study $\mathrm{W}^*$-categories, and explain the ways in which complete $\mathrm{W}^*$-categories behave like categorified Hilbert spaces. Every $\mathrm{W}^*$-category $C$ admits a canonical categorified inner product…
We introduce positive correspondences as right C*-modules with left actions given by completely positive maps. Positive correspondences form a semi-category that contains the C*-correspondence (Enchilada) category as a "retract". Kasparov's…