Related papers: Quantum Programs as Kleisli Maps

The notion of a quantum family of maps has been introduced in the framework of C*-algebras. As in the classical case, one may consider a quantum family of maps preserving additional structures (e.g. quantum family of maps preserving a…

Recently, S. Carpi et al. (Comm. Math. Phys., 402:169-212, 2023) proved that every connected (i.e. haploid) Frobenius algebra in a tensor C$^*$-category is unitarizable (i.e. isomorphic to a special C$^*$-Frobenius algebra). Building on…

The purpose of this short note is to clarify and present a general version of an interesting observation by Piani and Mora (Physic. Rev. A 75, 012305 (2007)), linking complete positivity of linear maps on matrix algebras to decomposability…

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,…

Gelfand-Naimark duality (Commutative $C^*$-algebras $\equiv$ Locally compact Hausdorff spaces) is extended to $C^*$-algebras $\equiv$ Quotient maps on locally compact Hausdorff spaces. Using this duality, we give for an \emph{arbitrary}…

We characterize covariant positive decomposable maps between unital C*-algebras in terms of a dilation theorem, which generalizes a seminal result by H. Scutaru from Rep. Math. Phys. 16 (1):79-87, 1979. As a case study, we provide a certain…

We study classical structures in various categories of completely positive morphisms: on sets and relations, on cobordisms, on a free dagger compact category, and on Hilbert spaces. As an application, we prove that quantum maps with…

We develop a general framework to deal with the unitary representations of quantum groups using the language of C*-algebras. Using this framework, we prove that the duality holds in a general context. This extends the framework of the…

For a bialgebra $L$ coacting on a $\Bbbk$-algebra $A$, a classical result states that $A$ is a right $L$-comodule algebra if and only if $A$ is an algebra in the monoidal category $\mathcal{M}^{L}$ of right $L$-comodules; the former notion…

We define a categorical framework in which we build a systematic construction that provides generic invariants for C*-algebras. The benefit is significant as we show that any invariant arising this way automatically enjoys nice properties…

The first part of this thesis deals with certain properties of the quantum symmetric and exterior algebras of Type 1 representations of $U_q(g)$ defined by Berenstein and Zwicknagl. We define a notion of a commutative algebra object in a…

We prove that ample groupoids with sigma-compact unit spaces are equivalent if and only if they are stably isomorphic in an appropriate sense, and relate this to Matui's notion of Kakutani equivalence. We use this result to show that…

We study maps between positive definite or positive semidefinite cones of unital $C^*$-algebras. We describe surjective maps that preserve (1) the norm of the quotient or multiplication of elements; (2) the spectrum of the quotient or…

We prove that the graph C*-algebra $C^*(E)$ of a trimmable graph $E$ is $U(1)$-equivariantly isomorphic to a pullback C*-algebra of a subgraph C*-algebra $C^*(E'')$ and the C*-algebra of functions on a circle tensored with another subgraph…

We provide a reference for basic categorial properties of the categories of (possibly non-unital) $\mathbb{C}$-linear $*$-categories or $C^{*}$-categories, and (not necessarily unit-preserving) functors. Generalizing the classical case of…

We construct a new class of finite-dimensional C^*-quantum groupoids at roots of unity q=e^{i\pi/\ell}, with limit the discrete dual of the classical SU(N) for large orders. The representation category of our groupoid turns out to be tensor…

We consider the problem of identifying exactly which AF-algebras are isomorphic to a graph C*-algebra. We prove that any separable, unital, Type I C*-algebra with finitely many ideals is isomorphic to a graph C*-algebra. This result allows…

We introduce C*-pseudo-multiplicative unitaries and concrete Hopf C*-bimodules for the study of quantum groupoids in the setting of C*-algebras. These unitaries and Hopf C*-bimodules generalize multiplicative unitaries and Hopf C*-algebras…

We establish logical equivalence between statements involving * the Cuntz C*-algebra $\mathcal O_\infty$ with its canonical diagonal; * graph C*-algebras with their canonical diagonals; * Leavitt path algebras over general fields with their…

We construct commutative algebra spectra that represent the operator $K$-theory of $C^*$-algebras, which are algebras over the commutative ring spectra that represent topological $K$-theory. The spectral multiplicative structure introduces…