Related papers: Universal Properties of Partial Quantum Maps
In this paper, we show that every completely semi-$\phi$-map on a submodule of a Hilbert $C^*$-module has a completely semi-$\phi$-map extension on the whole of module. We also investigate the extendability of $\phi$-maps and provide…
Free categorical constructions characterise quantum computing as the combination of two copies of a reversible classical model, glued by the complementarity equations of classical structures. This recipe effectively constructs a…
Recently de La Torre et al. [1] reconstructed Quantum Theory from its local structure on the basis of local discriminability and the existence of a one-parameter group of bipartite transformations containing an entangling gate. This result…
We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…
In this paper we associate to every reduced C*-algebraic quantum group A a universal C*-algebraic quantum group. We fine tune a proof of Kirchberg to show that every *-representation of a modified L1-space is generated by a unitary…
The purpose of this paper is to prove that we can construct all finite dimensional irreducible nilpotent modules of type 1 inductively by using Schnizer homomorphisms for quantum algebra at roots of unity of type A, B, C, D or G.
In this paper, we begin by presenting a construction for induced representations of Hilbert modules over pro-$C^*$-algebras for a given continuous $^*$-morphism between pro-$C^*$-algebras. Subsequently, we describe the structure of…
Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…
Inspired by some recent development on the theory about projection valued dilations for operator valued measures or more generally bounded homomorphism dilations for bounded linear maps on Banach algebras, we explore a pure algebraic…
A non-standard quantum deformation of the Poincar\'e algebra is presented in a null-plane framework for 1+1, 2+1 and 3+1 dimensions. Their corresponding universal $R$-matrices are obtained in a factorized form by choosing suitable bases…
A Q-system in a C* 2-category is a unitary version of a separable Frobenius algebra object and can be viewed as a unitary version of a higher idempotent. We define a higher unitary idempotent completion for C* 2-categories called Q-system…
We give a definition of partition C*-algebras: To any partition of a finite set, we assign algebraic relations for a matrix of generators of a universal C*-algebra. We then prove how certain relations may be deduced from others and we…
This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra…
Motivated by Cuntz-Krieger-Toeplitz systems associated to undirected graphs and representations of groupoids, we obtain a generalisation of the Sz-Nagy's Dilation Theorem for operator valued partially positive semidefinite maps on…
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 composite systems, given descriptions of their components. We…
In a recent paper it was shown that all the Hilbert space formulas for quantum probabilities can be realized as functions of geometric properties of the associated projective space, but those functions were expressed using the structures of…
The purpose of this paper is two-fold: firstly, we give a characterization on the level of non-unital operator systems for when the zero map is a boundary representation. As a consequence, we show that a non-unital operator system arising…
Furber and Jacobs have shown in their study of quantum computation that the category of commutative C*-algebras and PU-maps (positive linear maps which preserve the unit) is isomorphic to the Kleisli category of a comonad on the category of…
We describe a universal factorization for a functor with values in finite-dimensional measured algebras. More precisely we contruct the quantum automorphism group of this functor. This general recontruction result allows us to recapture a…
A denotational semantics of quantum Turing machines having a quantum control is defined in the dagger compact closed category of finite dimensional Hilbert spaces. Using the Moore-Penrose generalized inverse, a new additive trace is…