相关论文: From Kraus Operators to the Stinespring Form of Qu…

We shall prove the following Stinespring-type theorem: there exists a triple $(\pi,\mathcal{H},\mathbf{V})$ associated with an unital completely positive map $\Phi:\mathfrak{A}\rightarrow \mathfrak{A}$ on C* algebra $\mathfrak{A}$ with…

Given any separable complex Hilbert space, any trace-class operator $B$ which does not have purely imaginary trace, and any generator $L$ of a norm-continuous one-parameter semigroup of completely positive maps we prove that there exists a…

Let $H$ be a Hilbert space and $P(H)$ be the projective space of all quantum pure states. Wigner's theorem states that every bijection $\phi\colon P(H)\to P(H)$ that preserves the quantum angle between pure states is automatically induced…

Assuming a unitarily invariant norm $|||\cdot|||$ is given on a two-sided ideal of bounded linear operators acting on a separable Hilbert space, it induces some unitarily invariant norms $|||\cdot|||$ on matrix algebras $\mathcal{M}_n$ for…

We provide a universal construction of the category of finite-dimensional C*-algebras and completely positive trace-nonincreasing maps from the rig category of finite-dimensional Hilbert spaces and unitaries. This construction, which can be…

Completely positive trace-preserving maps $S$, also known as quantum channels, arise in quantum physics as a description of how the density operator $\rho$ of a system changes in a given time interval, allowing not only for unitary…

Quantum supermaps are higher-order maps transforming quantum operations into quantum operations. Here we extend the theory of quantum supermaps, originally formulated in the finite dimensional setting, to the case of higher-order maps…

If the symmetry, (an operator $J$ satisfying $J=J^*=J^{-1}$) which defines the Krein space, is replaced by a (not necessarily self-adjoint) unitary, then we have the notion of an $S$-space which was introduced by Szafraniec. In this paper,…

We describe the structure of all bijective maps on the cone of positive definite operators acting on a finite and at least two-dimensional complex Hilbert space which preserve the quantum $\chi_\alpha^2$-divergence for some $\alpha \in…

We show that each positive map from B(K) to B(H) with K and H finite dimensional Hilbert spaces is a scalar multiple of a map of the form $Tr - \psi$ with $\psi$ completely positive. This is used to give necessary and sufficient conditions…

Relations between states and maps, which are known for quantum systems in finite-dimensional Hilbert spaces, are formulated rigorously in geometrical terms with no use of coordinate (matrix) interpretation. In a tensor product realization…

We prove that if K is a remainder of the Hilbert space (i.e., K is the complement of the Hilbert space in its metrizable compactification) then every non-one-point closed image of K either contains a compact set with no transfinite…

Any two infinite-dimensional (separable) Hilbert spaces are unitarily isomorphic. The sets of all their self-adjoint operators are also therefore unitarily equivalent. Thus if all self-adjoint operators can be observed, and if there is no…

Let $B(H)$ be the algebra of all bounded linear operators on an infinite-dimensional complex Hilbert space $H$. For $T \in B(H)$ and $\lambda \in \mathbb{C}$, let $H_{T}(\{\lambda\})$ denotes the local spectral subspace of $T$ associated…

We use a natural generalization of the discrete Fourier transform to define transition maps between Hilbert subspaces and the global transport operator $Z$. By using these transition maps as Kraus (or noise) operators, an extension of the…

Let $\Phi$ be a family of functions analytic in some neighborhood of a complex domain $\Omega$, and let $T$ be a Hilbert space operator whose spectrum is contained in $\overline\Omega$. Our typical result shows that under some extra…

A geometric characterization is given for invertible quantum measurement maps. Denote by ${\mathcal S}(H)$ the convex set of all states (i.e., trace-1 positive operators) on Hilbert space $H$ with dim$H\leq \infty$, and $[\rho_1, \rho_2]$…

We consider bijective maps $\phi$ on the full operator algebra $\mathcal{B}(\mathcal{H})$ of an infinite dimensional Hilbert space with the property that, for every $A,B,X\in \mathcal{B}(\mathcal{H})$, $X$ is the Douglas solution of the…

We prove that if every element $u$ in a Hilbert space $H$ admits a representation as unconditionally convergent series $$u=\sum_{k=1}^\infty \langle u, y_k\rangle x_k,$$ then there exist nonzero scalars $\{\alpha_k\}_{k=1}^\infty$ such that…

Given a representation of a unital $C^*$-algebra $\mathcal{A}$ on a Hilbert space $\mathcal{H}$, together with a bounded linear map $V:\mathcal{K}\to\mathcal{H}$ from some other Hilbert space, one obtains a completely positive map on…