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.
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.
Abstract: We determine the two-way quantum, entanglement-distribution, private, and secret-key capacities of the pure-loss bosonic channel under an unconditional mean transmitted-photon-number constraint. For transmissivity η and mean photon number N, all four capacities coincide and are given by g(N)−g((1−η)N),where g is the entropy of a thermal mode. This resolves the longstanding finite-energy capacity problem by establishing the optimality of the reverse-coherent-information rate introduced in 2009. Our central tool is sector teleportation simulation, which we develop specifically to transfer the input-energy constraint to the shared entanglement resource, thereby preserving the constraint throughout converse arguments for general adaptive protocols. For every N>0, we further show that the corresponding strong-converse thresholds coincide with the unconstrained value −log2(1−η). For parallel protocols with a hard total-photon-number cutoff, the same finite-energy capacity formula instead satisfies an exponential strong converse. Together, these results establish a unified finite-energy framework for adaptive bosonic communication and reveal how energy constraints fundamentally reshape both attainable rates and converse bounds.
We determine the two-way quantum, entanglement-distribution, private, and secret-key capacities of the pure-loss bosonic channel under an unconditional mean transmitted-photon-number constraint. For transmissivity η and mean photon number N, all four capacities coincide and are given by g(N)−g((1−η)N), where g is the entropy of a thermal mode. This resolves the longstanding energy-constrained capacity problem by establishing the optimality of the reverse-coherent-information rate introduced in 2009. Our central tool is sector teleportation simulation, which we develop specifically to transfer the input-energy constraint to the shared entanglement resource, thereby preserving the constraint throughout converse arguments for general adaptive protocols. For every N>0, we further show that the corresponding strong-converse thresholds coincide with the unconstrained value −log2(1−η). For parallel protocols with a hard total-photon-number cutoff, the same energy-constrained capacity formula instead satisfies an exponential strong converse. As an extension, we determine the energy-constrained two-way capacities of the quantum-limited amplifier, showing that classical assistance does not improve its unassisted quantum and private rates. Together, these results establish a unified finite-energy framework for adaptive bosonic communication and reveal how energy constraints fundamentally reshape both attainable rates and converse bounds.
We determine the two-way quantum and secret-key capacities of the pure-loss channel under an average input photon-number constraint. For transmissivity η and photon budget N, both capacities equal g(N)−g((1−η)N), where g is the entropy of a thermal state. This coincides with the rate achieved by the known reverse coherent information of a two-mode squeezed vacuum. Our result provides the last missing capacity formula for the celebrated pure-loss channel, completing the picture of bosonic quantum communication under pure loss.
The pure-loss channel is a fundamental noise model for bosonic quantum platforms, characterised by a single parameter, the transmissivity. In realistic scenarios such as free-space quantum communication, the transmissivity fluctuates from one channel use to another, and the channel is a convex combination of pure-loss channels, known as a fading channel. Despite its practical relevance, its quantum Shannon theory has remained largely unexplored. Here we investigate degradability, anti-degradability, entanglement breakingness, and capacities of the fading channel. We prove that entanglement distribution and quantum key distribution can be achieved at a strictly positive rate over any fading channel that is not completely noisy. When the transmissivity takes a finite set of values, we determine the energy-unconstrained two-way quantum and secret-key capacities exactly, as the averages of those of the pure-loss components. We prove that thermal states, optimal for a broad class of static bosonic Gaussian channels, do not in general achieve the entanglement-assisted classical capacity of fading channels: for a binary fading model we derive the capacity-achieving state in closed form, and we exhibit channels for which non-Gaussian Fock-diagonal states strictly outperform every Gaussian encoding. For the quantum capacity, we give a simple sufficient condition on the transmissivity distribution under which weak thermal inputs yield a strictly positive rate. Outside this condition, we numerically identify parameter regions where no thermal input compatible with the energy constraint has a positive coherent information, while optimized non-Gaussian inputs do. For general fading distributions, we design an iterative variational algorithm to optimize the coherent and mutual information. Our work advances the study of quantum communication in the non-Gaussian regime.
The finite-energy multimode entropy photon-number inequality in the OpenAI mathematics release supplies the sharp entropy premise for the previously conditional pure-loss bosonic classical/quantum/entanglement capacity region under an average photon constraint, including arbitrary entanglement across channel uses. The one-mode pure-loss channel has transmissivity 1/2 ≤ η ≤ 1, with forward resource accounting without free feedback; the photon-number constraint is averaged over messages, key and encoder randomness, rather than a peak or per-codeword bound. This note gives the precise consequence and audits a private-resource operational defect: the printed catalytic secrecy condition in the cited coding theorem protects consumed key jointly with generated secrets and excludes the one-time pad. A zero-energy converse refutes the displayed private region under that literal condition. The public/private/secret-key formula is proved under an explicitly corrected generated-secret trace-secrecy convention, with corrected converse accounting and direct key-assisted coding. The formulas and conditional reductions are inherited; this is not an independent proof of EPnI or a full solution of the false unchanged private target. The upstream unrefereed EPnI proof was analytically audited; its Lean build was not reproduced. AI tools were used extensively in research, drafting and verification. Automated adversarial reviews are not conventional human peer review; this preprint has not undergone conventional human refereeing.
A quantum channel can transmit quantum states, classical messages, or classical messages that remain secret from its environment. We prove exponential strong converses for all three tasks over arbitrary finite-dimensional memoryless quantum channels, at their respective regularized capacities and allowing arbitrary entangled inputs across channel uses and joint decoding. Above quantum or classical capacity, entanglement fidelity or decoding success probability, respectively, decays exponentially with the number of channel uses. Above private capacity, fidelity to an ideal shared secret key decays exponentially; in particular, vanishing secrecy error forces decoding success to vanish. The proofs combine one-shot quantum blowing-up lemmas, which convert codes with low success into reliable codes with a controlled loss in code size, with a low-degree polynomial approximation of the channel's Stinespring image projector. The loss is governed by the projective tensor norm of the approximation across the receiver--environment bipartition. For memoryless channels, the polynomial construction gives exponential accuracy while keeping the rate loss arbitrarily small, turning the corresponding weak converses into strong converses.