Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1012.4266 · Physical Review A

Operator-sum representation for bosonic Gaussian channels

J. Solomon Ivan, Krishna Kumar Sabapathy, R. Simon

Published Oct 6, 2011• 119 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1103/physreva.84.042311

Related papers

Divergence-free approach for obtaining decompositions of quantum-optical processes

Krishna Kumar Sabapathy, J. Solomon Ivan, Raúl García−Patrón +1 more

Operator-sum representations of quantum channels can be obtained by applying the channel to one subsystem of a maximally entangled state and deploying the channel-state isomorphism. However, for continuous-variable systems, such schemes contain natural divergences since the maximally entangled state is ill defined. We introduce a method that avoids such divergences by utilizing finitely entangled (squeezed) states and then taking the limit of arbitrary large squeezing. Using this method, we derive an operator-sum representation for all single-mode bosonic Gaussian channels where a unique feature is that both quantum-limited and noisy channels are treated on an equal footing. This technique facilitates a proof that the rank-1 Kraus decomposition for Gaussian channels at its respective entanglement-breaking thresholds, obtained in the overcomplete coherent-state basis, is unique. The methods could have applications to simulation of continuous-variable channels.

arXiv:1708.04256•Physical Review A•Feb 27, 2018•3 citations

Multi-mode bosonic Gaussian channels

Filippo Caruso, Jens Eisert, Vittorio Giovannetti +1 more

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

•Aug 4, 2013•52 citations

Multi-mode bosonic Gaussian channels

F Caruso, J Eisert, Vittorio Giovannetti +1 more

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.

arXiv:0804.0511•New Journal of Physics•Aug 20, 2008•90 citations

Divisibility classes of qubit maps and singular Gaussian channels

David Davalos

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.

arXiv:2009.00159•Sep 1, 2020•0 citations

Entanglement-breaking channels in infinite dimensions

Alexander Semenovich Holevo

We give a representation for entanglement-breaking channels in separable Hilbert space that generalizes the "Kraus decomposition with rank one operators" and use it to describe the complementary channels. We also give necessary and sufficient condition of entanglement-breaking for a general quantum Gaussian channel. Application of this condition to one-mode channels provides several new cases where the additivity conjecture holds in full generality.

arXiv:0802.0235•Feb 3, 2008•3 citations

Bosonic quantum communication beyond the thermal threshold

Francesco Anna Mele, Giuseppe Catalano, Marco Fanizza +2 more

The quantum capacity of the bosonic thermal attenuator, which is given by the regularization of its coherent information, is unknown. The seminal work of Holevo and Werner established in 1999 the standard one-use lower bound obtained from input thermal states. We first prove that this long-standing lower bound is the exact supremum over all single-mode Gaussian states and then show that, crucially, a non-Gaussian state can do better. As a consequence, we prove positivity of the quantum capacity in a parameter region where the channel is not antidegradable, yet its coherent information optimized over single-mode Gaussian states vanishes. For example, with one thermal photon in the environment and at transmissivity $η=0.8$, the coherent information is non-positive for every single-mode Gaussian input. We give an explicit rank-two non-Gaussian state, supported on only six Fock levels, whose coherent information is certified to be at least $4.7\times10^{-4}$ qubits per channel use. This short witness is far from numerically optimal: a numerical optimization over fixed non-Gaussian families reaches at least $8.4\times 10^{-3}$ qubits per channel use at the same point. More generally, at $ν=1$, using non-Gaussian inputs we certify positivity of the coherent information, and therefore of the quantum capacity, down to $η=0.7841$; by contrast, the channel is antidegradable, and hence has zero quantum capacity, for $η\leq0.75$. Overall, our work identifies new high-noise regimes in which bosonic quantum communication is possible.

quant-pharXiv:2607.27449•Jul 31, 2026•0 citations
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 D(\ensuremathκ)\mathcal{D}(\ensuremath{\kappa})D(\ensuremathκ) in the Holevo classification. The matrix transposition channels D(\ensuremathκ)\mathcal{D}(\ensuremath{\kappa})D(\ensuremathκ), D(\ensuremathκ\ensuremath−1)\mathcal{D}({\ensuremath{\kappa}}^{\ensuremath{-}1})D(\ensuremathκ\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κ\ensuremath{\kappa}\ensuremathκ and the beam-splitter channel with attenuation factor \ensuremathκ\ensuremath−1{\ensuremath{\kappa}}^{\ensuremath{-}1}\ensuremathκ\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.
Operator-sum representations of quantum channels can be obtained by applying the channel to one subsystem of a maximally entangled state and deploying the channel-state isomorphism. However, for continuous-variable systems, such schemes contain natural divergences since the maximally entangled state is ill defined. We introduce a method that avoids such divergences by utilizing finitely entangled (squeezed) states and then taking the limit of arbitrary large squeezing. Using this method, we derive an operator-sum representation for all single-mode bosonic Gaussian channels where a unique feature is that both quantum-limited and noisy channels are treated on an equal footing. This technique facilitates a proof that the rank-1 Kraus decomposition for Gaussian channels at its respective entanglement-breaking thresholds, obtained in the overcomplete coherent-state basis, is unique. The methods could have applications to simulation of continuous-variable channels.
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.
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.
The quantum capacity of the bosonic thermal attenuator, which is given by the regularization of its coherent information, is unknown. The seminal work of Holevo and Werner established in 1999 the standard one-use lower bound obtained from input thermal states. We first prove that this long-standing lower bound is the exact supremum over all single-mode Gaussian states and then show that, crucially, a non-Gaussian state can do better. As a consequence, we prove positivity of the quantum capacity in a parameter region where the channel is not antidegradable, yet its coherent information optimized over single-mode Gaussian states vanishes. For example, with one thermal photon in the environment and at transmissivity η=0.8η=0.8η=0.8, the coherent information is non-positive for every single-mode Gaussian input. We give an explicit rank-two non-Gaussian state, supported on only six Fock levels, whose coherent information is certified to be at least 4.7×10−44.7\times10^{-4}4.7×10−4 qubits per channel use. This short witness is far from numerically optimal: a numerical optimization over fixed non-Gaussian families reaches at least 8.4×10−38.4\times 10^{-3}8.4×10−3 qubits per channel use at the same point. More generally, at ν=1ν=1ν=1, using non-Gaussian inputs we certify positivity of the coherent information, and therefore of the quantum capacity, down to η=0.7841η=0.7841η=0.7841; by contrast, the channel is antidegradable, and hence has zero quantum capacity, for η≤0.75η\leq0.75η≤0.75. Overall, our work identifies new high-noise regimes in which bosonic quantum communication is possible.