Related papers: Categories of Quantum and Classical Channels (exte…
Gluings of completely positive maps (CPMs) are defined and investigated. As a brief description of this concept consider a pair of `evolution machines', each with the ability to evolve the internal state of a `particle' inserted into its…
We study closedness of the range, adjointability and generalized invertibility of modular operators between Hilbert modules over locally C*-algebras of coefficients. Our investigations and the recent results of M. Frank [Characterizing…
Some completely positive maps on reduced amalgamated free products of C*-algebras are constructed; these allow a proof that the class of exact unital C*-algebras is closed under taking reduced amalgamated free products. Consequently, the…
Categories of paths are a generalization of several kinds of oriented discrete data that have been used to construct $C^*$-algebras. The techniques introduced to study these constructions apply almost verbatim to the more general situation…
For given quantum (non-commutative) spaces $\mathbb{P}$ and $\mathbb{O}$ we study the quantum space of maps $\mathbb{M}_{\mathbb{P},\mathbb{O}}$ from $\mathbb{P}$ to $\mathbb{O}$. In case of finite quantum spaces these objects turn out to…
We aim to characterize the category of injective *-homomorphisms between commutative C*-subalgebras of a given C*-algebra A. We reduce this problem to finding a weakly terminal commutative subalgebra of A, and solve the latter for various…
Motivated by the theory of Cuntz-Krieger algebras we define and study $ C^\ast $-algebras associated to directed quantum graphs. For classical graphs the $ C^\ast $-algebras obtained this way can be viewed as free analogues of Cuntz-Krieger…
Every directed graph defines a Hilbert space and a family of weighted shifts that act on the space. We identify a natural notion of periodicity for such shifts and study their C*-algebras. We prove the algebras generated by all shifts of a…
This paper investigates the interplay between the properties of quantum states on the Hilbert space \(\ell_2(\kappa)\) and the set-theoretic nature of the cardinal $\kappa$. We focus on the existence of singular $\sigma$-additive states~ --…
The quantum switch is a higher-order operation that takes as an input two quantum processes and combines them in a coherent superposition of two alternative orders. Here we provide an approach to the quantum switch based on the methods of…
We describe a categorical model of MALL (Multiplicative Additive Linear Logic) inspired by the Heisenberg-Schr\"odinger duality of finite-dimensional quantum theory. Proofs of formulas with positive logical polarity correspond to CPTP…
Coherent states are introduced and their properties are discussed for all simple quantum compact groups. The multiplicative form of the canonical element for the quantum double is used to introduce the holomorphic coordinates on a general…
In this paper, we quantize universal gauge groups such as SU(\infty), as well as their homogeneous spaces, in the sigma-C*-algebra setting. More precisely, we propose concise definitions of sigma-C*-quantum groups and sigma-C*-quantum…
We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras (EJAs), satisfying some reasonable additional constraints motivated by the desire to construct dagger-compact categories of such…
We introduce three metrics on the set of quantum probability measures over a compact Hausdorff space and characterize them in terms of the completely bounded norm of the corresponding unital completely positive maps. We extend the existing…
Let $k$ be a field and $A$ a finite-dimensional $k$-algebra of global dimension $\leq 2$. We construct a triangulated category $\Cc_A$ associated to $A$ which, if $A$ is hereditary, is triangle equivalent to the cluster category of $A$.…
The purely algebraic notion of CQG algebra (algebra of functions on a compact quantum group) is defined. In a straightforward algebraic manner, the Peter-Weyl theorem for CQG algebras and the existence of a unique positive definite Haar…
We present an explicit construction of a universal embezzlement protocol in the C*-algebraic model of quantum information, that is equivalent to the commuting operator model. Our protocol enables exact embezzlement of arbitrary bipartite…
A C*-algebra is determined to a great extent by the partial order of its commutative C*-algebras. We study order-theoretic properties of this dcpo. Many properties coincide: the dcpo is, equivalently, algebraic, continuous, meet-continuous,…
We construct a class of positive linear maps on matrix algebras. We find conditions when these maps are atomic, decomposable and completely positive. We obtain a large class of atomic positive linear maps. As applications in quantum…