---
abstract: 'The most natural way to describe an information-carrying system containing a specific noise is an additive white Gaussian-noise (AWGN) channel. In bosonic quantum systems (especially the Gaussian case), although the classical information capacity for a phase-insensitive and thermal-noise channel is additive based on a proof of the minimum output entropy conjecture, several open questions remain. By generalizing the Gaussian noise model from thermal noise to general Gaussian noise, we rigorously revisit and calculate these strong upper bounds on the information capacity for single-mode with general Gaussian-noise channels. In this study, we use the quantum entropy power inequality (QEPI) approach. This framework gives a new formula for finding upper bounds on the information capacity of bosonic Gaussian channels.'
author:
- Kabgyun Jeong
- Hun Hee Lee
- Youngrong Lim
title: Universal upper bounds for Gaussian information capacity
---

Introduction
============

A central goal in information theory is to find the channel capacity of a communication system [@S48]. In quantum Shannon theory, a quantum analogue of information theory, one of most important and challenging tasks is to determine the channel capacity of a quantum communication system [@NC00; @W13; @H06; @HW01]. The channel capacity of a communication channel is generally defined as the maximal information transmission rate at which certain information can be transmitted reliably through an electromagnetic channel within vanishing errors. A communication system can be characterized by a quantum optical channel modeled by an input bosonic quantum state transformed into an output bosonic state with its external thermal noise (via Gaussian unitaries); this is called a thermal-noise channel. Herein, we restrict ourselves to a quantum channel described only by Gaussian operations over bosonic Gaussian states and a bosonic Gaussian noise, which is a quantum analogue corresponding to the classical additive white Gaussian-noise (AWGN) channel. In general, it is not easy to determine the channel capacity of a given quantum channel in quantum Shannon theory [@H06], and it is almost impossible to obtain its ultimate channel capacity or *information* capacity when quantum entanglement is involved. In fact, most channel capacities for a quantum channel are known to be nonadditive [@H09; @SY08; @LWZG09].

Recently, proving a Gaussian minimum output entropy conjecture [@GGCH14; @MGH14] over a quantum channel has been suggested as one way to obtain a tight upper bound on the Gaussian information capacity for a thermal-noise channel. This implies that the Gaussian information capacity of a thermal-noise channel is additive because it saturates to the well-known Holevo capacity. By contrast, a universal upper bound on capacity can be obtained by exploiting a new notion of quantum entropy power inequality (QEPI) in the Gaussian regime [@KS13; @KS13+]. Owing to the potential role of Gaussian entanglement, such as the nonadditivity of the Gaussian information capacity, we must carefully consider the upper bounds derived using the QEPI. We still believe that there exists some additivity violation for bosonic Gaussian-noise channels if any entangled (or squeezed) encodings are possible. If not, Gaussian channels may be useless from the viewpoint of increasing the channel capacity for Gaussian communications via quantum entanglement. This is why we carefully consider the upper bounds on the information capacity through the QEPI in the Gaussian regime.

Entropy power inequality (EPI) is an important tool in information theory. Shannon [@S48] proposed the classical version of EPI, and König and Smith [@KS14] proposed QEPI. Many seminal papers have provided the proofs for EPI [@L78; @DCT91; @B75; @BL76; @R11; @S59; @B65] and QEPI [@KS14; @PMG14; @PMG14+; @PMLG15; @ADO16; @CLL16; @K15; @JLJ18; @PT17] and reported their implications for bosonic Gaussian information capacities  [@KS13; @KS13+]. We briefly introduce Gaussian QEPI. Let $\rho_{X_1}$ and $\rho_{X_2}$ be two $D$-mode independent Gaussian input signals and assume that the signals interact at the beamsplitter with a mixing parameter $\tau\in[0,1]$. Then, the entropy of the resulting Gaussian output signal is lower-bounded as follows [@KS14; @PMG14]: $$\exp\left(\frac{S(\rho_{X_1}\boxplus_\tau\rho_{X_2})}{D}\right)\ge{\tau}\exp\left(\frac{S(\rho_{X_1})}{D}\right)+{(1-\tau)}\exp\left(\frac{S(\rho_{X_2})}{D}\right), \label{eq:GQEPI}$$ where $\boxplus_\tau$ denotes the beamsplitting operation on the independent two input signal states under mixing parameters $\tau$ and $S(\rho)=-{\mbox{$\textnormal{Tr}$}}(\rho\log\rho)$, the von Neumann entropy in nats. Similarly, Eq. (\[eq:GQEPI\]) has the entropic form $S(\rho_{X_1}\boxplus_\tau\rho_{X_2})\ge\tau S(\rho_{X_1})+(1-\tau)S(\rho_{X_2})$ from the concavity of the entropic function; however, there is no explicit proof for this equivalence.

Next, we investigate a bosonic Gaussian channel including *general* Gaussian noise, for example, environmental noise induced from a convex combination of Gaussian states such as coherent [@K05] and squeezed states [@JKL15; @JL16] via general Gaussian unitaries. Here, we explicitly calculate the universal upper bounds of information capacity for general Gaussian-noise channels and derive a new formula. Our case is broader in the sense of general Gaussian noise involving squeezed states up to any phase rotation. Furthermore, we suggest an exact formula to restrict universal bounds for the Gaussian information capacity of a bosonic Gaussian channel, where the lower bound is naturally obtained from the well-known Holevo-Schumacher-Westmoreland theorem [@H98; @SW97] and the upper bounds are obtained from Smith and König’s works [@KS13; @KS13+] and the present study. In addition, we extend our result to a quantum amplifier, whose interaction is represented by an amplification involving squeezing operations. The corresponding QEPI can be written as [@PMG14] $$\exp\left(\frac{S(\rho_{X_1}\boxplus_\kappa\rho_{X_2})}{D}\right)\ge{\kappa}\exp\left(\frac{S(\rho_{X_1})}{D}\right)+{(\kappa-1)}\exp\left(\frac{S(\rho_{X_2})}{D}\right), \label{amp}$$ where $\boxplus_\kappa$ is the amplifying operation with the parameter $\kappa>1$. Finally we make a comparison between our result and an upper bound of the Gaussian information capacity, i.e., the classical capacity restricted for Gaussian input states, of the phase-sensitive Gaussian channels [@SKPC16].

![(Color online) [**A model for a general Gaussian-noise channel through a $\tau$-beamsplitting operation.**]{} For given Gaussian channel input state $\hat{\rho}$, the general Gaussian-noise channel is described by an environmental input state $\hat{\rho}_{{\textnormal{noise}}}$ that is given by the thermal noise $\hat{\rho}_{{\textnormal{th}}}$ or general Gaussian noise $\hat{\rho}_G$. A Gaussian channel output state of the Gaussian-noise channel is denoted by $\hat{\rho}_{{\textnormal{out}}}$, and the black triangle indicates the partial trace of the second (or noise) mode after the $\tau$-beamsplitting operation.[]{data-label="fig:BS"}](Fig1.pdf){width="\columnwidth"}

Model of general Gaussian-noise channel
=======================================

In the Gaussian quantum regime [@WP+12], a bosonic Gaussian-noise channel is usually described as follows: $$\begin{aligned}
\hat{c}
&=\sqrt{\tau}\hat{a}+\left\{ \begin{array}{ll} 
\sqrt{1-\tau}\hat{b},\ & \tau\in[0,1];\\ & \\
\sqrt{\tau-1}\hat{b}^\dag,\ & \tau>1,
\end{array}\right.\end{aligned}$$ where $\hat{a}, \hat{b}$ represent input bosonic (annihilation) field operators and $\hat{c}$ represents an output mode satisfying a specific canonical commutation relation. In this case, it is known that the Gaussian-noise channel can be decomposed into two types of quantum channels given by a lossy and an amplifying channel with $\tau\in[0,1]$ and $\tau>1$, respectively. If $\tau<1$ with environmental mode $\hat{b}$ take the vacuum state, the channel is called a pure lossy channel. The most important class of quantum channel of this type is called a thermal-noise channel ${{\mathcal{N}}}_{\tau,\bar{N}_E}(\hat{\rho})$, in which the input state $\hat{\rho}$ is a bosonic Gaussian state with mean photon number $\bar{N}$. In the state representation via the mixing operation given by $\tau$-*beamsplitter*, the thermal-noise channel is described in the form of Stinespring dilation as $$\begin{aligned}
{{\mathcal{N}}}_{\tau,\bar{N}_E}(\hat{\rho})&={\mbox{$\textnormal{Tr}$}}_{E}\left[U_{\tau}(\hat{\rho}\otimes\hat{\rho}_{{\textnormal{th}}})U_{\tau}^\dagger\right]:=\hat{\rho}_{{\textnormal{out}}},$$ where $\hat{\rho}_{{\textnormal{th}}}$ is the thermal state with a fixed mean photon number $\bar{N}_E$, and $U_{\tau}$, the $\tau$-beamsplitter operation over the system and environment $E$. The thermal state is naturally defined by $$\begin{aligned}
\hat{\rho}_{{\textnormal{th}}}(\bar{N}_E)&=\sum_{N=0}^\infty\frac{\bar{N}_E^N}{(\bar{N}_E+1)^{N+1}}{| N \rangle\!\langle N |},\end{aligned}$$ where $\{{\left|N\right>}\}_{N=0}^\infty$ denotes a set of number (or Fock) basis. Under a partial trace over environmental system $E$ (i.e., thermal-noise mode), Fig. \[fig:BS\] precisely shows the situation in which the channel’s output is given by a Gaussian state $\hat{\rho}_{{\textnormal{out}}}$. In Fig. \[fig:BS\], $\hat{\rho}_{{\textnormal{noise}}}$ is given by the thermal noise $\hat{\rho}_{{\textnormal{th}}}$ or the general Gaussian noise $\hat{\rho}_G$ including squeezed states up to phase rotations. For any multimode channel case, the thermal noise acts independently at each mode of Gaussian channels corresponding to each input signal because an environmental subsystem can be considered a generic big-bath as in traditional thermodynamics.

Next, we consider the general Gaussian-noise model in the covariance matrix framework. As described in the Supplemental Material, we can easily find a (single-mode) covariance matrix on general Gaussian noise such that the mean photon number is $\langle\hat{b}^\dag\hat{b}\rangle:=\bar{N}_E=(\tfrac{1}{2}{\mbox{$\textnormal{Tr}$}}V_G-1)/2$. For any real parameters $\theta,r$ and $\phi\in\mathbb{R}$, $$\label{eq:gcov}
V_G=\Sigma_TV_{{\textnormal{th}}}\Sigma_T^{\top}=(2\bar{N}_{{\textnormal{th}}}+1)O(\theta)T(2r)O^{\top}(\theta),$$ where any single-mode Gaussian symplectic matrix (or transform) can always be decomposed as $\Sigma_T=O(\theta)T(r)O(\phi)$ if $T$ is a symplectic matrix under a squeezing parameter $r$ and a $2\times2$ matrix $O(\cdot)$ denotes the phase-rotation operator on the symplectic space [@WP+12]. $V_{{\textnormal{th}}}$ is the covariance matrix for the thermal state, and it is given by $V_{{\textnormal{th}}}=V(\hat{\rho}_{{\textnormal{th}}})=(2\bar{N}_{{\textnormal{th}}}+1){{\textnormal{\bf I}}}$. One conceptual example of $V_G$ above is the covariance matrix of squeezed states with zero-mean value. Specifically, if we set $\theta=0$ and $\bar{N}_{{\textnormal{th}}}$ is the thermal photon number of the environment, then $$V_{{\textnormal{sq}}}:=V(\hat{\rho}_{{\textnormal{sq}}})=(2\bar{N}_{{\textnormal{th}}}+1)
\left( \begin{array}{cc}
e^{-2r} & 0 \\ & \\
0 & e^{2r} \end{array}\right).$$ This implies that general Gaussian noise generated by displacements and squeezing operations can always be obtained via conjugated Gaussian unitaries over the thermal state. For a squeezed-thermal environmental state, the relation between the mean photon number $\bar{N}_E$ and the thermal photon number $\bar{N}_{{\textnormal{th}}}$ of the environment is generally given by $2\bar{N}_E+1=(2\bar{N}_{{\textnormal{th}}}+1)\cosh 2r$.

Next, we consider a determinant for the covariance matrices for general Gaussian noise. From the covariance matrices with the form $V_{{\textnormal{th}}}$ and $V_{{\textnormal{sq}}}$, we can prove that $\det V_{{\textnormal{th}}}=(2\bar{N}_{{\textnormal{th}}}+1)^2$ and $\det V_{{\textnormal{sq}}}=(2\bar{N}_{{\textnormal{th}}}+1)^2$, respectively. Thus, we find the determinant of $V_G$ of $\hat{\rho}_G$ as (see more details in Supplemental Material) $$\det V_G=(2\bar{N}_E+1)^2\;\;{{\textnormal{where}}}\;\bar{N}_E=\bar{N}_{{{\textnormal{th}}}},$$ which mainly contributes to constructing a general formula for universal upper bounds on Gaussian information capacity.

Information capacity and Gaussian minimum output entropy conjecture
===================================================================

As mentioned above, it is difficult to determine the information capacity of a quantum channel. However, although it is still restricted to explicitly calculating the capacity, some breakthroughs have been made on calculating the information capacity of bosonic Gaussian-noise channels (i.e., thermal-noise channels). Next, we briefly review known results on the quantum channel capacity of bosonic Gaussian-noise channels.

We consider a Gaussian input signal for some Gaussian quantum channels with mean photon number $\bar{N}(:=\langle\hat{a}^{\dag}\hat{a}\rangle)$, and the channel is only restricted to a single-mode case. In the absence of environmental noise, that is, bosonic Gaussian-noiseless channel ${{\mathcal{N}}}_0$ (i.e., $\tau=0$), the information capacity (in nats) is given by $C({{\mathcal{N}}}_0,\bar{N})=g(\bar{N})$ [@YO93; @CD94], where the entropic function is defined by $g(x):=(1+x)\log(1+x)-x\log x$. Furthermore, it is well-known that $C({{\mathcal{N}}}_{\tau,0},\bar{N})=g(\tau\bar{N})$ for a pure lossy Gaussian channel ${{\mathcal{N}}}_{\tau,0}$. If a bosonic Gaussian-noise channel involves any general Gaussian noise, that is, general Gaussian-noise channel ${{\mathcal{N}}}_{\tau,\bar{N}_E}$, we consider how we can determine or bound the information capacity of a Gaussian quantum channel. In this study, we claim that for any input Gaussian state with mean photon number $\bar{N}$, $$\chi({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})\le C({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})\le C_{\max}({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N}),$$ where $\chi$ is the well-known Holevo capacity for the Gaussian-noise channel by exploiting coherent-state encodings [@GLMS03]. The maximal information capacity $C_{\max}$ is bounded below by the QEPI with the $\tau$-beamsplitter operation. In the thermal-noise case, if we take the input ensemble as coherent states $\{q_i,\alpha_i\}$ (more explicitly, $q_i=\tfrac{1}{\pi\bar{N}}\exp({-\tfrac{|\alpha_i|^2}{\bar{N}}})$ and $\alpha_i={| \alpha_i \rangle\!\langle \alpha_i |}$) having average state $\bar{\alpha}=\int\tfrac{1}{\pi\bar{N}}\exp({-\tfrac{|\alpha_i|^2}{\bar{N}}}){| \alpha_i \rangle\!\langle \alpha_i |}d\alpha_i$, the Holevo capacity with the coherent-state encodings of the channel ${{\mathcal{N}}}_{\tau,\bar{N}_E}$ are given by $$\chi({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})=g(\tau\bar{N}+(1-\tau)\bar{N}_E)-g((1-\tau)\bar{N}_E).$$ From the regularization of the Holevo capacity, we can naturally define the Gaussian information capacity as $C({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})=\lim_{n\to\infty}\frac{1}{n}\chi({{\mathcal{N}}}_{\tau,\bar{N}_E}^{\otimes n},n\bar{N})$, which results in the most famous conjecture in quantum Shannon theory, that is, $C({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})=\chi({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})$. Recent studies on the conjecture have shown that it is true in a bosonic and phase-insensitive Gaussian-noise channel [@GGCH14; @MGH14]. The proof is given by solving the Gaussian minimum output entropy conjecture [@GGLMS04; @GGL+04]: for any Gaussian state $\hat{\rho}$ with mean photon number $\bar{N}$, $$\label{MOE}
S_G^{\min}({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N}):=\lim_{n\to\infty}\min_{\hat{\rho}}\frac{1}{n}S\left({{\mathcal{N}}}_{\tau,\bar{N}_E}^{\otimes n},\hat{\rho}_n\right)=g((1-\tau)\bar{N}_E),$$ where $\hat{\rho}_n$ denotes any $n$-fold input states with a potential quantum entanglement. We note that the maximal information capacity of this channel in terms of the minimum output entropy statement is given by $C_{\max}({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})=g(\tau\bar{N}+(1-\tau)\bar{N}_E)-S_G^{\min}({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})$, where the first term is obtained from the maximal entropy achieved in the Gaussian states [@WGC06]. Thus, the information capacity saturates to the Holevo capacity under coherent-state encodings.

However, there is more to the Gaussian information capacity, because they only consider the coherent-state encodings at the input bosonic Gaussian states over a single-mode scenario. If a Gaussian channel involves a phase-sensitive *squeezing* element, we cannot confirm the saturation on the capacity as in Eq. (\[MOE\]) [@PLM12]. Therefore, we must consider the QEPI in the Gaussian regime to find universal bounds for the Gaussian information capacity.

![image](Fig2.pdf){width="\linewidth"}

Gaussian information capacity of general Gaussian-noise channel
===============================================================

We recall that the general Gaussian-noise model is represented by the single-mode covariance matrix $V_G$ of $\hat{\rho}_{{\textnormal{noise}}}$ as in Eq. (\[eq:gcov\]) with zero-mean and the determinant $\det{V_G}=(2\bar{N}_E+1)^2$. Our main result for the Gaussian information capacity is as follows. Let ${{\mathcal{N}}}_{\tau,\langle V_G\rangle}$ denote the general Gaussian-noise channel. Then, a universal upper bound for the Gaussian information capacity in nats of the channel is determined as ($\forall~\tau\in(0,1)$) $$C({{\mathcal{N}}}_{\tau,\langle V_G\rangle},\bar{N})\le g\left(\tau\bar{N}+(1-\tau)\bar{N}_E\right)-(1-\tau)g\left(\tfrac{1}{2}(\sqrt{{\det V_G}}-1)\right),$$ where $\bar{N}=\langle\hat{a}^\dag\hat{a}\rangle$ is the mean photon number for the input single mode $\hat{a}$, and $\langle V_G\rangle:=\langle\hat{b}^\dag\hat{b}\rangle$ is the mean photon number of the environmental noise $\hat{\rho}_{{\textnormal{noise}}}$. The proof of this formula is directly given by the QEPI [@KS14; @PMG14] and the abovementioned bound of the maximal information capacity. First, QEPI in the Gaussian regime for the multimode gives $$S\left({{\mathcal{N}}}_{\tau,\langle V_G\rangle}^{\otimes n},\hat{\rho}_n\right)\ge n(1-\tau)g\left(\tfrac{1}{2}(\sqrt{{\det V_G}}-1)\right),$$ where $\hat{\rho}_n\simeq\hat{\rho}^{\otimes n}$ represents the Gaussian input encoded states over the multimode bosonic channels (they can potentially be *entangled* encodings), and for convenience, we consider that the Gaussian input signal $\hat{\rho}$ has mean photon number $\bar{N}$. Furthermore, note that $\hat{\rho}$ and $\hat{\rho}_{{\textnormal{noise}}}$ are initially independent before the mixing operation with the $\tau$-beamsplitter. Second, it is straightforwardly given by the maximal information capacity $C_{\max}({{\mathcal{N}}}_{\tau,\langle V_G\rangle},\hat{\rho})=g(\tau\bar{N}+(1-\tau)\bar{N}_E)-\lim_{n\to\infty}\min_{\hat{\rho}}\frac{1}{n}S\left({{\mathcal{N}}}_{\tau,\langle V_G\rangle}^{\otimes n},\hat{\rho}_n\right)$. These two arguments complete the proof for the universal upper bounds of the Gaussian information capacity.

We can easily check that this formula exactly reproduces the information capacity’s upper bound for a thermal-noise channel [@KS13] as follows: $$C({{\mathcal{N}}}_{\tau,\langle V_{{\textnormal{th}}}\rangle},\bar{N})\le g\left(\tau\bar{N}+(1-\tau)\bar{N}_E\right)-(1-\tau)g\left(\bar{N}_E\right),$$ because $\tfrac{1}{2}(\sqrt{{\det V_{{\textnormal{th}}}}}-1)=\tfrac{1}{2}(2\bar{N}_{{\textnormal{th}}}+1)-\tfrac{1}{2}$ and $\bar{N}_E=\bar{N}_{{\textnormal{th}}}$ for the thermal noise.

Similarly, from the QEPI Eq. (\[amp\]), we can obtain an upper bound of amplifier with general Gaussian noise as $$\begin{aligned}
C({{\mathcal{N}}}_{\kappa,\langle V_G\rangle},\bar{N}) \le \nonumber&~ g\left(\kappa\bar{N}+(\kappa-1)(\bar{N}_E+1)\right)\\&-\frac{\kappa-1}{2\kappa-1}g\left(\tfrac{1}{2}(\sqrt{{\det V_G-1}})\right).\end{aligned}$$ Then it gives the information capacity’s upper bound for the thermal-amplifier channel as follows: $$C({{\mathcal{N}}}_{\kappa,\langle V_{{\textnormal{th}}}\rangle},\bar{N}) \le g\left(\kappa\bar{N}+(\kappa-1)(\bar{N}_E+1)\right)-\frac{\kappa-1}{2\kappa-1}g\left(\bar{N}_E\right).$$

Finally, we compare our result with a Gaussian information capacity’s upper bound for phase-sensitive channel (Eq. (29) in [@SKPC16]) in Fig. \[fig:Upper\], and also we make plots for the comparison with the Holevo bound and the maximal capacity bound. It seems that the upper bound for the Gaussian information capacity for the phase-sensitive case is tighter than ours, but it doesn’t mean our upper bound is indeed weaker owing to $C^G\le C$. When $r=0$ (thermal noise), this Gaussian information capacity is equal to ‘Holevo’ bound, which means that we can obtain the exact formula of classical capacity of the channels. This is expected because of the fact that Gaussian optimizer conjecture was proved for the thermal-noise channel. Also for the case of thermal-noise channel, our upper bound is saturated on the ‘Smith-König (SK) upper’ bound as expected, however it gives new bounds for general Gaussian-noise one including a squeezing element.

Discussions
===========

In this study, we have described fundamental and universal upper bounds on Gaussian information capacity of bosonic general Gaussian-noise channels, which include thermal-noise channels. The general Gaussian-noise channel naturally involves both coherent states as well as squeezed states up to the phase rotations on the environmental subsystem; in this sense, it can be considered a general case of the Gaussian-noise model. By exploiting the fact that the determinants of the covariance matrices of Gaussian states are essentially equivalent, we suggest a new formula for the information capacity of a Gaussian quantum regime.

In the Gaussian quantum regime, although the additivity of the classical capacity for phase-insensitive thermal-noise channels is true under the Gaussian minimum output entropy conjecture (i.e., channel capacity is additive), several unsolved problems remain. Herein, we rigorously calculate the upper bounds on the classical information capacity of single-mode general Gaussian-noise channels (including squeezing components or potential quantum entanglement) via the QEPI. In this framework, we have found a new formula for finding the upper bounds for the information capacity of bosonic Gaussian-noise channels.

Our study may be closely related to the quantum entropy-photon-number inequality (EPNI) first proposed by Guha et al. [@G04; @GES08], and it leads to explicit calculations for various Gaussian channel capacities. If the EPNI holds in the Gaussian regime, our understanding of the Gaussian information capacity will improve and may result in various potential applications.

Finally, we mention that our result can be derived from Lemma 1A in Ref. [@HK18] and the concavity property of the logarithmic function. Explicitly, in the case of $S(\rho_{{\textnormal{noise}}}):=g(\frac{1}{2}\sqrt{\det V_G}-1)$, $$\begin{aligned}
C({{\mathcal{N}}}_{\tau,\langle V_G\rangle},\bar{N})&\le g\left(\tau\bar{N}+(1-\tau)\bar{N}_E\right)-\log\left(\tau+(1-\tau)e^{S(\rho_{{\textnormal{noise}}})}\right) \\
&\le g\left(\tau\bar{N}+(1-\tau)\bar{N}_E\right)-(1-\tau)S(\rho_{{\textnormal{noise}}}).\end{aligned}$$ However, we used a linear Gaussian version not in non-Gaussian one in the framework of the quantum entropy power inequality.

Acknowledgments
===============

We are grateful to Dong Pyo Chi, Changhun Oh, and Wookyum Kim for valuable comments. This work was supported by the National Research Foundation of Korea (NRF) through a grant funded by the Ministry of Science and ICT (NRF-2017R1E1A1A03070510 & NRF-2017R1A5A1015626) and Ministry of Education (NRF-2018R1D1A1B07047512).

[47]{} C. E. Shannon, “A mathematical theory of communication," [ Bell Syst. Tech. J. **27**, 379–423, 623–656 (1948)](http://dx.doi.org/10.1002/j.1538-7305.1948.tb01338.x). M. A. Nielsen and I. L. Chuang, “Quantum Computation and Quantum Information," Cambridge University Press (2000). M. M. Wilde, “Quantum Information Theory," Cambridge University Press (2013). A. S. Holevo, “The additivity problem in quantum information theory," In Proceedings of the International Congress of Mathematicians, (Madrid, Spain, 2006). A. S. Holevo and R. F. Werner, “Evaluating capacities of bosonic Gaussian channels," [  **63**, 032312 (2001)](http://dx.doi.org/10.1103/PhysRevA.63.032312). M. B. Hastings, “Superadditivity of communication capacity using entangled inputs," [ Nat. Phys. **5**, 255–257 (2009)](http://dx.doi.org/10.1038/nphys1224). G. Smith and J. Yard, “Quantum Communication with Zero-Capacity Channels," [ Science **321**, 1812–1815 (2008)](http://dx.doi.org/10.1126/science.1162242). K. Li, A. Winter, X. Zou, and G. Guo, “Private Capacity of Quantum Channels is Not Additive," [  **103**, 120501 (2009)](https://doi.org/10.1103/PhysRevLett.103.120501). V. Giovannetti, R. García-Patrón, N. J. Cerf and A. S. Holevo, “Ultimate classical communication rates of quantum optical channels," [ Nat. Photonics **8**, 796–800 (2014)](http://dx.doi.org/10.1038/nphoton.2014.216). A. Mari, V. Giovannetti, and A. S. Holevo, “Quantum state majorization at the output of bosonic Gaussian channels," [ Nat. Commun. **5**, 3826 (2014)](http://dx.doi.org/10.1038/ncomms4826). R. König and G. Smith, “Limits on classical communication from quantum entropy power inequalities," [ Nat. Photonics **7**, 142–146 (2013)](http://dx.doi.org/10.1038/nphoton.2012.342). R. König and G. Smith, “Classical Capacity of Quantum Thermal Noise Channels to within 1.45 Bits," [  **110**, 040501 (2013)](http://dx.doi.org/10.1103/PhysRevLett.110.040501). R. König and G. Smith, “The Entropy Power Inequality for Quantum Systems," [ IEEE Trans. Inf. Theory **60**, 1536–1548 (2014)](http://dx.doi.org/10.1109/TIT.2014.2298436). E. H. Lieb, “Proof of an entropy conjecture of Wehrl," [ Commun. Math. Phys. **62**, 35–41 (1978)](http://dx.doi.org/10.1007/BF01940328). A. Dembo, T. Cover, and J. A. Thomas, “Information theoretic inequalities," [ IEEE Trans. Inf. Theory **37**, 1501–1518 (1991)](http://dx.doi.org/10.1109/18.104312). W. Beckner, “Inequalities in Fourier analysis," [ Ann. Math. **102**, 159–182 (1975)](http://dx.doi.org/10.2307/1970980). H. J. Brascamp and E. H. Lieb, “Best constants in Young’s inequality, its converse, and its generalization to more than three functions," [ Adv. Math. **102**, 151–172 (1976)](http://dx.doi.org/10.1016/0001-8708(76)90184-5). O. Rioul, “Information theoretic proofs of entropy power inequalities," [ IEEE Trans. Inf. Theory **57**, 33–55 (2011)](http://dx.doi.org/10.1109/TIT.2010.2090193). A. J. Stam, “Some inequalities satisfied by the quantities of information of Fisher and Shannon," [ Inf. Control **2**, 101–112 (1959)](http://dx.doi.org/10.1016/S0019-9958(59)90348-1). N. M. Blachman, “The convolution inequality for entropy powers," [ IEEE Trans. Inf. Theory **11**, 267–271 (1965)](http://dx.doi.org/10.1109/TIT.1965.1053768). G. de Palma, A. Mari, and V. Giovannetti, “A generalization of the entropy power inequality to bosonic quantum systems," [ Nat. Photonics **8**, 958–964 (2014)](http://dx.doi.org/10.1038/nphoton.2014.252). G. de Palma, A. Mari, S. Lloyd, and V. Giovannetti, “Multimode quantum entropy power inequality," [  **91**, 032320 (2015)](http://dx.doi.org/10.1103/PhysRevA.91.032320). K. Audenaert, N. Datta, and M. Ozols, “Entropy power inequalities for qudits," [ J. Math. Phys. **57**, 052202 (2016)](http://dx.doi.org/10.1063/1.4950785). R. Koenig, “The conditional entropy power inequality for Gaussian quantum states," [ J. Math. Phys. **56**, 022201 (2015)](http://dx.doi.org/10.1063/1.4906925). K. Jeong, S. Lee, and H. Jeong, “Conditional quantum entropy power inequality for $d$-level quantum systems," [ J. Phys. A: Math. Theor. **51**, 145303 (2018)](http://dx.doi.org/10.1088/1751-8121/aab037). E. A. Carlen, E. H. Lieb, and M. Loss, “On a quantum entropy power inequality of Audenaert, Datta, and Ozols," [ J. Math. Phys. **57**, 062203 (2016)](http://dx.doi.org/10.1063/1.4953638). G. de Palma and D. Trevisan, “The Conditional Entropy Power Inequality for Bosonic Quantum Systems," [ Commun. Math. Phys. **360**, 639–662 (2018)](https://doi.org/10.1007/s00220-017-3082-8). G. de Palma, A. Mari, and V. Giovannetti, “Classical capacity of Gaussian thermal memory channels," [  **90**, 042312 (2014)](http://dx.doi.org/10.1103/PhysRevA.90.042312). K. Brádler, “Continuous-variable private quantum channel," [  **72**, 042313 (2005)](http://dx.doi.org/10.1103/PhysRevA.72.042313). K. Jeong, J. Kim, and S.-Y. Lee, “Gaussian private quantum channel with squeezed coherent states," [ Sci. Rep. **5**, 13974 (2015)](http://dx.doi.org/10.1038/srep13974). K. Jeong and Y. Lim, “Purification of Gaussian maximally mixed states," [ Phys. Lett. A **380**, 3607–3611 (2016)](http://dx.doi.org/10.1016/j.physleta.2016.09.001). A. S. Holevo, “The capacity of the quantum channel with general signal states," [ IEEE Trans. Inf. Theory **44**, 269–273 (1998)](http://dx.doi.org/10.1109/18.651037). B. Schumacher and M. D. Westmoreland, “Sending classical information via noisy quantum channels," [  **56**, 131–138 (1997)](http://dx.doi.org/10.1103/PhysRevA.56.131). J. Schäfer, E. Karpov, O. V. Pilyavets, and N. J. Cerf, “Classical capacity of phase-sensitive Gaussian quantum channels," [ arXiv:1609.04119 (2016)](http://arxiv.org/abs/1609.04119). C. Weedbrook, S. Pirandola, R. García-Patrón, N. J. Cerf, T. C. Ralph, J. H. Shapiro, and S. Lloyd, “Gaussian quantum information," [  **84**, 621–669 (2012)](http://dx.doi.org/10.1103/RevModPhys.84.621). H. P. Yuen and M. Ozawa, “Ultimate information carrying limit of quantum systems," [  **70**, 363 (1993)](http://dx.doi.org/10.1103/PhysRevLett.70.363). C. M. Caves and P. D. Drummond, “Quantum limits on bosonic communication rates," [  **66**, 481–537 (1994)](http://dx.doi.org/10.1103/RevModPhys.66.481). V. Giovannetti, S. Lloyd, L. Maccone, and P. W. Shor, “Broadband channel capacities," [  **68**, 062323 (2003)](http://dx.doi.org/10.1103/PhysRevA.68.062323). V. Giovannetti, S. Guha, S. Lloyd, L. Maccone, and J. H. Shapiro, “Minimal output entropy of bosonic channels: a conjecture," [  **70**, 032315 (2004)](http://dx.doi.org/10.1103/PhysRevA.70.032315). V. Giovannetti, S. Guha, S. Lloyd, L. Maccone, J. H. Shapiro, and H. P. Yuen, “Classical Capacity of the Lossy Bosonic Channel: The Exact Solution," [  **92**, 027902 (2004)](http://dx.doi.org/10.1103/PhysRevLett.92.027902). M. M. Wolf, G. Giedke, and J. I. Cirac, “Extremality of Gaussian Quantum States," [  **96**, 080502 (2006)](http://dx.doi.org/10.1103/PhysRevLett.96.080502). O. V. Pillyavets, C. Lupo, and S. Mancini, “Methods for Estimating Capacities and Rates of Gaussian Quantum Channels,” [ IEEE Trans. Inf. Theory **58**, 6126–6164 (2012)](http://dx.doi.org/10.1109/TIT.2012.2191475). S. Guha, “Classical capacity of the free-space quantum-optical channel," S. M. Thesis, MIT (2004). S. Guha, B. I. Erkmen, and J. H. Shapiro, “The entropy photon-number inequality and its consequences," [ Information Theory and Applications Workshop, pp. 128–130 (2008)](http://dx.doi.org/10.1109/ITA.2008.4601037); [arXiv:0710.5666](http://arxiv.org/abs/0710.5666). S. Huber and R. König, “Coherent state coding approaches the capacity of non-Gaussian bosonic noise channels," [ J. Phys. A: Math. Theor. **51**, 184001 (2018)](http://dx.doi.org/10.1088/1751-8121/aab7ff).

[$\langle$ Supplemental Material $\rangle$]{}

[**Universal upper bounds for Gaussian information capacity**]{}

Covariance matrices and its determinants {#app:cov}
========================================

For every formal symplectic matrix $T\in{{\mathcal{T}}}$, the set of symplectic matrices satisfies ${{\mathcal{T}}}\Omega{{\mathcal{T}}}^\top=\Omega$ where $\Omega:=\left( \begin{array}{cc}
0 & 1 \\
-1 & 0 \end{array}\right)$ is called as symplectic form. If we choose a symplectic matrix as $T=\left( \begin{array}{cc}
e^{-r} & 0 \\
0 & e^{r} \end{array}\right)$, i.e., the squeezing operator in which $r$ is a squeezing parameter and $\forall~\theta\in\mathbb{R}$, then we have $$\begin{aligned}
T\Omega T^\top&=
\left( \begin{array}{cc}
e^{-r} & 0 \\ & \\
0 & e^{r} \end{array}\right)
\left( \begin{array}{cc}
0 & 1 \\ & \\
-1 & 0 \end{array}\right)
\left( \begin{array}{cc}
e^{-r} & 0 \\ & \\
0 & e^{r} \end{array}\right)
=\left( \begin{array}{cc}
0 & 1 \\ & \\
-1 & 0 \end{array}\right)=\Omega, \\
TT^\top&=
\left( \begin{array}{cc}
e^{-r} & 0 \\ & \\
0 & e^{r} \end{array}\right)
\left( \begin{array}{cc}
e^{-r} & 0 \\ & \\
0 & e^{r} \end{array}\right)
=\left( \begin{array}{cc}
e^{-2r} & 0 \\ & \\
0 & e^{2r} \end{array}\right),\end{aligned}$$ and also notice that $$\begin{aligned}
O(\theta)O(\theta)^\top=
\left( \begin{array}{cc}
\cos\theta & \sin\theta \\ & \\
-\sin\theta & \cos\theta \end{array}\right)
\left( \begin{array}{cc}
\cos\theta & -\sin\theta \\ & \\
\sin\theta & \cos\theta \end{array}\right)={{\textnormal{\bf I}}}.\end{aligned}$$

Now let us consider a $2\times2$ symplectic matrix such that $T=O(\theta)T(r)O(\phi)\in{{\mathcal{T}}}$ where $O(\cdot)$ is the phase-rotation operator above and $T(r)$ the squeezing operator with a squeezing parameter $r$. Then, for all $\theta,\phi$, and $r\in{{\mathbb{R}}}$, there exist a single-mode symplectic transformation $S_T$ such that $$\begin{aligned}
V_G&=\Sigma_TV_{{\textnormal{th}}}\Sigma_T^\top \\
&=O(\theta)T(r)O(\phi)(2\bar{N}+1){{\textnormal{\bf I}}} O^\top(\phi)T^\top(r)O^\top(\theta) \\
&=(2\bar{N}+1)O(\theta)T(2r)O^\top(\theta),\end{aligned}$$ where we fix the mean photon number as $\bar{N}$ and $V_{{\textnormal{th}}}:=(2\bar{N}+1){{\textnormal{\bf I}}}$ is a covariance matrix (CvM) of the thermal state. We call the matrix $V_G$ as CvM for a (single-mode) general Gaussian state. Note that $V(\hat{\rho}_{{\textnormal{0}}}):=V_{{\textnormal{0}}}={{\textnormal{\bf I}}}$ for the vacuum state, which has its minimal value. This process is well-known as *singular value decomposition* on Gaussian state and the determinant of the covariance matrix for the thermal state is give by $$\det V_{{\textnormal{th}}}=(2\bar{N}+1)^2.$$ By expanding the thermal state to general Gaussian one, easily we can obtain a general single-mode CvM for the general Gaussian state (or noise) as $$\begin{aligned}
V_G&=(2\bar{N}+1)O(\theta)T(2r)O(\theta)^\top \\
&=(2\bar{N}+1)\left( \begin{array}{cc}
\cos\theta & \sin\theta \\ & \\
-\sin\theta & \cos\theta \end{array}\right)
\left( \begin{array}{cc}
e^{-2r} & 0 \\ & \\
0 & e^{2r} \end{array}\right)
\left( \begin{array}{cc}
\cos\theta & -\sin\theta \\ & \\
\sin\theta & \cos\theta \end{array}\right) \\
&=(2\bar{N}+1)\left( \begin{array}{cc}
\cos\theta e^{-2r} & \sin\theta e^{2r} \\ & \\
-\sin\theta e^{-2r} & \cos\theta e^{2r} \end{array}\right)
\left( \begin{array}{cc}
\cos\theta & -\sin\theta \\ & \\
\sin\theta & \cos\theta \end{array}\right) \\
&=(2\bar{N}+1)\left( \begin{array}{cc}
\cos^2\theta e^{-2r}+\sin^2\theta e^{2r} & -\cos\theta\sin\theta e^{-2r}+\cos\theta\sin\theta e^{2r} \\ & \\
-\cos\theta\sin\theta e^{-2r}+\cos\theta\sin\theta e^{2r} & \sin^2\theta e^{-2r}+\cos^2\theta e^{2r} \end{array}\right),\end{aligned}$$ where its determinant is straightforwardly given by following form: $$\begin{aligned}
\det V_{{\textnormal{G}}}&=\left|(2\bar{N}+1)\left( \begin{array}{cc}
\cos^2\theta e^{-2r}+\sin^2\theta e^{2r} & -\cos\theta\sin\theta e^{-2r}+\cos\theta\sin\theta e^{2r} \\ & \\
-\cos\theta\sin\theta e^{-2r}+\cos\theta\sin\theta e^{2r} & \sin^2\theta e^{-2r}+\cos^2\theta e^{2r} \end{array}\right)\right| \\
&=(2\bar{N}+1)^2\left(\cos^2\theta\sin^2\theta e^{-4r}+\cos^4\theta+\sin^4\theta+\sin^2\theta\cos^2\theta e^{4r} \right. \nonumber\\
&\;\;\;\;\left.-\cos^2\theta\sin^2\theta e^{-4r}+\cos^2\theta\sin^2\theta+\sin^2\theta\cos^2\theta-\cos^2\theta\sin^2\theta e^{4r}\right) \\
&=(2\bar{N}+1)^2(\cos^2\theta+\sin^2\theta)^2 \\
&=(2\bar{N}+1)^2. \label{eq:gCvM}\end{aligned}$$ For example, the determinant of a covariance matrix for the squeezed state with zero-mean (fix $\theta=0$) is determined by $$V(\hat{\rho}_{{\textnormal{sq}}}):=V_{{\textnormal{sq}}}=(2\bar{N}+1)
\left( \begin{array}{cc}
e^{-2r} & 0 \\ & \\
0 & e^{2r} \end{array}\right) \;\;{{\textnormal{and}}}\;\;
\det V_{{\textnormal{sq}}}=(2\bar{N}+1)^2.$$

Information capacity for the bosonic Gaussian-noise channel
===========================================================

For a single-mode bosonic Gaussian state $\hat{\rho}$ wth an input mean photon number $\bar{N}$, the noiseless channel capacity (in nats) [@sYO93; @sCD94] is given by $$C({{\mathcal{N}}}_0,\bar{N})=g(\bar{N}):=(\bar{N}+1)\log(\bar{N}+1)-\bar{N}\log\bar{N}.$$ Also it was known that a pure-lossy channel’s capacity (in nats) for a single-mode Gaussian channel ${{\mathcal{N}}}_{\tau,0}$ wth the input mean photon number $\bar{N}$ is as follows: $$C({{\mathcal{N}}}_{\tau,0},\bar{N})=g(\tau\bar{N}).$$ Note that, in the usual case of the Gaussian information capacity for the thermal-noise channel $C({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})$, it is bounded by $$\chi({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})\le C({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})\le C_{\max}({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N}),$$ where $\chi(\cdot)$ denotes the Holevo capacity and $C_{\max}(\cdot)$ arbitrary maximal information capacity for the thermal-noise channel. ($\bar{N}_E$ denotes the mean photon number for the environmental noise.)

Now we know that the Holevo capacity with coherent-state encoding [@sGLMS03] is given in the form of $$\begin{aligned}
\chi({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})&=\max_{\bar{\alpha}}S\left({{\mathcal{N}}}_{\tau,\bar{N}_E}\left(\int\frac{e^{-\frac{|\alpha|^2}{\bar{N}}}}{\pi\bar{N}}{| \alpha \rangle\!\langle \alpha |}d\alpha\right)\right)-\int\frac{e^{-\frac{|\alpha|^2}{\bar{N}}}}{\pi\bar{N}}S\left({{\mathcal{N}}}_{\tau,\bar{N}_E}({| \alpha \rangle\!\langle \alpha |})\right)d\alpha \\
&=g(\tau\bar{N}+(1-\tau)\bar{N}_E)-g((1-\tau)\bar{N}_E),\end{aligned}$$ which describes the classical capacity on the Gaussian thermal-noise channel. The maximal information capacity (i.e., the upper bound) is as follows: Let $\bar{\rho}=\sum_{i}p_i\hat{\rho}_i$ be the average state of an input ensemble $\{p_i,\hat{\rho}_i\}$ subject to the mean photon number constraint $\bar{N}$. Then, we can find the upper bound on the thermal-noise channel as $$\begin{aligned}
C({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})
&:=\lim_{n\to\infty}\frac{1}{n}\chi({{\mathcal{N}}}_{\tau,\bar{N}_E}^{\otimes n},n\bar{N}) \\
&=\lim_{n\to\infty}\max_{\bar{\rho}=\{p_i,\hat{\rho}_i\}}\frac{1}{n}\left[S\left({{\mathcal{N}}}_{\tau,\bar{N}_E}^{\otimes n}(\bar{\rho}_n)\right)-\sum_ip_iS\left({{\mathcal{N}}}_{\tau,\bar{N}_E}^{\otimes n}(\hat{\rho}^i_n)\right)\right] \\
&\le\lim_{n\to\infty}\max_{\bar{\rho}}\frac{1}{n}S\left({{\mathcal{N}}}_{\tau,\bar{N}_E}^{\otimes n}(\bar{\rho}_n)\right)-\lim_{n\to\infty}\min_{\hat{\rho}}\frac{1}{n}S\left({{\mathcal{N}}}_{\tau,\bar{N}_E}^{\otimes n}(\hat{\rho}_n)\right) \\
&\le\max_{\bar{\rho}}S\left({{\mathcal{N}}}_{\tau,\bar{N}_E}(\bar{\rho})\right)-\lim_{n\to\infty}\min_{\hat{\rho}}\frac{1}{n}S\left({{\mathcal{N}}}_{\tau,\bar{N}_E}^{\otimes n}(\hat{\rho}_n)\right) \\
&=g(\tau\bar{N}+(1-\tau)\bar{N}_E)-\lim_{n\to\infty}\min_{\hat{\rho}}\frac{1}{n}S\left({{\mathcal{N}}}_{\tau,\bar{N}_E}^{\otimes n}(\hat{\rho}_n)\right) \\
&:=C_{\max}({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N}),\end{aligned}$$ where the first inequality comes from minimization of the von Neumann entropy, the second inequality from the subadditivity of the entropy, and the final one from the fact that Gaussian states also maximize the entropy [@sWGC06].

For the mean photon number constraint $\bar{N}$, ${\mbox{$\textnormal{Tr}$}}(\hat{H}\bar{\rho})\le2\bar{N}+1$ where the Hamiltonian for the quantum harmonic oscillator is given by $\hat{H}=\frac{1}{2}[\hat{p}^2+\hat{q}^2]$. Note that the number operator $\hat{N}=\frac{\hat{H}-1}{2}$. In this case, the Gaussian minimum output entropy conjecture [@sGGLMS04; @sG04] has the form of $$\lim_{n\to\infty}\min_{\hat{\rho}}\frac{1}{n}S\left({{\mathcal{N}}}_{\tau,\bar{N}_E}^{\otimes n}(\hat{\rho}_n)\right)=g((1-\tau)\bar{N}_E).\;\;\;{{\textnormal{[C]}}}$$ If above conjecture \[C\] is true, then $\chi({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})= C({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})= C_{\max}({{\mathcal{N}}}_{\tau,\bar{N}_E},\bar{N})$. Recently, it was proved its equality for a specific case in Refs. [@sGGCH14; @sMGH14], i.e., there exists a Gaussian state $\hat{\rho}$ attaining its minimum value.

Our main goal is to constructing a universal formula on the information capacity for the zero-mean Gaussian state $\hat{\rho}$ given by its covariance matrix as $$V_G=(2\bar{N}_{{\textnormal{th}}}+1)O(\theta)T(2r)O^\top(\theta),$$ where $\bar{N}_{{\textnormal{th}}}$ is the thermal photon number of the general Gaussian-noise mode $\hat{b}$. Following Lemma is crucial in the proof of the next theorem.

For a covariance matrix for general Gaussian states with the mean photon number $\bar{N}$, we have $$\det{V_G}=\det{V_{{\textnormal{th}}}}=(2\bar{N}+1)^2.$$

*Proof*. By using the representation of the general CvM $V_G$, the proof is straightforward (See Eq. (\[eq:gCvM\]) in Appendix \[app:cov\]).

\[thm:mainbd\] Let ${{\mathcal{N}}}_{\tau,\langle V_G\rangle}$ be a general Gaussian-noise channel with its input Gaussian state $\hat{\rho}$ having the mean photon number $\bar{N}$. Then the upper bound of the information capacity for ${{\mathcal{N}}}_{\tau,\langle V_G\rangle}$ is given by ($\forall\tau\in[0,1]$) $$C({{\mathcal{N}}}_{\tau,\langle V_G\rangle},\bar{N})\le g\left(\tau\bar{N}+(1-\tau)\bar{N}_E\right)-(1-\tau)g\left((\sqrt{{\det V_G}}-1)/2\right),$$ where $\langle\hat{a}^\dag\hat{a}\rangle=\bar{N}$ is the mean photon number for the input bosonic mode $\hat{a}$, and $\langle\hat{b}^\dag\hat{b}\rangle=\bar{N}_E:=\langle V_G\rangle$.

*Proof*. Let $C_{\max}({{\mathcal{N}}}_{\tau,V_G},\bar{N})$ be the maximal value for the regularized channel capacity for general Gaussian-noise channel with zero-mean: Then there exists Gaussian state $\hat{\rho}\in\{p_i,\hat{\rho}_i\}$ such that $$\begin{aligned}
C({{\mathcal{N}}}_{\tau,V_G},\bar{N})&\le C_{\max}({{\mathcal{N}}}_{\tau,V_G},\bar{N}) \\
&= g\left(\tau\bar{N}+(1-\tau)\bar{N}_E\right)-\lim_{n\to\infty}\min_{\hat{\rho}}\frac{1}{n}S\left({{\mathcal{N}}}_{\tau,V_G}^{\otimes n}(\hat{\rho}_n)\right).\end{aligned}$$ Now we assume that $\hat{\rho}_{{\textnormal{noise}}}$ has a covariance matrix $V_G$. Then, by using the QEPI [@sKS14; @sPMG14], we have $$\begin{aligned}
S\left({{\mathcal{N}}}_{\tau,V_G}^{\otimes n}(\hat{\rho}_n)\right) 
&\ge\tau S(\hat{\rho}_n)+(1-\tau)S(\hat{\rho}_{{\textnormal{noise}}}^{\otimes n}) \label{eq:qepi} \\
&=\tau S(\hat{\rho}_n)+n(1-\tau) S(\hat{\rho}_{{\textnormal{noise}}}) \label{eq:subadd} \\
&\ge n(1-\tau) S(\hat{\rho}_{{\textnormal{noise}}}) \label{eq:positivity} \\
&=n(1-\tau)g(\bar{N}_E) \label{eq:def} \\
&:=n(1-\tau)g\left((\sqrt{{\det V_G}}-1)/2\right),\end{aligned}$$ where Eq. (\[eq:qepi\]) comes from the EPI for Gaussian quantum states, Eq. (\[eq:subadd\]) from the subadditivity of the von Neumann entropy for separable environments, Eq. (\[eq:positivity\]) from the positivity of the entropy, and finally Eq. (\[eq:def\]) is given by the definition. Thus, we have $$C({{\mathcal{N}}}_{\tau,\langle V_G\rangle},\bar{N})\le g\left(\tau\bar{N}+(1-\tau)\bar{N}_E\right)-(1-\tau)g\left((\sqrt{{\det V_G}}-1)/2\right).$$ This completes the proof.

Let ${{\mathcal{N}}}_{\tau,\langle V_{{\textnormal{th}}}\rangle}$ be the bosonic Gaussian thermal-noise channel with the mean photon numbers $\bar{N}$ and $\bar{N}_E$ for the input-mode and environmental-mode, respectively. Then we have $$C({{\mathcal{N}}}_{\tau,\langle V_{{\textnormal{th}}}\rangle},\bar{N})\le g\left(\tau\bar{N}+(1-\tau)\bar{N}_E\right)-(1-\tau)g\left(\bar{N}_E\right).$$

Since $\tfrac{1}{2}(\sqrt{{\det V_{{{\textnormal{th}}}}}}-1)=\tfrac{1}{2}(2\bar{N}_E+1)-\tfrac{1}{2}=\bar{N}_E$ and $\bar{N}_E=\bar{N}_{{\textnormal{th}}}$ for the thermal noise channel. Our result (Theorem \[thm:mainbd\]) is conceptually including the König and Smith’s previous work [@sKS13].

[7]{} H. P. Yuen and M. Ozawa, “Ultimate information carrying limit of quantum systems," [  **70**, 363 (1993)](http://dx.doi.org/10.1103/PhysRevLett.70.363). C. M. Caves and P. D. Drummond, “Quantum limits on bosonic communication rates," [  **66**, 481–537 (1994)](http://dx.doi.org/10.1103/RevModPhys.66.481). V. Giovannetti, S. Lloyd, L. Maccone, and P. W. Shor, “Broadband channel capacities," [  **68**, 062323 (2003)](http://dx.doi.org/10.1103/PhysRevA.68.062323). M. M. Wolf, G. Giedke, and J. I. Cirac, “Extremality of Gaussian Quantum States," [  **96**, 080502 (2006)](http://dx.doi.org/10.1103/PhysRevLett.96.080502). V. Giovannetti, S. Guha, S. Lloyd, L. Maccone, and J. H. Shapiro, “Minimal output entropy of bosonic channels: a conjecture," [  **70**, 032315 (2004)](http://dx.doi.org/10.1103/PhysRevA.70.032315). S. Guha, “Classical capacity of the free-space quantum-optical channel," S. M. Thesis, MIT (2004). V. Giovannetti, R. García-Patrón, N. J. Cerf and A. S. Holevo, “Ultimate classical communication rates of quantum optical channels," [ Nat. Photonics **8**, 796–800 (2014)](http://dx.doi.org/10.1038/nphoton.2014.216). A. Mari, V. Giovannetti, and A. S. Holevo, “Quantum state majorization at the output of bosonic Gaussian channels," [ Nat. Commun. **5**, 3826 (2014)](http://dx.doi.org/10.1038/ncomms4826). R. König and G. Smith, “The Entropy Power Inequality for Quantum Systems," [ IEEE Trans. Inf. Theory **60**, 1536–1548 (2014)](http://dx.doi.org/10.1109/TIT.2014.2298436). G. de Palma, A. Mari, and V. Giovannetti, “A generalization of the entropy power inequality to bosonic quantum systems," [ Nat. Photonics **8**, 958–964 (2014)](http://dx.doi.org/10.1038/nphoton.2014.252). R. König and G. Smith, “Limits on classical communication from quantum entropy power inequalities," [ Nat. Photonics **7**, 142–146 (2013)](http://dx.doi.org/10.1038/nphoton.2012.342).
