We derive explicit formulas for the capacity of multimode quantum Gaussian channels which serve as a fundamental model for optical version of multiple-input multiple-output channels. We show that it is always optimal to increase the number of modes under fixed power constraint. We derive an analytical formula for the ensemble-averaged Holevo capacity in the case of random passive transformations. The analogous results are also obtained for capacities achievable under homodyne and heterodyne detection. We further discuss the generalization of the model to include weak active transformations.
We derive explicit formulas for the capacity of multimode quantum Gaussian channels which serve as a fundamental model for optical version of multiple-input multiple-output channels. We show that it is always optimal to increase the number of modes under fixed power constraint. We derive an analytical formula for the ensemble-averaged Holevo capacity in the case of random passive transformations. The analogous results are also obtained for capacities achievable under homodyne and heterodyne detection. We further discuss the generalization of the model to include weak active transformations.
The classical capacity of a noisy optical channel is the maximum rate at which information can be transmitted reliably, given a constraint on the mean input energy. For the ubiquitous bosonic Gaussian channels, which include standard models of loss and noise in fibre and free-space optical links, determining this rate requires addressing whether entanglement between channel uses or non-Gaussian signals can outperform Gaussian encodings. More precisely, the question is whether the energy-constrained Holevo information is additive across arbitrarily many channel uses and coincides with its Gaussian counterpart. We answer these fundamental questions in the affirmative for every single-mode bosonic Gaussian channel at every input energy. Namely, we prove that independently prepared Gaussian states with Gaussian-distributed random displacements achieve the capacity, including in the low-energy regime where squeezing the signals competes with encoding information in their displacement. Our proof connects an entanglement inequality to a sharp, additive lower bound on output entropy. We then characterise communication above capacity: under a strict total photon-number cutoff, the probability of correct decoding decreases exponentially with the number of channel uses, and we derive explicit bounds on the decay exponent. When only the mean photon number is constrained, a simple energy-rescaling formula determines exactly the entire asymptotic rate--error trade-off: the capacity at mean photon number N and allowed average decoding error ε equals the vanishing-error capacity at mean photon number N/(1−ε). Together, these results identify the ultimate limits of classical communication for some of the most fundamental models of optical communication.
Optimization methods aimed at estimating the capacities of a general Gaussian channel are developed. Specifically evaluation of classical capacity as maximum of the Holevo information is pursued over all possible Gaussian encodings for the lossy bosonic channel, but extension to other capacities and other Gaussian channels seems feasible. Solutions for both memoryless and memory channels are presented. It is first dealt with single-use (single-mode) channel where the capacity dependence on channel's parameters is analyzed providing the full classification of possible cases. Then, it is dealt with multiple uses (multimode) channel where the capacity dependence on the (multimode) environment state is analyzed when both total environment energy and environment purity are fixed. This allows a fair comparison among different environments, thus understanding the role of memory (intermode correlations) and phenomenon like superadditivity of the capacity. The developed methods are also used for deriving transmission rates with heterodyne and homodyne measurements at the channel output. Classical capacity and transmission rates are presented within a unique framework where the rates can be treated as logarithmic approximations of the capacity.
The classical capacity of quantum channels is the tight upper bound for the transmission rate of classical information. This is a quantum counterpart of the foundational notion of the channel capacity introduced by Shannon. Bosonic Gaussian quantum channels provide a good model for optical communications. In order to properly define the classical capacity for these quantum systems, an energy constraint at the channel input is necessary, as in the classical case. A further restriction to Gaussian input ensembles defines the Gaussian (classical) capacity, which can be studied analytically. It also provides a lower bound on the classical capacity and moreover, it is conjectured to coincide with the classical capacity. Therefore, the Gaussian capacity is a useful and important notion in quantum information theory. Recently, we have shown that the study of both the classical and Gaussian capacity of an arbitrary single mode Gaussian quantum channel can be reduced to the study of a particular fiducial channel. In this work we consider the Gaussian capacity of the fiducial channel, discuss its additivity and analyze its dependence on the channel parameters. In addition, we extend previously obtained results on the optimal channel environment to the single mode fiducial channel. In particular, we show that the optimal channel environment for the lossy, amplification, and phase conjugating channels is given by a pure quantum state if its energy is constrained.
The applications of the general formulae of channel capacity developed in the quantum information theory to evaluation of information transmission capacity of optical channel are interesting subjects. In this review paper, we will point out that the formulation based on only classical-quantum channel mapping model may be inadequate when one takes into account a power constraint for noisy channel. To define the power constraint well, we should explicitly consider how quantum states are conveyed through a transmission channel. Basing on such consideration, we calculate a capacity formula for an attenuated noisy optical channel with genreral Gaussian state input; this gives certain progress beyond the example in our former paper.
We study quantum communication, entanglement distribution, and secret-key generation through multimode bosonic loss and fading channels, assisted by local quantum operations and two-way classical communication. Using sector teleportation, we determine the exact two-way quantum and secret-key capacities of multimode pure-loss channels under a mean photon-number constraint, allowing arbitrary adaptive quantum protocols. We extend these results to continuous frequency-dependent loss under a power constraint and identify the optimal allocation of photons among optical modes. For constant loss over an unlimited bandwidth, we obtain a closed-form capacity proportional to the square root of power. For randomly varying loss, we determine exact finite-energy capacities when the channel realization is publicly revealed, distinguishing knowledge before and after transmission. When fading remains unobserved, we derive capacity bounds and explicit formulas for an on/off channel. We also establish strong-converse bounds, with exact thresholds for the deterministic loss models considered here, observed fading, and unobserved fading with finitely many possible transmissivities. Under mean energy constraints, these thresholds generally exceed the corresponding finite-energy capacities. These results guide energy allocation and provide benchmarks for energy-constrained optical quantum communication with multimode signals and variable loss.
The additivity of the minimal output entropy and that of the χ-capacity are known to be equivalent for finite-dimensional irreducibly covariant quantum channels. In this paper, we formulate a list of conditions allowing to establish similar equivalence for infinite-dimensional covariant channels with constrained input. This is then applied to bosonic Gaussian channels with quadratic input constraint to extend the classical capacity results of the recent paper [Giovannetti et al., Commun. Math. Phys. 334(3), 1553-1571 (2015)] to the case where the complex structures associated with the channel and with the constraint operator need not commute. In particular, this implies a multimode generalization of the “threshold condition,” obtained for single mode in Schäfer et al. [Phys. Rev. Lett. 111, 030503 (2013)], and the proof of the fact that under this condition the classical “Gaussian capacity” resulting from optimization over only Gaussian inputs is equal to the full classical capacity. Complex structures correspond to different squeezings, each with its own normal modes, vacuum and coherent states, and the gauge. Thus our results apply, e.g., to multimode channels with a squeezed Gaussian noise under the standard input energy constraint, provided the squeezing is not too large as to violate the generalized threshold condition. We also investigate the restrictiveness of the gauge-covariance condition for single- and multimode bosonic Gaussian channels.