Related papers: CP$^{\infty}$ and beyond: 2-categorical dilation t…

Bicommutant categories are higher categorical analogs of von Neumann algebras that were recently introduced by the first author. In this article, we prove that every unitary fusion category gives an example of a bicommutant category. This…

We use the language of von Neumann subfactors to investigate non-invertible symmetries in two dimensions. A fusion categorical symmetry $\mathcal{C}$, its module category $\mathcal{M}$, and a gauging labeled by an algebra object…

A characterisation of the generators of quantum stochastic cocycles of completely positive (CP) maps is given in terms of the complete dissipativity (CD) of its form-generator. The pseudo-Hilbert dilation of the stochastic form-generator…

For a class of linear maps on a von Neumann factor, we associate two objects, bounded operators and trace class operators, both of which play the roles of Choi matrices. Each of them is positive if and only if the original map on the factor…

We introduce the category $\mathsf{NCP}$, whose objects are pairs of W$^\ast$-algebras and normal states and whose morphisms are state-preserving unital completely positive (CPU) maps, as a common stage for classical and quantum information…

We construct an infinite-dimensional analog of the HaPPY code as a growing series of stabilizer codes defined respective to their Hilbert spaces. The Hilbert spaces are related by isometric maps, which we define explicitly. We construct a…

Let $\Phi$ be a unital completely positive (UCP) map on the space of operators on some Hilbert space. We assume that $\Phi$ is $\eta$-idempotent, namely, $\|\Phi^2-\Phi\|_{\mathrm{cb}} \le\eta$, and construct an associated…

With view to applications, we establish a correspondence between two problems: (i) the problem of finding continuous positive definite extensions of functions $F$ which are defined on open bounded domains $\Omega$ in $\mathbb{R}$, on the…

A generalization of the Choi-Jamiolkowski isomorphism for completely positive maps between operator algebras is introduced. Particular emphasis is placed on the case of normal unital completely positive maps defined between von Neumann…

We investigate criteria for von-Neumann finiteness and reversibility in some classes of non-associative algebras. We show that all finite-dimensional alternative algebras, as well as all algebras obtained from the real numbers via the…

In open quantum systems, it is known that if the system and environment are in a product state, the evolution of the system is given by a linear completely positive (CP) Hermitian map. CP maps are a subset of general linear Hermitian maps,…

By using the relative derived categories, we prove that if an Artin algebra $A$ has a module $T$ with ${\rm inj.dim}T<\infty$ such that $^\perp T$ is finite, then the bounded derived category $D^b(A\mbox{-}{\rm mod})$ admits a categorical…

We propose a categorical foundation for the connection between pure and mixed states in quantum information and quantum computation. The foundation is based on distributive monoidal categories. First, we prove that the category of all…

This short note modifies a reconstruction method by the author (Comm. PDE, 45(9):1118-1133, 2020), for reconstructing piecewise constant conductivities in the Calder\'on problem (electrical impedance tomography). In the former paper, a…

We examine various categorical structures that can and cannot be constructed. We show that total computable functions can be mimicked by constructible functors. More generally, whatever can be done by a Turing machine can be constructed by…

By our definition, "restricted Dirichlet-to-Neumann map" (DN) means that the Dirichlet and Neumann boundary data for a Coefficient Inverse Problem (CIP) are generated by a point source running along an interval of a straight line. On the…

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$.…

In a well-known result [Werner2001], Werner classified all tight quantum teleportation and dense coding schemes, showing that they correspond to unitary error bases. Here tightness is a certain dimensional restriction: the quantum system to…

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…

We investigate the possibility of dividing quantum channels into concatenations of other channels, thereby studying the semigroup structure of the set of completely-positive trace-preserving maps. We show the existence of 'indivisible'…