Related papers: Quantum extensions of ordinary maps

We describe the notion of a quantum family of maps of a quantum space and that of a quantum commutant of such a family. Quantum commutants are quantum semigroups defined by a certain universal property. We give a few examples of these…

We analyze the recent examples of quantum semigroups defined by M.M. Sadr who also brought up several open problems concerning these objects. These are defined as quantum families of maps from finite sets to a fixed compact quantum…

We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is…

This paper concerns complete noncompact manifolds with nonnegative Ricci curvature. Roughly, we say that M has the loops to infinity property if given any noncontractible closed curve, C, and given any compact set, K, there exists a closed…

Quantum superchannels are maps whose input and output are quantum channels. Rather than taking the domain to be the space of all linear maps we motivate and define superchannels on the operator system spanned by quantum channels. Extension…

We define holomorphic structures on canonical line bundles of the quantum projective space $\qp^{\ell}_q$ and identify their space of holomorphic sections. This determines the quantum homogeneous coordinate ring of the quantum projective…

Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete…

Quantum families of maps between quantum spaces are defined and studied. We prove that quantum semigroup (and sometimes quantum group) structures arise naturally on such objects out of more fundamental properties. As particular cases we…

We extend the definition of a quantum analogue of the Caldero-Chapoton map defined in \cite{rupel}. When $Q$ is a quiver of finite type, we prove that the algebra $\mathcal{AH}_{|k|}(Q)$ generated by all cluster characters (see Definition…

We introduce an abstract concept of quantum field theory on categories fibered in groupoids over the category of spacetimes. This provides us with a general and flexible framework to study quantum field theories defined on spacetimes with…

A construction of the noncommutative-geometric counterparts of classical classifying spaces is presented, for general compact matrix quantum structure groups. A quantum analogue of the classical concept of the classifying map is introduced…

We develop a generalized theory of quantum error correction (QEC) that applies to any linear map, in particular maps that are not completely positive (CP). This theory describes entanglement-assisted QEC for invertible noise maps, which we…

We introduce a category $\mathsf{qGph}$ of quantum graphs, whose definition is motivated entirely from noncommutative geometry. For all quantum graphs $G$ and $H$ in $\mathsf{qGph}$, we then construct a quantum graph $[G,H]$ of…

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…

We prove a general extension theorem for holomorphic line bundles on reduced complex spaces, equipped with singular hermitian metrics, whose curvature currents can be extended as positive, closed currents. The result has applications to…

Let F be a field, G a finite group, and Map(G,F) the Hopf algebra of all set-theoretic maps G->F. If E is a finite field extension of F and G is its Galois group, the extension is Galois if and only if the canonical map resulting from…

The linear superposition principle in quantum mechanics is essential for several no-go theorems such as the no-cloning theorem, the no-deleting theorem and the no-superposing theorem. It remains an open problem of finding general forbidden…

Clifford quantum circuits are elementary invertible transformations of quantum systems that map Pauli operators to Pauli operators. We study periodic one-parameter families of Clifford circuits, called loops of Clifford circuits, acting on…

Let K be any compact set. The C^*-algebra C(K) is nuclear and any bounded homomorphism from C(K) into B(H), the algebra of all bounded operators on some Hilbert space H, is automatically completely bounded. We prove extensions of these…

We prove that any topological loop homeomorphic to a sphere or to a real projective space and having a compact-free Lie group as the inner mapping group is homeomorphic to the circle. Moreover, we classify the differentiable $1$-dimensional…