The full solution of the optimization problem giving the Gaussian capacity of the single-mode fiducial Gaussian quantum channel is provided. Since it was shown that the Gaussian capacity of an arbitrary (phase-sensitive or insensitive) single-mode Gaussian quantum channel is equal to the Gaussian capacity of this fiducial channel, the solution presented in this work can be regarded as universal. The analytical study of this solution, below and above the energy threshold, shows that the dependence of the Gaussian capacity on the environment noise squeezing is not monotonic. In particular, the capacity may have a saddle point, one or two extrema at finite squeezing, or be a monotonically increasing function of the squeezing parameter. The exact dependence is defined by the determinant of the noise covariance matrix and by the transmissivity (or gain) of the fiducial Gaussian channel.
The full solution of the optimization problem giving the Gaussian capacity of the single-mode fiducial Gaussian quantum channel is provided. Since it was shown that the Gaussian capacity of an arbitrary (phase-sensitive or insensitive) single-mode Gaussian quantum channel is equal to the Gaussian capacity of this fiducial channel, the solution presented in this work can be regarded as universal. The analytical study of this solution, below and above the energy threshold, shows that the dependence of the Gaussian capacity on the environment noise squeezing is not monotonic. In particular, the capacity may have a saddle point, one or two extrema at finite squeezing, or be a monotonically increasing function of the squeezing parameter. The exact dependence is defined by the determinant of the noise covariance matrix and by the transmissivity (or gain) of the fiducial Gaussian channel.
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.
In this thesis we study the information transmission through Gaussian quantum channels. Gaussian quantum channels model physical communication links, such as free space communication or optical fibers and therefore, may be considered as the most relevant quantum channels. One of the central characteristics of any communication channel is its capacity. In this work we are interested in the classical capacity, which is the maximal number of bits that can be reliably transmitted per channel use. An important lower bound on the classical capacity is given by the Gaussian capacity, which is the maximal transmission rate with the restriction that only Gaussian encodings are allowed: input messages are encoded in so-called Gaussian states for which the mean field amplitudes are Gaussian distributed. We focus in this work mainly on the Gaussian capacity for the following reasons. First, Gaussian encodings are easily accessible experimentally. Second, the difficulty of studying the classical capacity, which arises due to an optimization problem in an infinite dimensional Hilbert space, is greatly reduced when considering only Gaussian input encodings. Third, the Gaussian capacity is conjectured to coincide with the classical capacity, even though this longstanding conjecture is unsolved until today. We start with the investigation of the capacities of the single-mode Gaussian channel. We show that the most general case can be reduced to a simple, fiducial Gaussian channel which depends only on three parameters: its transmissivity (or gain), the added noise variance and the squeezing of the noise. Above a certain input energy threshold, the optimal input variances are given by a quantum water-filling solution, which implies that the optimal modulated output state is a thermal state. This is a quantum extension (or generalization) of the well-known classical water-filling solution for parallel Gaussian channels. Below the energy threshold the solution is given by a transcendental equation and only the less noisy quadrature is modulated. We characterize in detail the dependence of the Gaussian capacity on its channel parameters. In particular, we show that the Gaussian capacity is a non-monotonous function of the noise squeezing and analytically specify the regions where it exhibits one maximum, a maximum and a minimum, a saddle point or no extrema. Then, we investigate the case of n-mode channels with noise correlations (i.e. memory), where we focus in particular on the classical additive noise channel. We consider memory models for which the noise correlations can be unraveled by a passive symplectic transformation. Therefore, we can simplify the problem to the study of the Gaussian capacity in an uncorrelated basis, which corresponds to the Gaussian capacity of n single-mode channels with a common input energy constraint. Above an input energy threshold the solutions is given by a global quantum water-filling solution, which implies that all modulated single-mode output states are thermal states with the same temperature. Below the threshold the channels are divided into three sets: i) those that are excluded from information transmission, ii) those for which only the less noisy quadrature is modulated, and iii) those for which the quantum water-filling solution is satisfied. As an example we consider a Gauss-Markov correlated noise, which in the uncorrelated basis corresponds to a collection of single-mode classical additive noise channels. When rotating the collection of optimal single-mode input states back to the original, correlated basis the optimal multi-mode input state becomes a highly entangled state. We then compare the performance of the optimal input state with a simple coherent state encoding and conclude that one gains up to 10% by using the optimal encoding. Since the preparation of the optimal input state may be very challenging we consider sub-optimal Gaussian-matrix product states (GMPS) as input states as well. GMPS have a known experimental setup and, though being heavily entangled, can be generated sequentially. We demonstrate that for the Markovian correlated noise as well as for a non-Markovian noise model in a wide range of channel parameters, a nearest-neighbor correlated GMPS achieves more than 99.9% of the Gaussian capacity. At last, we introduce a new noise model for which the GMPS is the exact optimal input state. Since GMPS are known to be ground states of quadratic Hamiltonians this suggests a starting point to develop links between optimization problems of quantum communication and many body physics.
We prove the equivalence of an arbitrary single-mode Gaussian quantum channel and a newly defined fiducial channel preceded by a phase shift and followed by a Gaussian unitary operation. This equivalence implies that the energy-constrained classical capacity of any single-mode Gaussian channel can be calculated based on this fiducial channel, which is furthermore simply realizable with a beam splitter, two identical single-mode squeezers, and a two-mode squeezer. In a large domain of parameters, we also provide an analytical expression for the Gaussian classical capacity, exploiting its additivity, and prove that the classical capacity cannot exceed it by more than 1/ln2 bits.
We prove Gaussian optimality for the energy-constrained one-shot Holevo capacity of single-mode bosonic Gaussian channels, including phase-sensitive channels with arbitrarily squeezed thermal noise. The unresolved regime is the low energy branch, where the Gaussian optimizer modulates only one quadrature and minimum-output-entropy arguments cannot decouple the average state from the letters. For pure one-mode dilations we retain a stronger pointwise result: moment-matched Gaussianization improves the fixed average Holevo function for every input. For mixed environments, whose purification produces a 1:2 entanglement-of-formation problem, we avoid any generic 1:2 Gaussian extremality conjecture. The optimal Gaussian letter selects an effective environmental Schmidt mode and an affine two-mode EPR witness. Its null direction is exactly the modulated quadrature, while its slope equals the negative derivative of the Gaussian letter-output entropy. This produces a supporting lower bound on the dilated entanglement of formation; Gaussian maximum entropy and concavity then give a global upper bound tangent at the Gaussian optimizer. Consequently the known Gaussian formulas for attenuating, amplifying, phase-conjugating, and additive-noise fiducial channels are exact over unrestricted ensembles at every input energy. Via the passive-input fiducial decomposition and energy-constrained continuity, the result extends to every single-mode Gaussian channel, including lower-rank canonical limits. No additivity across channel uses is assumed.
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 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.