For a fixed pair of input and output states in the space HA of a system A, a quantum channel, i.e., a linear, completely positive and trace-preserving map, between them is not unique, in general. Here, this point is discussed specifically for a decoherence channel, which maps from a pure input state to a completely decoherent state like the thermal state. In particular, decoherence channels of two different types are analyzed: one is unital and the other is not, and both of them can be constructed through reduction of B in the total extended space HA⊗HB, where HB is the space of an ancillary system B that is a replica of A. The nonuniqueness is seen to have its origin in the unitary symmetry in the extended space. It is shown in an example of a two-qubit system how such symmetry is broken in the objective subspace HA due to entanglement between A and B. A comment is made on possible relevance of the present work to nanothermodynamics in view of quantum Darwinism.
In general quantum operations, or quantum channels cannot be inverted by physical operations, i.e., by completely positive trace-preserving maps. An arbitrary state passing through a quantum channel loses its fidelity with the input. Given a quantum channel
E, we discuss the concept of its quasi-inverse as a completely positive trace-preserving map
Eqi which when composed with
E increases its average input-output fidelity in an optimal way. The channel
Eqi comes as close as possible to the inverse of a quantum channel. We give a complete classification of such maps for qubit channels and provide quite a few illustrative examples.
Quantum channels can be described via a unitary coupling of system and environment, followed by a trace over the environment state space. Taking the trace instead over the system state space produces a different mapping which we call the conjugate channel. We explore the properties of conjugate channels and describe several different methods of construction. In general, conjugate channels map M_d to M_d' with d < d', and different constructions may differ by conjugation with a partial isometry. We show that a channel and its conjugate have the same minimal output entropy and maximal output p-norm. It then follows that the additivity and multiplicativity conjectures for these measures of optimal output purity hold for a product of channels if and only if they also hold for the product of their conjugates. This allows us to reduce these conjectures to the special case of maps taking M_d to M_d' with a minimal representation of dimension at most d. We find explicit expressions for the conjugates for a number of well-known examples, including entanglement-breaking channels, unital qubit channels, the depolarizing channel, and a subclass of random unitary channels. For the entanglement-breaking channels, channels this yields a new class of channels for which additivity and multiplicativity of optimal output purity can be established. For random unitary channels using the generalized Pauli matrices, we obtain a new formulation of the multiplicativity conjecture. The conjugate of the completely noisy channel plays a special role and suggests a mechanism for using noise to transmit information.
Quantum channels, also called quantum operations, are linear, trace preserving and completely positive transformations in the space of quantum states. Such operations describe discrete time evolution of an open quantum system interacting with an environment. The thesis contains an analysis of properties of quantum channels and different entropies used to quantify the decoherence introduced into the system by a given operation. Part I of the thesis provides a general introduction to the subject. In Part II, the action of a quantum channel is treated as a process of preparation of a quantum ensemble. The Holevo information associated with this ensemble is shown to be bounded by the entropy exchanged during the preparation process between the initial state and the environment. A relation between the Holevo information and the entropy of an auxiliary matrix consisting of square root fidelities between the elements of the ensemble is proved in some special cases. Weaker bounds on the Holevo information are also established. The entropy of a channel, also called the map entropy, is defined as the entropy of the state corresponding to the channel by the Jamiolkowski isomorphism. In Part III of the thesis, the additivity of the entropy of a channel is proved. The minimal output entropy, which is difficult to compute, is estimated by an entropy of a channel which is much easier to obtain. A class of quantum channels is specified, for which additivity of channel capacity is conjectured. The last part of the thesis contains characterization of Davies channels, which correspond to an interaction of a state with a thermal reservoir in the week coupling limit, under the condition of quantum detailed balance and independence of rotational and dissipative evolutions. The Davies channels are characterized for one-qubit and one-qutrit systems.
In this paper we investigate how common is the phenomenon of Finite Time Disentanglement (FTD) with respect to the set of quantum dynamics of bipartite quantum states with finite dimensional Hilbert spaces. Considering a quantum dynamics from a general sense, as just a continuous family of Completely Positive Trace Preserving maps (parametrized by the time variable) acting on the space of the bipartite systems, we conjecture that FTD does not happen only when all maps of the family are induced by local unitary operations. We prove that is the case for dynamics where all maps are induced by unitaries and, for pairs of qubits, where all maps are unital. Moreover, we prove some results about unitaries/CPTP maps preserving product/pure states.
Absolutely separable states ϱ remain separable under arbitrary unitary transformations . By example of a three qubit system we show that in a multipartite scenario neither full separability implies bipartite absolute separability nor the reverse statement holds. The main goal of the paper is to analyze quantum maps resulting in absolutely separable output states. Such absolutely separating maps affect the states in a way, when no Hamiltonian dynamics can make them entangled afterwards. We study the general properties of absolutely separating maps and channels with respect to bipartitions and multipartitions and show that absolutely separating maps are not necessarily entanglement breaking. We examine the stability of absolutely separating maps under a tensor product and show that is absolutely separating for any N if and only if Φ is the tracing map. Particular results are obtained for families of local unital multiqubit channels, global generalized Pauli channels, and combination of identity, transposition, and tracing maps acting on states of arbitrary dimension. We also study the interplay between local and global noise components in absolutely separating bipartite depolarizing maps and discuss the input states with high resistance to absolute separability.
In quantum technologies, quantum channels are essential for transmitting quantum states. Quantum channels usually introduce noise, thereby reducing the information in a state. These are mathematically described by completely positive trace-preserving linear maps that represent the generic evolution of quantum systems and are also special cases of Hermitian-preserving trace-preserving (HPTP) linear maps. Concatenating a quantum channel with another quantum channel makes it noisier and degrades its information and resource preservability. In this work, we demonstrate a physically meaningful way to compare a pair of quantum channels using Hermitian-preserving trace-preserving linear maps. Precisely, given a pair of quantum channels
Λ1,Λ2 and an arbitrary unknown input state, we show that the output state of the quantum channel
Λ2 from the pair can be uniquely identified from the output statistics of the other channel
Λ1 from the pair, using some POVM, iff
Λ2 can be obtained from
Λ1 by concatenating it with a Hermitian-preserving trace-preserving linear map that is not necessarily positive. In such cases,
Λ2 may not always be obtained from
Λ1 through post-processing. The relation between these channels is a preorder, and we study its characterization in this work. In other words, we provide an operational interpretation of this preorder induced by HPTP linear maps in a communication scenario. Furthermore, we characterize the difficulty of implementing
Λ2 given that
Λ1 has already been implemented via a quantifier, namely, physical implementability. We also illustrate the implications of our results for the incompatibility of quantum devices through an example. In short, we provide valuable insights about the relevance of Hermitian-preserving trace-preserving linear maps in physically motivated settings.