The von Neumann entropy at the output of a bosonic channel with thermal noise is analyzed. Coherent-state inputs are conjectured to minimize this output entropy. Physical and mathematical evidence in support of the conjecture is provided. A stronger conjecture--that output states resulting from coherent-state inputs majorize the output states from other inputs--is also discussed.
We consider a line with noise in the simplest case. Loss does not add noise. Amplification via phase insensitive amplifiers do add noise. A lower bound of this capacity is the quantum analog to the Shannon capacity of a linear channel with additive white Gaussian noise, namely the difference of the Von Neumann entropy of the signal plus noise at the output of the line and the entropy of the noise alone. We show that this expression is indeed the capacity for the case of an amplifier with infinitesimal gain $G = 1+ε$, and for a cascade of an amplifier with arbitrary gain and a large loss, such …
The minimum Renyi and Wehrl output entropies are found for bosonic channels in which the signal photons are either randomly displaced by a Gaussian distribution (classical-noise channel), or in which they are coupled to a thermal environment through lossy propagation (thermal-noise channel). It is shown that the Renyi output entropies of integer orders z>1 and the output Wehrl entropy are minimized when the channel input is a coherent state.
Previous work on the classical information capacities of bosonic channels has established the capacity of the single-user pure-loss channel, bounded the capacity of the single-user thermal-noise channel, and bounded the capacity region of the multiple-access channel. The latter is a multi-user scenario in which several transmitters seek to simultaneously and independently communicate to a single receiver. We study the capacity region of the bosonic broadcast channel, in which a single transmitter seeks to simultaneously and independently communicate to two different receivers. It is known that…
We introduce a new form for the bosonic channel minimal output entropy conjecture, namely that among states with equal input entropy, the thermal states are the ones that have slightest increase in entropy when sent through a infinitesimal thermalizing channel. We then detail a strategy to prove the conjecture through variational techniques. This would lead to the calculation of the classical capacity of a communication channel subject to thermal noise. Our strategy detects input thermal ensembles as possible solutions for the optimal encoding of the channel, lending support to the conjecture.…
We show that when coherent-state encoding is employed in conjunction with coherent detection, the Bosonic broadcast channel is equivalent to a classical degraded Gaussian broadcast channel whose capacity region is dual to that of the classical Gaussian multiple-access channel. We further show that if a minimum output-entropy conjecture holds true, then the ultimate classical information capacity of the Bosonic broadcast channel can be achieved by a coherent-state encoding. We provide some evidence in support of the conjecture.
Determining the ultimate classical information carrying capacity of electromagnetic waves requires quantum-mechanical analysis to properly account for the bosonic nature of these waves. Recent work has established capacity theorems for bosonic single-user and broadcast channels, under the presumption of two minimum output entropy conjectures. Despite considerable accumulated evidence that supports the validity of these conjectures, they have yet to be proven. In this paper, it is shown that the second conjecture suffices to prove the classical capacity of the bosonic wiretap channel, which in …
A longstanding open problem in quantum information theory is to find the classical capacity of an optical communication link, modeled as a Gaussian bosonic channel. It has been conjectured that this capacity is achieved by a random coding of coherent states using an isotropic Gaussian distribution in phase space. We show that proving a Gaussian minimum entropy conjecture for a quantum-limited amplifier is actually sufficient to confirm this capacity conjecture, and we provide a strong argument towards this proof by exploiting a connection between quantum entanglement and majorization theory.
In this paper, making use of the global one-dimensionality conjecture, we discuss the reduction of the Wheeler-DeWitt quantum geometrodynamics to the Klein-Gordon equation describing the scalar bosonic particle. The method of second quantization in the appropriate Fock space is applied, and, employing both the Bogoliubov transformation as well as Heisenberg equations of motion, the quantum gravity is expressed as evolution of the creators and annihilators related to the initial data. It is shown that this procedure leads to the understanding of the boson mass, through the one-point two-boson q…
It is known that the additivity conjecture of Holevo capacity, output minimum entoropy, and the entanglement of formation (EoF), are equivalent with each other. Among them, the output minimum entropy is simplest, and hence many researchers are focusing on this quantity. Here, we suggest yet another entanglement measure, whose strong superadditivity and additivity are equivalent to the additivity of the quantities mentioned above. This quantity is as simple as the output minimum entropy, and in existing proofs of additivity conjecture of the output minimum entropy for the specific examples, the…
Nonlinear coherent states are an interesting resource for quantum technologies. Here we investigate some critical features of the single-boson nonlinear coherent states, which are theoretically constructed as eigenstates of the annihilation operator and experimentally realized as stationary states of a trapped laser-driven ion. We show that the coherence and the minimum-uncertainty properties of such states are broken for values of the Lamb-Dicke parameter corresponding to the roots of the Laguerre polynomials, which enter their explicit expression. The case of the multiboson nonlinear coheren…
Hastings recently reported a randomized construction of channels violating the minimum output entropy additivity conjecture. Here we revisit his argument, presenting a simplified proof. In particular, we do not resort to the exact probability distribution of the Schmidt coefficients of a random bipartite pure state, as in the original proof, but rather derive the necessary large deviation bounds by a concentration of measure argument. Furthermore, we prove non-additivity for the overwhelming majority of channels consisting of a Haar random isometry followed by partial trace over the environmen…
The extremality of Gaussian states is exploited to show that Gaussian states are the most robust, among all possible bipartite continuous-variable states at fixed energy, against disentanglement due to noisy evolutions in Markovian Gaussian channels involving dissipation and thermal hopping. This proves a conjecture raised recently in [M. Allegra, P. Giorda, and M. G. A. Paris, Phys. Rev. Lett. {\bf 105}, 100503 (2010)], providing a rigorous validation of the conclusions of that work. The problem of identifying continuous variable states with maximum resilience to entanglement damping in more …
It is shown that a similar functional form $S=a+b\ln N$ holds approximately for the information entropy S as function of the number of particles N for atoms, nuclei and atomic clusters (fermionic systems) and correlated boson-atoms in a trap (bosonic systems). It is also seen that rigorous inequalities previously found to hold between S and the kinetic energy T for fermionic systems, hold for bosonic systems as well. It is found that Landsberg's order parameter $Ω$ is an increasing function of N for the above systems. It is conjectured that the above properties are universal i.e. they do not d…
The minimum requirements for entanglement detection are discussed for a spin chain in which the spins cannot be individually accessed. The methods presented detect entangled states close to a cluster state and a many-body singlet state, and seem to be viable for experimental realization in optical lattices of two-state bosonic atoms. The entanglement criteria are based on entanglement witnesses and on the uncertainty of collective observables.
Dass, Qureshi, and Sheel conjecture that the lower bound in the Heisenberg-Robertson uncertainty relation cannot be reached in mixed states. The conjecture is wrong.
Quantum communication theory explores the implications of quantum mechanics to the tasks of information transmission. Many physical channels can be formally described as quantum Gaussian operations acting on bosonic quantum states. Depending on the input state and on the quality of the channel, the output suffers certain amount of noise. For a long time it has been conjectured, but never proved, that output states of Gaussian channels corresponding to coherent input signals are the less noisy ones (in the sense of a majorization criterion). In this work we prove this conjecture. Specifically w…
Determining the ultimate classical information carrying capacity of electromagnetic waves requires quantum-mechanical analysis to properly account for the bosonic nature of these waves. Recent work has established capacity theorems for bosonic single-user, broadcast, and wiretap channels, under the presumption of two minimum output entropy conjectures. Despite considerable accumulated evidence that supports the validity of these conjectures, they have yet to be proven. Here we show that the preceding minimum output entropy conjectures are simple consequences of an Entropy Photon-Number Inequal…
The Amosov-Holevo-Werner conjecture implies the additivity of the minimum Re'nyi entropies at the output of a channel. The conjecture is proven true for all Re'nyi entropies of integer order greater than two in a class of Gaussian bosonic channel where the input signal is randomly displaced or where it is coupled linearly to an external environment.
Optical channels, such as fibers or free-space links, are ubiquitous in today's telecommunication networks. They rely on the electromagnetic field associated with photons to carry information from one point to another in space. As a result, a complete physical model of these channels must necessarily take quantum effects into account in order to determine their ultimate performances. Specifically, Gaussian photonic (or bosonic) quantum channels have been extensively studied over the past decades given their importance for practical purposes. In spite of this, a longstanding conjecture on the o…
Gnutzmann and Zyczkowski have proposed the Renyi-Wehrl entropy as a generalization of the Wehrl entropy, and conjectured that its minimum is obtained for coherent states. We prove this conjecture for the Renyi index q=2,3,... in the cases of compact semisimple Lie groups. A general formula for the minimum value is given.
In most communication schemes information is transmitted via travelling modes of electromagnetic radiation. These modes are unavoidably subject to environmental noise along any physical transmission medium and the quality of the communication channel strongly depends on the minimum noise achievable at the output. For classical signals such noise can be rigorously quantified in terms of the associated Shannon entropy and it is subject to a fundamental lower bound called entropy power inequality. Electromagnetic fields are however quantum mechanical systems and then, especially in low intensity …
For all 1 < p < 2, we demonstrate the existence of quantum channels with non-multiplicative maximal p-norms. Equivalently, the minimum output Renyi entropy of order p of a quantum channel is not additive for all 1 < p < 2. The violations found are large. As p approaches 1, the minimum output Renyi entropy of order p for a product channel need not be significantly greater than the minimum output entropy of its individual factors. Since p=1 corresponds to the von Neumann entropy, these counterexamples demonstrate that if the additivity conjecture of quantum information theory is true, it cannot …
We prove the conditional Entropy Power Inequality for Gaussian quantum systems. This fundamental inequality determines the minimum quantum conditional von Neumann entropy of the output of the beam-splitter or of the squeezing among all the input states where the two inputs are conditionally independent given the memory and have given quantum conditional entropies. We also prove that, for any couple of values of the quantum conditional entropies of the two inputs, the minimum of the quantum conditional entropy of the output given by the conditional Entropy Power Inequality is asymptotically ach…
The quantum Gaussian optimizers conjecture says that q-p norm of a Bosonic Gaussian channel is attained on "Gaussian" operators. Recently R.L. Frank and E.H. Lieb confirmed the hypothesis in the case q=p for gauge-covariant channels with arbitrary number of modes s [3]. In the present note we remark that in the case q=p our results in [6] and [9] in fact allow to prove the hypothesis for all Gaussian channels. Thus the condition of gauge covariance, rather crucial in the case q=1,s>1, plays no role in the case q=p.
Recently de Palma et al. [IEEE Trans. Inf. Theory 63, 728 (2017)] proved---using Lagrange multiplier techniques---that under a non-zero input entropy constraint, a thermal state input minimizes the output entropy of a pure-loss bosonic channel. In this note, we present our attempt to generalize this result to all single-mode gauge-covariant Gaussian channels by using similar techniques. Unlike the case of the pure-loss channel, we cannot prove that the thermal input state is the only local extremum of the optimization problem. %It is unclear to us why the same techniques do not lead to a proof…
The long-standing conjectures of the optimality of Gaussian inputs for Gaussian channel and Gaussian additivity are solved for a broad class of covariant or contravariant Bosonic Gaussian channels (which includes in particular thermal, additive classical noise, and amplifier channels) restricting to the class of states with finite second moments. We show that the vacuum is the input state which minimizes the entropy at the output of such channels. This allows us to show also that the classical capacity of these channels (under the input energy constraint) is additive and is achieved by Gaussia…
Recently, the longstanding Gaussian optimizer conjecture was proven for bosonic Gaussian gauge-covariant or contravariant channels in the work of Giovannetti, Holevo and Garcia-Patron [3]. In the paper of Mari, Giovannetti and Holevo [11] this result was strengthened for one-mode channels by establishing that the output for the vacuum or coherent input majorizes the output for any other input. In the present paper we give the multimode extension of the result of [11], including sufficient conditions under which the coherent states are the only optimizers. We also discuss direct implications of…
We study the time evolution of the entanglement entropy in bosonic systems with time-independent, or time-periodic, Hamiltonians. In the first part, we focus on quadratic Hamiltonians and Gaussian initial states. We show that all quadratic Hamiltonians can be decomposed into three parts: (a) unstable, (b) stable, and (c) metastable. If present, each part contributes in a characteristic way to the time-dependence of the entanglement entropy: (a) linear production, (b) bounded oscillations, and (c) logarithmic production. In the second part, we use numerical calculations to go beyond Gaussian st…
We study the problem of designing optical receivers to discriminate between multiple coherent states using coherent processing receivers---i.e., one that uses arbitrary coherent feedback control and quantum-noise-limited direct detection---which was shown by Dolinar to achieve the minimum error probability in discriminating any two coherent states. We first derive and re-interpret Dolinar's binary-hypothesis minimum-probability-of-error receiver as the one that optimizes the information efficiency at each time instant, based on recursive Bayesian updates within the receiver. Using this viewpoi…
For all p > 1, we demonstrate the existence of quantum channels with non-multiplicative maximal output p-norms. Equivalently, for all p >1, the minimum output Renyi entropy of order p of a quantum channel is not additive. The violations found are large; in all cases, the minimum output Renyi entropy of order p for a product channel need not be significantly greater than the minimum output entropy of its individual factors. Since p=1 corresponds to the von Neumann entropy, these counterexamples demonstrate that if the additivity conjecture of quantum information theory is true, it cannot be pro…