Related papers: Universal Properties of Partial Quantum Maps
We present an alternative (constructive) proof of the statement that for every completely positive, trace-preserving map $\Phi$ there exists an auxiliary Hilbert space $\mathcal K$ in a pure state $|\psi\rangle\langle\psi|$ as well as a…
In this paper, we develop a theory of learning nonlinear input-output maps with fading memory by dissipative quantum systems, as a quantum counterpart of the theory of approximating such maps using classical dynamical systems. The theory…
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…
A universal category-theoretical characterization of groupoid equivariant $KK^G$-theory for ${\mathbb{Z}}_2$-graded $C^*$-algebras is established, by observing the ``$KK$-axiom'' that for each $[s,{\cal E} \oplus B, \mathbb{F}] \in…
In this paper, we provide a representation of a certain class of C*-valued positive sesquilinear and linear maps on non-unital quasi *-algebras. Also, we illustrate our results on the concrete examples of non-unital Banach quasi *-algebras,…
The well-behaved representations of the coordinate algebra of a 2-dimensional quantum complex plane are classified and a C*-algebra is defined which can be viewed as the algebra of continuous functions on the 2-dimensional quantum complex…
We single out the concept of concrete Hilbert module over a locally $C^*$-algebra by means of locally bounded operators on certain strictly inductive limits of Hilbert spaces. Using this concept, we construct an operator model for all…
We associate to any Riemannian symmetric space (of finite or infinite dimension) a L$^*$-algebra, under the assumption that the curvature operator has a fixed sign. L$^*$-algebras are Lie algebras with a pleasant Hilbert space structure.…
Nuclear C*-algebras enjoy a number of approximation properties, most famously the completely positive approximation property. This was recently sharpened to arrange for the incoming maps to be sums of order-zero maps. We show that, in…
Quantum computing offers advantages over classical computation, yet the precise features that set the two apart remain unclear. In the standard quantum circuit model, adding a 1-qubit basis-changing gate -- commonly chosen to be the…
We present a general approach to a modular frame theory in C*-algebras and Hilbert C*-modules. The investigations rely on the idea of geometric dilation to standard Hilbert C*-modules over unital C*-algebras that possess orthonormal Hilbert…
This thesis develops the categorical proof theory for the non-compact multiplicative dagger linear logic, and investigates its applications to Categorical Quantum Mechanics (CQM). The existing frameworks of CQM are categorical proof…
We consider three notions of divisibility in the Cuntz semigroup of a C*-algebra, and show how they reflect properties of the C*-algebra. We develop methods to construct (simple and non-simple) C*-algebras with specific divisibility…
Rig groupoids provide a semantic model of \PiLang, a universal classical reversible programming language over finite types. We prove that extending rig groupoids with just two maps and three equations about them results in a model of…
We show that semi-infinite cohomology of a finite dimensional graded algebra (satisfying some additional requirements) are a particular case of a general categorical construction. The motivating example is provided by small quantum groups…
A Hilbert $C^*$-quad module of finite type has a multi structure of Hilbert $C^*$-bimodules with two finite bases. We will construct a $C^*$-algebra from a Hilbert $C^*$-quad module of finite type and prove its universality subject to…
We analyze semigroups of decomposable maps on C*-algebras in context of the algebraic structure of associated infinitesimal generators. Case of von Neumann algebras, including $B(\mathcal{H})$ for $\mathcal{H}$ a Hilbert space, is also…
Here is discussed the Hamiltonian approach to construction of deterministic universal (in approximate sense) programmable quantum circuits with qubits or any other quantum systems with dimension of Hilbert space is $n \ge 2$.
We consider continuous structures which are obtained from finite dimensional Hilbert spaces over $\mathbb{C}$ by adding some unitary operators. Quantum automata and circuits are naturally interpretable in such structures. We consider…
We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…