Bistochastic Maps Research Articles

On Extremal Positive Maps of Three-Dimensional Matrix Algebra

A class of bistochastic maps of three-dimensional matrix algebra which preserves a one-dimensional projector is studied.

Sequences of lower bounds for entropic uncertainty relations from bistochastic maps

Given two orthonormal bases and , the basic form of the entropic uncertainty principle is stated in terms of the sum of the Shannon entropies of the probabilities of measuring and onto a given quantum state. State independent lower bounds for this sum encapsulate the degree of incompatibility of the observables diagonal in the and bases, and are usually derived by extracting as much information as possible from the unitary operator U connecting the two bases. Here we show a strategy to derive sequences of lower bounds based on alternating sequences of measurements onto and . The problem can be mapped into the multiple application of bistochastic processes that can be described by the powers of the unistochastic matrices directly derivable from U. By means of several examples we study the applicability of the method. The results obtained show that the strategy can allow for an advantage both in the pure state and in the mixed state scenario. The sequence of lower bounds is obtained with resources which are polynomial in the dimension of the underlying Hilbert space, and it is thus suitable for studying high dimensional cases.

Comment on "Quantum Kaniadakis entropy under projective measurement".

We comment on the main result given by Ourabah etal. [Phys. Rev. E 92, 032114 (2015)PLEEE81539-375510.1103/PhysRevE.92.032114], noting that it can be derived as a special case of the more general study that we have provided in [Quantum Inf Process 15, 3393 (2016)10.1007/s11128-016-1329-5]. Our proof of the nondecreasing character under projective measurements of so-called generalized (h,ϕ) entropies (that comprise the Kaniadakis family as a particular case) has been based on majorization and Schur-concavity arguments. As a consequence, we have obtained that this property is obviously satisfied by Kaniadakis entropy but at the same time is fulfilled by all entropies preserving majorization. In addition, we have seen that our result holds for any bistochastic map, being a projective measurement a particular case. We argue here that looking at these facts from the point of view given in [QuantumInf Process 15, 3393 (2016)10.1007/s11128-016-1329-5] not only simplifies the demonstrations but allows for a deeper understanding of the entropic properties involved.

A Generalization of Majorization that Characterizes Shannon Entropy

We introduce a binary relation on the finite discrete probability distributions which generalizes notions of majorization that have been studied in quantum information theory. Motivated by questions in thermodynamics, our relation describes the transitions induced by bistochastic maps in the presence of additional auxiliary systems which may become correlated in the process. We show that this relation is completely characterized by Shannon entropy H, which yields an interpretation of H in resource-theoretic terms, and admits a particularly simple proof of a known characterization of H in terms of natural information-theoretic properties.

Extremal Positive Maps on M3(ℂ) and Idempotent Matrices

A new method of analysing positive bistochastic maps on the algebra of complex matrices [Formula: see text] has been proposed. By identifying the set of such maps with a convex set of linear operators on [Formula: see text], one can employ techniques from the theory of compact semigroups to obtain results concerning asymptotic properties of positive maps. It turns out that the idempotent elements play a crucial role in classifying the convex set into subsets, in which representations of extremal positive maps are to be found. It has been shown that all positive bistochastic maps, extremal in the set of all positive maps of [Formula: see text], that are not Jordan isomorphisms of [Formula: see text] are represented by matrices that fall into two possible categories, determined by the simplest idempotent matrices: one by the zero matrix, and the other by a one-dimensional orthogonal projection. Some norm conditions for matrices representing possible extremal maps have been specified and examples of maps from both categories have been brought up, based on the results published previously.

On the Brukner–Zeilinger approach to information in quantum measurements

We address the problem of properly quantifying information in quantum theory. Brukner and Zeilinger proposed the concept of an operationally invariant measure based on measurement statistics. Their measure of information is calculated with probabilities generated in a complete set of mutually complementary observations. This approach was later criticized for several reasons. We show that some critical points can be overcome by means of natural extension or reformulation of the Brukner–Zeilinger approach. In particular, this approach is connected with symmetric informationally complete measurements. The ‘total information’ of Brukner and Zeilinger can further be treated in the context of mutually unbiased measurements as well as general symmetric informationally complete measurements. The Brukner–Zeilinger measure of information is also examined in the case of detection inefficiencies. It is shown to be decreasing under the action of bistochastic maps. The Brukner–Zeilinger total information can be used for estimating the map norm of quantum operations.

Time reversals of irreversible quantum maps

We propose an alternative notion of time reversal in open quantum systems as represented by linear quantum operations, and a related generalization of classical entropy production in the environment. This functional is the ratio of the probability to observe a transition between two states under the forward and the time reversed dynamics, and leads, as in the classical case, to fluctuation relations as tautological identities. As in classical dynamics in contact with a heat bath, time reversal is not unique, and we discuss several possibilities. For any bistochastic map its dual map preserves the trace and describes a legitimate dynamics reversed in time, in that case the entropy production in the environment vanishes. For a generic stochastic map we construct a simple quantum operation which can be interpreted as a time reversal. For instance, the decaying channel, which sends the excited state into the ground state with a certain probability, can be reversed into the channel transforming the ground state into the excited state with the same probability.

Stable Subspaces of Positive Maps of Matrix Algebras

We study stable subspaces of positive extremal maps of finite dimensional matrix algebras that preserve trace and matrix identity (so-called bistochastic maps). We have established the existence of the isometric-sweeping decomposition for such maps. As the main result of the paper, we have shown that all extremal bistochastic maps acting on the algebra of matrices of size 3×3 fall into one of the three possible categories, depending on the form of the stable subspace of the isometric-sweeping decomposition. Our example of an extremal atomic positive map seems to be the first one that handles the case of that subspace being non-trivial. Lastly, we compute the entanglement witness associated with the extremal map and specify a large family of entangled states detected by it.

Quantum entropy for the fuzzy sphere and its monopoles

Using generalized bosons, we construct the fuzzy sphere $S_F^2$ and monopoles on $S_F^2$ in a reducible representation of $SU(2)$. The corresponding quantum states are naturally obtained using the GNS-construction. We show that there is an emergent non-abelian unitary gauge symmetry which is in the commutant of the algebra of observables. The quantum states are necessarily mixed and have non-vanishing von Neumann entropy, which increases monotonically under a bistochastic Markov map. The maximum value of the entropy has a simple relation to the degeneracy of the irreps that constitute the reducible representation that underlies the fuzzy sphere.

Non-equilibrium equalities with unital quantum channels

A general tool for the description of open quantum systems is given by the formalism of quantum operations. The most important of these are trace-preserving maps, also known as quantum channels. We discuss those conditions on quantum channels under which the Jarzynski equality and related fluctuation theorems hold. It is essential that the representing quantum channel be unital. Under this condition, we first derive the corresponding Jarzynski equality. For a bistochastic map and its adjoint, we further formulate a theorem of Tasaki–Crooks type. In the context of unital channels, some notes on heat transfer between two quantum systems are given. We also consider the case of a finite system operated on by an external agent with feedback control. When unital channels are applied at the first stage and, for a mutual-information form, at the further ones, we obtain quantum Jarzynski–Sagawa–Ueda relations. These are extensions of the previously given results to unital quantum operations.

Entropic trade-off relations for quantum operations

Spectral properties of an arbitrary matrix can be characterized by the entropy of its rescaled singular values. Any quantum operation can be described by the associated dynamical matrix or by the corresponding superoperator. The entropy of the dynamical matrix describes the degree of decoherence introduced by the map, while the entropy of the superoperator characterizes the a priori knowledge of the receiver of the outcome of a quantum channel Phi. We prove that for any map acting on a N--dimensional quantum system the sum of both entropies is not smaller than ln N. For any bistochastic map this lower bound reads 2 ln N. We investigate also the corresponding R\'enyi entropies, providing an upper bound for their sum and analyze entanglement of the bi-partite quantum state associated with the channel.

Unitary quantum gates, perfect entanglers, and unistochastic maps

Non-local properties of ensembles of quantum gates induced by the Haar measure on the unitary group are investigated. We analyze the entropy of entanglement of a unitary matrix U equal to the Shannon entropy of the vector of singular values of the reshuffled matrix. Averaging the entropy over the Haar measure on U(N^2) we find its asymptotic behaviour. For two--qubit quantum gates we derive the induced probability distribution of the interaction content and show that the relative volume of the set of perfect entanglers reads 8/3 \pi \approx 0.85. We establish explicit conditions under which a given one-qubit bistochastic map is unistochastic, so it can be obtained by partial trace over a one--qubit environment initially prepared in the maximally mixed state.

Partitioned trace distances

New quantum distance is introduced as a half-sum of several singular values of difference between two density operators. This is, up to factor, the metric induced by so-called Ky Fan norm. The partitioned trace distances enjoy similar properties to the standard trace distance, including the unitary invariance, the strong convexity and the close relations to the classical distances. The partitioned distances cannot increase under quantum operations of certain kind including bistochastic maps. All the basic properties are re-formulated as majorization relations. Possible applications to quantum information processing are briefly discussed.

Composition of quantum states and dynamical subadditivity

We introduce a composition of quantum states of a bipartite system which is based on the reshuffling of density matrices. This non-Abelian product is associative and stems from the composition of quantum maps acting on a simple quantum system. It induces a semi-group in the subset of states with maximally mixed partial traces. Subadditivity of the von Neumann entropy with respect to this product is proved. It is equivalent to subadditivity of the entropy of bistochastic maps with respect to their composition, where the entropy of a map is the entropy of the corresponding state under the Jamiołkowski isomorphism. Strong dynamical subadditivity of a concatenation of three bistochastic maps is established. Analogous bounds for the entropy of a composition are derived for general stochastic maps. In the classical case they lead to new bounds for the entropy of a product of two stochastic matrices.

Irreversible weak limits of classical dynamical systems

A general discussion is given of weak limits of classical dynamical systems depending on a parameter. The resulting maps are shown to be invertible if and only if they define a group of measure preserving point transformations. The irreversible case automatically leads to positive bistochastic maps and is characterized in terms of convergence properties of the corresponding automorphisms of the observable algebra. Necessary and sufficient conditions are given for the limit to define a time-independent Markov process. Two models are discussed, for a particle in a periodic potential, and for a particle interacting with fixed configurations of external obstacles.