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

Conservation laws for the classical communication cost of one-way entanglement distillation, with entropic converse bounds for the pure-loss channel

Hikaru Wakaura, Taiki Tanimae

Published Sep 7, 2026• 1 citation
Publisher

Abstract

Entanglement distillation over the pure-loss bosonic channel is governed by the PLOB bound, -log2(1-η) ebits per use, but this benchmark presumes unlimited two-way classical communication. When the classical feedback budget is metered at B bits per use, the achievable rate approaches PLOB exponentially in B, yet no matching converse is known, and we argue that the standard route — static entanglement monotones — cannot work even in principle. Here we develop a converse program built on the Devetak–Harrow–Winter (DHW) characterization of one-way distillation. Our central result is a conservation law: for every rank-one instrument applied by the sending party, the single-copy communication charge R and entanglement yield E obey the exact identity R+E=S(B), the local entropy of the measured system, independent of the state; general instruments obey R+E=S(B)-S(E'|B'X), with a correction that vanishes for all projective coarse-grainings. Combining the identity with the proven quantum entropy power inequality yields an unconditional lower bound on the Bob-entropy cost of approaching PLOB, and, for the class of sharp instruments satisfying a per-instrument yield condition, a two-sided bound η^2 2^{-B} lesssim PLOB-C lesssim (e/2) η^2 2^{-B}: in this class the feedback-metered capacity provably falls short of PLOB at every finite B, with the gap determined up to a factor e/2. For two-mode-squeezed inputs — and, non-asymptotically, for the whole class of products of two-mode-squeezed states of arbitrary energies dressed by passive linear optics — we prove a complementary converse that needs no yield condition at all: a separable Gaussian witness pins the relative entropy of entanglement of the loss output to within Theta(1/bar N) of PLOB, reproducing the 2^{-B} gap scaling unconditionally for these input classes, with constants matched to within 0.78–0.94 of the achievability side for two-mode-squeezed inputs (smaller for the passive class at η ≥ 0.5). We further identify the obstruction to removing the yield condition in general: measurements can increase the reverse coherent information by up to their heralding information, E ≤ I_R + I(X;E), and we exhibit state families saturating this and show numerically that the excess is generic even for loss-channel outputs. The sharp-class converse is thereby reduced to a single variational problem, which we state precisely and conjecture to stay below PLOB; beyond the sharp class, we show the conservation law acquires a coarse-graining discount that must be bounded separately. Preprint (converse-side companion of: How many classical bits buy how much quantum capacity? Feedback-metered limits of lossy quantum communication). Ancillary files: reproduction scripts and data; code maintained at https://github.com/deeptell-inc/fmplob.

DOI
10.5281/zenodo.22641968

Related papers

How many classical bits buy how much quantum capacity? Feedback-metered limits of lossy quantum communication

Hikaru Wakaura, Taiki Tanimae

Sending quantum information over long distances is ultimately limited by photon loss. The rate limit of a lossy bosonic channel of transmissivity η is the two-way assisted capacity -log2(1-η) (the PLOB bound), whose achievability rests on unlimited classical feedback: without feedback the quantum capacity vanishes for all η ≤ 1/2, so classical back-communication acts as an on/off switch for quantum communication. Classical bits are priced for entanglement transformations and, for a fixed bipartite state, the one-way distillation trade-off between classical rate and ebit yield has a regularized entropic characterization; but no framework prices the feedback that assists a channel's quantum capacity — feedback that may steer subsequent channel inputs — and no such trade-off has been evaluated for any bosonic channel. Here we show that quantum communication can be metered in classical bits. Writing C(η,B) for the capacity of the pure-loss channel under a feedback budget of B classical bits per channel use, we construct the first achievable-rate frontier C_{ach}(η,B) ≤ C(η,B) and prove the onset law C_{ach}(η,B) ≥ ηlog2(m_B)/m_B, m_B = ⌈ H_2(η)/B⌉, valid for every B>0 with envelope (η/H_2(η)) Blog2(H_2(η)/B) as B → 0 — an exact identity R = η Blog2(1/B) under fixed-length accounting, so the Blog(1/B) order is accounting-convention invariant. The B=0 switch thereby resolves, at the level of achievable rates, into a continuous but non-analytic onset: even for η ≤ 1/2 any positive budget buys a positive quantum rate, each bit unlocking ~log2(1/B) ebits at small budgets and refuting the naive pricing C ≤ Q + B. At large budgets a metered quantum-state-merging family, consuming backward one-way classical communication only, achieves C_{ach}(η,B) ≥ PLOB - [eη^2/(2ln 2)] 2^{-B}(1+o(1)): each backward bit per use halves the achievable distance to PLOB, which exposes the 73.6% plateau of the purification families as a family artifact. Standard entanglement-measure converses are provably blind to B, so what remains open is only strict saturation at finite B, now confined to an exponentially small window. The frontier is also a design tool: on a network of lossy links, the joint allocation of per-link feedback budgets and photon directions under per-site classical budgets is a convex program, and on a 20-site fibre network its optimum doubles the end-to-end entanglement rate relative to a fixed orientation. An appendix extends the frontier to multimode loss, where Grassmann-quantized beamforming controls the PLOB loss at rate 2^{-B/(M-1)}. Preprint (companion paper: Conservation laws for the classical communication cost of one-way entanglement distillation, with entropic converse bounds for the pure-loss channel). Ancillary files: reproduction scripts and data; code maintained at https://github.com/deeptell-inc/fmplob.

•Sep 7, 2026•1 citation

Entanglement-of-formation potentials for feedback-assisted classical communication and randomness distillation

Mark M. Wilde

We develop entanglement-of-formation potentials for feedback-assisted classical communication and one-way randomness distillation. For a finite-dimensional quantum channel without initial shared entanglement, an exact amortization theorem bounds the increase of message information plus entanglement remaining across the communicating laboratories. This proves a classical-feedback capacity bound using a mixed-convex-roof expression previously studied by Winter and Yang in the context of potential capacities. We determine the capacity of flagged mixtures of noiseless and entanglement-breaking channels, improve a published depolarizing-channel converse, and evaluate the new bound exactly for the amplitude damping channel. A state analogue gives a finite-blocklength upper bound on the net shared randomness obtainable with one-way classical communication. Amplitude-damping Choi states provide exact benchmarks, while a full-rank generalized amplitude-damping Choi state demonstrates a useful improvement where we do not evaluate the operational rate exactly. We also distinguish one-way from two-way randomness distillation: a two-round weak-measurement protocol strictly exceeds the exact one-way rate of every nontrivial qubit isotropic state. The protocol preserves quantum side information during its first decoding and extracts additional randomness in the reverse direction. This shows why the one-way state potential is not a general two-way converse. Together, these results establish a common entanglement-based approach to sharper communication and randomness bounds, while revealing how retained quantum correlations enable two-way distillation to surpass one-way limits.

quant-pharXiv:2610.04831•Oct 6, 2026•0 citations

Static classical-quantum-entanglement trade-offs: an entropic converse and single-letter characterizations

Mark M. Wilde

The direct static capacity region of a bipartite quantum state describes its asymptotic conversion into classical communication, quantum communication, and entanglement, with all communication directed from Alice to Bob. This paper gives a unified entropic converse for this region. The proof treats generated and consumed resources simultaneously and derives all three information inequalities for one local instrument. Its main ingredients are no-signalling, the chain rule, strong subadditivity, and continuity of conditional entropy. A supporting-hyperplane characterization leads to the static capacity formula, which is helpful in determining single-letterization of the capacity region. For a pure state of entanglement entropy $h$ subjected to erasure with probability $p$, the complete region is the convex hull of $0$ and $(0,-ph,(1-p)h)$, plus the unit-resource cone. This statement holds for arbitrary collective instruments by using subset-entropy inequalities related to earlier methods used for the dynamic capacity region of the erasure channel. Complete characterizations also hold for symmetrically extendible states and locally flagged pure-state mixtures. For maximally correlated states, the optimization over local instruments admits an exact matrix formulation and an additive outer bound. An explicit qubit example shows that a nonorthogonal discarded quantum memory can outperform every efficient instrument and every instrument with conditionally commuting discarded states. For states obtained by qubit dephasing of Schmidt-aligned pure states, an exact threshold characterizes when the static capacity formula vanishes, at every blocklength and after regularization. Full single-letter characterizations for general Hadamard states and for the remaining trade-offs for dephased states remain open, with sufficient additivity conditions identified.

quant-pharXiv:2609.23298•Sep 22, 2026•0 citations

Strong converse for the quantum capacity of the pure-loss bosonic channel

Mark M. Wilde

This paper reports the proof of a strong converse for the unconstrained quantum capacity of the pure-loss bosonic channel. At every fixed rate above capacity, the entanglement-generation fidelity of every code is bounded by a constant times the reciprocal of the number of channel uses. The bound holds without an energy constraint and for arbitrary encoded states, including states correlated across all input modes, and arbitrary joint decoders. The proof combines quantum Chebyshev and hockey-stick testing inequalities with a uniform relative-entropy-variance bound for the balanced pure-loss channel, corresponding to transmissivity $η=1/2$. The variance bound follows by expressing the balanced beam splitter in bright and dark modes: the dark modes are exactly in vacuum, and any state orthogonal to that vacuum contains at least one dark photon. For general transmissivity, dilating the degrading attenuator reduces the problem to this balanced-channel setting and bounds the decoder test by precisely the factor that produces the known quantum-capacity threshold. The resulting argument establishes the strong converse at the unconstrained quantum capacity for every pure-loss bosonic channel.

quant-pharXiv:2609.16608•Sep 16, 2026•0 citations

Classical Capacity of Single-Mode Bosonic Gaussian Channels

Gerardo Adesso, Ludovico Lami, Vittorio Giovannetti

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.

quant-pharXiv:2610.22308•Oct 16, 2026•0 citations

A universal energy–entanglement capacity frontier for Gaussian optical channels

Zixuan He

How much classical information can a noisy optical channel carry when both signal energy and preshared entanglement are limited? This work gives an exact capacity frontier for this joint resource problem. It allows one to determine the best asymptotic communication rate, price the benefit of additional entanglement, and distinguish the effect of tolerating errors from that of changing how entanglement is supplied. Exact capacity under two resource constraints The setting is any fixed bosonic Gaussian channel \(\Phi\) with finitely many input and output modes. Signal energy is measured by a positive quadratic Hamiltonian \(H_G=\tfrac12 R^{\mathsf T}GR\), with \(G>0\) and ground energy \(E_0\); \(R\) collects the canonical quadratures. The budgets satisfy \(E\ge E_0\) and \(P\ge0\). For an \(n\)-use code, the mean total signal energy is at most \(nE\), while the same initially shared maximally entangled state has Schmidt rank \(K_n\) satisfying \(\log K_n\le nP\). Thus \(P\) is a strictly supplied entanglement rate. Encoders may be arbitrary joint quantum operations, and decoding may be collective. The classical capacity is \[ C(E,P)=\max_{\substack{U\ge V\;\mathrm{physical}\\ \frac12\operatorname{Tr}(GU)\le E,\;S_G(V)\le P}}\bigl[S_G(\Phi U)+S_G(V)-S_G(\Phi^c V)\bigr]. \] Here \(V\) is a Gaussian seed covariance, \(U\) is the average-input covariance, and \(U-V\) is the displacement-modulation covariance. A covariance is physical when \(V+i\Omega/2\ge0\), where \(\Omega\) is the canonical commutation matrix and the vacuum covariance is \(I/2\). The notation \(S_G\) denotes Gaussian von Neumann entropy, and \(\Phi^c\) is the full complementary channel, including any environment purification. All logarithms are natural, so rates are in nats per channel use. This formula replaces optimization over arbitrary quantum block codes by a finite-dimensional covariance optimization. It supplies both an achievable rate and a converse against non-Gaussian, correlated encodings. At \(P=0\), it also determines the unassisted capacity of general fixed finite-mode Gaussian channels, including channels without a passive decomposition into independent modes. The reduction specifies the exact capacity value; it does not require a closed-form optimizer for every device. Energy and strict entanglement supply respond differently to errors For a fixed allowed average error \(0\le\varepsilon<1\), the exact capacity under the mean-energy constraint is \[ C_\varepsilon(E,P)=C\!\left(E_0+\frac{E-E_0}{1-\varepsilon},\,P\right). \] Allowing failure rescales the mean energy above the ground state, but leaves the strict initial entanglement budget unchanged. The proof uses an exponential strong converse for codes whose inputs obey a hard total-energy cutoff. In a different model, where a readable flag permits random entanglement supply constrained only on average, the work establishes an achievable bound and a strict small-supply advantage for thermal attenuation at positive energy and fixed nonzero error. That comparison identifies the operational importance of the supply rule; it is not a complete capacity characterization of the flagged model. The communication value of entanglement For a thermal attenuator, let \(0<\eta<1\) be the transmissivity, \(b>0\) the output mean photon number for vacuum input, and \(N\) the input mean photon number. Write its capacity as \(C_N(P)\), and define \(g(N)=(N+1)\log(N+1)-N\log N\). The gain from entanglement obeys the sharp bound \[ 0\le C_N(P)-C_N(0)\le\frac{\eta}{1+b}\,P. \] For every fixed \(N>0\), the coefficient \(\eta/(1+b)\) is attained as the initial right derivative at \(P=0\). In the low-photon limit, the stronger resource law is \[ C_N(P)-C_N(0)=\frac{\eta}{1+b}\min\{P,g(N)\}+O(N),\qquad N\downarrow0. \] The remainder is uniform over \(P\ge0\) at fixed \(\eta\) and positive \(b\). Noise therefore determines the conversion efficiency, while \(g(N)\sim N\log(1/N)\) sets the entanglement scale sufficient for saturation. This uniform limit concerns the entanglement budget, not a simultaneous limit of vanishing thermal noise. Multimode resource allocation and scope A coupled two-mode example demonstrates how the frontier can guide resource allocation. A global resource-price certificate proves that a legal covariance pair exceeds the entire common-passive-frame Gaussian profile hull by at least \(10^{-5}\) nat per two-mode use at specified budgets. The comparison includes all common passive frames, local squeezing and average-resource mixtures. The mechanism is the freedom to choose different mode allocations for the seed and average input; the benchmark is this precisely defined Gaussian class, rather than all unentangled encodings. The universal scope is the stated family of fixed finite-mode Gaussian channels, positive quadratic signal costs and strict initial maximally entangled Schmidt-rank supply, with unrestricted joint encoding and collective decoding. The model has no feedback or credit for returned entanglement. The capacity frontier and its resource consequences provide a common way to assess optical communication designs under these operational constraints.

•Oct 19, 2026•0 citations
Entanglement distillation over the pure-loss bosonic channel is governed by the PLOB bound, -log2(1-η) ebits per use, but this benchmark presumes unlimited two-way classical communication. When the classical feedback budget is metered at B bits per use, the achievable rate approaches PLOB exponentially in B, yet no matching converse is known, and we argue that the standard route — static entanglement monotones — cannot work even in principle. Here we develop a converse program built on the Devetak–Harrow–Winter (DHW) characterization of one-way distillation. Our central result is a conservation law: for every rank-one instrument applied by the sending party, the single-copy communication charge R and entanglement yield E obey the exact identity R+E=S(B), the local entropy of the measured system, independent of the state; general instruments obey R+E=S(B)-S(E'|B'X), with a correction that vanishes for all projective coarse-grainings. Combining the identity with the proven quantum entropy power inequality yields an unconditional lower bound on the Bob-entropy cost of approaching PLOB, and, for the class of sharp instruments satisfying a per-instrument yield condition, a two-sided bound η^2 2^{-B} lesssim PLOB-C lesssim (e/2) η^2 2^{-B}: in this class the feedback-metered capacity provably falls short of PLOB at every finite B, with the gap determined up to a factor e/2. For two-mode-squeezed inputs — and, non-asymptotically, for the whole class of products of two-mode-squeezed states of arbitrary energies dressed by passive linear optics — we prove a complementary converse that needs no yield condition at all: a separable Gaussian witness pins the relative entropy of entanglement of the loss output to within Theta(1/bar N) of PLOB, reproducing the 2^{-B} gap scaling unconditionally for these input classes, with constants matched to within 0.78–0.94 of the achievability side for two-mode-squeezed inputs (smaller for the passive class at η ≥ 0.5). We further identify the obstruction to removing the yield condition in general: measurements can increase the reverse coherent information by up to their heralding information, E ≤ I_R + I(X;E), and we exhibit state families saturating this and show numerically that the excess is generic even for loss-channel outputs. The sharp-class converse is thereby reduced to a single variational problem, which we state precisely and conjecture to stay below PLOB; beyond the sharp class, we show the conservation law acquires a coarse-graining discount that must be bounded separately. Preprint (converse-side companion of: How many classical bits buy how much quantum capacity? Feedback-metered limits of lossy quantum communication). Ancillary files: reproduction scripts and data; code maintained at https://github.com/deeptell-inc/fmplob.
Sending quantum information over long distances is ultimately limited by photon loss. The rate limit of a lossy bosonic channel of transmissivity η is the two-way assisted capacity -log2(1-η) (the PLOB bound), whose achievability rests on unlimited classical feedback: without feedback the quantum capacity vanishes for all η ≤ 1/2, so classical back-communication acts as an on/off switch for quantum communication. Classical bits are priced for entanglement transformations and, for a fixed bipartite state, the one-way distillation trade-off between classical rate and ebit yield has a regularized entropic characterization; but no framework prices the feedback that assists a channel's quantum capacity — feedback that may steer subsequent channel inputs — and no such trade-off has been evaluated for any bosonic channel. Here we show that quantum communication can be metered in classical bits. Writing C(η,B) for the capacity of the pure-loss channel under a feedback budget of B classical bits per channel use, we construct the first achievable-rate frontier C_{ach}(η,B) ≤ C(η,B) and prove the onset law C_{ach}(η,B) ≥ ηlog2(m_B)/m_B, m_B = ⌈ H_2(η)/B⌉, valid for every B>0 with envelope (η/H_2(η)) Blog2(H_2(η)/B) as B → 0 — an exact identity R = η Blog2(1/B) under fixed-length accounting, so the Blog(1/B) order is accounting-convention invariant. The B=0 switch thereby resolves, at the level of achievable rates, into a continuous but non-analytic onset: even for η ≤ 1/2 any positive budget buys a positive quantum rate, each bit unlocking ~log2(1/B) ebits at small budgets and refuting the naive pricing C ≤ Q + B. At large budgets a metered quantum-state-merging family, consuming backward one-way classical communication only, achieves C_{ach}(η,B) ≥ PLOB - [eη^2/(2ln 2)] 2^{-B}(1+o(1)): each backward bit per use halves the achievable distance to PLOB, which exposes the 73.6% plateau of the purification families as a family artifact. Standard entanglement-measure converses are provably blind to B, so what remains open is only strict saturation at finite B, now confined to an exponentially small window. The frontier is also a design tool: on a network of lossy links, the joint allocation of per-link feedback budgets and photon directions under per-site classical budgets is a convex program, and on a 20-site fibre network its optimum doubles the end-to-end entanglement rate relative to a fixed orientation. An appendix extends the frontier to multimode loss, where Grassmann-quantized beamforming controls the PLOB loss at rate 2^{-B/(M-1)}. Preprint (companion paper: Conservation laws for the classical communication cost of one-way entanglement distillation, with entropic converse bounds for the pure-loss channel). Ancillary files: reproduction scripts and data; code maintained at https://github.com/deeptell-inc/fmplob.
We develop entanglement-of-formation potentials for feedback-assisted classical communication and one-way randomness distillation. For a finite-dimensional quantum channel without initial shared entanglement, an exact amortization theorem bounds the increase of message information plus entanglement remaining across the communicating laboratories. This proves a classical-feedback capacity bound using a mixed-convex-roof expression previously studied by Winter and Yang in the context of potential capacities. We determine the capacity of flagged mixtures of noiseless and entanglement-breaking channels, improve a published depolarizing-channel converse, and evaluate the new bound exactly for the amplitude damping channel. A state analogue gives a finite-blocklength upper bound on the net shared randomness obtainable with one-way classical communication. Amplitude-damping Choi states provide exact benchmarks, while a full-rank generalized amplitude-damping Choi state demonstrates a useful improvement where we do not evaluate the operational rate exactly. We also distinguish one-way from two-way randomness distillation: a two-round weak-measurement protocol strictly exceeds the exact one-way rate of every nontrivial qubit isotropic state. The protocol preserves quantum side information during its first decoding and extracts additional randomness in the reverse direction. This shows why the one-way state potential is not a general two-way converse. Together, these results establish a common entanglement-based approach to sharper communication and randomness bounds, while revealing how retained quantum correlations enable two-way distillation to surpass one-way limits.
The direct static capacity region of a bipartite quantum state describes its asymptotic conversion into classical communication, quantum communication, and entanglement, with all communication directed from Alice to Bob. This paper gives a unified entropic converse for this region. The proof treats generated and consumed resources simultaneously and derives all three information inequalities for one local instrument. Its main ingredients are no-signalling, the chain rule, strong subadditivity, and continuity of conditional entropy. A supporting-hyperplane characterization leads to the static capacity formula, which is helpful in determining single-letterization of the capacity region. For a pure state of entanglement entropy hhh subjected to erasure with probability ppp, the complete region is the convex hull of 000 and (0,−ph,(1−p)h)(0,-ph,(1-p)h)(0,−ph,(1−p)h), plus the unit-resource cone. This statement holds for arbitrary collective instruments by using subset-entropy inequalities related to earlier methods used for the dynamic capacity region of the erasure channel. Complete characterizations also hold for symmetrically extendible states and locally flagged pure-state mixtures. For maximally correlated states, the optimization over local instruments admits an exact matrix formulation and an additive outer bound. An explicit qubit example shows that a nonorthogonal discarded quantum memory can outperform every efficient instrument and every instrument with conditionally commuting discarded states. For states obtained by qubit dephasing of Schmidt-aligned pure states, an exact threshold characterizes when the static capacity formula vanishes, at every blocklength and after regularization. Full single-letter characterizations for general Hadamard states and for the remaining trade-offs for dephased states remain open, with sufficient additivity conditions identified.
This paper reports the proof of a strong converse for the unconstrained quantum capacity of the pure-loss bosonic channel. At every fixed rate above capacity, the entanglement-generation fidelity of every code is bounded by a constant times the reciprocal of the number of channel uses. The bound holds without an energy constraint and for arbitrary encoded states, including states correlated across all input modes, and arbitrary joint decoders. The proof combines quantum Chebyshev and hockey-stick testing inequalities with a uniform relative-entropy-variance bound for the balanced pure-loss channel, corresponding to transmissivity η=1/2η=1/2η=1/2. The variance bound follows by expressing the balanced beam splitter in bright and dark modes: the dark modes are exactly in vacuum, and any state orthogonal to that vacuum contains at least one dark photon. For general transmissivity, dilating the degrading attenuator reduces the problem to this balanced-channel setting and bounds the decoder test by precisely the factor that produces the known quantum-capacity threshold. The resulting argument establishes the strong converse at the unconstrained quantum capacity for every pure-loss bosonic channel.
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 NNN and allowed average decoding error εεε equals the vanishing-error capacity at mean photon number N/(1−ε)N/(1-ε)N/(1−ε). Together, these results identify the ultimate limits of classical communication for some of the most fundamental models of optical communication.
How much classical information can a noisy optical channel carry when both signal energy and preshared entanglement are limited? This work gives an exact capacity frontier for this joint resource problem. It allows one to determine the best asymptotic communication rate, price the benefit of additional entanglement, and distinguish the effect of tolerating errors from that of changing how entanglement is supplied. Exact capacity under two resource constraints The setting is any fixed bosonic Gaussian channel Φ\PhiΦ with finitely many input and output modes. Signal energy is measured by a positive quadratic Hamiltonian HG=12RTGRH_G=\tfrac12 R^{\mathsf T}GRHG​=21​RTGR, with G>0G>0G>0 and ground energy E0E_0E0​; RRR collects the canonical quadratures. The budgets satisfy E≥E0E\ge E_0E≥E0​ and P≥0P\ge0P≥0. For an nnn-use code, the mean total signal energy is at most nEnEnE, while the same initially shared maximally entangled state has Schmidt rank KnK_nKn​ satisfying log⁡Kn≤nP\log K_n\le nPlogKn​≤nP. Thus PPP is a strictly supplied entanglement rate. Encoders may be arbitrary joint quantum operations, and decoding may be collective. The classical capacity is C(E,P)=max⁡U≥Vphysical12Tr⁡(GU)≤E,SG(V)≤P[SG(ΦU)+SG(V)−SG(ΦcV)]. C(E,P)=\max_{\substack{U\ge V\;\mathrm{physical}\\ \frac12\operatorname{Tr}(GU)\le E,\;S_G(V)\le P}}\bigl[S_G(\Phi U)+S_G(V)-S_G(\Phi^c V)\bigr]. C(E,P)=maxU≥Vphysical21​Tr(GU)≤E,SG​(V)≤P​​[SG​(ΦU)+SG​(V)−SG​(ΦcV)]. Here VVV is a Gaussian seed covariance, UUU is the average-input covariance, and U−VU-VU−V is the displacement-modulation covariance. A covariance is physical when V+iΩ/2≥0V+i\Omega/2\ge0V+iΩ/2≥0, where Ω\OmegaΩ is the canonical commutation matrix and the vacuum covariance is I/2I/2I/2. The notation SGS_GSG​ denotes Gaussian von Neumann entropy, and Φc\Phi^cΦc is the full complementary channel, including any environment purification. All logarithms are natural, so rates are in nats per channel use. This formula replaces optimization over arbitrary quantum block codes by a finite-dimensional covariance optimization. It supplies both an achievable rate and a converse against non-Gaussian, correlated encodings. At P=0P=0P=0, it also determines the unassisted capacity of general fixed finite-mode Gaussian channels, including channels without a passive decomposition into independent modes. The reduction specifies the exact capacity value; it does not require a closed-form optimizer for every device. Energy and strict entanglement supply respond differently to errors For a fixed allowed average error 0≤ε<10\le\varepsilon<10≤ε<1, the exact capacity under the mean-energy constraint is Cε(E,P)=C ⁣(E0+E−E01−ε, P). C_\varepsilon(E,P)=C\!\left(E_0+\frac{E-E_0}{1-\varepsilon},\,P\right). Cε​(E,P)=C(E0​+1−εE−E0​​,P). Allowing failure rescales the mean energy above the ground state, but leaves the strict initial entanglement budget unchanged. The proof uses an exponential strong converse for codes whose inputs obey a hard total-energy cutoff. In a different model, where a readable flag permits random entanglement supply constrained only on average, the work establishes an achievable bound and a strict small-supply advantage for thermal attenuation at positive energy and fixed nonzero error. That comparison identifies the operational importance of the supply rule; it is not a complete capacity characterization of the flagged model. The communication value of entanglement For a thermal attenuator, let 0<η<10<\eta<10<η<1 be the transmissivity, b>0b>0b>0 the output mean photon number for vacuum input, and NNN the input mean photon number. Write its capacity as CN(P)C_N(P)CN​(P), and define g(N)=(N+1)log⁡(N+1)−Nlog⁡Ng(N)=(N+1)\log(N+1)-N\log Ng(N)=(N+1)log(N+1)−NlogN. The gain from entanglement obeys the sharp bound 0≤CN(P)−CN(0)≤η1+b P. 0\le C_N(P)-C_N(0)\le\frac{\eta}{1+b}\,P. 0≤CN​(P)−CN​(0)≤1+bη​P. For every fixed N>0N>0N>0, the coefficient η/(1+b)\eta/(1+b)η/(1+b) is attained as the initial right derivative at P=0P=0P=0. In the low-photon limit, the stronger resource law is CN(P)−CN(0)=η1+bmin⁡{P,g(N)}+O(N),N↓0. C_N(P)-C_N(0)=\frac{\eta}{1+b}\min\{P,g(N)\}+O(N),\qquad N\downarrow0. CN​(P)−CN​(0)=1+bη​min{P,g(N)}+O(N),N↓0. The remainder is uniform over P≥0P\ge0P≥0 at fixed η\etaη and positive bbb. Noise therefore determines the conversion efficiency, while g(N)∼Nlog⁡(1/N)g(N)\sim N\log(1/N)g(N)∼Nlog(1/N) sets the entanglement scale sufficient for saturation. This uniform limit concerns the entanglement budget, not a simultaneous limit of vanishing thermal noise. Multimode resource allocation and scope A coupled two-mode example demonstrates how the frontier can guide resource allocation. A global resource-price certificate proves that a legal covariance pair exceeds the entire common-passive-frame Gaussian profile hull by at least 10−510^{-5}10−5 nat per two-mode use at specified budgets. The comparison includes all common passive frames, local squeezing and average-resource mixtures. The mechanism is the freedom to choose different mode allocations for the seed and average input; the benchmark is this precisely defined Gaussian class, rather than all unentangled encodings. The universal scope is the stated family of fixed finite-mode Gaussian channels, positive quadratic signal costs and strict initial maximally entangled Schmidt-rank supply, with unrestricted joint encoding and collective decoding. The model has no feedback or credit for returned entanglement. The capacity frontier and its resource consequences provide a common way to assess optical communication designs under these operational constraints.