Divisibility of qubit channels and dynamical maps

David Davalos1, Mario Ziman2,3, and Carlos Pineda1,4

1Instituto de Física Universidad Nacional Autónoma de México, Ciudad de México, México
2Institute of Physics, Slovak Academy of Sciences, Dúbraská cesta 9, Bratislava 84511, Slovakia
3Faculty of Informatics, Masaryk University, Botanická 68a, 60200 Brno, Czech Republic
4Faculty of Physics, University of Vienna, 1090 Vienna, Austria

The concept of divisibility of dynamical maps is used to introduce an analogous concept for quantum channels by analyzing the $\textit{simulability}$ of channels by means of dynamical maps. In particular, this is addressed for Lindblad divisible, completely positive divisible and positive divisible dynamical maps. The corresponding L-divisible, CP-divisible and P-divisible subsets of channels are characterized (exploiting the results by Wolf et al. [25] and visualized for the case of qubit channels. We discuss the general inclusions among divisibility sets and show several equivalences for qubit channels. To this end we study the conditions of L-divisibility for finite dimensional channels, especially the cases with negative eigenvalues, extending and completing the results of Ref. [26]. Furthermore we show that transitions between every two of the defined divisibility sets are allowed. We explore particular examples of dynamical maps to compare these concepts. Finally, we show that every divisible but not infinitesimal divisible qubit channel (in positive maps) is entanglement-breaking, and open the question if something similar occurs for higher dimensions.

Quantum channels are the basic mathematical objects to describe noisy manipulations of quantum information, irreversible quantum dynamics and open quantum systems. Thus, the study of their mathematical properties is crucial to understand how quantum systems evolve. Time evolutions of quantum systems, so-called quantum dynamical maps, are associated with continuous curves in the space of quantum channels,. Surprisingly, there are quantum channels that cannot be understood as concatenations of the others. From the perspective of continuous time the existence of such indivisible quantum processes is a bit perplexing, especially how the indivisibility is reflected by properties of the generating quantum dynamical maps.

We address the problem of which channels can be implemented as concatenation of other channels. We define several divisibility types, and investigate how they are related with the implementability of quantum channels using dynamical maps. To illustrate this, think in the following example. The flip of the direction of the magnetization of a spin might be understood as a discrete operation. But we can ask for the dynamical process that changes continuously the direction of the spin, and what mathematical properties the process must fulfill.

In the context of quantum information and open quantum systems, the dynamical maps are typically presented in the form of master equations generalizing the concept of Schroedinger equation determining the evolution of closed quantum systems. The most known and studied are the so-called Markovian quantum evolutions. The concept of Markovianity is closely related to the concept of channel divisibility. In particular, being a result of Markovian evolution implies the channel can be divided into an infinite number of quantum channels that can be chosen to be infinitesimal (i.e. they describe arbitrary small changes on the system).

Our contribution includes the analysis of tests deciding on the Markovianity features of quantum channels, their connections to different types of divisibility and entanglement. We also question the transitions between different types of Markovianity and divisibility. By analysing particular quantum dynamical maps we showed that all transitions are possible. We give an extensive characterization of the channels acting on the qubit system. Seizing the mathematical simplicity of the qubit channels that leave invariant the state with highest entropy, we present visually the structure and symmetries of channels enjoying each studied type of divisibility. We found that divisible but not infinitesimal divisible qubit channels are necessarily entanglement-breaking, i.e. they destroy all originally existing entanglement.

► BibTeX data

► References

[1] Ángel Rivas, Susana F Huelga, and Martin B Plenio. Quantum non-markovianity: characterization, quantification and detection. Rep. Prog. Phys., 77 (9): 094001, 2014. 10.1088/​0034-4885/​77/​9/​094001.

[2] I. Bengtsson and K. Życzkowski. Geometry of Quantum States: An Introduction to Quantum Entanglement. Cambridge University Press, 2017. ISBN 9781107026254. URL https:/​/​books.google.com.mx/​books?id=sYswDwAAQBAJ.

[3] W. J Culver. On the Existence and Uniqueness of the Real Logarithm of a Matrix. Proceedings of the American Mathematical Society, 17 (5): 1146-1151, 1966. 10.1090/​S0002-9939-1966-0202740-6.

[4] L. V. Denisov. Infinitely Divisible Markov Mappings in Quantum Probability Theory. Theory Prob. Appl., 33 (2): 392-395, 1989. 10.1137/​1133064.

[5] D. E. Evans and J. T. Lewis. Dilations of Irreversible Evolutions in Algebraic Quantum Theory, volume 24 of Communications of the Dublin Institute for Advanced Studies: Theoretical physics. Dublin Institute for Advanced Studies, 1977. URL http:/​/​orca.cf.ac.uk/​34031/​.

[6] S. N. Filippov, J. Piilo, S. Maniscalco, and M. Ziman. Divisibility of quantum dynamical maps and collision models. Phys. Rev. A, 96 (3): 032111, 2017. 10.1103/​PhysRevA.96.032111.

[7] V. Gorini, A. Kossakowski, and E. C. G. Sudarshan. Completely positive dynamical semigroups of N-level systems. J. Math. Phys., 17 (5): 821, 1976. 10.1063/​1.522979.

[8] A. D. Greentree, J. Koch, and J. Larson. Fifty years of Jaynes–Cummings physics. J. Phy. B, 46 (22): 220201, 2013. 10.1088/​0953-4075/​46/​22/​220201.

[9] S. Haroche and J.-M. Raimond. Exploring the Quantum: Atoms, Cavities, and Photons. Oxford University Press, USA, 2006. URL http:/​/​www.worldcat.org/​isbn/​0198509146.

[10] T. Heinosaari and M. Ziman. The Mathematical Language of Quantum Theory: From Uncertainty to Entanglement. Cambridge University Press, 2012. 10.1017/​CBO9781139031103.

[11] R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki. Quantum entanglement. Rev. Mod. Phys., 81 (2): 865-942, 2009. 10.1103/​RevModPhys.81.865.

[12] E. T. Jaynes and F. W. Cummings. Comparison of quantum and semiclassical radiation theories with application to the beam maser. Proc. IEEE, 51: 89, 1963. 10.1109/​PROC.1963.1664.

[13] A. B. Klimov and S. M. Chumakov. A Group-Theoretical Approach to Quantum Optics: Models of Atom-Field Interactions. Wiley-VCH, 2009. 10.1002/​9783527624003.

[14] A. Kossakowski. On quantum statistical mechanics of non-hamiltonian systems. Rep. Math. Phys., 3 (4): 247 - 274, 1972. 10.1016/​0034-4877(72)90010-9.

[15] J. M. Leinaas, J. Myrheim, and E. Ovrum. Geometrical aspects of entanglement. Phys. Rev. A, 74: 012313, Jul 2006. 10.1103/​PhysRevA.74.012313.

[16] G. Lindblad. On the generators of quantum dynamical semigroups. Comm. Math. Phys., 48 (2): 119-130, 1976. 10.1007/​BF01608499.

[17] M. Musz, M. Kuś, and K. Życzkowski. Unitary quantum gates, perfect entanglers, and unistochastic maps. Phys. Rev. A, 87: 022111, Feb 2013. 10.1103/​PhysRevA.87.022111.

[18] C. Pineda, T. Gorin, D. Davalos, D. A. Wisniacki, and I. García-Mata. Measuring and using non-Markovianity. Phys. Rev. A, 93: 022117, 2016. 10.1103/​PhysRevA.93.022117.

[19] Ł. Rudnicki, Z. Puchała, and K. Zyczkowski. Gauge invariant information concerning quantum channels. Quantum, 2: 60, April 2018. ISSN 2521-327X. 10.22331/​q-2018-04-11-60.

[20] M. B. Ruskai, S. Szarek, and E. Werner. An analysis of completely-positive trace-preserving maps on M$_2$. Lin. Alg. Appl., 347 (1): 159 - 187, 2002. 10.1016/​S0024-3795(01)00547-X.

[21] T. Rybár, S. N. Filippov, M. Ziman, and V. Bužek. Simulation of indivisible qubit channels in collision models. J. Phys. B, 45 (15): 154006, 2012. 10.1088/​0953-4075/​45/​15/​154006.

[22] B. Vacchini, A. Smirne, E.-M. Laine, J. Piilo, and H.-P. Breuer. Markovianity and non-markovianity in quantum and classical systems. New J. Phys., 13 (9): 093004, 2011. 10.1088/​1367-2630/​13/​9/​093004.

[23] F. Verstraete and H. Verschelde. On quantum channels. Unpublished, 2002. URL http:/​/​arxiv.org/​abs/​quant-ph/​0202124.

[24] F. Verstraete, J. Dehaene, and B. DeMoor. Local filtering operations on two qubits. Phys. Rev. A, 64 (1): 010101, 2001. 10.1103/​PhysRevA.64.010101.

[25] M. M. Wolf and J. I. Cirac. Dividing quantum channels. Comm. Math. Phys., 279 (1): 147-168, 2008. 10.1007/​s00220-008-0411-y.

[26] M. M. Wolf, J. Eisert, T. S. Cubitt, and J. I. Cirac. Assessing non-Markovian quantum dynamics. Phys. Rev. Lett., 101 (15): 150402, 2008. 10.1103/​PhysRevLett.101.150402.

[27] M. Ziman and V. Bužek. All (qubit) decoherences: Complete characterization and physical implementation. Phys. Rev. A, 72: 022110, Aug 2005. 10.1103/​PhysRevA.72.022110.

[28] M. Ziman and V. Bužek. Concurrence versus purity: Influence of local channels on Bell states of two qubits. Phys. Rev. A, 72 (5): 052325, 2005. 10.1103/​PhysRevA.72.052325.

Cited by

[1] Sagnik Chakraborty and Dariusz Chruściński, "Information flow versus divisibility for qubit evolution", Physical Review A 99 4, 042105 (2019).

[2] Zbigniew Puchała, Łukasz Rudnicki, and Karol Życzkowski, "Pauli semigroups and unistochastic quantum channels", arXiv:1903.12448.

The above citations are from SAO/NASA ADS (last updated 2019-06-20 13:14:20). The list may be incomplete as not all publishers provide suitable and complete citation data.

On Crossref's cited-by service no data on citing works was found (last attempt 2019-06-20 13:14:18).