Abstract
Thermal attenuator channels model the decoherence of quantum systems interacting with a thermal bath, e.g., a twolevel system subject to thermal noise and an electromagnetic signal traveling through a fiber or in freespace. Hence determining the quantum capacity of these channels is an outstanding open problem for quantum computation and communication. Here we derive several upper bounds on the quantum capacity of qubit and bosonic thermal attenuators. We introduce an extended version of such channels which is degradable and hence has a singleletter quantum capacity, bounding that of the original thermal attenuators. Another bound for bosonic attenuators is given by the bottleneck inequality applied to a particular channel decomposition. With respect to previously known bounds we report better results in a broad range of attenuation and noise: we can now approximate the quantum capacity up to a negligible uncertainty for most practical applications, e.g., for low thermal noise.
Similar content being viewed by others
Introduction
The study of information transmission between distant parties has attracted much theoretical attention since the seminal work of Shannon^{1,2}, who gave birth to the field of information theory by determining the ultimate limits for compression and transmission rate. The latter is called information capacity and it depends on the specific channel that is used to model a physical transmission process. Hence, since the information carriers are ultimately governed by the laws of quantum physics, in more recent years there has been interest in analyzing the communication problem in a quantum setting, giving birth to the field of quantum communication and information theory^{3,4,5,6,7}. Several results have been obtained so far, such as: an expression for the capacity of a quantum channel for the transmission of classical information^{8,9,10,11,12} and its explicit value for some classes of channels^{5,6,13,14,15,16,17,18,19}; the use of entanglement^{20} as a resource for communication^{21,22}; the capacity of a quantum channel for the transmission of quantum information, i.e., of states preserving quantum coherence^{23,24,25,26}. The latter is called quantum capacity of the channel and constitutes the main focus of this work. As usual in information theory, although a formula exists for this quantity, it is quite difficult to compute for general channels, due for example to the necessary regularization that takes into account the use of entangled inputs over multiple channel uses^{27}. The problem simplifies considerably for the so called degradable channels^{19,28,29,30,31}, but it also exhibits some striking features in other cases^{32,33,34,35,36}. An important class of channels is that of Thermal Attenuators (TAs), which describe the effect of energy loss due to the interaction with a thermal environment. Common examples of this class are the qubit thermal attenuator or generalized amplitude damping channel^{7,19} and its infinitedimensional counterpart given by the bosonic Gaussian thermal attenuator^{3,4,37}. Physically, the former is a good model for the thermalization process of a twolevel system (e.g., a singlequbit quantum memory) in contact with a thermal bath, while the latter is the standard description for opticalfiber and freespace communications in the presence of thermal noise. Notice that thermal noise at room temperature is not negligible for lowfrequency electromagnetic signals like, e.g., infrared lasers, microwaves, radio waves, etc. For example, a crude estimate of the thermal noise in a real communication channel can be obtained by using the Bose–Einstein distribution at the desired wavelength to estimate the excess contribution to the mean photon number of the transmitted signal: this grows from O(10^{−14}) at telecom wavelengths, i.e., 1550 nm, and O(10) at microwave wavelengths, i.e., 1 mm and above. Accordingly, although the thermal noise may be negligible at telecom wavelengths, it becomes increasingly important as one spans the whole optical domain and it is a crucial parameter in the microwave domain. Hence the study of information transmission on TAs is of particular relevance for future quantum communication networks where hybrid interfaces will be employed, e.g., superconducting qubits connected by microwave communication lines, see refs. ^{38,39}. In both the qubit and bosonic cases, the corresponding quantum capacity is known^{19,40} only for a zerotemperature environment, since in this limit both channels are degradable^{28,29,30}. However the more general finitetemperature case breaks the degradability property and it has not been successfully tackled so far, apart from establishing some upper and lower bounds^{41,42,43}.
In this article, we introduce a general method to compute new bounds on the capacity of any quantum channel which is weakly degradable in the sense of ref. ^{29,31}. It is based on the purification of the environment by an additional system, which is then included in the output of an extended version of the original channel. Degradability is restored for such extended channel and its quantum capacity can be easily computed, providing an upper bound on the capacity of the original channel, which is tight in the limit of small environmental noise. This result applies to any weakly degradable channel but, in order to be more explicit, here we compute the associated upper bound for both the qubit and continuousvariable thermal attenuators. Moreover, for the Gaussian attenuator, we provide an additional bound based on the bottleneck inequality applied to a twisted version of the channel decomposition used in^{15,31,44}. Eventually we compare all our bounds with those already known in the literature and in particular with the recent results of Pirandola et al.^{42} and Sharma et al.^{43} We show a significant improvement with respect to the stateoftheart for a large region of attenuation and noise parameters, shrinking the unknown value of the quantum capacity within an error bar which is so narrow to be irrelevant for many practical applications.
Results
Thermal attenuator channels
Let us consider a communication channel that connects two parties. The sender, Alice, wants to transmit the quantum state \(\hat \rho _{\mathrm{A}} \in {\frak S}\left( {{\cal H}_{\mathrm{A}}} \right)\), represented by a positive density operator of unit trace on the Hilbert space of the system, \({\cal H}_{\mathrm{A}}\). At the other end of the channel Bob receives a transformed quantum state on the Hilbert space \({\cal H}_{\mathrm{B}}\). Any physical transformation applied to the state during the transmission can be represented by a quantum channel Φ, i.e., a linear, completelypositive and tracepreserving map, which evolves the initial state as \(\hat \rho _{\mathrm{B}} = {\mathrm{\Phi }}\left( {\hat \rho _{\mathrm{A}}} \right)\).
The class of channels studied in this article is that of thermal attenuators, Φ_{η,N}, originating from the following physical representation (see Fig. 1). An energypreserving interaction \(\hat U_{{\mathrm{AE}} \to {\mathrm{BF}}}^{(\eta )}\), parametrized by a transmissivity parameter η ∈ [0, 1], couples the input system \(\hat \rho _{\mathrm{A}}\) with an environment described by a thermal state \(\hat \tau _{\mathrm{E}} \propto {\mathrm{exp}}\left( {  \hat H_{\mathrm{E}}} \right)\), where \(\hat H_{\mathrm{E}}\) is the bath hamiltonian, of dimension equal to that of the system, and the state has mean energy \(N = {\mathrm{Tr}}\left[ {\hat H_{\mathrm{E}}\hat \tau _{\mathrm{E}}} \right] \ge 0\) in dimensionless units. The total output state can be written as
while the action of the channel is obtained by tracing out the output environmental system F:
This general framework is particularly relevant in the two paradigmatic cases in which the system is represented by a twolevel system or by a single bosonic mode. Both situations are quite important for practical applications since they model the effect of damping and thermal noise on common information carriers, typically used in experimental implementations of quantum information and quantum communication protocols. In the following, we introduce in detail these two kinds of physical systems.
In order to describe a twolevel system, we fix as a basis \(\left 0 \right\rangle\) and \(\left 1 \right\rangle\) corresponding to the ground and excited states respectively. In this basis we can represent a generally mixed quantum state with a density matrix:
where p ∈ [0, 1] is the mean population of the excited state and \(\gamma \in {\Bbb C}\) is a complex coherence term, with \(\left \gamma \right^2 \le p(1  p)\). The thermal attenuator channel \({\mathrm{\Gamma }}_{\eta ,{\cal N}}\) with η ∈ [0, 1] and N ∈ [0, 1/2], also known in the literature as generalized amplitude damping channel^{7,19}, acts on the matrix elements in the following way:
and admits a representation according to the general structure given in Eqs. (1) and (2). In this case, the environment is given by a thermal twolevel system:
where N ∈ [0, 1/2] represents the dimensionless mean energy and the bath hamiltonian is \(\hat H_{\mathrm{E}} \propto \left 1 \right\rangle \left\langle 1 \right\). The unitary interaction is instead given by an energypreserving rotation on the subspace \(\left\{ {\left {01} \right\rangle ,\left {10} \right\rangle } \right\}\) of the joint Hilbert space of the system:
physically inducing the hopping of excitations between the system and the environment. It is easy to check that, tracing out the environmental twolevel system, we obtain the single qubit thermal attenuator channel defined in (4) and (5).
A single mode of electromagnetic radiation instead is formally equivalent to an infinitedimensional quantum harmonic oscillator. It can be described in terms of bosonic annihilation and creation operators \(\hat a\) and \(\hat a^\dagger\), obeying the bosonic commutation relation \(\left[ {\hat a,\hat a^\dagger } \right] = 1\) or, equivalently, in terms of the quadratures \(\hat q = \left( {\hat a + \hat a^\dagger } \right){\mathrm{/}}\sqrt 2\) and \(\hat p = i\left( {\hat a^\dagger  \hat a} \right){\mathrm{/}}\sqrt 2\), such that \(\left[ {\hat q,\hat p} \right] = i\). Given n modes and introducing the vector of quadrature operators \({\hat{\boldsymbol r}} = \left( {\hat q_1,\hat p_1, \ldots ,\hat q_n,\hat p_n} \right)^\intercal\), one can define the characteristic function^{37,45} of a bosonic state \(\hat \rho\):
where \({\bf{\xi }} \in {\Bbb R}^{2n}\) and \({\mathrm{\Omega }} = \left[ {\begin{array}{*{20}{c}} 0 & 1 \\ {  1} & 0 \end{array}} \right]^{ \oplus n}\) is the symplectic form. The most common bosonic states are Gaussian states, i.e. those whose characteristic function is Gaussian:
uniquely determined by the first and second moments of the state \(\hat \rho _{\mathrm{G}}\), given respectively by the vector of mean values m and by the symmetric covariance matrix V of the quadrature operators. The singlemode thermal attenuator channel \({\cal E}_{\eta ,N}\) has been extensively studied in the context of Gaussian quantum information^{3,27,37} and its action on the first and second moments is given by:
where η ∈ [0, 1] and N ≥ 0. As for the qubit case, also this infinitedimensional channel can be represented using the general picture of Eqs. (1) and (2). Indeed, introducing the singlemode Gaussian thermal state \(\hat \tau\) characterized by \({\boldsymbol{m}}_{\hat \tau } = 0\) and \(V_{\hat \tau } = (2N + 1){\mathbf{1}}\), the thermal attenuator channel can be generated by a passive unitary interaction \(\hat U\) that acts on the bosonic operators of the system, \(\hat a\), and of the environment, \(\hat a_{\mathrm{E}}\), as a beam splitter:
It is easy to check that, tracing out the environmental mode, one recovers the definition of the singlemode thermal attenuator given in Eqs. (10) and (11).
Known bounds for the quantum capacity of thermal attenuators
The quantum capacity Q(Φ) of a channel Φ is defined as the maximum rate at which quantum information can be transferred by using the channel N times with vanishing error in the limit N → ∞. It is well known^{23,24,25,26} that this quantity can be expressed as:
where
is the coherent information^{27,46} and \(S(\hat \rho ) =  {\mathrm{tr}}\left\{ {\hat \rho \,{\mathrm{log}}_2\hat \rho } \right\}\) is the Von Neumann entropy; note that all logarithms henceforth are understood as base2. Finally, \(\tilde \Phi _{}^{}\) is the complementary channel^{28}, obtained from the Stinespring dilation of Φ by tracing out the system instead of the environment, as detailed in the next subsection. Because of the peculiar superadditivity phenomenon^{32,33,34,35,36}, the so called singleletter capacity
is in general smaller than the actual capacity of the channel.
This fact directly gives a lower bound for the quantum capacity of the qubit thermal attenuator:
where the maximization is only with respect to p ∈ [0, 1], since one can check numerically that for this channel optimal states are diagonal; this quantity can be easily numerically computed for all values of η and N. Similarly, a lower bound can be obtained also for the bosonic counterpart of the thermal attenuator by restricting the optimization over the class of Gaussian input states^{41}:
where ρ_{G} varies over the set Gaussian states and \(g(N)\) = \((N + 1){\mathrm{log}}_2(N + 1)  N\,{\mathrm{log}}_2N\) corresponds to the entropy of the thermal state of the environment.
Whether the righthandsides of (17) and (18) are equal or not to the true quantum capacity of the associated channels is still an important open problem in quantum information. It can be shown^{19,28,40}, that for a zerotemperature environment this is the case, i.e., for N = 0 all inequalities in (17) and (18) are saturated, giving the quantum capacity of both the qubit and the Gaussian attenuators. For N > 0 instead, the capacity is still unknown, apart from some upper bounds. For the qubit case, we are not aware of any upper bounds proposed in the literature, while for the Gaussian thermal attenuator the best bounds at the moment are those recently introduced in refs. ^{42,43}, which can be combined to get the following expression:
Let us note that Q_{PLOB} is actually a bound on the quantum capacity assisted by twoway classical communication^{42} and thus trivially bounds also the simpler unassisted capacity discussed in this article (strongconverse bounds for the twoway capacity were derived, e.g., in refs. ^{47,48}). The other bound instead, Q_{SWAT}, is itself a bound on the unassisted capacity and it has been shown^{43} to beat other possible bounds based on \(\epsilon\)degradability^{49}. In the next sections we are going to derive new upper bounds which are significantly closer to the lower limits (17) and (18), especially in the low temperature regime.
The extended channel
In this subsection we first review the notions of degradability and weak degradability and then we introduce an extended version of thermal attenuator maps, whose quantum capacity is easier to compute and can be used as a useful upper bound.
Let us come back to the description of a generic attenuator map Φ_{η,N}, valid both for qubit and bosonic systems, that we have previously defined in Eqs. (1) and (2). If, instead of tracing out the environment as done in Eq. (2), we trace out the system, we get what has been defined in refs. ^{29,31} as the weakly complementary channel:
physically representing the flow of information from the system into the environment. Notice that this is different form the standard notion of complementary channel:
where
and \(\left \tau \right\rangle _{{\mathrm{EE}}\prime }\) is a purification of the environment, i.e.,\(\hat \tau _{\mathrm{E}} = {\mathrm{Tr}}_{{\mathrm{E}}\prime }\left[ {\left \tau \right\rangle \left\langle \tau \right_{{\mathrm{EE}}\prime }} \right]\). The weak and standard complementary channels become equivalent (up to a trivial isometry) only in the particular case in which the environment is initially pure (zerotemperature limit). Finally, we also remark that the two different types of complementarity induce different definitions of degradability. A generic channel Φ is degradable^{28,30}, if there exists another quantum channel Δ such that \({\tilde{\mathrm \Phi }} = {\mathrm{\Delta }} \circ {\mathrm{\Phi }}\). Similarly, a generic channel Φ is weakly degradable^{29,31}, if there exists another quantum channel Δ such that \({\bar{\mathrm \Phi }} = {\mathrm{\Delta }} \circ {\mathrm{\Phi }}\). For degradable channels, the capacity is additive and much easier to determine. Unfortunately, typical models of quantum attenuators, as the qubit and the bosonic examples considered in this work, are degradable only for N = 0 but become only weakly degradable for N > 0 and this is the main reason behind the hardness in computing their quantum capacity.
In order to circumvent this problem, we define the extended version of a thermal attenuator channel as
where \(\hat \rho _{{\mathrm{BFE}}\prime }\) is the global state defined in (22). In other words, \({\mathrm{\Phi }}_{\eta ,N}^{\mathrm{e}}\) represents a situation in which Bob has access not only to the output system B but also to the purifying part E′ of the environment, see Fig. 1. A remarkable fact is that, locally, the auxiliary system E′ remains always in the initial thermal state because it is unaffected by the dynamics; however, E′ can be correlated with B and this fact can be exploited by Bob to retrieve more quantum information. In general, since trowing away E′ can only reduce the quantum capacity, one always has \(Q\left( {{\mathrm{\Phi }}_{\eta ,N}} \right) \le Q\left( {{\mathrm{\Phi }}_{\eta ,N}^{\mathrm{e}}} \right)\).
The advantage of dealing with the extended channel \({\mathrm{\Phi }}_{\eta ,N}^{\mathrm{e}}\) is that it is degradable whenever the original channel Φ_{η,N} is weakly degradable. This fact follows straightforwardly from the observation that the complementary channel of \({\mathrm{\Phi }}_{\eta ,N}^{\mathrm{e}}\) is the weakly complementary channel of Φ_{η,N}, i.e.,
The degradability of \({\mathrm{\Phi }}_{\eta ,N}^{\mathrm{e}}\) significantly simplifies the evaluation of \(Q\left( {{\mathrm{\Phi }}_{\eta ,N}^{\mathrm{e}}} \right)\) and provides a very useful upper bound for the quantum capacity of thermal attenuators:
where in the last step we used the additivity property valid for all degradable channels^{28,30}.
Another useful property of the extended channel, which follows from Eq. (24) and the definition of coherent information, Eq. (15), is the following:
relating the coherent information of the extended and of the weakly complementary channels.
Below we compute more explicitly the previous bound (25) for the specific cases of discrete and continuousvariable thermal attenuators.
In the case of twolevel systems, the purification of the thermal state given in Eq. (6) is
The channel Γ_{η,N} can be weakly degraded to \({\bar{\mathrm \Gamma }}_{\eta ,N}\) by the composite map Δ = Ψ_{μ}\({\circ}\) Γ_{η′, N}, where η′ = (1 − η)/η. Here Ψ_{μ} is a phasedamping channel^{7} of parameter μ = 1 − 2N, which acts on the generic qubit state of Eq. (3) by damping the coherence matrix element as \(\gamma \mapsto \mu \gamma\) while leaving the population p constant. Hence, the extended channel \({\mathrm{\Gamma }}_{\eta ,N}^{\mathrm{e}}\) defined as in (23) is degradable and from (25) we get
where the optimization over the single parameter p can be efficiently performed numerically for all values of η and N, giving the result presented in Fig. 2. In this case, the fact that we can reduce the optimization over diagonal input states follows from the symmetry of the coherent information under the matrixelement flipping γ → −γ and from the concavity of the coherent information for degradable channels^{50}.
We note that, by construction, the gap between the lower (17) and the upper (28) bounds closes in the limit N → 0, where we recover the zerotemperature capacity of the amplitude damping channel consistently with^{19,41}.
In the case of bosonic systems instead, the purification of the thermal environmental mode \(\hat \tau\) with first moments \({\boldsymbol{m}}_{\hat \tau } = 0\) and covariance matrix \(V_{\hat \tau } = (2N + 1){\mathbf{1}}\) is a Gaussian twomode squeezed state \(\left \tau \right\rangle\)^{37}, characterized by \({\boldsymbol{m}}_{\tau \rangle } = 0\) and
where σ_{3} = diag(1, −1) is the third Pauli matrix. The thermal attenuator \({\cal E}_{\eta ,N}\) is weakly degradable^{29,31}, since its weakly complementary channel can be expressed as \(\bar {\cal E}_{\eta ,N} = {\mathrm{\Delta }} \circ {\cal E}_{\eta ,N}\) where \({\mathrm{\Delta }} = {\cal E}_{\eta \prime ,N}\), with η′ = (1 − η)/η. Hence, \({\cal E}_{\eta ,N}^{\mathrm{e}}\) is degradable and we can apply the general upper bound (25). Moreover, as shown in^{40,51}, the quantum capacity of a degradable Gaussian channel is maximized by Gaussian states with fixed second moments, so that we can write
reducing the problem to a tractable Gaussian optimization. Since the coherent information of the extended channel is concave and symmetric with respect to phasespace rotations and translations, for a fixed energy n it is maximized by the thermal state \(\hat \tau _n\) with covariance matrix \(V_{\hat \tau _n} = (1 + 2n){\mathbf{1}}_2\), see ref. ^{52} Therefore, without energy constraint we have
The last term can be explicitly computed by using the standard formalism of Gaussian states; more simply, we can relate this quantity to the results of ref. ^{41} Indeed, from the property given in Eq. (26), we have
but the last term is simply the negative of the coherent information of a thermal attenuator of transmissivity η′ = 1 − η and a thermal input state, a quantity which has been already computed in ref. ^{41} In the limit of n → ∞, we get our desired upper bound:
where \(g(N)\) = \((N + 1){\mathrm{log}}_2(N + 1)  N\,{\mathrm{log}}_2N\), shown in Fig. 3. Comparing the upper bound (33) with the lower bound (18) we observe that we can determine the quantum capacity of the thermal attenuator up to an uncertainty of 2g(N), which vanishes in the limit of small thermal noise. For the special case N = 0, the gap closes and we recover the capacity of the pure lossy channel consistently with the previous results of ref. ^{40}
Twisted decomposition of Gaussian attenuators
In this section, through a completely different method, we derive a bound for the quantum capacity which is tighter than \(Q\left( {{\mathrm{\Phi }}_{\eta ,N}^{\mathrm{e}}} \right)\) but applies only to the bosonic version of thermal attenuators.
Let us first introduce a second kind of thermal Gaussian channel: the singlemode amplifier \({\cal A}_{\kappa ,N}\)^{37}, which combines the input state and the usual thermal state \(\hat \tau\) of energy N through a twomode squeezing interaction with gain κ > 1. Tracing out the environment, the first and second moments of the quantum state transform in the following way:
In the particular case in which the environment is at zero temperature, i.e., for N = 0, the channel \({\cal A}_{\kappa ,0}\) is called quantumlimited amplifier.
It can be shown that all phaseinsensitive Gaussian channels can be decomposed as a quantumlimited attenuator followed by a quantumlimited amplifier^{31,44}, with important implications for their classical capacity^{15,16,17}. In this work we introduce a twisted version of this decomposition in which the order of the attenuator and of the amplifier is inverted, which is quite useful for bounding the quantum capacity of thermal attenuators. Lemma 1. Every thermal attenuator \({\cal E}_{\eta ,N}\) that is not entanglementbreaking can be decomposed as a quantumlimited amplifier followed by a quantumlimited attenuator:
with attenuation and gain coefficients given by
The proof can be obtained by direct substitution and using the fact that nonentanglementbreaking attenuators are characterized by the condition N < η/(1 − η)^{27,53} and so both coefficients in (37) are positive and well defined. As shown in the Methods Section, the previous decomposition can be generalized to all phaseinsensitive Gaussian channels including thermal amplifiers and additive Gaussian noise channels. It is important to remark that, differently from the decomposition introduced in ref. ^{44} and employed in ref. ^{43}, our twisted version does not apply to entanglementbreaking channels. For the purposes of this work, this is not a restriction since all entanglementbreaking channels trivially have zero quantum capacity and we can exclude them from our analysis.
Now, given a thermal attenuator with N < η/(1 − η), we make use of the twisted decomposition (36) obtaining
where we used the “bottleneck” inequality Q(Φ_{1} ο Φ_{2}) ≤ min{Q(Φ_{1}), Q(Φ_{2})} and the exact expression for the capacity of the quantumlimited attenuator^{40}. Substituting the value of η′ of Eq. (37) into (38), we get our desired upper bound
One can easily check that this last bound is always better than the one derived in Eq. (33) and the bound Q_{SWAT} of Eq. (19). Moreover, for sufficiently small η or for sufficiently small N, it outperforms also the bound Q_{PLOB} of Eq. (19), see Fig. 3. By combining our result, Q_{twist}, with Q_{PLOB} and with the lower bound Q_{1}(Φ_{η,N}), the quantum capacity is now constrained within a very small uncertainty window. Figure 4 shows the tiny gap existing between our new upper bound (40) based on the twisted decomposition and the lower bound (18).
Discussion
In this article we computed some upper bounds on the quantum capacity of thermal attenuator channels, making use of an extended channel whose degradability properties are preserved when the environment has nonzero mean energy. This method gave interesting bounds in both the qubit and bosonic case, which are tight in the low temperature limit. Our method is quite general since it can be applied to any weakly degradable channel that admits a physical dilation with a mixed environmental state, not necessarily thermal. For example, one can apply this method straightforwardly to the bosonic thermal amplifier, though in this case the previously known upper bound^{42} is very tight and cannot be improved in this way. The second method we employed is less general, since it relies on a specific decomposition of thermal attenuators, but provides a better upper bound. Moreover, the twisted decomposition of Gaussian channels that we introduced in this work is an interesting result in itself which could find application in other contexts.
Our methods are of general interest for computing also other information capacities. Indeed, the channels that we introduce, i.e., the extended channel and those constituting the twisted decomposition, are by construction less noisy than the TA, in the sense that the latter can be obtained by any of the former via concatenation with another channel. This key property allows in principle to upper bound any information capacity of a TA with that of any of the channels we introduced. Of course, this may turn out to be very difficult in practice, depending on the kind of capacity that we are interested in. For example, a bound on the private capacity seems straightforward to derive, whereas it would require more efforts to bound the twoway and the strongconverse quantum capacities, the former because of the lack of a closed expression and the latter because of the difficult regularization involved in its formula. For these reasons, we believe that the channels we introduced are worth investigating also in the context of bounding other information capacities and may provide further interesting results.
Combining the results of this work with other previously known bounds, we can now estimate the value of the quantum capacity of thermal attenuator channels up to corrections, which are irrelevant for most practical purposes.
Methods
Computation of the upper bound for Qubit TA
The capacity of the extended qubit attenuator \({\mathrm{\Gamma }}_{\eta ,N}^{\mathrm{e}}\) can be computed by maximizing the coherent information of the channel, which is additive, as discussed in the main text:
and we have defined for simplicity of notation
depending on the parameters p, γ of the input qubit and on the channel parameters η, N. Recall that the extended channel \({\mathrm{\Gamma }}_{\eta ,N}^{\mathrm{e}}\) maps states of the system A to states of the joint system BE’ that includes the purifying part of the environment. Conversely, its complementary \({\tilde{\mathrm \Gamma }}_{\eta ,N}^{\mathrm{e}}\) maps states of A to states of the interacting part of the environment F. Therefore to compute their entropies we start by writing the joint state of the system AEE’, in the basis \(\left\{ {\left 0 \right\rangle ,\left 1 \right\rangle } \right\}^{ \otimes 3}\):
Next, we compute its evolved \(\hat \rho _{{\mathrm{BFE}}\prime }\) under the action of \({\cal U}_{{\mathrm{AE}} \to {\mathrm{BF}}}^{(\eta )} \otimes {\bf{I}}_{{\mathrm{E}}\prime }\) and the marginals with respect to the bipartition BE′F, which correspond to the output states of the two channels:
The entropies of these states can be computed numerically and it can be checked that they are invariant under phaseflip, i.e., γ → −γ. Hence we obtain an expression of the coherent information that is an even function of γ and write, following^{5}:
where the inequality follows from the concavity of the mutual information as a function of the input state, which holds since the channel is degradable^{50}. Hence we have restricted the optimization to diagonal states in the chosen basis, i.e., on the single parameter p for fixed η, N:
for η > 1/2 and 0 otherwise. The latter expression can be easily solved numerically, as shown by the plots in the main text.
Twisted decomposition of phaseinsensitive Gaussian channels
Here we generalize the twisted decomposition introduced in the main text for bosonic thermal attenuators to the more general class of phaseinsensitive Gaussian channels \({\cal G}_{\tau ,y}\), defined by the following action on the first and second moments of singlemode Gaussian states^{37}:
where τ ≥ 0 is a generalized transmissivity and \(y \ge \left {1  \tau } \right\) is a noise parameter^{27}. This family includes the thermal attenuator for 0 ≤ τ < 1, the thermal amplifier for τ > 1, and the additive Gaussian noise channel for τ = 1. If \(y = \left {1  \tau } \right\), the channel introduces the minimum noise allowed by quantum mechanics and is said to be quantumlimited. On the other hand, it can be shown^{27,53} that a phaseinsensitive Gaussian channel is entanglementbreaking if and only if y ≥ 1 + τ, which determines a noise threshold above which the channel has trivially zero quantum capacity. Below the entanglementbreaking threshold, the following decomposition holds.Lemma 2. Every phaseinsensitive Gaussian channel \({\cal G}_{\tau ,y}\) which is not entanglementbreaking (y < 1 + τ), can be decomposed as a quantumlimited amplifier followed by a quantumlimited attenuator:
with attenuation and gain coefficients given by
The proof follows by direct substitution of the parameters (50) into (49) and from the application of Eqs. (47) and (48). Moreover, the hypothesis y < 1 + τ is necessary since it ensures the positivity of both the attenuation and the gain parameters η′ and κ′.
Data availability
No datasets were generated or analyzed during the current study.
Change history
15 January 2019
The original version of this Article contained an error in Equation (40). The numerator of the fraction inside the logarithm was missing an overall minus sign. This has been corrected in the PDF and HTML versions of the Article.
References
Shannon, C. E. A mathematical theory of communication. Bell Syst. Tech. J. 27, 379–423 (1948).
Shannon, C. E. A mathematical theory of communication. Bell Syst. Tech. J. 27, 623–656 (1948).
Holevo, A. S. Quantum Systems, Channels, Information (De Gruyter, Berlin, 2012).
Caves, C. M. & Drummond, P. D. Quantum limits on bosonic communication rates. Rev. Mod. Phys. 66, 481–537 (1994).
Wilde, M. M. Quantum Information Theory (Cambridge University Press, Cambridge, 2013).
Hayashi, M. Quantum Information Theory (Springer, Berlin, 2017).
Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, 2010).
Holevo, A. S. Informationtheoretical aspects of quantum measurement. Probl. Peredachi Inf. 9, 31–42 (1973).
Holevo, A. The capacity of the quantum channel with general signal states. IEEE Trans. Inf. Theory 44, 269–273 (1998).
Holevo, A. S. Quantum coding theorems. Russ. Math. Surv. 53, 1295–1331 (1998).
Schumacher, B. & Westmoreland, M. D. Sending classical information via noisy quantum channels. Phys. Rev. A. 56, 131–138 (1997).
Hausladen, P., Jozsa, R., Schumacher, B., Westmoreland, M. & Wootters, W. K. Classical information capacity of a quantum channel. Phys. Rev. A. 54, 1869–1876 (1996).
King, C. Additivity for unital qubit channels. J. Math. Phys. 43, 4641–4653 (2002).
King, C. The capacity of the quantum depolarizing channel. IEEE Trans. Inf. Theory 49, 221–229 (2003).
Giovannetti, V., Holevo, A. S. & GarcíaPatrón, R. A solution of Gaussian optimizer conjecture for quantum channels. Commun. Math. Phys. 334, 1553–1571 (2015).
Mari, A., Giovannetti, V. & Holevo, A. S. Quantum state majorization at the output of Bosonic Gaussian channels. Nat. Commun. 5, 3826 (2014).
Giovannetti, V., GarcíaPatrón, R., Cerf, N. J. & Holevo, A. S. Ultimate classical communication rates of quantum optical channels. Nat. Photonics 8, 796–800 (2014).
Giovannetti, V. et al. Classical capacity of the lossy Bosonic channel: the exact solution. Phys. Rev. Lett. 92, 027902 (2004).
Giovannetti, V. & Fazio, R. Informationcapacity description of spinchain correlations. Phys. Rev. A At. Mol. Opt. Phys. 71, 1–12 (2005).
Horodecki, R., Horodecki, P., Horodecki, M. & Horodecki, K. Quantum entanglement. Quantum 110, 11219 (2007).
Bennett, C. H., Shor, P. W., Smolin, J. A. & Thapliyal, A. V. Entanglementassisted classical capacity of noisy quantum channels. Phys. Rev. Lett. 83, 3081–3084 (1999).
Bennett, C. H., Shor, P. W., Smolin, J. A. & Thapliyal, A. V. Entanglementassisted capacity of a quantum channel and the reverse Shannon theorem. IEEE Trans. Inf. Theory 48, 2637–2655 (2002).
Lloyd, S. Capacity of the noisy quantum channel. Phys. Rev. A. 55, 1613–1622 (1997).
Shor, P. W. The quantum channel capacity and coherent information. Lect. Notes MSRI Work. Quantum Comput. (2002) http://www.msri.org/realvideo/ln/msri/2002/quantumcrypto/shor/1/.
Barnum, H., Nielsen, M. A. & Schumacher, B. Information transmission through a noisy quantum channel. Phys. Rev. A. 57, 4153–4175 (1998).
Devetak, I. The private classical capacity and quantum capacity of a quantum channel. IEEE Trans. Inf. Theory 51, 44–55 (2005).
Holevo, A. S. & Giovannetti, V. Quantum channels and their entropic characteristics. Rep. Prog. Phys. 75, 046001 (2012).
Devetak, I. & Shor, P. W. The capacity of a quantum channel for simultaneous transmission of classical and quantum information. Commun. Math. Phys. 256, 287–303 (2005).
Caruso, F. & Giovannetti, V. Degradability of Bosonic Gaussian channels. Phys. Rev. A. 74, 062307 (2006).
Cubitt, T. S., Ruskai, M. B. & Smith, G. The structure of degradable quantum channels. J. Math. Phys. 49, 1–42 (2008).
Caruso, F., Giovannetti, V. & Holevo, A. S. Onemode bosonic Gaussian channels: a full weakdegradability classification. New J. Phys. 8, 1–23 (2006).
DiVincenzo, D. P., Shor, P. W. & Smolin, J. A. Quantumchannel capacity of very noisy channels. Phys. Rev. A At. Mol. Opt. Phys. 57, 830–839 (1998).
Smith, G. & Smolin, J. A. Degenerate quantum codes for Pauli channels. Phys. Rev. Lett. 98, 030501 (2007).
Smith, G. & Yard, J. Quantum communication with zerocapacity channels. Science 321, 1812–1815 (2008).
Hastings, M. B. Superadditivity of communication capacity using entangled inputs. Nat. Phys. 5, 255–257 (2009).
Cubitt, T. et al. Unbounded number of channel uses may be required to detect quantum capacity. Nat. Commun. 6, 6739 (2015).
Weedbrook, C. et al. Gaussian quantum information. Rev. Mod. Phys. 84, 621–669 (2012).
Xiang, Z. L., Zhang, M., Jiang, L. & Rabl, P. Intracity quantum communication via thermal microwave networks. Phys. Rev. X 7, 011035 (2017).
Kurizki, G. et al. Quantum technologies with hybrid systems. Proc. Natl Acad. Sci. USA 112, 3866–3873 (2015).
Wolf, M. M., PérezGarcía, D. & Giedke, G. Quantum capacities of Bosonic channels. Phys. Rev. Lett. 98, 130501 (2007).
Holevo, A. S. & Werner, R. F. Evaluating capacities of bosonic Gaussian channels. Phys. Rev. A At. Mol. Opt. Phys. 63, 1–14 (2001).
Pirandola, S., Laurenza, R., Ottaviani, C. & Banchi, L. Fundamental limits of repeaterless quantum communications. Nat. Commun. 8, 15043 (2017).
Sharma, K., Wilde, M. M., Adhikari, S. & Takeoka, M. Bounding the energyconstrained quantum and private capacities of phaseinsensitive bosonic Gaussian channels. New J. Phys. 20, 063025 (2018).
GarcíaPatrón, R., NavarreteBenlloch, C., Lloyd, S., Shapiro, J. H. & Cerf, N. J. Majorization theory approach to the Gaussian channel minimum entropy conjecture. Phys. Rev. Lett. 108, 110505 (2012).
Serafini, A. Quantum Continuous Variables: A Primer of Theoretical Methods (CRC Press, Boca Raton, FL, 2017).
Schumacher, B. & Nielsen, M. A. Quantum data processing and error correction. Phys. Rev. A. 54, 2629–2635 (1996).
Wilde, M. M., Tomamichel, M. & Berta, M., IEEE Trans. Inf. Theory 63, 1792–1817 (IEEE, 2017).
Christandl, M. & MüllerHermes, A. Relative Entropy Bounds on Quantum, Private and Repeater Capacities. Commun. Math. Phys. 353, 821–852 (2017).
Sutter, D., Scholz, V. B., Winter, A. & Renner, R. Approximate Degradable Quantum Channels. IEEE Trans. Inf. Theory 63, 7832–7844 (2017).
Yard, J., Hayden, P. & Devetak, I. Capacity theorems for quantum multipleaccess channels: Classicalquantum and quantumquantum capacity regions. IEEE Trans. Inf. Theory 54, 3091–3113 (2008).
Wolf, M. M., Giedke, G. & Cirac, J. I. Extremality of Gaussian quantum states. Phys. Rev. Lett. 96, 080502 (2006).
Davis, N., Shirokov, M. E. & Wilde, M. M. Energyconstrained twoway assisted private and quantum capacities of quantum channels. Phys. Rev. A. 97, 062310 (2018).
Holevo, A. S. Entanglementbreaking channels in infinite dimensions. Probl. Inf. Transm. 44, 171–184 (2008).
Acknowledgements
M.R. acknowledges funding by the Spanish MINECO, project FIS201680681P with the support of AEI/FEDER funds, and the Generalitat de Catalunya, project CIRIT 2017SGR1127.
Author information
Authors and Affiliations
Contributions
M. Rosati, A. Mari and V. Giovannetti have all contributed equally to the research and to the writing of the article.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rosati, M., Mari, A. & Giovannetti, V. Narrow bounds for the quantum capacity of thermal attenuators. Nat Commun 9, 4339 (2018). https://doi.org/10.1038/s41467018068480
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467018068480
This article is cited by

Exact solution for the quantum and private capacities of bosonic dephasing channels
Nature Photonics (2023)

Quantum capacities of transducers
Nature Communications (2022)

Convergence Rates for the Quantum Central Limit Theorem
Communications in Mathematical Physics (2021)

Enhanced energyconstrained quantum communication over bosonic Gaussian channels
Nature Communications (2020)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.