Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1004.4787 · Journal of Physics A Mathematical and Theoretical

Generalized minimal output entropy conjecture for one-mode Gaussian channels: definitions and some exact results

Vittorio Giovannetti, Alexander Semenovich Holevo, Seth Lloyd, Lorenzo Maccone

Published Sep 27, 2010• 36 citations
arXivHTMLPDF

Abstract

A formulation of the generalized minimal output entropy conjecture for Gaussian channels is presented. It asserts that, for states with fixed input entropy, the minimal value of the output entropy of the channel (i.e. the minimal output entropy increment for fixed input entropy) is achieved by Gaussian states. In the case of centered channels (i.e. channels which do not add squeezing to the input state) this implies that the minimum is obtained by thermal (Gibbs) inputs. The conjecture is proved to be valid in some special cases.

DOI
10.1088/1751-8113/43/41/415305

Related papers

On the minimum output entropy of single-mode phase-insensitive Gaussian channels

Haoyu Qi, Mark M. Wilde, Saikat Guha

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 for amplifier channels. However, we do prove that, if the conjecture holds for gauge-covariant Gaussian channels, it would also hold for gauge-contravariant Gaussian channels. The truth of the latter leads to a solution of the triple trade-off and broadcast capacities of quantum-limited amplifier channels. We note that de Palma et al. [Phys. Rev. Lett. 118, 160503 (2017)] have now proven the conjecture for all single-mode gauge-covariant Gaussian channels by employing a different approach from what we outline here. Proving a multi-mode generalization of de Palma et al.'s above mentioned result---i.e., given a lower bound on the von Neumann entropy of the input to an $n$-mode lossy thermal-noise bosonic channel, an $n$-mode product thermal state input minimizes the output entropy---will establish an important special case of the conjectured Entropy Photon-number Inequality (EPnI). The EPnI, if proven true, would take on a role analogous to Shannon's EPI in proving coding theorem converses involving quantum limits of classical communication over bosonic channels.

arXiv:1607.05262•Jul 18, 2016•7 citations

Gaussian States Minimize the Output Entropy of One-Mode Quantum Gaussian Channels

Giacomo De Palma, Dario Trevisan, Vittorio Giovannetti

We prove the long-standing conjecture stating that Gaussian thermal input states minimize the output von Neumann entropy of one-mode phase-covariant quantum Gaussian channels among all the input states with a given entropy. Phase-covariant quantum Gaussian channels model the attenuation and the noise that affect any electromagnetic signal in the quantum regime. Our result is crucial to prove the converse theorems for both the triple trade-off region and the capacity region for broadcast communication of the Gaussian quantum-limited amplifier. Our result extends to the quantum regime the entropy power inequality that plays a key role in classical information theory. Our proof exploits a completely new technique based on the recent determination of the p→q norms of the quantum-limited amplifier [De Palma et al., arXiv:1610.09967]. This technique can be applied to any quantum channel.

arXiv:1610.09970•Physical Review Letters•Apr 21, 2017•31 citations

Gaussian States Minimize the Output Entropy of the One-Mode Quantum Attenuator

Giacomo De Palma, Dario Trevisan, Vittorio Giovannetti

We prove that Gaussian thermal input states minimize the output von Neumann entropy of the one-mode Gaussian quantum-limited attenuator for fixed input entropy. The Gaussian quantum-limited attenuator models the attenuation of an electromagnetic signal in the quantum regime. The Shannon entropy of an attenuated real-valued classical signal is a simple function of the entropy of the original signal. A striking consequence of energy quantization is that the output von Neumann entropy of the quantum-limited attenuator is no more a function of the input entropy alone. The proof starts from the majorization result of De Palma et al., IEEE Trans. Inf. Theory 62, 2895 (2016), and is based on a new isoperimetric inequality. Our result implies that geometric input probability distributions minimize the output Shannon entropy of the thinning for fixed input entropy. Moreover, our result opens the way to the multimode generalization that permits to determine both the triple tradeoff region of the Gaussian quantum-limited attenuator and the classical capacity region of the Gaussian degraded quantum broadcast channel.

arXiv:1605.00441•IEEE Transactions on Information Theory•Nov 1, 2016•31 citations

Minimum output entropy of bosonic channels: A conjecture

Vittorio Giovannetti, Saikat Guha, Seth Lloyd +2 more

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.

arXiv:quant-ph/0404005•Physical Review A•Sep 21, 2004•134 citations

The bosonic minimum output entropy conjecture and Lagrangian minimization

Seth Lloyd, Vittorio Giovannetti, Lorenzo Maccone +8 more

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. However, it does not seem to be able to exclude the possibility that other input ensembles can attain the channel capacity.

arXiv:0906.2758•Jun 15, 2009•6 citations

The active entropy photon-number inequality: Gaussian channel entropy minima without entanglement

Zixuan He

Abstract How much does a nearly minimal output entropy reveal about the quantum states entering an amplifier? We prove the active entropy photon-number inequality for two independent multimode inputs, each with arbitrary internal correlations, and characterise every equality case. Writing 𝒩n(ρ) = g−1(S(ρ)/n), where g(x) = (x + 1) log(x + 1) − x log x, the output obeys 𝒩n(C) ≥ G𝒩n(A) + (G − 1)[𝒩n(B) + 1]. Equality requires Gaussian inputs with one common symplectic shape, reflected on the creation-operator port. At fixed finite mode number and input energy, a power of the actual output gap bounds the full trace distance to a compatible Gaussian pair with the original means and entropies. For a pure one-mode signal and a specified Gaussian idler, a Wehrl-entropy bridge gives a square-root bound. The inequality also fixes the exact constrained output-entropy minimum of every finite block of thermal amplifiers. For unequal one-mode Gaussian channels, the optimisation over all entangled and non-Gaussian block inputs reduces to scalar entropy allocation, with a sharp threshold at which a second mode becomes active. These results determine both the optimal output and the input structure that can approach it, turning an entropy benchmark into a quantitative test of source models. Version 1.2 — 8 October 2026 This revision develops the input-rigidity theory: near saturation of the active EPnI now constrains both independent inputs jointly. Complete equality classification. For two independent finite-energy multimode inputs, equality is characterised by a common symplectic Gaussian shape, with reflection on the creation-operator port. Each input may contain arbitrary internal correlations. Quantitative stability for arbitrary inputs. At fixed finite mode number, gain and input-energy bound, a power-law estimate controls the full trace distance to one compatible Gaussian pair matching the original means and entropies. The theorem includes pure and nonfaithful states and states with infinite Fock support. A stronger one-mode bound. For a pure signal and a specified Gaussian idler, which may be mixed, a Wehrl-entropy bridge gives a square-root estimate and an explicit sufficient tolerance for the input error. Expanded proofs and figures. New appendices provide the complete arguments and explicit constants. A new vector figure connects the equality geometry with the quantitative input-error bound. The active EPnI, exact finite-block thermal-amplifier minima and exact scalar entropy allocation for heterogeneous Gaussian channels are retained. The 49-page PDF contains the complete manuscript, proofs, four figures and references.

•Oct 7, 2026•0 citations
A formulation of the generalized minimal output entropy conjecture for Gaussian channels is presented. It asserts that, for states with fixed input entropy, the minimal value of the output entropy of the channel (i.e. the minimal output entropy increment for fixed input entropy) is achieved by Gaussian states. In the case of centered channels (i.e. channels which do not add squeezing to the input state) this implies that the minimum is obtained by thermal (Gibbs) inputs. The conjecture is proved to be valid in some special cases.
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 for amplifier channels. However, we do prove that, if the conjecture holds for gauge-covariant Gaussian channels, it would also hold for gauge-contravariant Gaussian channels. The truth of the latter leads to a solution of the triple trade-off and broadcast capacities of quantum-limited amplifier channels. We note that de Palma et al. [Phys. Rev. Lett. 118, 160503 (2017)] have now proven the conjecture for all single-mode gauge-covariant Gaussian channels by employing a different approach from what we outline here. Proving a multi-mode generalization of de Palma et al.'s above mentioned result---i.e., given a lower bound on the von Neumann entropy of the input to an nnn-mode lossy thermal-noise bosonic channel, an nnn-mode product thermal state input minimizes the output entropy---will establish an important special case of the conjectured Entropy Photon-number Inequality (EPnI). The EPnI, if proven true, would take on a role analogous to Shannon's EPI in proving coding theorem converses involving quantum limits of classical communication over bosonic channels.
We prove the long-standing conjecture stating that Gaussian thermal input states minimize the output von Neumann entropy of one-mode phase-covariant quantum Gaussian channels among all the input states with a given entropy. Phase-covariant quantum Gaussian channels model the attenuation and the noise that affect any electromagnetic signal in the quantum regime. Our result is crucial to prove the converse theorems for both the triple trade-off region and the capacity region for broadcast communication of the Gaussian quantum-limited amplifier. Our result extends to the quantum regime the entropy power inequality that plays a key role in classical information theory. Our proof exploits a completely new technique based on the recent determination of the p→q norms of the quantum-limited amplifier [De Palma et al., arXiv:1610.09967]. This technique can be applied to any quantum channel.
We prove that Gaussian thermal input states minimize the output von Neumann entropy of the one-mode Gaussian quantum-limited attenuator for fixed input entropy. The Gaussian quantum-limited attenuator models the attenuation of an electromagnetic signal in the quantum regime. The Shannon entropy of an attenuated real-valued classical signal is a simple function of the entropy of the original signal. A striking consequence of energy quantization is that the output von Neumann entropy of the quantum-limited attenuator is no more a function of the input entropy alone. The proof starts from the majorization result of De Palma et al., IEEE Trans. Inf. Theory 62, 2895 (2016), and is based on a new isoperimetric inequality. Our result implies that geometric input probability distributions minimize the output Shannon entropy of the thinning for fixed input entropy. Moreover, our result opens the way to the multimode generalization that permits to determine both the triple tradeoff region of the Gaussian quantum-limited attenuator and the classical capacity region of the Gaussian degraded quantum broadcast channel.
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. However, it does not seem to be able to exclude the possibility that other input ensembles can attain the channel capacity.
Abstract How much does a nearly minimal output entropy reveal about the quantum states entering an amplifier? We prove the active entropy photon-number inequality for two independent multimode inputs, each with arbitrary internal correlations, and characterise every equality case. Writing 𝒩n(ρ) = g−1(S(ρ)/n), where g(x) = (x + 1) log(x + 1) − x log x, the output obeys 𝒩n(C) ≥ G𝒩n(A) + (G − 1)[𝒩n(B) + 1]. Equality requires Gaussian inputs with one common symplectic shape, reflected on the creation-operator port. At fixed finite mode number and input energy, a power of the actual output gap bounds the full trace distance to a compatible Gaussian pair with the original means and entropies. For a pure one-mode signal and a specified Gaussian idler, a Wehrl-entropy bridge gives a square-root bound. The inequality also fixes the exact constrained output-entropy minimum of every finite block of thermal amplifiers. For unequal one-mode Gaussian channels, the optimisation over all entangled and non-Gaussian block inputs reduces to scalar entropy allocation, with a sharp threshold at which a second mode becomes active. These results determine both the optimal output and the input structure that can approach it, turning an entropy benchmark into a quantitative test of source models. Version 1.2 — 8 October 2026 This revision develops the input-rigidity theory: near saturation of the active EPnI now constrains both independent inputs jointly. Complete equality classification. For two independent finite-energy multimode inputs, equality is characterised by a common symplectic Gaussian shape, with reflection on the creation-operator port. Each input may contain arbitrary internal correlations. Quantitative stability for arbitrary inputs. At fixed finite mode number, gain and input-energy bound, a power-law estimate controls the full trace distance to one compatible Gaussian pair matching the original means and entropies. The theorem includes pure and nonfaithful states and states with infinite Fock support. A stronger one-mode bound. For a pure signal and a specified Gaussian idler, which may be mixed, a Wehrl-entropy bridge gives a square-root estimate and an explicit sufficient tolerance for the input error. Expanded proofs and figures. New appendices provide the complete arguments and explicit constants. A new vector figure connects the equality geometry with the quantitative input-error bound. The active EPnI, exact finite-block thermal-amplifier minima and exact scalar entropy allocation for heterogeneous Gaussian channels are retained. The 49-page PDF contains the complete manuscript, proofs, four figures and references.