Enhanced energy-constrained quantum communication over bosonic Gaussian channels.

Quantum communication is an important branch of quantum information science, promising unconditional security to classical communication and providing the building block of a future large-scale quantum network. Noise in realistic quantum communication channels imposes fundamental limits on the communication rates of various quantum communication tasks. It is therefore crucial to identify or bound the quantum capacities of a quantum channel. Here, we consider Gaussian channels that model energy loss and thermal noise errors in realistic optical and microwave communication channels and study their various quantum capacities in the energy-constrained scenario. We provide improved lower bounds to various energy-constrained quantum capacities of these fundamental channels and show that higher communication rates can be attained than previously believed. Specifically, we show that one can boost the transmission rates of quantum information and private classical information by using a correlated multi-mode thermal state instead of the single-mode thermal state of the same energy.

Introduction

Quantum communication is a field of quantum information science that takes advantage of unique quantum mechanical nature of information carriers to realize secure classical communications[1,2] and build a large-scale quantum network[3-5]. Realistic quantum communication channels are noisy and therefore quantum error correction or entanglement distillation[6-8] is essential to faithfully implement various quantum communication tasks. Due to the resource overhead associated with the error correction or entanglement distillation, quantum communication rates are fundamentally limited by the noise in quantum channels that are used to transmit quantum information. Thus, determining the maximum achievable quantum communication rates of an experimentally relevant noisy quantum channel is of fundamental importance to the quantum information science.

A celebrated result due to Shannon[9] established that the maximum achievable (classical) communication rate of a (classical) channel equals the channel’s mutual information, or the channel’s (classical) capacity. The notion of (classical) channel capacity has been generalized to the quantum realm[10-12], and there are various notions of quantum capacities that characterize the channel’s maximum achievable quantum communication rates for various quantum communication tasks (see, e.g., ref. [12] Sec. 8). For example, the regularized private information of a channel quantifies the maximum achievable secure classical communication rate of the channel, also known as the channel’s private capacity[13]. Similarly, the regularized coherent information quantifies the maximum achievable quantum state transmission rate (without classical feedback assistance), also known as the channel’s quantum capacity[13-17].

Evaluation of these quantities, however, requires optimization over all input states to infinitely many channels[18-23], and therefore is generally intractable[24,25] unless the channel has a special structure such as degradability or anti-degradability[26-28]. Moreover, explicit formulas for the two-way quantum capacity (i.e., maximum quantum state transmission rate with two-way classical feedback assistance) are only known for so-called distillable channels[29] i.e., channels whose Choi matrices have relative entropy of entanglement[30-32] equal to the one-way distillable entanglement. Even though the two-way quantum (and private) capacities of these channels are known[29] and also have suitable generalizations to repeater chains and quantum networks of arbitrary topology[33,34], finding similar results for other types of quantum channels is the subject of intensive investigation, especially within the setting of continuous variable systems[35].

In this work, we consider bosonic Gaussian channels[36] and study their various quantum capacities in the energy-constrained scenario[37]. Among Gaussian channels, thermal-loss channels characterize energy loss and thermal-noise errors and thus model realistic optical and microwave quantum communication channels, i.e., two leading platforms for quantum communication technologies. Therefore, understanding the quantum capacities of Gaussian channels is of great practical importance, as well as of academic interest. Previously, it was shown that bosonic pure-loss channels (a subclass of thermal-loss channels that do not have thermal noise) are either degradable or anti-degradable[27]. Thus, various quantum capacities of these subclass of Gaussian channels are well understood and determined analytically[29,38,39].

In practice, there is additional thermal noise added to the communication channels, which can be induced by the laser noise in optical communication or by the background thermal noise in microwave communication[40,41]. Hence, it is important to understand the quantum channel capacities for these more general thermal-loss channels. However, thermal-loss channels are neither degradable nor anti-degradable[42,43] and only lower[38,44-47], and upper bounds[29,38,47-49] are known for their various quantum and private capacities (one-way, two-way, energy-constrained or unconstrained).

In this paper, we establish improved lower bounds of various energy-constrained quantum capacities of thermal-loss channels that are stronger than the existing bounds. That is, we show that higher quantum communication rates can be achieved than previously believed. Specifically, we construct a family of multimode Gaussian states, called correlated multimode thermal states, and show that they yield larger coherent information (per channel use) than the corresponding single-mode thermal state of the same energy in the low input energy regime. We also show that higher two-way quantum communication rates can be achieved by using correlated multimode thermal states and hybridizing forward and backward strategies, instead of using single-mode thermal states and exclusively using a forward or a backward strategy. Finally, we apply a similar technique to further improve the lower bound of the energy-constrained private capacity of the thermal-loss channel.

Results

Correlated multimode thermal states

We first construct a family of Gaussian multimode states, called correlated multimode thermal states, which is the key ingredient for improving the lower bounds of various quantum capacities of Gaussian channels (see ref. [36] or the Methods section for the definition of Gaussian states and channels). Let denote the single-mode thermal state with an average photon number , that is , where n is a Fock state. Uncorrelated multimode thermal states would then simply be given by a tensor product of single-mode thermal states . Now, we define correlated multimode thermal states as follows:Here, N = () such that and . is the N-mode Gaussian Fourier transformation whose action on the jth annihilation operator is defined as follows:which holds for all j ∈ {}. Hence, the correlated multimode thermal state is a collection of single-mode thermal states (where each of the first N1 modes supports on average photons, each of the next N2 modes supports on average photons and so on), which are uniformly mixed by the Gaussian Fourier transformation (see Fig. 1). We remark that each mode in the correlated N-mode thermal state supports on average photons.

Fig. 1

Generation of a correlated multimode thermal state.

A correlated multimode thermal state with N = (N1, ⋯ , N) and (such that ) can be generated by applying the N-mode Gaussian Fourier transformation to an uncorrelated thermal state .

A simple nontrivial example of correlated multimode thermal states would be with N = (1, N − 1) and , and its covariance matrix[36] is given bywhere I2 is the 2 × 2 identity matrix. As can be seen from the diagonal elements of the covariance matrix, every mode supports on average photons. Therefore, the reduced density matrix of each mode is given by a single-mode thermal state . On the other hand, the off-diagonal elements of the covariance matrix indicate that the position (or the momentum) quadratures of every pair of modes are positively correlated: this is what distinguishes from the uncorrelated N-mode thermal state and why we call it a correlated multimode thermal state.

We remark that correlated multimode thermal states can be efficiently prepared because the Gaussian Fourier transformation can be implemented efficiently by using a variant of the fast Fourier transform technique[50].

Coherent information and quantum capacity

Let be a quantum channel and denote the channel’s coherent information with respect to an input state , i.e.,where is the quantum von Neumann entropy of a state and is the complementary channel of . The quantum capacity of the channel (i.e., the maximum achievable quantum state transmission rate without classical feedback assistance) is equal to the channel’s regularized coherent information [13-17]:In the energy-constrained case, the coherent information should be optimized over all input states that satisfy an energy-constraint, such that at most mean photons are fed to the channel in each use.

The bosonic pure-loss channel with a transmissivity η ∈ [0, 1] (or loss probability γ ≡ 1 − η) is either degradable (η ∈ (1∕2, 1]) or anti-degradable (η ∈ [0, 1∕2])[27]. Therefore, the regularization of its coherent information is unnecessary[26-28], and the optimal input state subject to an average photon number constraint for all k ∈ {1, ⋯ , N} is shown to be the single-mode thermal state [39,51] (see also ref. [49]):where is the entropy of the thermal state [52].

On the other hand, a general thermal-loss channel with a nonzero environmental thermal photon number is neither degradable nor anti-degradable[42,43]. In this case, the single-mode thermal state is not necessarily the optimal input state, and the associated coherent information (evaluated in ref. [38]) only lower bounds the quantum capacity, i.e.,where . This is the best-known lower bound for to date before our work. Below, we demonstrate that correlated multimode thermal states can outperform the single-mode thermal state of the same energy in the noisy channel (near-zero capacity) regime. By doing so, we show that higher quantum state transmission rates can be attained for thermal-loss channels than previously believed.

Theorem 1 Consider a correlated N-mode thermal state with N = (M, N − M) and and let , where M ∈ {1, ⋯ , N}. Then, the coherent information with respect to the input state is given bySince x can be any rational number in (0, 1] and the set of rational numbers is a dense subset of the set of real numbers, we have the following improved lower bound of the quantum capacity of thermal-loss channels.

The proof of Theorem 1 is given in the Methods section. Note that for N = (M, N − M) and , holds for all k ∈ {1, ⋯ , N}, and thus is a valid input state that satisfies the energy constraint. Also, our new bound in Eq. (9) is at least as tight as the previous bound in Eq. (7), since the previous bound can be recovered by plugging in x = 1 to the objective function. Below, we show that in the noisy channel (near-zero capacity) regime, the optimal value of x can be strictly <1, and thus our bound is strictly tighter than the previous bound. We also explain this behavior in an intuitive manner by using simple mathematical concepts such as convexity of a function and convex hull of a non-convex region.

To demonstrate that our new bound can be strictly tighter than the previous bound, we take a family of thermal-loss channels with and compute the new bound in Eq. (9) for each η = 1 − γ, assuming that the maximum allowed average photon number per channel is . In Fig. 2a, we plot the quantum state transmission rates achievable with the single-mode thermal state and with the correlated multimode thermal states . When the loss probability is low (i.e., γ ≤ 0.1775), the single-mode thermal state yields the largest coherent information. However, when the loss probability is higher (γ ≥ 0.1775), there exists a correlated multimode thermal state that outperforms the single-mode thermal state. Thus, we established a tighter lower bound to the quantum capacity of thermal-loss channels than previously known[38]. In Fig. 2b, we plot the optimal value of M∕N as a function of γ that allows such a higher communication rate. It is important to note that only a finite number of modes is required if the optimal value of x is a rational number. For example,  = 3∕8 corresponds to the correlated eight-mode thermal state with N = (M, N − M) = (3, 5) and . On the other hand, if is irrational, one needs infinitely many modes to accurately obtain the rate .

Fig. 2

Achievable quantum state transmission rate of thermal-loss channels.

a Quantum state transmission rate of thermal-loss channels as a function of the loss probability γ = 1 − η achievable with the single-mode thermal state (blue, Eq. (7)), and with a correlated multimode thermal state (red, Eq. (9)) subject to the maximum allowed average photon number per channel use. For the correlated multimode thermal states, the achievable rate was evaluated by taking , where N = (M, N − M) and . b The optimal value of  = M∕N at each γ, color-coded by the type of optimizer (blue: single-mode thermal states; red: correlated multimode thermal states), that yields the maximum quantum state transmission rate. We set  = M∕N = 0, when all the states we consider yield vanishing quantum state transmission rate (black).

Convexity of coherent information and superadditivity

We now explain the nontrivial behavior shown in Fig. 2 (i.e.,  < 1) in an intuitive way. Specifically, we relate the observed nontrivial behavior with the convexity of the coherent information in the allowed average photon number for fixed values of η and . For concreteness, we take the thermal-loss channel with η = 0.81 (or γ = 0.19) and , and plot its coherent information with respect to single-mode thermal states as a function of . As can be seen from the solid blue line in Fig. 3a, the coherent information is convex in for small and concave for large . Consider the region of rates achievable by the single-mode thermal states (shaded blue region in Fig. 3a) and also its convex hull (shaded red and blue regions in Fig. 3a). We observe that the region is achievable by correlated multimode thermal states: consider a generic convex combination of r points in , i.e.,where λ ≥ 0 for all k ∈ {1, ⋯ , r} and . Then, the rate can be achieved by a correlated multimode thermal state with N = (N1, ⋯ , N) and such that λ = N∕N for all k ∈ {1, ⋯ , r}, where . Note that λ should be a rational number. Similarly as above, however, by choosing a sufficiently large N one can approximate any irrational λ to a desired accuracy, which can be arbitrarily small.

Fig. 3

Convexity of coherent information and superadditivity.

Achievable quantum state transmission rate of the single-mode (blue) and correlated multimode (red) thermal states as a function of for (a) the thermal-loss channel b the additive Gaussian noise channel and c the noisy amplifier channel . Note that in (a), the first-order contact point is given by , which corresponds to  = 1∕2.458 = 0.407. This value agrees with  = 0.407 which is independently obtained in Fig. 2b for γ = 0.19 and (see also the main text).

Importantly, due to the convexity of the coherent information in the small regime, the region properly contains the region , as indicated by the shaded red region in Fig. 3a. This is why correlated multimode thermal states outperform single-mode thermal states in the noisy channel regime. In particular, the highest achievable rate can be obtained by taking the convex combination of the origin (0, 0) and the first-order contact point ( with some weights λ and 1 − λ, respectively (see the solid red line in Fig. 3). Note that the rate in Eq. (9) can be understood as the one that is derived from such a convex combination with . For example, in the case of thermal-loss channel with η = 0.81 (or γ = 0.19) and , the first-order contact point is given by (see Fig. 3) which corresponds to x = 0.407 for : this agrees with the optimal value  = 0.407 in Fig. 2b for η = 0.81 (or γ = 0.19), , and .

We remark that the coherent information (with respect to single-mode thermal states) of other Gaussian channels that are neither degradable nor anti-degradable, such as additive Gaussian noise channels and noisy amplification channels, also exhibit a nontrivial behavior similarly to the thermal-loss channels (see Methods for the definition of these other channels). More specifically, the coherent information of the additive Gaussian noise channel is given bywhere . Also, the coherent information of the noisy amplifier channel is given bywhereAs can be seen from Fig. 3b, c, the coherent information of these other channels also exhibit the same convex behavior in the small regime. Therefore, higher quantum state transmission rates can be achieved for these other Gaussian channels, as well by using the correlated multimode thermal states instead of using the single-mode thermal states, analogously to the case of thermal-loss channels as shown here.

Reverse coherent information and two-way quantum capacity

We show that a similar technique can be used to establish an improved lower bound of the two-way quantum capacity of thermal-loss channels. Let be the reverse coherent information of a bosonic channel with respect to an input state [45].Both the coherent information and the reverse coherent information of a channel are lower bounds of the channel’s two-way quantum capacity:In the energy-constrained cases, the maximization should be performed over all input states that satisfy the energy constraint.

The best-known lower bound (before our work) of the two-way quantum capacity of a thermal-loss channel is either the channel’s coherent information or reverse coherent information with respect to a single-mode thermal state, i.e.,where is given in Eq. (7) and can be obtained by replacing in Eq. (7) by [29,45], i.e.,In the special case where and , the lower bound in Eq. (16) is given by  − log2(1 − η)[45] and coincides with the upper bound established in ref. [29]. Except for this special case, it is an open question whether the lower bound in Eq. (16) equals the true two-way quantum capacity of thermal-loss channels: here, we provide a negative answer to this question by showing that higher two-way quantum state transmission rate can be achieved by using correlated multimode thermal states.

Theorem 2 Consider a correlated N-mode thermal state with N = (M, N − M) and such that and let , where M ∈ {1, ⋯ , N}. The following two-way quantum state transmission rate can be achieved by using and hybridizing forward and backward strategies:Since x can be any rational number in (0, 1] and the set of rational numbers is a dense subset of the set of real numbers, we have the following improved lower bound for the two-way energy-constrained quantum capacity of a thermal-loss channel:where the maximization is performed subject to 0 ≤ x ≤ 1 and .

The proof of Theorem 2 is given in the Methods section. Our new bound in Eq. (19) is at least as tight as the previous bound in Eq. (16) because the previous bound can be realized by plugging in x = 1 and or x = 0 and . Moreover, we show that in the noisy channel (near-zero capacity) regime, correlated multimode thermal states outperform single-mode thermal states of the same energy and thus our bound is strictly tighter than the previous bound.

To demonstrate that our new bound can be strictly tighter than the previous bound, we take a family of thermal-loss channels with . Then, we compute the new bound in Eq. (19) for each η = 1 − γ for three different maximum allowed average photon numbers per channel use, i.e., (Fig. 4a), (Fig. 4b), and (Fig. 4c). As can be seen from the top panel of Fig. 4, the coherent information (blue lines) is larger than, equal to, and smaller than the reverse coherent information (yellow lines) for , , and , respectively. In all cases, our new bound obtained by using correlated multimode thermal states (red lines) can be strictly tighter than the previous bound in the large loss probability regime, where the two-way quantum capacity almost vanishes. In this regime, the best two-way quantum state transmission rate is achieved by mixing forward (coherent information) and backward (reverse coherent information) strategies, as can be seen from the bottom panels of Fig. 4.

Fig. 4

Achievable two-way quantum state transmission rate of thermal-loss channels.

We plot the achievable two-way quantum state transmission rate of a thermal-loss channel subject to the maximum allowed average photon number (a) (b) (c) per channel use. In a–c, the blue and yellow lines, respectively, represent the coherent information and the reverse coherent information with respect to single-mode thermal states. The achievable two-way quantum state transmission rate of correlated multimode thermal states (red lines in (a–c)) was evaluated by taking subject to 0 ≤ x ≤ 1 and (see Theorem 2). In d–f, the optimal values and are, respectively, represented by the blue and yellow lines for (d) (e) (f) . The optimal value can be obtained by evaluating .

Private information and private capacity

Lastly, we apply our general technique to improve the lower bound of the energy-constrained private capacity of the thermal-loss channel. Consider a classical-quantum state , where and ∫dxp(x) = 1 and let . The private capacity of a quantum channel characterizes the channel’s maximum achievable secure classical communication rate. The private information of channel with respect to the classical-quantum state is defined asThe private capacity of a quantum channel is equal to the channel’s regularized private information [13]:In the energy-constrained case, the maximization should be performed over all classical-quantum states such that satisfies the energy constraint.

The quantum capacity of a channel is always a lower bound of the channel’s private capacity[13] and thus the coherent information in Eq. (7) is also a lower bound of the private capacity of the thermal-loss channel . Correspondingly, our new bound of the quantum capacity in Theorem 1 is also a valid lower bound of the private capacity which can be strictly tighter than . However, it was shown that higher secure classical communication rate (than the coherent information ) can be achieved by using an ensemble of displaced thermal states[47]. More specifically, by using a classical-quantum statesuch that , where α = αR + iαI and , the private communication ratecan be achieved. Thus, we have the following lower bound of the energy-constrained private capacity of thermal-loss channels:Since the coherent information can be recovered by plugging in , this bound is at least as tight as the coherent information bound. In the noisy channel regime, the bound in Eq. (24) is strictly tighter than the coherent information bound (see the blue and yellow lines in Fig. 5a). Moreover, it is also strictly larger than our new bound for the quantum capacity in Eq. (9) (see the red and yellow lines in Fig. 5a). Therefore, our new bound for the quantum capacity is not the tightest lower bound for the private capacity. Nevertheless, we show below that our general technique can also be used to further improve the bound in Eq. (24). We establish the following result.

Fig. 5

Achievable private communication rate of thermal-loss channels.

a Achievable private communication rate of a thermal-loss channel with subject to the maximum allowed average photon number per channel use. The blue and red lines represent the achievable rates with the single-mode thermal state (Eq. (7)) and correlated multimode thermal states (Eq. (9)), respectively, and are identical to the blue and red lines in Fig. 2a. The yellow line represents the lower bound of ref. [47] (; see also Eq. (24)) obtained by using the displaced thermal state in Eq. (22). The dashed green line represents our improved lower bound (; see also Eq. (25)) obtained by using the classical-quantum state we constructed in Eq. (39). b Achievable private communication rate of a thermal-loss channel with η =  0.79 (or γ = 0.21) and as a function of the maximum allowed average photon number . The yellow line represents the bound of ref. [47] () and the dashed green line represents our bound (). Similarly as in the case of quantum state transmission (Figs. 2, 3), the nontrivial advantage of our classical-quantum state in Eq. (25) is due to the fact that is convex in the small regime, and thus the convex hull of the achievable region properly contains the region itself (see also the main text).

Theorem 3 The energy-constrained private capacity of a thermal-loss channel is lower bounded as follows:where is defined in Eq. (24).

The proof of Theorem 3 is given in the Methods section. As can be seen from Fig. 5a, our new bound in Eq. (25) is strictly tighter than the bound in Eq. (24) in the noisy channel regime. Similarly as above, this nontrivial advantage is due to the convexity of the function in in the small regime for fixed values of η and . For illustration, we plot in Fig. 5b the function as a function of for η = 0.79 (or γ = 0.21) and . Due to the convexity of in the small regime, the convex hull of the achievable region properly contains the region itself (see the shaded green region in Fig. 5b) and this explains the superior performance of our new bound in Eq. (25).

Discussion

In this work, we have improved the lower bounds to the various energy-constrained quantum capacities of the thermal-loss channel, which is the basic model for realistic optical and microwave communication channels. In this way, our work shows that higher communication rates can be achieved for various quantum communication tasks with these practically relevant quantum channels than previously believed. Below, we make several remarks and discuss possible new research directions.

First, it was shown in a related work[53] that a global encoding scheme with a correlated Gaussian input state can yield larger coherent information than a local encoding scheme with an uncorrelated Gaussian input state for lossy bosonic channels with correlated environmental noise. We remark that our work differs from this previous work in that we show a correlated Gaussian input state can outperform its uncorrelated counterpart even for the usual thermal-loss channels with uncorrelated environmental noise. Note that the loss model with uncorrelated environmental noise which we consider here has greater practical relevance because noise in realistic optical and microwave communication channels is well approximated by thermal-loss channels with uncorrelated environmental thermal noise[40,41].

In addition, our result in Theorem 1 can be understood as the establishment of the superadditivity of the coherent information of thermal-loss channels with respect to Gaussian input states: as shown in ref. [38], the single-mode thermal state is the optimal single-mode Gaussian input state for the coherent information of thermal-loss channels. Since we show that multimode correlated thermal states (which are Gaussian) sometimes outperform the single-mode thermal state, it means that the coherent information of thermal-loss channels is superadditive with respect to Gaussian input states. On the other hand, it is still unclear whether the coherent information of thermal-loss channels is genuinely superadditive with respect to all input states. This is because technically there is still a possibility that some non-Gaussian input state may outperform all Gaussian input states. We leave this optimality question in the non-Gaussian domain as an open research direction.

Another interesting open question is whether the convexity argument presented here can be adapted to explain the known superadditivity behavior of the qubit depolarization[18,54,55] and dephrasure[56-58] channels. To contrast, we remark that the coherent information of a degradable channel is concave with respect to input states and its quantum capacity is additive[26-28] (see also ref. [59]).

We also remark that our improvement of the lower bounds is not strong enough to close the gap between the lower bounds and the best-known upper bounds of various energy-constrained quantum capacities of thermal-loss channels[29,47-49]. It will thus be interesting to see whether it is possible to further improve the lower and upper bounds to get a better understanding of the various quantum capacities of thermal-loss channels.

Finally, we emphasize that we did not provide explicit strategies to achieve various quantum communication rates established in this work, but only proved their existence. This is because the achievability of the coherent information, reverse coherent information, and private information is based on random coding arguments. Therefore, it will be an interesting research avenue to look for explicit quantum communication protocols (e.g., by using GKP codes[60,61] or polar codes[62,63]) that can be implemented efficiently while achieving (or even improving) the rates we have established here.

Methods

Gaussian states and channels

A bosonic mode is described by its annihilation and creation operators and that satisfy the commutation relation (see, for example, ref. [35]). Let be the quadrature operators of N bosonic modes, where and . The quadrature operators satisfy the commutation relation , where Ω is defined asand I is the N × N identity matrix.

By definition, the characteristic function of a Gaussian state is Gaussian[36]:where and V are the first and the second moments of the quadrature operator . A Gaussian state is thus fully characterized by its first two moments and one can write .

A Gaussian channel is a completely positive and trace preserving map (a CPTP map)[64] that maps a Gaussian state to another Gaussian state . A Gaussian channel is fully characterized by its action on Gaussian states,i.e., by . A thermal-loss channel is a single-mode Gaussian channel that has , , and d = 0, where η ∈ [0, 1] and . Thermal-loss channels are a good model for realistic optical and microwave communication channels. A thermal-loss channel with is called a bosonic pure-loss channel.

Other single-mode Gaussian channels include additive Gaussian noise channels and amplifier channels. An additive Gaussian noise channel is characterized by T = I2, , and d = 0, and is also called a Gaussian random displacement channel. An amplifier channel is characterized by , , and d = 0 where G ≥ 1. An amplifier channel is called a quantum-limited amplification channel, if and a noisy amplification channel if (see Sec. V of ref. [36] for more details).

Gaussian Fourier transformation

We define the N-mode Gaussian Fourier transformation as a Gaussian operation that transforms the annihilation operators by a discrete Fourier transformation:The N-mode Gaussian Fourier transformation can also be understood as a Gaussian (unitary) channel that is characterized byN = 0, and d = 0, whereSince T is an orthogonal matrix (i.e., TT = TT = I2), the N-mode Gaussian Fourier transformation is a passive linear optical operation that does not require squeezing.

Proofs of Theorems 1 and 2

Let be the unitary quantum channel associated with the N-mode Gaussian Fourier transformation. Then, commutes with the tensor product of thermal-loss channels, i.e.,This is a direct consequence of the fact that the N-mode Gaussian Fourier transformation is a passive linear optical operation with an orthogonal transformation matrix T. Now, recall that the correlated multimode thermal state with N = (N1, ⋯ , N) and is defined as

Combining Eq. (32) and Eq. (33), one can see that sending the correlated multimode thermal state to the N copies of thermal-loss channels is equivalent to sending a collection of thermal states to the thermal-loss channels and then the receiver performing the Gaussian Fourier transformation. Since any local operations are assumed to be free, the achievable communication rates with the correlated multimode thermal state is the same as the rates achievable with the collection of thermal states .

For quantum state transmission without any classical feedback assistance, the achievable rate is given by the coherent information. Sincethe correlated multimode thermal state can achieve the quantum state transmission rateper channel use. Specializing this to N = (M, N − M) and , we get the rateas stated in Eq. (8) in Theorem 1, where x ≡ M∕N. Following the rest of the arguments given in Theorem 1, the theorem follows.

Note that it might appear that the use of Gaussian Fourier transformation is not necessary because as shown in Eq. (34), the coherent information of the correlated multimode thermal state is the same as the coherent information of the uncorrelated multimode thermal state . It is nevertheless essential to use the Gaussian Fourier transformation because it uniformly spreads the excessive photons in uncorrelated multimode thermal state across all modes such that the energy constraint is fulfilled (see also the discussion below Eq. (2)).

Now consider the two-way quantum state transmission rate and the correlated multimode thermal states given in Theorem 2, i.e., with N = (M, N − M) and . As shown above, sending this state to a thermal-loss channel is equivalent to sending the collection of thermal states . Since classical feedback assistance is allowed, the reverse coherent information is also achievable in this case. By employing the forward strategy for the first M modes and the backward strategy for the last N−M modes, we can achieve the two-way quantum state transmission rateper channel use as stated in Eq. (18) in Theorem 2. Again, following the rest of the arguments in Theorem 2, the theorem follows.

Proof of Theorem 3

Recall that the classical-quantum statewith was used to establish the recent lower bound in Eq. (24). Similar to construction of correlated multimode thermal states in Theorem 1, we construct the following classical-quantum statewhere M ∈ {1, ⋯ , N}. Then, by choosingwe can see that the achievable private communication rate of the state is given byper channel use where x = M∕N ∈ (0, 1] is a rational number. Since the set of rational numbers is a dense subset of the set of real numbers, the rate in Eq. (41) is achievable for any real number x ∈ (0, 1] and the theorem follows.

Peer Review File