The semigroup structure of Gaussian channels

We investigate the semigroup structure of bosonic Gaussian quantum channels. Particular focus lies on the sets of channels which are divisible, idempotent or Markovian (in the sense of either belonging to one-parameter semigroups or being infinitesimal divisible). We show that the non-compactness of the set of Gaussian channels allows for remarkable differences when comparing the semigroup structure with that of finite dimensional quantum channels. For instance, every irreversible Gaussian channel is shown to be divisible in spite of the existence of Gaussian channels which are not infinitesimal divisible. A simpler and known consequence of non-compactness is the lack of generators for certain reversible channels. Along the way we provide new representations for classes of Gaussian channels: as matrix semigroup, complex valued positive matrices or in terms of a simple form describing almost all one-parameter semigroups.

[1]  J. Cirac,et al.  Dividing Quantum Channels , 2006, math-ph/0611057.

[2]  Bruno Nachtergaele,et al.  Finitely Correlated Pure States , 1994 .

[3]  Michael M. Wolf,et al.  Deciding whether a Quantum Channel is Markovian is NP-hard , 2009, ArXiv.

[4]  E. Sudarshan,et al.  Completely Positive Dynamical Semigroups of N Level Systems , 1976 .

[5]  Barry C. Sanders,et al.  Quantum Information with Continuous Variables of Atoms and Light , 2007 .

[6]  R. Werner,et al.  Evaluating capacities of bosonic Gaussian channels , 1999, quant-ph/9912067.

[7]  Frank Verstraete,et al.  Matrix product state representations , 2006, Quantum Inf. Comput..

[8]  E. Hewitt,et al.  Abstract Harmonic Analysis , 1963 .

[9]  J. Eisert,et al.  Multi-mode bosonic Gaussian channels , 2008, 0804.0511.

[10]  S. Johansen A central limit theorem for finite semigroups and its application to the imbedding problem for finite state Markov chains , 1973 .

[11]  J. Williamson,et al.  The Exponential Representation of Canonical Matrices , 1939 .

[12]  J. Eisert,et al.  Gaussian quantum channels , 2005, quant-ph/0505151.

[13]  G. Lindblad On the generators of quantum dynamical semigroups , 1976 .

[14]  Charles R. Johnson,et al.  Topics in Matrix Analysis , 1991 .

[15]  W. Culver On the existence and uniqueness of the real logarithm of a matrix , 1966 .

[16]  M. Wolf,et al.  Not-so-normal mode decomposition. , 2007, Physical review letters.

[17]  Michael M. Wolf,et al.  The Complexity of Relating Quantum Channels to Master Equations , 2009, 0908.2128.

[18]  R. Simon,et al.  The real symplectic groups in quantum mechanics and optics , 1995, quant-ph/9509002.

[19]  R. Nagel,et al.  A Short Course on Operator Semigroups , 2006 .

[20]  J Eisert,et al.  Assessing non-Markovian quantum dynamics. , 2007, Physical review letters.

[21]  P. Vanheuverzwijn Generators for Quasifree Completely Positive Semigroups , 1978 .