Related papers: The CBH characterisation theorem beyond algebraic …

A system of quantum reasoning for a closed system is developed by treating non-relativistic quantum mechanics as a stochastic theory. The sample space corresponds to a decomposition, as a sum of orthogonal projectors, of the identity…

We review some of our recent results (with collaborators) on information processing in an ordered linear spaces framework for probabilistic theories. These include demonstrations that many "inherently quantum" phenomena are in reality quite…

John Bell once argued that one ought to select, out of the 'observables' of quantum theory, some subset of 'beables' that can be consistently ascribed determinate values. Moreover, this subset should be selected so as to guarantee (among…

In analogy with the C*-algebra theory, we study variants appropriate to nonselfadjoint algebras of nuclearity, the local lifting property, exactness, and the weak expectation property. In addition, we study the relationships between these…

In the $C^*$-algebraic setting the spectrum of any group-like element of a compact quantum group is shown to be a closed subgroup of the one-dimensional torus. A number of consequences of this fact are then illustrated, along with a loose…

We prove that the C*-algebra of a minimal diffeomorphism satisfies Blackadar's Fundamental Comparability Property for positive elements. This leads to the classification, in terms of K-theory and traces, of the isomorphism classes of…

Let E be a row-finite directed graph. We prove that there exists a C*-algebra C*_{min}(E) with the following co-universal property: given any C*-algebra B generated by a Toeplitz-Cuntz-Krieger E-family in which all the vertex projections…

In the theory of C*-algebras, interesting noncommutative structures arise as deformations of the tensor product. For instance, the rotation algebra may be seen as a scalar twist deformation of the tensor product of the functions on the…

We show that a $C^*$-algebra $A$ is nuclear iff there is a constant $K$ and $\alpha<3$ such that, for any bounded homomorphism $u\colon A \to B(H)$, there is an isomorphism $\xi\colon H\to H$ satisfying $\|\xi^{-1}\|\|\xi\| \le…

Given a state on an algebra of bounded quantum-mechanical observables (the self-adjoint part of a C*-algebra), we investigate those subalgebras that are maximal with respect to the property that the given state's restriction to the…

A C*-algebra formulation of Quantum Mechanics is derived from purely operational axioms in which the primary role is played by the "transformations" that the system undergoes in the course of an "experiment". The notion of the {\em adjoint}…

We further examine the concept of uniform property Gamma for C*-algebras introduced in our joint work with Winter. In addition to obtaining characterisations in the spirit of Dixmier's work on central sequence in II$_1$ factors, we…

A remarkable theorem by Clifton, Bub and Halvorson (2003)(CBH) characterizes quantum theory in terms of information--theoretic principles. According to Bub (2004, 2005) the philosophical significance of the theorem is that quantum theory…

We study the theory of a Hilbert space H as a module for a unital C*-algebra A from the point of view of continuous logic. We give an explicit axiomatization for this theory and describe the structure of all the representations which are…

We work out a quantum-theoretic model in complex Hilbert space of a recently performed test on co-occurrencies of two concepts and their combination in retrieval processes on specific corpuses of documents. The test violated the…

Order unit property of a positive element in a $C^{*}$-algebra is defined. It is proved that precisely projections satisfy this order theoretic property. This way, unital hereditary $C^{*}$-subalgebras of a $C^{*}$-algebra are…

We show that three fundamental information-theoretic constraints--the impossibility of superluminal information transfer between two physical systems by performing measurements on one of them, the impossibility of broadcasting the…

Non-commutative $L^p$-spaces are shown to constitute examples of a class of Banach quasi *-algebras called CQ*-algebras. For $p\geq 2$ they are also proved to possess a {\em sufficient} family of bounded positive sesquilinear forms…

We introduce a notion of ellipticity of complexes of linear pseudodifferential operators acting on sections of $A$-Hilbert bundles over smooth manifolds, $A$ being a $C^*$-algebra. We prove that the cohomology groups of an $A$-elliptic…

We introduce the CP*-construction on a dagger compact closed category as a generalisation of Selinger's CPM-construction. While the latter takes a dagger compact closed category and forms its category of "abstract matrix algebras" and…