Time Scale and Completely Positive Dynamical Evolutions
B. Vacchini
备注：
12 pages, no figures, contribution to the Proceedings of the Conference on The foundations of quantum mechanics - historical analysis and open questions, 1998 (Lecce, Italy)
发表信息：
The foundations of quantum mechanics - historical analysis and open questions, C. Garola and A. Rossi eds., p. 407-418, World Scientific, Singapore 2000
It is argued that in the description of macroscopic systems inside quantum mechanics the study of the dynamics of selected degrees of freedom slowly varying on a suitable time scale, corresponding to relevant observables for the given reduced description, is particularly meaningful. A formalism developing these ideas in the more simple case of a microsystem interacting with a macroscopic system is briefly outlined, together with an application to the field of neutron optics. The obtained reduced description relies on a T-matrix formalism and has the property of complete positivity.
In this work we examine quantum states which have non-negative amplitudes (in a fixed basis) and the channels which preserve them. These states include the ground states of stoquastic Hamiltonians and they are of interest since they avoid the Sign Problem and can thus be efficiently simulated. In optimization theory, the convex cone generated by such states is called the set of completely positive (CP) matrices (not be confused with completely positive superoperators). We introduce quantum channels which preserve these states and call them completely positive completely positive. To study thes…
The concept of the {\em half density matrix} is proposed. It unifies the quantum states which are described by density matrices and physical processes which are described by completely positive maps. With the help of the half-density-matrix representation of Hermitian linear map, we show that every positive map which is not completely positive is a {\em difference} of two completely positive maps. A necessary and sufficient condition for a positive map which is not completely positive is also presented, which is illustrated by some examples.
We construct a family of map which is shown to be positive when imposing certain condition on the parameters. Then we show that the constructed map can never be completely positive. After tuning the parameters, we found that the map still remain positive but it is not completely positive. We then use the positive but not completely positive map in the detection of bound entangled state and negative partial transpose entangled states.
We investigate completely positive maps for an open system interacting with its environment. The families of the initial states for which the reduced dynamics can be described by a completely positive map are identified within the framework of direct-sum decomposition of state space. They includes not only separable states with vanishing or nonvanishing quantum discord but also entangled states. A general expression of the families as well as the Kraus operators for the completely positive maps are explicitly given. It significantly extends the previous results.
A dynamical map is a map which takes one density operator to another. Such a map can be written in an operator-sum representation (OSR) using a spectral decomposition. The method of the construction applies to more general maps which need not be completely positive. The OSR not unique; there is a freedom to choose the set of operators in the OSR differently, yet still obtain the same map. Here we identify all maps which are equivalent to a given map. Whereas the freedom for completely positive maps is unitary, the freedom for maps which are not necessarily completely positive is pseudo-unitary…
We present an "uncertainty principle" for quantum channels, showing a relationship between the dimensions of the range of a channel and the range of its complement. We examine some interesting specific cases, and discuss consequences for privacy of quantum channels.
We expand the set of initial states of a system and its environment that are known to guarantee completely positive reduced dynamics for the system when the combined state evolves unitarily. We characterize the correlations in the initial state in terms of its quantum discord [H. Ollivier and W. H. Zurek, Phys. Rev. Lett. 88, 017901 (2001)]. We prove that initial states that have only classical correlations lead to completely positive reduced dynamics. The induced maps can be not completely positive when quantum correlations including, but not limited to, entanglement are present. We outline t…
We define an operational notion of phases in interferometry for a quantum system undergoing a completely positive non-unitary evolution. This definition is based on the concepts of quantum measurement theory. The suitable generalization of the Pancharatnan connection allows us to determine the dynamical and geometrical parts of the total phase between two states linked by a completely positive map. These results reduce to the knonw expressions of total, dynamical and geometrical phases for pure and mixed states evolving unitarily.
We study classical structures in various categories of completely positive morphisms: on sets and relations, on cobordisms, on a free dagger compact category, and on Hilbert spaces. As an application, we prove that quantum maps with commuting Kraus operators can be sequentialized. Hence such protocols are precisely as robust under general dephasing noise when entangled as when sequential.
We derive an extremal equation for optimal completely-positive map which most closely approximates a given transformation between pure quantum states. Moreover, we also obtain an upper bound on the maximal mean fidelity that can be attained by the optimal approximate transformation. The developed formalism is applied to universal-NOT gate, quantum cloning machines, quantum entanglers, and qubit theta-shifter.
The time evolution of an initially uncorrelated system is governed by a completely positive (CP) map. More generally, the system may contain initial (quantum) correlations with an environment, in which case the system evolves according to a not-completely positive (NCP) map. It is an interesting question what the relative measure is for these two types of maps within the set of positive maps. After indicating the scope of the full problem of computing the true volume for generic maps acting on a qubit, we study the case of Pauli channels in an abstract space whose elements represent an equival…
The notion of potential output purity of a completely positive map is introduced as a generalization of the regularized output purity. An upper bound is derived for this quantity, and for several classes of maps (including CQ, QC and Hadamard channels) it is shown that potential purity does not exceed the standard output purity. As an application the potential purity is used to bound the logarithmic Sobolev constant of a product of depolarizing channel semigroups.
Interpolating between positive, Schwarz, and completely positive evolution for d-level systems
Institute of Physics, Faculty of Physics, Astronomy and Informatics, Nicolaus Copernicus University（尼古拉·哥白尼大学物理、天文学和信息技术学院物理研究所）；Department of Mathematical Sciences College of Science, The United Arab Emirates University（阿拉伯联合酋长国大学理学院数学科学系）
A theorem of Blackwell about comparison between information structures in classical statistics is given an analogue in the quantum probabilistic setup. The theorem provides an operational interpretation for trace-preserving completely positive maps, which are the natural quantum analogue of classical stochastic maps. The proof of the theorem relies on the separation theorem for convex sets and on quantum teleportation.
By introducing an operator sum representation for arbitrary linear maps, 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 of "linear quantum error correction" is applicable in cases where the standard and restrictive assumption of a factorized initial system-bath state does not apply.
Einstein introduced the locality principle which states that all physical effect in some finite space-time region does not influence its space-like separated finite region. Recently, in algebraic quantum field theory, Rédei captured the idea of the locality principle by the notion of operational separability. The operation in operational separability is performed in some finite space-time region, and leaves unchanged the state in its space-like separated finite space-time region. This operation is defined with a completely positive map. In the present paper, we justify using a completely posit…
In the classical domain, it is well-known that divisibility does not imply that a stochastic process is Markovian. However, for quantum processes, divisibility is often considered to be synonymous with Markovianity. We show that completely positive (CP) divisible quantum processes can still involve non-Markovian temporal correlations, that we then fully classify using the recently developed process tensor formalism, which generalizes the theory of stochastic processes to the quantum domain.
We introduce a generalization of the set of completely positive matrices that we call "pairwise completely positive" (PCP) matrices. These are pairs of matrices that share a joint decomposition so that one of them is necessarily positive semidefinite while the other one is necessarily entrywise non-negative. We explore basic properties of these matrix pairs and develop several testable necessary and sufficient conditions that help determine whether or not a pair is PCP. We then establish a connection with quantum entanglement by showing that determining whether or not a pair of matrices is pai…
The description of the dynamics of a system that may be correlated with its environment is only meaningful within the context of a specific framework. Different frameworks rely upon different assumptions about the initial system-environment state. We reexamine the connections between complete-positivity and quantum discord within two different sets of assumptions about the relevant family of initial states. We present an example of a system-environment state with non-vanishing quantum discord that leads to a completely-positive map. This invalidates an earlier claim on the necessity of vanishi…
Open quantum dynamics in a tripartite scenario including a system, its environment and a passive reference is shown to resolve several open questions regarding not completely positive (NCP) dynamical maps as valid descriptions of open quantum evolution. The steering states of the system and the environment with respect to the reference, reduced down to a dense, compact set of states of the system alone, provides a well defined domain of action for a bonafide dynamical map describing the open evolution of the system. The map is not restricted to being completely positive (CP) but it preserves t…
A class of quantum channels and completely positive maps (CPMs) are introduced and investigated. These, which we call subspace preserving (SP) CPMs has, in the case of trace preserving CPMs, a simple interpretation as those which preserve probability weights on a given orthogonal sum decomposition of the Hilbert space of a quantum system. Several equivalent characterizations of SP CPMs are proved and an explicit construction of all SP CPMs, is provided. For a subclass of the SP channels a construction in terms of joint unitary evolution with an ancilla system, is presented.
In this work we extend the quantum channel detection method developed in [Phys. Rev. A 88, 042335 (2013)] and [Phys. Script. T153, 014044 (2013)] in order to detect other interesting convex sets of quantum channels. First we work out a procedure to detect non completely co-positive maps. Then we focus on the set of so-called bi-entangling operations and show how a map outside this set can be revealed. In both cases we provide explicit examples showing the theoretical technique and the corresponding experimental procedure.
We show that the set of not-completely-positive (NCP) maps is unbounded, unless further assumptions are made. This is done by first proposing a reasonable definition of a valid NCP map, which is nontrivial because NCP maps may lack a full positivity domain. The definition is motivated by specific examples. We prove that for valid NCP maps, the eigenvalue spectrum of the corresponding dynamical matrix is not bounded. Based on this, we argue that in general the volume measure of qubit maps, including NCP maps, is not well defined.
Axiomatic approach to measurement theory is developed. All the possible statistical properties of apparatuses measuring an observable with nondegenerate spectrum allowed in standard quantum mechanics are characterized.
We present an algorithm for projecting superoperators onto the set of completely positive, trace-preserving maps. When combined with gradient descent of a cost function, the procedure results in an algorithm for quantum process tomography: finding the quantum process that best fits a set of sufficient observations. We compare the performance of our algorithm to the diluted iterative algorithm as well as second-order solvers interfaced with the popular CVX package for MATLAB, and find it to be significantly faster and more accurate while guaranteeing a physical estimate.
We generalize the notion of relative phase to completely positive maps with known unitary representation, based on interferometry. Parallel transport conditions that define the geometric phase for such maps are introduced. The interference effect is embodied in a set of interference patterns defined by flipping the environment state in one of the two paths. We show for the qubit that this structure gives rise to interesting additional information about the geometry of the evolution defined by the CP map.
The phenomenological dissipation of the Bloch equations is reexamined in the context of completely positive maps. Such maps occur if the dissipation arises from a reduction of a unitary evolution of a system coupled to a reservoir. In such a case the reduced dynamics for the system alone will always yield completely positive maps of the density operator. We show that, for Markovian Bloch maps, the requirement of complete positivity imposes some Bloch inequalities on the phenomenological damping constants. For non-Markovian Bloch maps some kind of Bloch inequalities involving eigenvalues of the…
We propose an effective Hamiltonian approach to investigate decoherence of a quantum system in a non-Markovian reservoir, naturally imposing the complete positivity on the reduced dynamics of the system. The formalism is based on the notion of an effective reservoir, i.e., certain collective degrees of freedom in the reservoir that are responsible for the decoherence. As examples for completely positive decoherence, we present three typical decoherence processes for a qubit such as dephasing, depolarizing, and amplitude-damping. The effects of the non-Markovian decoherence are compared to the …
The structure of all completely positive quantum operations is investigated which transform pure two-qubit input states of a given degree of entanglement in a covariant way. Special cases thereof are quantum NOT operations which transform entangled pure two-qubit input states of a given degree of entanglement into orthogonal states in an optimal way. Based on our general analysis all covariant optimal two-qubit quantum NOT operations are determined. In particular, it is demonstrated that only in the case of maximally entangled input states these quantum NOT operations can be performed perfectl…
Finding the general set of system-environment states for which the reduced dynamics of the system is completely positive (CP) is the subject of some recent works. An advance in this context appeared in [X. Lu, Phys. Rev. A 93, 042332 (2016)], where the problem has been solved for the case of CP assignment map. Here, we restate this result using the framework introduced in [J. M. Dominy et al., Quantum Inf. Process. 15, 465 (2016)]. This, we think, clarifies the mentioned result better and so leads to a generalization of it, straightforwardly.
We use the Koashi-Imoto decomposition of the degrees of freedom of joint system-environment initial states to investigate the reduced dynamics. We show that a subset of joint system-environment initial states guarantees completely positive reduced dynamics, if and only if the system privately owns all quantum degrees of freedom and can locally access the classical degrees of freedom, without disturbing all joint initial states in the given subset. Furthermore, we show that the quantum mutual information for such kinds of states must be independent of the quantum degrees of freedom.
We introduce a framework for the construction of completely positive maps for subsystems of indistinguishable fermionic particles. In this scenario, the initial global state is always correlated, and it is not possible to tell system and environment apart. Nonetheless, a reduced map in the operator sum representation is possible for some sets of states where the only non-classical correlation present is exchange.
The prevailing description for dissipative quantum dynamics is given by the Lindblad form of a Markovian master equation, used under the assumption that memory effects are negligible. However, in certain physical situations, the master equation is essentially of a non-Markovian nature. This paper examines master equations that possess a memory kernel, leading to a replacement of white noise by colored noise. The conditions under which this leads to a completely positive, trace-preserving map are discussed for an exponential memory kernel. A physical model that possesses such an exponential mem…
The problem of conditions on the initial correlations between the system and the environment that lead to completely positive (CP) or not-completely positive (NCP) maps has been studied by various authors. Two lines of study may be discerned: one concerned with families of initial correlations that induce CP dynamics under the application of an arbitrary joint unitary on the system and environment; the other concerned with specific initial states that may be highly entangled. Here we study the latter problem, and highlight the interplay between the initial correlations and the unitary applied.…
We investigate the relation between two approaches to the characterisation of quantum Markovianity, divisibility and lack of information backflow. We show that a bijective dynamical map is completely-positive-divisible if and only if a monotonic non-increase of distinguishability is observed for two equiprobable states of the evolving system and an ancilla. Moreover our proof is constructive: given any such map that is not completely-positive-divisible, we give an explicit construction of two states that, when taken with the same a priori probability, exhibit information back-flow. Finally, wh…
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 - ψ$ with $ψ$ completely positive. This is used to give necessary and sufficient conditions for maps to be C-positive for a large class of mapping cones; in particular we apply the results to k-positive maps.
Two long standing open problems in quantum theory are to characterize the class of initial system-bath states for which quantum dynamics is equivalent to (1) a map between the initial and final system states, and (2) a completely positive (CP) map. The CP map problem is especially important, due to the widespread use of such maps in quantum information processing and open quantum systems theory. Here we settle both these questions by showing that the answer to the first is "all", with the resulting map being Hermitian, and that the answer to the second is that CP maps arise exclusively from th…
We consider open quantum systems with factorized initial states, providing the structure of the reduced system dynamics, in terms of environment cumulants. We show that such completely positive (CP) and trace preserving (TP) maps can be unraveled by linear stochastic Schrödinger equations (SSEs) characterized by sets of colored stochastic processes (with n-th order cumulants). We obtain both the conditions such that the SSEs provide CPTP dynamics, and those for unraveling an open system dynamics. We then focus on Gaussian non-Markovian unravellings, whose known structure displays a functional …
This article introduces PnCP, a MATLAB toolbox for constructing positive maps which are not completely positive. We survey optimization and sum of squares relaxation techniques to find the most numerically efficient methods for this construction. We also show how this package can be applied to the problem of classifying entanglement in quantum states.
By modeling the interaction of a system with an environment through a renewal approach, we demonstrate that completely positive non-Markovian dynamics may develop some unexplored non-standard statistical properties. The renewal approach is defined by a set of disruptive events, consisting in the action of a completely positive superoperator over the system density matrix. The random time intervals between events are described by an arbitrary waiting-time distribution. We show that, in contrast to the Markovian case, if one performs a system-preparation (measurement) at an arbitrary time, the s…
This is the reply to a Comment by R. F. O'Connell (Phys. Rev. Lett. 87 (2001) 028901) on a paper written by the author (B. Vacchini, ``Completely positive quantum dissipation'', Phys.Rev.Lett. 84 (2000) 1374, arXiv:quant-ph/0002094).
The study of open quantum systems relies on the notion of unital completely positive semigroups on $C^*$-algebras representing physical systems. The natural generalisation would be to consider the unital completely positive semigroups on operator systems. We show that any continuous unital completely positive semigroup on matricial system can be extended to a semigroup on a finite-dimensional $C^*$-algebra, which is an injective envelope of the matricial system. In case the semigroup is invertible, this extension is unique.
A linear map between matrix spaces is positive if it maps positive semidefinite matrices to positive semidefinite ones, and is called completely positive if all its ampliations are positive. In this article quantitative bounds on the fraction of positive maps that are completely positive are proved. A main tool are real algebraic geometry techniques developed by Blekherman to study the gap between positive polynomials and sums of squares. Finally, an algorithm to produce positive maps which are not completely positive is given.
We prove that the projection on a completely entangled subspace S of maximum dimension in a multipartite quantum system obtained by Parthasarathy is not positive under partial transpose. We next show that several positive operators with range in S also have the same property. In this process we construct an orthonormal basis of S and provide a linking theorem to link the constructions of completely entangled subspaces due to Parthasarthy, Bhat and Johnston.
Given commuting families of Hermitian matrices {A1, ..., Ak} and {B1, ...., Bk}, conditions for the existence of a completely positive map L, such that L(Aj) = Bj for j = 1, ...,k, are studied. Additional properties such as unital or / and trace preserving on the map ? are also considered. Connections of the study to dilation theory, matrix inequalities, unitary orbits, and quantum information science are mentioned.
A completely positive master equation describing quantum dissipation for a Brownian particle is derived starting from microphysical collisions, exploiting a recently introduced approach to subdynamics of a macrosystem. The obtained equation can be cast into Lindblad form with a single generator for each Cartesian direction. Temperature dependent friction and diffusion coefficients for both position and momentum are expressed in terms of the collision cross-section.
Convex sets of completely positive maps and positive semidefinite kernels are considered in the most general context of modules over $C^*$-algebras and a complete charaterization of their extreme points is obtained. As a byproduct, we determine extreme quantum instruments, preparations, channels, and extreme autocorrelation functions. Various applications to quantum information and measurement theories are given. The structure of quantum instruments is analyzed thoroughly.
Let $D$ be a space of $2\times n$ matrices. Then the face of the cone of all completely positive maps from $M_2$ into $M_n$ given by $D$ is an exposed face of the bigger cone of all decomposable positive linear maps if and only if the set of all rank one matrices in $D$ forms a subspace of $D$ together with zero and $D^\perp$ is spanned by rank one matrices.
We consider perturbations of dynamical semigroups on the algebra of all bounded operators in a Hilbert space generated by covariant completely positive measures on the semi-axis. The construction is based upon unbounded linear perturbations of generators of the preadjoint semigroups on the space of nuclear operators. As an application we construct a perturbation of the semigroup of non-unital *-endomorphisms on the algebra of canonical anticommutation relations resulting in the flow of shifts.
We investigate the set a) of positive, trace preserving maps acting on density matrices of size N, and a sequence of its nested subsets: the sets of maps which are b) decomposable, c) completely positive, d) extended by identity impose positive partial transpose and e) are superpositive. Working with the Hilbert-Schmidt (Euclidean) measure we derive tight explicit two-sided bounds for the volumes of all five sets. A sample consequence is the fact that, as N increases, a generic positive map becomes not decomposable and, a fortiori, not completely positive. Due to the Jamiolkowski isomorphism, …
King and Ruskai asked whether the norm of a completely positive map acting between Schatten classes of operators is equal to that of its restriction to the real subspace of self-adjoint operators. Proofs have been promptly supplied by Watrous and Audenaert. Here we provide one more proof, in fact of a slightly more general fact, under the (slightly weaker) assumption of 2-positivity. The argument is elementary and self-contained.
We define a perturbative approximation for the solution of Lindblad master equations with time-dependent generators that satisfies the fundamental property of complete positivity, as essential for quantum simulations and optimal control. With explicit examples we show that ensuring this property substantially improves the accuracy of the perturbative approximation.
The recently introduced CP*-construction unites quantum channels and classical systems, subsuming the earlier CPM-construction in categorical quantum mechanics. We compare this construction to two earlier attempts at solving this problem: freely adding biproducts to CPM, and freely splitting idempotents in CPM. The CP*-construction embeds the former, and embeds into the latter, but neither embedding is an equivalence in general.
