Transforming quantum operations: quantum supermaps
We introduce the concept of quantum supermap, describing the most general transformation that maps an input quantum operation into an output quantum operation. Since quantum operations include as special cases quantum states, effects, and measurements, quantum supermaps describe all possible transformations between elementary quantum objects (quantum systems as well as quantum devices). After giving the axiomatic definition of supermap, we prove a realization theorem, which shows that any supermap can be physically implemented as a simple quantum circuit. Applications to quantum programming, cloning, discrimination, estimation, information-disturbance trade-off, and tomography of channels are outlined.
The input-output description of any quantum device is provided by the quantum operation of Kraus kraus (), which yields the most general probabilistic evolution of a quantum state. Precisely, the output state is given by the quantum operation applied to the input state as follows
where is the probability of occurring on state , when is one of a set of alternative transformations, such as in a quantum measurement. Owing to its physical meaning, a quantum operation must be a linear, trace non-increasing, completely positive (CP) map (see, e.g. Nielsen2000 ()). The most general form of such a map is known as Kraus form
where the operators satisfy the bound so that . Trace-preserving maps, i.e. those achieving the bound, are a particular kind of quantum operations: they occur deterministically and are referred to as quantum channels.
In general it is convenient to consider two different input and output Hilbert spaces and , respectively. In this way, the concept of quantum operation can be used to treat also quantum states, effects, and measurements, which describe the properties of elementary quantum objects such as quantum systems and measuring devices. Indeed, states can be described as quantum operations with one-dimensional , i.e. with Kraus operators given by ket-vectors , thus yielding the output state . A quantum effect ludwig () corresponds instead to a quantum operation with one-dimensional , i.e. with Kraus operators given by bra-vectors , yielding the probability with . More generally, any quantum measurement can be viewed as a particular quantum operation, namely as a quantum-to-classical channel qc ().
Channels, states, effects, and measurements are all special cases of quantum operations. What about then considering maps between quantum operations themselves? They would describe the most general kind of transformations between elementary quantum objects. For example a programmable channel NielsenProg () would be a map of this type, with a quantum state at the input and a channel at the output. Or else, a device that optimally clones a set of unknown unitary gates would be a map from channels to channels. We will call such a general class of quantum maps quantum supermaps, as they transform CP maps (sometimes referred to as superoperators) into CP maps.
In this paper we develop the basic tools to deal with quantum supermaps. The concept of quantum supermap is first introduced axiomatically, by fixing the minimal requirements that a map between quantum operations must fulfill. We then prove a realization theorem that provides any supermap with a physical implementation in terms of a simple quantum circuit with two open ports in which the input operation can be plugged. This result allows one to simplify the description of complex quantum circuits and to prove general theorems in quantum information theory. Moreover, the generality of the concept of supermap makes it fit for application in many different contexts, among which quantum programming, calibration, cloning, and estimation of devices.
To start with, we define the deterministic supermaps as those sending channels to channels. Conversely, a probabilistic supermap will send channels to arbitrary trace-non-increasing quantum operations. The minimal requirements that a deterministic supermap must satisfy in order to be physical are the following: it must be i) linear and ii) completely positive. Linearity is required to be consistent with the probabilistic interpretation. Indeed, if the input is a random choice of quantum operations , the output must be given by the same random choice of the transformed operations , and, if the input is the quantum operation with probability , the output must be the with probability , implying . Clearly, these two conditions imply that is a linear map on the linear space generated by quantum operations. Complete positivity is needed to ensure that the output of is a legitimate quantum operation even when is applied locally to a bipartite joint quantum operation, i.e. a quantum operation with bipartite input space and bipartite output space . If is a supermap transforming quantum operations with input (output) space (), complete positivity corresponds to require that is a CP map for any bipartite quantum operation , denoting the identity supermap on the spaces labeled by .
In order to deal with complete positivity it is convenient to use the Choi representation choi () of a CP map in terms of the positive operator on
where is the maximally entangled vector , an orthonormal basis, and is the identity operation. The correspondence is one-to-one, the inverse relation of Eq. (3) being
where denotes transposition in the basis . In terms of the Choi operator, the probability of occurrence of is given by , where is the effect . To have unit probability on any state, a quantum channel must have , i.e. its Choi operator must satisfy the normalization
A supermap maps quantum operations into quantum operations as . In the Choi representation, the supermap induces a linear map on Choi operators, as . Using Eq. (4), we can get back from as follows
Of course complete positivity of implies that the map is positive. On the other hand, it is easily seen that the bipartite structure of a joint operation over a composite system induces a bipartite structure of the Choi operator . The local application of the supermap —given by —then corresponds to the local application of —given by —whence is CP if and only if is CP.
Since the correspondence is one-to-one, in the following we will focus our attention on . The supermap sends positive operators on to positive operators on generally different Hilbert spaces . Complete positivity of is equivalent to the existence of a Kraus form
where are operators from to .
The following Lemmas provide the characterization of deterministic supermaps:
Any linear operator on such that for all Choi operators of channels has the form , with on satifying . For one has .
Proof. Consider a Choi operator with effect . Upon defining for some state on we have that is the Choi operator of a channel, normalized as in Eq. (5). Since by hypothesis , we have that
since is the Choi operator of a channel. Therefore,
where . Since does not depend on , the last equality can be rewritten as for all positive , whence , and in order to have for all , we must have . Clearly implies .
The supermap is deterministic iff there exists a channel from states on to states on such that, for any state on , one has
where is the dual map of defined in terms of the Kraus form in Eq. (7) by
Proof. One has . Consider a positive operator on , where is a state on . We have that
for all Choi operators of channels. According to Lemma 7, this implies , where is a state for any state . Since the maps , and are all CP, we have , where is a CP trace preserving map from states on to states on .
Remarkably, the same mathematical structure of Lemma 2 characterizes semi-causal quantum operations ESW (), i.e. operations on bipartite systems that allow signaling from system to system but not viceversa. In our case, this structure originates from the causality of input-output relations. An equivalent condition for a supermap to be deterministic is given by the following:
The supermap is deterministic iff there exists an identity preserving completely positive map such that, for any operator on , one has
Proof. This lemma follows from the previous one by considering that
for all states on . The map is identity preserving because it represents in the Schrödinger picture.
Eq. (13) shows that the effect depends only on the effect , e. g. not on . Basically, this reflects the fact that, in the input/output bipartition of the Choi operator, the output must not influence the transformation of the input effect.
Now we show that deterministic supermaps, so far introduced on a purely axiomatic level, can be physically realized with simple quantum circuits. Upon writing a canonical Kraus form for the completely positive map as follows
where and are orthonormal basis for and , respectively, and identity operators must be considered as acting on the appropriate Hilbert spaces— on the top and on the bottom part of Eq. (16). Eq. (16) gives two equivalent Kraus forms for the same CP map, of which the second one is canonical (since is canonical and are orthogonal). Therefore, there exists an isometry connecting the two sets of Kraus operators as follows
with . Explicitly
where and are orthonormal basis for two ancillary systems with Hilbert spaces and . From Eq. (17) we then obtain
Using Eq. (7) we can now evaluate the output Choi operator as follows
Finally, using Eq. (6) we get
where is the partial transposed of (see Eq. (20)) on the second space. Since the map is identity preserving, is an isometry, namely . We have then proved the following realization theorem
Every deterministic supermap can be realized by a four-port quantum circuit where the input operation is inserted between two isometries and and a final ancilla is discarded as in Fig. Transforming quantum operations: quantum supermaps. The output operation is given by
Since any isometry can be realized as a unitary interaction with an ancilla initialized in some reset state, the above Theorem entails a realization of supermaps in terms of unitary gates. However, we preferred stating it in terms of isometries in order to avoid the arbitrariness in the choice of the initial ancilla state.
We want now to emphasize that deterministic supermaps with do not preserve in general the probabilities of occurrence of arbitrary quantum operations: if is not a channel can be different from . This is clear from Fig. Transforming quantum operations: quantum supermaps, since the input state is generally changed by the isometry . Indeed, one can have the extreme situation in which for every the isometry feeds into a fixed state on which occur with certainty, thus transforming the probabilistic quantum operation into a deterministic one . For the above reason, we will call probability preserving those special deterministic supermaps with that also preserve occurrence probability for all states, namely which preserve the effect . Since the input effect is transformed into the output effect by the map , we may denote as the effect-map associated to the supermap , as in Eq. (13). It is immediate to see that the supermap is probability preserving if and only if its effect-map is the identity map.
Up to now we have considered only deterministic supermaps. What about the probabilistic ones? By definition a probabilistic supermap turns quantum channels into arbitrary trace-nonincreasing quantum operations. In this case, it is not always possible to associate an effect-map to . However, a probabilistic supermap is always completed to a deterministic one by some other supermaps , , , which can occur in place of , so that is deterministic. Each supermap is completely positive, hence it has a Kraus form with operators , and all Kraus forms together provide a Kraus form for the deterministic supermap . Therefore, since according to Eq. (19) each Kraus term is associated to an outcome of a von Neumann measurement over the ancilla with Hilbert space , any probabilistic supermap can be realized by a quantum circuit as in Fig. Transforming quantum operations: quantum supermaps, via postselection induced by a projective measurement over the ancilla.
Theorem 2Every probabilistic supermap can be realized by a four port scheme with measurement as in Fig. Transforming quantum operations: quantum supermaps, namely (24) with and isometries, and orthogonal projector over a subspace of the ancillary space .
Corollary 1 (Delayed reading principle)Every probabilistic quantum circuit is equivalent to a unitary circuit with a single orthogonal measurement at the output.
Before concluding, we outline list here some remarkable ante litteram examples of supermaps as well as some novel applications of this theoretical tool:
1. Quantum Compression of Information and Error Correction. The realization scheme of Fig. Transforming quantum operations: quantum supermaps entails as a special case the coding/decoding scheme at the basis of quantum error correction and information compression. Schumacher’s information compression Schumacher () is a beautiful ante litteram example of supermap, which turns a noiseless communication channel on a smaller system into a channel that reliably transfers states in a larger Hilbert space. Similarly, also error correction can be seen as a supermap, now turning a noisy channel on a larger Hilbert space into a noiseless channel acting on a smaller space. In both cases the supermap is given by the insertion of the input channel between two deterministic channels and (the coding and decoding maps, respectively), namely , with the additional constraint that the ancilla in Fig. Transforming quantum operations: quantum supermaps must be one-dimensional.
2. Cloning of transformations. An interesting application of quantum supermaps is the optimal cloning of transformations, instead of states. For example, an optimal cloner of unitary transformations would be a four-port circuit that turns an unknown unitary channel into a channel that maximizes the average channel fidelity with the bipartite channel . This device has been recently studied in Ref. ourclon (), and has optimal global fidelity , surpassing the value achievable by any classical cloning scheme. The non-classical performances of the cloning circuit essentially depend on the possibility of entangling system with the ancilla in Fig. Transforming quantum operations: quantum supermaps ourclon (). It is rather intriguing to investigate the possible cryptographic connections of the problem of optimally cloning unitary channels, which appear to be an harder task than cloning pure quantum states.
3. Discrimination/estimation of channels and memory channels. A probabilistic supermap with one-dimensional and sends a quantum operation into a probability . In this case the Kraus operators are given by bra-vectors with , and Eq. (7) yields where . A set of such probabilistic supermaps that sums up to a deterministic supermap plays for channels of the same role that a POVM plays for states: for any channel , the supermap gives a probability
with , and . The normalization of probabilities is ensured by the normalization condition of Eq. (10), which here reads
being a quantum state on . This set of probabilistic supermaps, completely specified by the operators , describes the most general setup one can devise in order to test a given property of a quantum channel, and can be used to discriminate between two or more channels, or else to estimate a signal encoded into a parametric family of channels and quantum operations. Such a set of probabilistic supermaps is a particular case of quantum circuit tester introduced in Refs. QCA (); unitdiscr () to treat the discrimination of causally ordered sequences of channels and the discrimination of memory channels. We notice that the particular case of probabilistic supermaps treated in this paragraph has been independently introduced in Ref. mario () under the name process POVM (PPOVM).
4. Information-disturbance trade-off for quantum operations. When the spaces and are non-trivial, a set of probabilistic supermaps summing up to a deterministic one provides for channels the analog of an instrument. Differently from a tester, which has only classical output (the outcome ), the output of such a supermap is both a classical outcome and an output quantum operation. In this setting, supermaps provide the opportunity to address the completely new problem of information-disturbance trade-off for quantum channels. For example, we may try to estimate a completely unknown unitary , producing at the same time a channel that is the most possibly similar to . Similarly to the problem of cloning quantum channels, the information-disturbance trade-off rises the intriguing possibility of new cryptographic protocols based on channels instead of states.
5. Quantum Tomography of devices. An interesting example of supermap is also that corresponding to tomography of quantum devices based their local application on bipartite states faith (); debby (); calib (). Tomography of quantum operations is based on the supermap that sends an input operation into an output state where is a faithful state on faith (), so that the output state is in one-to-one correspondence with the input operation. Note that, in order to have such a one-to-one correspondence, the map must be invertible, namely if and only if . Tracing Eq. (7) with an arbitrary operator on , one can easily see that invertibility of is equivalent to the condition
where denotes the linear span of a set, and the set of all operators on . Since sets an invertible correspondence between operations and states, one can perform an informationally complete measurement on the output state to completely characterize it. Note that, using probabilistic supermaps we can also combine the deterministic map and the infocomplete measurement in a single object, introducing the notion of informationally complete tester (see also Ref. mario ()), which is a tester with the property that the mapping is invertible. In this case, the invertibility condition of Eq. (27) becomes
As regards tomography of a POVM , this can be identified with the quantum-to-classical channel , and the above scheme applies as well.
6. Programmable devices. Programmable quantum channels NielsenProg () and measurements dp () are a remarkable example of supermaps. Impossibility of ideal programmability suggests to study optimal programmability. One could consider either deterministic-approximate case dp (); dpc (); zimapp (), or the probabilistic-exact one dubu (); berghill (); zibu (). In these applications an input state (the program) is turned into a channel or into a measurement (POVM) . For channels the supermap is given by , where is a unitary interaction. For programmable POVMs one has the set of probabilistic supermaps such that , where is a joint POVM. Equivalently, regarding the POVM as a channel from states to classical outcomes, one has the set of probabilistic supermaps with one-dimensional and so that , where is a joint POVM.
In conclusion, we have introduced the concept of quantum supermap, as a tool to describe all possible transformations between elementary quantum objects, i.e. states, channels, and measurements, with numerous applications to quantum information processing, cloning, discrimination, estimation, and information-disturbance trade-off for channels, tomography and calibration of devices, and quantum programming. A realization theorem has been presented, which shows that any abstract supermap can be physically implemented as a simple quantum circuit. The generality of the concept of supermap, describing any quantum evolution, allows one to use it as a tool to formulate and prove general theorems in quantum information theory and quantum mechanics, and to efficiently address an large number of novel applications.
Acknowledgments.— We thank D. M. Schlingemann and D. Kretschmann for many useful discussions about semi-causality and memory channels during the development of this work. We thank an anonymous referee for valuable suggestions in the revision of the original manuscript. This work has been founded by Ministero Italiano dell’Università e della Ricerca (MIUR) through PRIN 2005.
- (1) K. Kraus, States, Effects, and Operations (Springer-Verlag, Berlin,1983).
- (2) I. L. Chuang and M. A. Nielsen, Quantum Information and Quantum Computation (Cambridge University Press, Cambridge, 2000).
- (3) G. Ludwig, An Axiomatic Basis for Quantum Mechanics I: Derivation of Hilbert Space Structure (Springer, Berlin 1985).
- (4) A. S. Holevo, Russ. Math. Surveys 53, 1295 (1998); C. King, J. Math. Phys. 43, 1247 (2002).
- (5) M. A. Nielsen and I. L. Chuang, Phys. Rev. Lett. 79, 321 (1997).
- (6) M.-D. Choi, Lin. Alg. Appl. 10 285 (1975).
- (7) T. Eggeling, D. Schlingemann, and R. F. Werner, Europhys. Lett. 57, 782 (2002).
- (8) D. Kreschmann and R. F. Werner, Phys. Rev. A. 72 062323 (2005).
- (9) G. Chiribella, G. M. D’Ariano, and P. Perinotti, arXiv:0712.1325.
- (10) M Ozawa, J. Math. Phys. 5, 848 (1984).
- (11) Two causally connected quantum operations are indeed a four-port circuit in which an input device can be plugged, i.e. referring to Fig. Transforming quantum operations: quantum supermaps they are a supermap with one-dimensional ancilla space .
- (12) B. Schumacher, Phys. Rev. A 51, 2738 (1995).
- (13) G. Chiribella, G. M. D’Ariano, and P. Perinotti, arXiv:0804.0129.
- (14) G. Chiribella, G. M. D’Ariano, and P. Perinotti, arXiv:0803.3237.
- (15) M. Ziman, arxiv:0802.3862.
- (16) G. M. D’Ariano and P. Lo Presti, Phys. Rev. Lett. 91 047902 (2003)
- (17) D. Leung, J. Math. Phys. 44, 528 (2003).
- (18) G. M. D’Ariano, L. Maccone, P. Lo Presti, Phys. Rev. Lett. 93, 250407 (2004).
- (19) G. M. D’Ariano and P. Perinotti, Phys. Rev. Lett. 94, 090401 (2005).
- (20) G. M. D’Ariano and P. Perinotti, in Quantum Probability and Infinite Dimensional Analysis 20, ed. by L. Accardi, W. Freudenberg, and M. Schurmann (World Scientific, Singapore, 2007), pag. 173.
- (21) M. Hillery, M. Ziman, and V. Bužek, Phys. Rev. A 73, 022345 (2006).
- (22) M. Dušek, V. Bužek, Phys. Rev. A 66, 022112 (2002).
- (23) J. A. Bergou and M. Hillery, Phys. Rev. Lett. 94, 160501 (2005).
- (24) M. Ziman and V. Bužek, Phys. Rev. A 72, 022343 (2005).