Related papers: Extending quantum operations
For numerous applications of quantum theory it is desirable to be able to apply arbitrary unitary operations on a given quantum system. However, in particular situations only a subset of unitary operations is easily accessible. This raises…
Completely positive quantum operations are frequently discussed in the contexts of statistical mechanics and quantum information. They are customarily given by maps forming positive operator-values measures. To intuitively understand…
Using the recent theory of Krein--von Neumann extensions for positive functionals we present several simple criteria to decide whether a given positive functional on the full operator algebra is normal. We also characterize those…
We study the problem of extending a positive-definite operator-valued kernel, defined on words of a fixed finite length from a free semigroup, to a global kernel defined on all words. We show that if the initial kernel satisfies a natural…
In quantum process tomography, it is possible to express the experimenter's prior information as a sequence of quantum operations, i.e., trace-preserving completely positive maps. In analogy to de Finetti's concept of exchangeability for…
An alternative, geometrical proof of a known theorem concerning the decomposition of positive maps of the matrix algebra $M_{2}(\mathbb{C})$ has been presented. The premise of the proof is the identification of positive maps with operators…
We develop a formal model for distributed measurement-based quantum computations, adopting an agent-based view, such that computations are described locally where possible. Because the network quantum state is in general entangled, we need…
We investigate compressibility of the dimension of positive semidefinite matrices while approximately preserving their pairwise inner products. This can either be regarded as compression of positive semidefinite factorizations of…
Continuous-variable systems in quantum theory can be fully described through any one of the ${\rm s}$-ordered family of quasiprobabilities $\Lambda_{\rm s}(\alpha)$, ${\rm s} \in [-1,1]$. We ask for what values of $({\rm s}, a)$ is the…
This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show that the opposite category of…
The tomographic description of a quantum state is formulated in an abstract infinite dimensional Hilbert space framework, the space of the Hilbert-Schmidt linear operators, with trace formula as scalar product. Resolutions of the unity,…
A quantum processor is a device with a data register and a program register. The input to the program register determines the operation, which is a completely positive linear map, that will be performed on the state in the data register. We…
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…
Quantum operations provide a general description of the state changes allowed by quantum mechanics. Simple necessary and sufficient conditions for an ideal quantum operation to be reversible by a unitary operation are derived in this paper.…
In this paper we explore the set of linear maps sending the set of quantum Gaussian states into itself. These maps are in general not positive, a feature which can be exploited as a test to check whether a given quantum state belongs to the…
A generalized channel is a completely positive map that preserves trace on a given subspace. We find conditions under which a generalized channel with respect to a positively generated subspace J is an extreme point in the set of all such…
A measurement on a section K of the set of states of a finite dimensional C*-algebra is defined as an affine map from K to a probability simplex. Special cases of such sections are used in description of quantum networks, in particular…
A system interacting with its environment will give rise to a quantum evolution. After tracing over the environment the net evolution of the system can be described by a linear Hermitian map. It has recently been shown that a necessary and…
Quantum Mechanics is a good example of a successful theory. Most of atomic phenomena are described well by quantum mechanics and cases such as Lamb Shift that are not described by quantum mechanics, are described by quantum electrodynamics.…
We study quantum processes, as one parameter families of differentiable completely positive and trace preserving (CPTP) maps. Using different representations of the generator, and the Sylvester criterion for positive semi-definite matrices,…