Properties of Bosonic linear (quasi-free) channels, in particular, Bosonic Gaussian channels with two types of degeneracy are considered. The first type of degeneracy can be interpreted as existence of noise-free canonical variables (for Gaussian channels it means that $\detα=0$). It is shown that this degeneracy implies existence of (infinitely many) "direct sum decompositions" of Bosonic linear channel, which clarifies reversibility properties of this channel (described in arXiv:1212.2354) and provides explicit construction of reversing channels. The second type of degeneracy consists in rank deficiency of the operator describing transformations of canonical variables. It is shown that this degeneracy implies existence of (infinitely many) decompositions of input space into direct sum of orthogonal subspaces such that the restriction of Bosonic linear channel to each of these subspaces is a discrete classical-quantum channel.
Properties of Bosonic linear (quasi-free) channels, in particular, Bosonic Gaussian channels with two types of degeneracy are considered. The first type of degeneracy can be interpreted as existence of noise-free canonical variables (for Gaussian channels it means that detα=0). It is shown that this degeneracy implies existence of (infinitely many) "direct sum decompositions" of Bosonic linear channel, which clarifies reversibility properties of this channel (described in arXiv:1212.2354) and provides explicit construction of reversing channels. The second type of degeneracy consists in rank deficiency of the operator describing transformations of canonical variables. It is shown that this degeneracy implies existence of (infinitely many) decompositions of input space into direct sum of orthogonal subspaces such that the restriction of Bosonic linear channel to each of these subspaces is a discrete classical-quantum channel.
The method of complementary channel for analysis of reversibility (sufficiency) of a quantum channel with respect to families of input states (pure states for the most part) are considered and applied to Bosonic linear (quasi-free) channels, in particular, to Bosonic Gaussian channels. The obtained reversibility conditions for Bosonic linear channels have clear physical interpretation and their sufficiency is also shown by explicit construction of reversing channels. The method of complementary channel gives possibility to prove necessity of these conditions and to describe all reversed families of pure states in the Schrodinger representation. Some applications in quantum information theory are considered. Conditions for existence of discrete classical-quantum subchannels and of completely depolarizing subchannels of a Bosonic linear channel are presented.
A complete analysis of multi-mode bosonic Gaussian channels is proposed. We clarify the structure of unitary dilations of general Gaussian channels involving any number of bosonic modes and present a normal form. The maximum number of auxiliary modes that is needed is identified, including all rank deficient cases, and the specific role of additive classical noise is highlighted. By using this analysis, we derive a canonical matrix form of the noisy evolution of n-mode bosonic Gaussian channels and of their weak complementary counterparts, based on a recent generalization of the normal mode decomposition for non-symmetric or locality constrained situations. It allows us to simplify the weak-degradability classification. Moreover, we investigate the structure of some singular multi-mode channels, like the additive classical noise channel that can be used to decompose a noisy channel in terms of a less noisy one in order to find new sets of maps with zero quantum capacity. Finally, the two-mode case is analyzed in detail. By exploiting the composition rules of
A complete analysis of multi-mode bosonic Gaussian channels (BGCs) is proposed. We clarify the structure of unitary dilations of general Gaussian channels involving any number of bosonic modes and present a normal form. The maximum number of auxiliary modes that is needed is identified, including all rank deficient cases, and the specific role of additive classical noise is highlighted. By using this analysis, we derive a canonical matrix form of the noisy evolution of n -mode BGCs and of their weak complementary counterparts, based on a recent generalization of the normal mode decomposition for non-symmetric or locality constrained situations. This allows us to simplify the weak-degradability classification. Moreover, we investigate the structure of some singular multi-mode channels, like the additive classical noise channel that can be used to decompose a noisy channel in terms of a less noisy one in order to find new sets of maps with zero quantum capacity. Finally, the two-mode case is analyzed in detail. By exploiting the composition rules of two-mode maps and the fact that anti-degradable channels cannot be used to transfer quantum information, we identify sets of two-mode bosonic channels with zero capacity.
Operator-sum or Kraus representations for single-mode bosonic Gaussian channels are developed, and several of their consequences explored. The fact that the two-mode metaplectic operators acting as unitary purification of these channels do not, in their canonical form, mix the position and momentum variables is exploited to present a procedure which applies uniformly to all families in the Holevo classification. In this procedure the Kraus operators of every quantum-limited Gaussian channel can be simply read off from the matrix elements of a corresponding metaplectic operator. Kraus operators are employed to bring out, in the Fock basis, the manner in which the antilinear, unphysical matrix transposition map when accompanied by injection of a threshold classical noise becomes a physical channel, denoted $\mathcal{D}(\ensuremath{\kappa})$ in the Holevo classification. The matrix transposition channels $\mathcal{D}(\ensuremath{\kappa})$, $\mathcal{D}({\ensuremath{\kappa}}^{\ensuremath{-}1})$ turn out to be a dual pair in the sense that their Kraus operators are related by the adjoint operation. The amplifier channel with amplification factor $\ensuremath{\kappa}$ and the beam-splitter channel with attenuation factor ${\ensuremath{\kappa}}^{\ensuremath{-}1}$ turn out to be mutually dual in the same sense. The action of the quantum-limited attenuator and amplifier channels as simply scaling maps on suitable quasiprobabilities in phase space is examined in the Kraus picture. Consideration of cumulants is used to examine the issue of fixed points. The semigroup property of the amplifier and attenuator families leads in both cases to a Zeno-like effect arising as a consequence of interrupted evolution. In the cases of entanglement-breaking channels a description in terms of rank 1 Kraus operators is shown to emerge quite simply. In contradistinction, it is shown that there is not even one finite rank operator in the entire linear span of Kraus operators of the quantum-limited amplifier or attenuator families, an assertion far stronger than the statement that these are not entanglement breaking channels. A characterization of extremality in terms of Kraus operators, originally due to Choi, is employed to show that all quantum-limited Gaussian channels are extremal. The fact that almost every noisy Gaussian channel can be realized as a product of a pair of quantum-limited channels is used to construct a discrete set of linearly independent Kraus operators for these noisy Gaussian channels, including the classical noise channel, and these Kraus operators have a particularly simple structure.
We present two projects concerning the main part of my PhD work. In the first one we study quantum channels, which are the most general operations mapping quantum states into quantum states, from the point of view of their divisibility properties. We introduced tools to test if a given quantum channel can be implemented by a process described by a Lindblad master equation. This in turn defines channels that can be divided in such a way that they form a one-parameter semigroup, thus introducing the most restricted studied divisibility type of this work. Using our results, together with the study of other types of divisibility that can be found in the literature, we characterized the space of qubit quantum channels. We found interesting results connecting the concept of entanglement-breaking channel and infinitesimal divisibility. Additionally we proved that infinitely divisible channels are equivalent to the ones that are implementable by one-parameter semigroups, opening this question for more general channel spaces. In the second project we study the functional forms of one-mode Gaussian quantum channels in the position state representation, beyond Gaussian functional forms. We perform a black-box characterization using complete positivity and trace preserving conditions, and report the existence of two subsets that do not have a functional Gaussian form. The study covers as particular limit the case of singular channels, thus connecting our results with the known classification scheme based on canonical forms. Our full characterization of Gaussian channels without Gaussian functional form is completed by showing how Gaussian states are transformed under these operations, and by deriving the conditions for the existence of master equations for the non-singular cases.
We study continuous variable systems, in which quantum and classical degrees of freedom are combined and treated on the same footing. Thus all systems, including the inputs or outputs to a channel, may be quantum-classical hybrids. This allows a unified treatment of a large variety of quantum operations involving measurements or dependence on classical parameters. The basic variables are given by canonical operators with scalar commutators. Some variables may commute with all others and hence generate a classical subsystem. We systematically study the class of "quasifree" operations, which are characterized equivalently either by an intertwining condition for phase-space translations or by the requirement that, in the Heisenberg picture, Weyl operators are mapped to multiples of Weyl operators. This includes the well-known Gaussian operations, evolutions with quadratic Hamiltonians, and "linear Bosonic channels", but allows for much more general kinds of noise. For example, all states are quasifree. We sketch the analysis of quasifree preparation, measurement, repeated observation, cloning, teleportation, dense coding, the setup for the classical limit, and some aspects of irreversible dynamics, together with the precise salient tradeoffs of uncertainty, error, and disturbance. Although the spaces of observables and states are infinite dimensional for every non-trivial system that we consider, we treat the technicalities related to this in a uniform and conclusive way, providing a calculus that is both easy to use and fully rigorous.